Lines Matching defs:r15
1559 val r15 = mk_word4 15
1560 val (rd,rn) = if mem m [MOV,MVN] then (rdn,r15) else (r15,rdn)
1593 val r15 = mk_word4 15
1594 val (rd,rn) = if mem m [MOV,MVN] then (rdn,r15) else (r15,rdn)
2202 val r15 = mk_word4 15
2218 | SMUAD => v6 (mk_Signed_Multiply_Dual (rd,r15,rm,F,F,rn))
2219 | SMUADX => v6 (mk_Signed_Multiply_Dual (rd,r15,rm,F,T,rn))
2220 | SMUSD => v6 (mk_Signed_Multiply_Dual (rd,r15,rm,T,F,rn))
2221 | SMUSDX => v6 (mk_Signed_Multiply_Dual (rd,r15,rm,T,T,rn))
2222 | SMMUL => v6 (mk_Signed_Most_Significant_Multiply (rd,r15,rm,F,rn))
2223 | SMMULR => v6 (mk_Signed_Most_Significant_Multiply (rd,r15,rm,T,rn))
2225 | USAD8 => v6 (mk_Unsigned_Sum_Absolute_Differences (rd,r15,rm,rn))