Lines Matching defs:assign
39 All uses of newTemp assign to an IRTemp and not a UInt
321 static void assign ( IRTemp dst, IRExpr* e )
893 assign(t, IRExpr_Get( OFFB_ITSTATE, Ity_I32));
906 assign(t, IRExpr_Get( OFFB_QFLAG32, Ity_I32));
923 assign(nyu, binop(Iop_Or32, mkexpr(old), e) );
948 assign(masked, binop(Iop_Shr32, e, mkU8(lowbits_to_ignore)));
979 assign(ge10, binop(Iop_And32, mkexpr(t32), mkU32(0x00008000)));
980 assign(ge32, binop(Iop_And32, mkexpr(t32), mkU32(0x80000000)));
997 assign
998 assign(ge1, binop(Iop_And32, mkexpr(t32), mkU32(0x00008000)));
999 assign(ge2, binop(Iop_And32, mkexpr(t32), mkU32(0x00800000)));
1000 assign(ge3, binop(Iop_And32, mkexpr(t32), mkU32(0x80000000)));
1033 assign(armEncd,
1036 assign(swapped,
1324 assign( c8, unop(Iop_32to8, mkexpr(guardT)) );
1356 assign( z32, mkU32(0) );
1368 assign( z32, mkU32(0) );
1379 assign( z32, mkU32(0) );
1473 assign(guards_for_next3,
1499 assign( res1, mk_armg_calculate_flags_nzcv() );
1502 assign(
1523 assign(res3,
1546 assign(immT, binop(Iop_And32, mkexpr(apsrT), mkU32(0xF0000000)) );
1550 assign(qnewT, binop(Iop_And32, mkexpr(apsrT), mkU32(ARMG_CC_MASK_Q)));
1603 assign( node0, mkexpr(regT) );
1604 assign( node1, mkU32(ceil) );
1605 assign( node2, binop( Iop_CmpLT32S, mkexpr(node1), mkexpr(node0) ) );
1606 assign( node3, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node2)),
1609 assign( node4, mkU32(floor) );
1610 assign( node5, binop( Iop_CmpLT32S, mkexpr(node3), mkexpr(node4) ) );
1611 assign( node6, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node5)),
1614 assign( *res, mkexpr(node6) );
1619 assign( *resQ, binop(Iop_Xor32, mkexpr(*res), mkexpr(regT)) );
1651 assign( node0, mkexpr(regT) );
1652 assign( node1, mkU32(ceil) );
1653 assign( node2, binop( Iop_CmpLT32S, mkexpr(node1), mkexpr(node0) ) );
1654 assign( node3, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node2)),
1656 assign( node4, mkU32(floor) );
1657 assign( node5, binop( Iop_CmpLT32S, mkexpr(node3), mkexpr(node4) ) );
1658 assign( node6, IRExpr_Mux0X( unop(Iop_1Uto8, mkexpr(node5)),
1660 assign( *res, mkexpr(node6) );
1665 assign( *resQ, binop(Iop_Xor32, mkexpr(*res), mkexpr(regT)) );
1678 assign(res, resE);
1715 assign( *newC, mk_armg_calculate_flag_c() );
1717 assign( *res, mkexpr(rMt) );
1722 assign( *newC,
1728 assign( *res,
1749 assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );
1760 assign(oldC, mk_armg_calculate_flag_c() );
1761 assign(
1790 assign(
1820 assign( *newC,
1825 assign( *res, mkU32(0) );
1833 assign( *newC,
1839 assign( *res,
1860 assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );
1869 assign(oldC, mk_armg_calculate_flag_c() );
1870 assign(
1899 assign(
1929 assign( *newC,
1934 assign( *res, binop(Iop_Sar32, mkexpr(rMt), mkU8(31)) );
1942 assign( *newC,
1948 assign( *res,
1969 assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );
1978 assign(oldC, mk_armg_calculate_flag_c() );
1979 assign(
2008 assign(
2038 assign( amtT, binop(Iop_And32, mkexpr(rSt), mkU32(255)) );
2040 assign( amt5T, binop(Iop_And32, mkexpr(rSt), mkU32(31)) );
2042 assign(oldC, mk_armg_calculate_flag_c() );
2044 assign(
2067 assign(
2145 assign( *newC,
2148 assign( oldcT, mk_armg_calculate_flag_c() );
2149 assign( *res,
2160 assign( *newC,
2166 assign( *res,
2282 assign( *shco, mk_armg_calculate_flag_c() );
2284 assign( *shco, mkU32( (imm >> 31) & 1 ) );
2288 assign( *shop, mkU32(imm) );
2301 assign(rMt, getIRegA(rM));
2324 assign(rMt, getIRegA(rM));
2325 assign(rSt, getIRegA(rS));
2402 assign(rmT, getIRegA(rM));
2403 assign(cflagT, mk_armg_calculate_flag_c());
2410 assign(rmT, getIRegA(rM));
2463 Assign a new temp to hold that value, and return the temp. */
2502 assign(
2510 assign(
2522 assign(
2530 assign(nzcv, binop(Iop_Sub32, mkexpr(termL), mkexpr(termR)));
2684 assign(x1,
2693 assign(x2,
2702 assign(x3,
2711 assign(x4,
2720 assign(x5,
2738 assign(res,
2759 assign(res,
2876 assign(old_mask, mkU64(0));
2877 assign(old_res, mkU64(0));
2878 assign(old_arg, getDRegI64(mreg));
2890 assign(arg_l, getDRegI64(nreg+i));
2891 assign(new_arg, binop(Iop_Sub8x8, mkexpr(old_arg), mkU64(imm)));
2892 assign(cur_mask, binop(cmp, mkU64(imm), mkexpr(old_arg)));
2893 assign(new_mask, binop(Iop_Or64, mkexpr(old_mask), mkexpr(cur_mask)));
2894 assign(new_res, binop(Iop_Or64,
2910 assign(new_res, binop(Iop_Or64,
2950 assign(arg_m, getDRegI64(mreg));
2973 assign(res, unop(op, binop(op2, mkexpr(arg_m), mkU8(index))));
3005 assign(arg_n, getQReg(nreg));
3006 assign(arg_m, getQReg(mreg));
3011 assign(arg_n, getDRegI64(nreg));
3012 assign(arg_m, getDRegI64(mreg));
3076 assign(res,
3142 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
3144 assign(tmp, binop(op2, mkexpr(arg_n), mkexpr(arg_m)));
3209 assign(cc, binop(shift_op,
3226 assign(res, binop(add_op,
3237 assign(cc, binop(shift_op,
3248 assign(res, binop(add_op,
3268 assign(res, binop(Iop_AndV128, mkexpr(arg_n),
3271 assign(res, binop(Iop_And64, mkexpr(arg_n),
3282 assign(res, binop(Iop_AndV128,mkexpr(arg_n),
3285 assign(res, binop(Iop_And64, mkexpr(arg_n),
3297 assign(res, binop(Iop_OrV128, mkexpr(arg_n),
3300 assign(res, binop(Iop_Or64, mkexpr(arg_n),
3308 assign(res, mkexpr(arg_m));
3316 assign(res, binop(Iop_OrV128,mkexpr(arg_n),
3319 assign(res, binop(Iop_Or64, mkexpr(arg_n),
3332 assign(res, binop(Iop_XorV128, mkexpr(arg_n),
3335 assign(res, binop(Iop_Xor64, mkexpr(arg_n),
3345 assign(reg_d, getQReg(dreg));
3346 assign(res,
3356 assign(reg_d, getDRegI64(dreg));
3357 assign(res,
3373 assign(reg_d, getQReg(dreg));
3374 assign(res,
3383 assign(reg_d, getDRegI64(dreg));
3384 assign(res,
3400 assign(reg_d, getQReg(dreg));
3401 assign(res,
3410 assign(reg_d, getDRegI64(dreg));
3411 assign(res,
3489 assign(res,
3554 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
3556 assign(tmp, binop(op2, mkexpr(arg_n), mkexpr(arg_m)));
3586 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
3597 assign(res,
3645 assign(res, binop(op, mkexpr(arg_m),
3648 assign(res, binop(op, mkexpr(arg_m), mkexpr(arg_n)));
3651 assign(tmp, binop(sub_op,
3655 assign(tmp, binop(sub_op, mkU64(0), mkexpr(arg_n)));
3657 assign(res, binop(op, mkexpr(arg_m),
3660 assign(res, binop(op, mkexpr(arg_m), mkexpr(tmp)));
3742 assign(res, binop(op, mkexpr(arg_m), mkexpr(arg_n)));
3746 assign(shval, binop(op_shrn,
3754 assign(shval, binop(Q ? Iop_OrV128 : Iop_Or64,
3775 assign(mask, binop(cmp_gt, mkexpr(shval),
3778 assign(tmp, binop(op_rev, mkexpr(res),
3781 assign(tmp, binop(op_rev, mkexpr(res), mkexpr(arg_n)));
3812 assign(imm_val, Q ? mkU128(imm) : mkU64(imm));
3887 assign(shval, binop(op_shrn,
3895 assign(shval, binop(Q ? Iop_OrV128 : Iop_Or64,
3903 assign(round, binop(Q ? Iop_AndV128 : Iop_And64,
3915 assign(res, binop(op_add,
3921 assign(round, binop(Q ? Iop_AndV128 : Iop_And64,
3932 assign(res, binop(op_add,
3958 assign(imm_val, Q ? mkU128(imm) : mkU64(imm));
4045 assign(shval, binop(op_shrn,
4053 assign(shval, binop(Q ? Iop_OrV128 : Iop_Or64,
4060 assign(round, binop(Q ? Iop_AndV128 : Iop_And64,
4071 assign(res, binop(op_add,
4090 assign(mask, binop(cmp_gt, mkexpr(shval),
4093 assign(tmp, binop(op_rev, mkexpr(res),
4096 assign(tmp, binop(op_rev, mkexpr(res), mkexpr(arg_n)));
4131 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4156 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4215 assign(cond, binop(op_cmp, mkexpr(arg_n), mkexpr(arg_m)));
4216 assign(res, binop(Q ? Iop_OrV128 : Iop_Or64,
4286 assign(acc, getQReg(dreg));
4291 assign(acc, getDRegI64(dreg));
4293 assign(cond, binop(op_cmp, mkexpr(arg_n), mkexpr(arg_m)));
4294 assign(tmp, binop(Q ? Iop_OrV128 : Iop_Or64,
4304 assign(res, binop(op_add, mkexpr(acc), mkexpr(tmp)));
4339 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4351 assign(res, unop(op, binop(Q ? Iop_AndV128 : Iop_And64,
4359 assign(res, unop(Q ? Iop_NotV128 : Iop_Not64,
4414 assign(res, binop(op2,
4442 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4472 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4504 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4540 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4567 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4602 assign(res, unop(Iop_Abs32Fx4,
4607 assign(res, unop(Iop_Abs32Fx2,
4618 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4643 assign(res, binop(op2,
4656 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4672 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4686 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4696 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4710 assign(res, binop(op,
4715 assign(res, binop(op,
4741 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4756 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
4764 assign(res, binop(Q ? Iop_Recps32Fx4 : Iop_Recps32Fx2,
4773 assign(res, binop(Q ? Iop_Rsqrts32Fx4 : Iop_Rsqrts32Fx2,
4839 assign(arg_n, getQReg(nreg));
4841 assign(arg_n, unop(cvt, getDRegI64(nreg)));
4843 assign(arg_m, unop(cvt, getDRegI64(mreg)));
4888 assign(tmp, binop(op, getQReg(nreg), getQReg(mreg)));
4891 assign(res, binop(op, mkexpr(tmp),
4894 assign(res, mkexpr(tmp));
4940 assign(arg_n, unop(cvt, getDRegI64(nreg)));
4941 assign(arg_m, unop(cvt, getDRegI64(mreg)));
4942 assign(cond, unop(cvt2, binop(cmp, getDRegI64(nreg),
4944 assign(res, binop(op2,
4998 assign(tmp, binop(op, getQReg(nreg), getQReg(mreg)));
5001 assign(res, binop(op2, mkexpr(tmp),
5004 assign(res, mkexpr(tmp));
5047 assign(arg_n, unop(cvt, getDRegI64(nreg)));
5048 assign(arg_m, unop(cvt, getDRegI64(mreg)));
5049 assign(cond, unop(cvt2, binop(cmp, getDRegI64(nreg),
5051 assign(res, binop(Iop_OrV128,
5088 assign(res, binop(op, getDRegI64(nreg),getDRegI64(mreg)));
5127 assign(res, binop(op, getDRegI64(nreg), getDRegI64(mreg)));
5129 assign(tmp, binop(op2, getQReg(dreg), mkexpr(res)));
5243 assign(arg_n, getQReg(nreg));
5263 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5268 assign(arg_n, getDRegI64(nreg));
5288 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5324 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5347 assign(arg_n, getDRegI64(nreg));
5367 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5386 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5406 assign(arg_n, getDRegI64(nreg));
5426 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5453 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5455 assign(tmp, binop(op2, getQReg(dreg), mkexpr(res)));
5482 assign(arg_n, getQReg(nreg));
5502 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5507 assign(arg_n, getDRegI64(nreg));
5527 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5542 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5562 assign(arg_n, getDRegI64(nreg));
5582 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5589 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5607 assign(arg_n, getDRegI64(nreg));
5627 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5675 assign(arg_n, getQReg(nreg));
5695 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5700 assign(arg_n, getDRegI64(nreg));
5720 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5742 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5775 assign(arg_n, getQReg(nreg));
5795 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5800 assign(arg_n, getDRegI64(nreg));
5820 assign(arg_m, unop(dup, binop(get, getDRegI64(mreg), mkU8(index))));
5842 assign(res, binop(op, mkexpr(arg_n), mkexpr(arg_m)));
5932 assign(reg_m, getQReg(mreg));
5957 assign(reg_m, getDRegI64(mreg));
5979 assign(res,
5992 assign(res, getQReg(mreg));
5995 assign(res, getDRegI64(mreg));
6024 assign(reg_m, getQReg(mreg));
6028 assign(reg_m, getDRegI64(mreg));
6074 assign(res, binop(op, mkexpr(reg_m), mkU8(shift_imm)));
6114 assign(mask, binop(op, binop(Iop_64HLtoV128,
6118 assign(res, binop(Iop_OrV128,
6128 assign(mask, binop(op, mkU64(0xFFFFFFFFFFFFFFFFLL),
6130 assign(res, binop(Iop_Or64,
6163 assign(mask, binop(op, binop(Iop_64HLtoV128,
6167 assign(res, binop(Iop_OrV128,
6177 assign(mask, binop(op, mkU64(0xFFFFFFFFFFFFFFFFLL),
6179 assign(res, binop(Iop_Or64,
6208 assign(res, binop(op, Q ? getQReg(mreg) : getDRegI64(mreg),
6306 assign(reg_m, getQReg(mreg));
6311 assign(reg_m, getDRegI64(mreg));
6313 assign(res, binop(op, mkexpr(reg_m), mkU8(shift_imm)));
6315 assign(tmp, binop(op_rev, mkexpr(res), mkU8(shift_imm)));
6337 assign(reg_m, getQReg(mreg));
6355 assign(res, unop(narOp,
6368 assign(reg_m, getQReg(mreg));
6398 assign(res, unop(narOp,
6493 assign(reg_m, getQReg(mreg));
6496 assign(res, binop(add,
6505 assign(res, binop(op, mkexpr(reg_m), mkU8(shift_imm)));
6541 assign(res, binop(op, unop(cvt, getDRegI64(mreg)), mkU8(shift_imm)));
6610 assign(arg_m, getQReg(mreg));
6614 assign(arg_m, getDRegI64(mreg));
6635 assign(res, unop(op, mkexpr(arg_m)));
6656 assign(res, unop(op, mkexpr(arg_m)));
6675 assign(res, unop(op, mkexpr(arg_m)));
6704 assign(res, unop(op, mkexpr(arg_m)));
6722 assign(res, unop(op, mkexpr(arg_m)));
6737 assign(res, unop(op, mkexpr(arg_m)));
6744 assign(res, unop(Q ? Iop_Cnt8x16 : Iop_Cnt8x8, mkexpr(arg_m)));
6751 assign(res, unop(Iop_NotV128, mkexpr(arg_m)));
6753 assign(res, unop(Iop_Not64, mkexpr(arg_m)));
6803 assign(arg_d, getQReg(dreg));
6806 assign(arg_d, getDRegI64(dreg));
6808 assign(res, binop(add_op, unop(op, mkexpr(arg_m)),
6852 assign(mask, binop(op_cmp, mkexpr(arg_m), zero1));
6855 assign(res, binop(Q ? Iop_OrV128 : Iop_Or64,
6864 assign(tmp, binop(Q ? Iop_OrV128 : Iop_Or64,
6905 assign(res, binop(op, zero, mkexpr(arg_m)));
6927 assign(arg_m, getQReg(mreg));
6931 assign(arg_m, getDRegI64(mreg));
6958 assign(res, binop(op, mkexpr(arg_m), zero));
6978 assign(res, binop(op, mkexpr(arg_m), zero));
6987 assign(res, unop(Q ? Iop_NotV128 : Iop_Not64,
7009 assign(res, binop(op, zero, mkexpr(arg_m)));
7018 assign(res, unop(Q ? Iop_NotV128 : Iop_Not64,
7040 assign(res, binop(op, zero, mkexpr(arg_m)));
7049 assign(res, unop(Q ? Iop_NotV128 : Iop_Not64,
7071 assign(res, binop(op, zero, mkexpr(arg_m)));
7080 assign(res, binop(op, zero, mkexpr(arg_m)));
7099 assign(res, unop(op, mkexpr(arg_m)));
7101 assign(res, unop(Q ? Iop_Abs32Fx4 : Iop_Abs32Fx2,
7119 assign(res, unop(op, mkexpr(arg_m)));
7133 assign(res, binop(op, zero, mkexpr(arg_m)));
7154 assign(arg_m, getQReg(mreg));
7159 assign(arg_m, getDRegI64(mreg));
7175 assign(arg_m, getQReg(mreg));
7176 assign(arg_d, getQReg(dreg));
7182 assign(arg_m, getDRegI64(mreg));
7183 assign(arg_d, getDRegI64(dreg));
7224 assign(res1, binop(op_lo, mkexpr(arg_m), mkexpr(arg_d)));
7225 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7247 assign(arg_m, getQReg(mreg));
7248 assign(arg_d, getQReg(dreg));
7254 assign(arg_m, getDRegI64(mreg));
7255 assign(arg_d, getDRegI64(dreg));
7275 assign(res1, binop(op_lo, mkexpr(arg_m), mkexpr(arg_d)));
7276 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7298 assign(arg_m, getQReg(mreg));
7299 assign(arg_d, getQReg(dreg));
7305 assign(arg_m, getDRegI64(mreg));
7306 assign(arg_d, getDRegI64(dreg));
7326 assign(res1, binop(op_lo, mkexpr(arg_m), mkexpr(arg_d)));
7327 assign(res2, binop(op_hi, mkexpr(arg_m), mkexpr(arg_d)));
7406 assign(res, unop(op, getQReg(mreg)));
7408 assign(tmp, unop(op2, getQReg(mreg)));
7431 assign(res, binop(op, unop(cvt, getDRegI64(mreg)),
7722 assign(tmp_var, getQReg(dreg));
7725 assign(tmp_var, getDRegI64(dreg));
7940 assign(initialRn, isT ? getIRegT(rN) : getIRegA(rN));
7943 assign(initialRm, isT ? getIRegT(rM) : getIRegA(rM));
7961 assign(addr, mkexpr(initialRn));
8010 assign(addr, mkexpr(initialRn));
8146 assign(addr, mkexpr(initialRn));
8155 assign(tmp, binop(Iop_Add32, mkexpr(addr),
8373 assign( srcN, binop(Iop_Sar32,
8377 assign( srcM, binop(Iop_Sar32,
8381 assign( res, binop(Iop_Mul32, mkexpr(srcN), mkexpr(srcM)) );
8427 assign( irt_prod,
8493 assign( irt_regM, isT ? getIRegT(regM) : getIRegA(regM) );
8555 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
8613 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
8667 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
8668 assign( irt_regN_lo, binop( Iop_Sar32,
8671 assign( irt_regN_hi, binop(Iop_Sar32, mkexpr(irt_regN), mkU8(16)) );
8725 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8726 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8728 assign(res, binop(Iop_Add16x2, mkexpr(rNt), mkexpr(rMt)));
8734 assign(reso, binop(Iop_HAdd16Ux2, mkexpr(rNt), mkexpr(rMt)));
8774 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8775 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8777 assign(res, binop(Iop_Add16x2, mkexpr(rNt), mkexpr(rMt)));
8783 assign(reso, unop(Iop_Not32,
8824 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8825 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8827 assign(res, binop(Iop_Sub16x2, mkexpr(rNt), mkexpr(rMt)));
8833 assign(reso, unop(Iop_Not32,
8874 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8875 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8877 assign(res, binop(Iop_Sub16x2, mkexpr(rNt), mkexpr(rMt)));
8883 assign(reso, unop(Iop_Not32,
8924 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8925 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8927 assign(res, binop(Iop_Add8x4, mkexpr(rNt), mkexpr(rMt)));
8933 assign(reso, binop(Iop_HAdd8Ux4, mkexpr(rNt), mkexpr(rMt)));
8973 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
8974 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
8976 assign(res, binop(Iop_Add8x4, mkexpr(rNt), mkexpr(rMt)));
8982 assign(reso, unop(Iop_Not32,
9023 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9024 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9026 assign(res, binop(Iop_Sub8x4, mkexpr(rNt), mkexpr(rMt)));
9032 assign(reso, unop(Iop_Not32,
9073 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9074 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9076 assign(res, binop(Iop_Sub8x4, mkexpr(rNt), mkexpr(rMt)));
9082 assign(reso, unop(Iop_Not32,
9122 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9123 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9125 assign(res_q, binop(Iop_QAdd8Sx4, mkexpr(rNt), mkexpr(rMt)));
9167 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9168 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9170 assign(res_q, binop(Iop_QSub8Sx4, mkexpr(rNt), mkexpr(rMt)));
9212 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9213 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9215 assign(res_q, binop(Iop_QAdd8Ux4, mkexpr(rNt), mkexpr(rMt)));
9257 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9258 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9260 assign(res_q, binop(Iop_QSub8Ux4, mkexpr(rNt), mkexpr(rMt)));
9302 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9303 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9305 assign(res_q, binop(Iop_HAdd8Ux4, mkexpr(rNt), mkexpr(rMt)));
9347 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9348 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9350 assign(res_q, binop(Iop_HAdd8Sx4, mkexpr(rNt), mkexpr(rMt)));
9392 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9393 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9395 assign(res_q, binop(Iop_QAdd16Sx2, mkexpr(rNt), mkexpr(rMt)));
9437 assign( rNt, isT ? getIRegT(regN) : getIRegA(regN) );
9438 assign( rMt, isT ? getIRegT(regM) : getIRegA(regM) );
9440 assign(res_q, binop(Iop_QSub16Sx2, mkexpr(rNt), mkexpr(rMt)));
9493 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
9494 assign( irt_regM, isT ? getIRegT(regM) : getIRegA(regM) );
9496 assign( irt_diff,
9504 assign( irt_sum,
9562 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
9563 assign( irt_regM, isT ? getIRegT(regM) : getIRegA(regM) );
9565 assign( irt_diff,
9573 assign( irt_sum,
9628 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
9629 assign( irt_regM, isT ? getIRegT(regM) : getIRegA(regM) );
9631 assign( irt_diff,
9638 assign( irt_sum,
9651 assign(ge10, unop(Iop_Not32, mkexpr(irt_diff)));
9656 assign(ge32, unop(Iop_Not32, mkexpr(irt_sum)));
9709 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
9711 assign( tmpM, isT ? getIRegT(regM) : getIRegA(regM) );
9712 assign( irt_regM, genROR32(tmpM, (bitM & 1) ? 16 : 0) );
9714 assign( irt_prod_lo,
9722 assign( irt_prod_hi, binop(Iop_Mul32,
9792 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
9793 assign( irt_regA, isT ? getIRegT(regA) : getIRegA(regA) );
9795 assign( tmpM, isT ? getIRegT(regM) : getIRegA(regM) );
9796 assign( irt_regM, genROR32(tmpM, (bitM & 1) ? 16 : 0) );
9798 assign( irt_prod_lo,
9806 assign( irt_prod_hi,
9810 assign( irt_sum, binop( isAD ? Iop_Add32 : Iop_Sub32,
9876 assign( irt_prod,
9889 assign( irt_regA, isT ? getIRegT(regA) : getIRegA(regA) );
9944 assign( irt_prod,
9953 assign( irt_regA, isT ? getIRegT(regA) : getIRegA(regA) );
9956 assign(prod32,
10015 assign( irt_ge_flag0, get_GEFLAG32(0) );
10016 assign( irt_ge_flag1, get_GEFLAG32(1) );
10017 assign( irt_ge_flag2, get_GEFLAG32(2) );
10018 assign( irt_ge_flag3, get_GEFLAG32(3) );
10098 assign( irt_regN, isT ? getIRegT(regN) : getIRegA(regN) );
10101 assign( irt_regM, isT ? getIRegT(regM) : getIRegA(regM) );
10104 assign( irt_rot, binop(Iop_And32,
10225 assign(oldRnT, arm ? getIRegA(rN) : getIRegT(rN));
10232 /* assign(anchorT, binop(Iop_And32, mkexpr(oldRnT), mkU32(~3U))); */
10234 assign(anchorT, mkexpr(oldRnT));
10507 assign(rnT, align4if(isT ? getIRegT(rN) : getIRegA(rN),
10514 assign(rnTnew, binop(summary == 2 ? Iop_Add32 : Iop_Sub32,
10521 assign(taT, summary == 3 ? mkexpr(rnTnew) : mkexpr(rnT));
10644 assign(rnT, align4if(isT ? getIRegT(rN) : getIRegA(rN),
10651 assign(rnTnew, binop(summary == 2 ? Iop_Add32 : Iop_Sub32,
10658 assign(taT, summary == 3 ? mkexpr(rnTnew) : mkexpr(rnT));
10722 assign(nzcvT, binop(Iop_And32,
10786 assign(i64, unop(Iop_ReinterpF64asI64, getDReg(dM)));
11050 assign(ea, binop(bU ? Iop_Add32 : Iop_Sub32,
11175 assign(argL, getDReg(dD));
11176 assign(argR, bZ ? IRExpr_Const(IRConst_F64i(0)) : getDReg(dM));
11177 assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR)));
11199 assign(oldFPSCR, IRExpr_Get(OFFB_FPSCR, Ity_I32));
11200 assign(newFPSCR,
11295 assign(rmode, bZ ? mkU32(Irrm_ZERO)
11393 assign(rnT, align4if(isT ? getIRegT(rN) : getIRegA(rN),
11400 assign(rnTnew, binop(summary == 2 ? Iop_Add32 : Iop_Sub32,
11407 assign(taT, summary == 3 ? mkexpr(rnTnew) : mkexpr(rnT));
11512 assign(ea, binop(bU ? Iop_Add32 : Iop_Sub32,
11642 assign(argL, unop(Iop_F32toF64, getFReg(fD)));
11643 assign(argR, bZ ? IRExpr_Const(IRConst_F64i(0))
11645 assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR)));
11667 assign(oldFPSCR, IRExpr_Get(OFFB_FPSCR, Ity_I32));
11668 assign(newFPSCR,
11746 assign(rmode, mkexpr(mk_get_IR_rounding_mode()));
11779 assign(rmode, bZ ? mkU32(Irrm_ZERO)
11826 assign(rmode, mkexpr(mk_get_IR_rounding_mode()));
11897 assign(eaT, eaE);
12138 assign( condT, mk_armg_calculate_condition( INSN_COND ));
12192 assign(rNt, getIRegA(rN));
12204 assign(res, binop(op, mkexpr(shop), mkexpr(rNt)) );
12208 assign(res, binop(op, mkexpr(rNt),
12212 assign(res, binop(op, mkexpr(rNt), mkexpr(shop)) );
12219 assign( oldV, mk_armg_calculate_flag_v() );
12271 assign( res, isMVN ? unop(Iop_Not32, mkexpr(shop))
12276 assign( oldV, mk_armg_calculate_flag_v() );
12302 assign(rNt, getIRegA(rN));
12328 assign(rNt, getIRegA(rN));
12337 assign( res, binop(isTEQ ? Iop_Xor32 : Iop_And32,
12340 assign( oldV, mk_armg_calculate_flag_v() );
12360 assign(rNt, getIRegA(rN));
12368 assign( oldC, mk_armg_calculate_flag_c() );
12373 assign(res,
12379 assign(res,
12385 assign(res,
12536 assign(eaT, eaE);
12540 assign(rnT, getIRegA(rN));
12562 assign(rDt, getIRegA(rD));
12758 assign(eaT, eaE);
12762 assign(rnT, getIRegA(rN));
13037 assign(arg, getIRegA(rM));
13038 assign(res, IRExpr_Mux0X(
13066 assign( argL, getIRegA(rM));
13067 assign( argR, getIRegA(rS));
13068 assign( res, binop(Iop_Mul32, mkexpr(argL), mkexpr(argR)) );
13071 assign(oldC, mk_armg_calculate_flag_c());
13073 assign(oldV, mk_armg_calculate_flag_v());
13079 assign( pair, binop(Iop_Or32,
13114 assign( argL, getIRegA(rM));
13115 assign( argR, getIRegA(rS));
13116 assign( argP, getIRegA(rN));
13117 assign( res, binop(isMLS ? Iop_Sub32 : Iop_Add32,
13123 assign(oldC, mk_armg_calculate_flag_c());
13125 assign(oldV, mk_armg_calculate_flag_v());
13131 assign( pair, binop(Iop_Or32,
13164 assign( argL, getIRegA(rM));
13165 assign( argR, getIRegA(rS));
13166 assign( res, binop(mulOp, mkexpr(argL), mkexpr(argR)) );
13167 assign( resHi, unop(Iop_64HIto32, mkexpr(res)) );
13168 assign( resLo, unop(Iop_64to32, mkexpr(res)) );
13171 assign(oldC, mk_armg_calculate_flag_c());
13173 assign(oldV, mk_armg_calculate_flag_v());
13180 assign( pair, binop(Iop_Or32,
13214 assign( argL, getIRegA(rM));
13215 assign( argR, getIRegA(rS));
13216 assign( old, binop(Iop_32HLto64, getIRegA(rDhi), getIRegA(rDlo)) );
13217 assign( res, binop(Iop_Add64,
13220 assign( resHi, unop(Iop_64HIto32, mkexpr(res)) );
13221 assign( resLo, unop(Iop_64to32, mkexpr(res)) );
13224 assign(oldC, mk_armg_calculate_flag_c());
13226 assign(oldV, mk_armg_calculate_flag_v());
13233 assign( pair, binop(Iop_Or32,
13259 assign(immT, mkU32(imm));
13277 assign(rNt, getIRegA(rN));
13340 assign(tRn, getIRegA(rN));
13341 assign(tNew, getIRegA(rM));
13423 assign(resSC32,
13476 assign(srcT, getIRegA(rM));
13477 assign(rotT, genROR32(srcT, 8 * rot)); /* 0, 8, 16 or 24 only */
13480 assign(dstT, unop(Iop_8Uto32, unop(Iop_32to8, mkexpr(rotT))));
13484 assign(dstT, unop(Iop_8Sto32, unop(Iop_32to8, mkexpr(rotT))));
13488 assign(dstT, unop(Iop_16Uto32, unop(Iop_32to16, mkexpr(rotT))));
13492 assign(dstT, unop(Iop_16Sto32, unop(Iop_32to16, mkexpr(rotT))));
13496 assign(dstT, binop(Iop_And32, mkexpr(rotT), mkU32(0x00FF00FF)));
13502 assign(lo32, binop(Iop_And32, mkexpr(rotT), mkU32(0xFF)));
13503 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
13504 assign(
13547 assign(src, rN == 15 ? mkU32(0) : getIRegA(rN));
13548 assign(olddst, getIRegA(rD));
13549 assign(newdst,
13592 assign(src, getIRegA(rN));
13593 assign(tmp, binop(Iop_And32,
13596 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
13721 assign(eaT, eaE);
13725 assign(rnT, getIRegA(rN));
13802 assign(srcR, getIRegA(rM));
13803 assign(srcL, getIRegA(rN));
13804 assign(res, binop(Iop_Add32,
13832 assign(srcR, getIRegA(rM));
13833 assign(srcL, getIRegA(rN));
13834 assign(res, binop(Iop_Add32,
13856 assign(rMt, getIRegA(rM));
13871 assign(arg, getIRegA(rM));
14004 assign( data, binop(Iop_32HLto64, getIRegA(rT+0), getIRegA(rT+1)) );
14011 assign(resSC32,
14352 ITSTATE. Assign it to condT. Also, generate new
14378 assign(z32, mkU32(0));
14391 // assign(new_itstate,
14407 // assign(condT1,
14422 // assign(condT, IRExpr_Mux0X(
14430 assign(condT, mkU32(1));
14438 // assign(notInITt,
14448 // assign(cond_AND_notInIT_T,
14459 assign(new_itstate,
14472 assign(condT1,
14499 we can simply do "assign(condT, mkexpr(condT1))", and the
14503 assign(condT, IRExpr_Mux0X(
14516 assign(notInITt,
14526 assign(cond_AND_notInIT_T,
14579 assign( argL, getIRegT(rN) );
14580 assign( argR, getIRegT(rM) );
14595 assign( oldC, mk_armg_calculate_flag_c() );
14596 assign( oldV, mk_armg_calculate_flag_v() );
14597 assign( res, binop(Iop_And32, getIRegT(rN), getIRegT(rM)) );
14611 assign(arg, getIRegT(rM));
14612 assign(zero, mkU32(0));
14628 assign( oldV, mk_armg_calculate_flag_v() );
14629 assign( oldC, mk_armg_calculate_flag_c() );
14630 assign(res, unop(Iop_Not32, getIRegT(rM)));
14658 assign( oldV, mk_armg_calculate_flag_v() );
14659 assign( oldC, mk_armg_calculate_flag_c() );
14660 assign( res, binop(anOp, getIRegT(rD), getIRegT(rM) ));
14678 assign( oldV, mk_armg_calculate_flag_v() );
14679 assign( oldC, mk_armg_calculate_flag_c() );
14680 assign( res, binop(Iop_And32, getIRegT(rD),
14700 assign(argL, getIRegT(rD));
14701 assign(argR, getIRegT(rM));
14702 assign(oldC, mk_armg_calculate_flag_c());
14703 assign(res, binop(Iop_Add32,
14723 assign(argL, getIRegT(rD));
14724 assign(argR, getIRegT(rM));
14725 assign(oldC, mk_armg_calculate_flag_c());
14726 assign(res, binop(Iop_Sub32,
14802 assign(rSt, getIRegT(rS));
14803 assign(rDt, getIRegT(rD));
14804 assign(oldV, mk_armg_calculate_flag_v());
14850 assign(arg, getIRegT(rM));
14898 assign( dst, getIRegT(rM) );
14901 assign( dst, mkU32(guest_R15_curr_instr_notENC + 4) );
14924 assign( dst, getIRegT(rM) );
14981 assign( res, binop(Iop_Add32, getIRegT(rD), getIRegT(rM) ));
15011 assign( argL, getIRegT(rN) );
15012 assign( argR, getIRegT(rM) );
15031 assign( val, getIRegT(rM) );
15069 assign(t, mkU32(newITSTATE));
15089 assign( kond, binop(bOP ? Iop_CmpNE32 : Iop_CmpEQ32,
15146 assign(newSP, binop(Iop_Sub32, getIRegT(13), mkU32(4 * nRegs)));
15152 assign(base, binop(Iop_And32, mkexpr(newSP), mkU32(~3)));
15197 assign(oldSP, getIRegT(13));
15202 assign(base, binop(Iop_And32, mkexpr(oldSP), mkU32(~3)));
15208 assign(newSP, binop(Iop_Add32, mkexpr(oldSP),
15226 assign( newPC, loadLE( Ity_I32,
15264 assign( argL, getIRegT(rN) );
15265 assign( argR, mkU32(uimm3) );
15285 assign( argL, getIRegT(rN) );
15286 assign( argR, getIRegT(rM) );
15440 assign( argL, getIRegT(rN) );
15441 assign( argR, mkU32(uimm8) );
15480 assign( argL, getIRegT(rN) );
15481 assign( argR, mkU32(uimm8) );
15495 assign( oldV, mk_armg_calculate_flag_v() );
15496 assign( oldC, mk_armg_calculate_flag_c() );
15497 assign( res, mkU32(uimm8) );
15516 assign(ea, binop(Iop_Add32,
15651 assign(oldRn, getIRegT(rN));
15652 assign(base, binop(Iop_And32, mkexpr(oldRn), mkU32(~3U)));
15705 assign(oldRn, getIRegT(rN));
15706 assign(base, binop(Iop_And32, mkexpr(oldRn), mkU32(~3U)));
15743 assign(rMt, getIRegT(rM));
15744 assign(oldV, mk_armg_calculate_flag_v());
15818 assign( kondT, mk_armg_calculate_condition(cond) );
16013 assign(argL, getIRegT(rN));
16014 assign(argR, mkU32(imm32));
16015 assign(res, binop(Iop_Add32, mkexpr(argL), mkexpr(argR)));
16043 assign(argL, getIRegT(rN));
16044 assign(argR, mkU32(imm12));
16045 assign(res, binop(Iop_Add32, mkexpr(argL), mkexpr(argR)));
16065 assign(argL, getIRegT(rN));
16066 assign(argR, mkU32(imm32));
16091 assign(argL, getIRegT(rN));
16092 assign(argR, mkU32(imm32));
16093 assign(res, binop(isTST ? Iop_And32 : Iop_Xor32,
16095 assign( oldV, mk_armg_calculate_flag_v() );
16096 assign( oldC, updC
16124 assign(argL, getIRegT(rN));
16125 assign(argR, mkU32(imm32));
16126 assign(res, isRSB
16156 assign(argL, getIRegT(rN));
16157 assign(argR, mkU32(imm12));
16158 assign(res, binop(Iop_Sub32, mkexpr(argL), mkexpr(argR)));
16179 assign(argL, getIRegT(rN));
16180 assign(argR, mkU32(imm12));
16181 assign(res, binop(Iop_Sub32, mkexpr(argL), mkexpr(argR)));
16209 assign(argL, getIRegT(rN));
16210 assign(argR, mkU32(imm32));
16211 assign(oldC, mk_armg_calculate_flag_c() );
16216 assign(res,
16227 assign(res,
16278 assign(argL, getIRegT(rN));
16279 assign(argR, mkU32(notArgR ? ~imm32 : imm32));
16280 assign(res, binop(op, mkexpr(argL), mkexpr(argR)));
16285 assign( oldV, mk_armg_calculate_flag_v() );
16286 assign( oldC, updC
16337 assign(argL, getIRegT(rN));
16340 assign(rMt, getIRegT(rM));
16348 assign(res, swap
16392 assign(argL, getIRegT(rN));
16395 assign(rMt, getIRegT(rM));
16398 assign(oldC, mk_armg_calculate_flag_c());
16410 assign(res,
16421 assign(res,
16474 assign(rNt, getIRegT(rN));
16477 assign(rMt, getIRegT(rM));
16489 assign(res, binop(op, mkexpr(rNt),
16492 assign(res, binop(op, mkexpr(rNt), mkexpr(argR)));
16498 assign( oldV, mk_armg_calculate_flag_v() );
16531 assign(rNt, getIRegT(rN));
16532 assign(rMt, getIRegT(rM));
16538 assign(oldV, mk_armg_calculate_flag_v());
16563 assign(rNt, getIRegT(rN));
16572 assign(res, isMVN ? unop(Iop_Not32, mkexpr(oldRn))
16578 assign( oldV, mk_armg_calculate_flag_v() );
16603 assign(argL, getIRegT(rN));
16606 assign(rMt, getIRegT(rM));
16615 assign( oldV, mk_armg_calculate_flag_v() );
16618 assign(res, binop(isTST ? Iop_And32 : Iop_Xor32,
16643 assign(argL, getIRegT(rN));
16646 assign(rMt, getIRegT(rM));
16675 assign(res, mkU32(isMVN ? ~imm32 : imm32));
16680 assign( oldV, mk_armg_calculate_flag_v() );
16681 assign( oldC, updC
16716 assign(res,
16802 assign(preAddr, getIRegT(rN));
16805 assign(postAddr, binop(bU == 1 ? Iop_Add32 : Iop_Sub32,
16824 assign(oldRt, getIRegT(rT));
16867 assign(newRt, loadLE(ty, mkexpr(transAddr)));
16869 assign(newRt, unop(widen, loadLE(ty, mkexpr(transAddr))));
16980 assign(transAddr,
16987 assign(oldRt, getIRegT(rT));
17017 assign(newRt, loadLE(ty, mkexpr(transAddr)));
17019 assign(newRt, unop(widen, loadLE(ty, mkexpr(transAddr))));
17122 assign(rNt, binop(Iop_And32, getIRegT(rN), mkU32(~3)));
17124 assign(rNt, getIRegT(rN));
17128 assign(transAddr,
17133 assign(oldRt, getIRegT(rT));
17163 assign(newRt, loadLE(ty, mkexpr(transAddr)));
17165 assign(newRt, unop(widen, loadLE(ty, mkexpr(transAddr))));
17213 assign(preAddr, getIRegT(rN));
17216 assign(postAddr, binop(bU == 1 ? Iop_Add32 : Iop_Sub32,
17224 assign(oldRt, getIRegT(rT));
17225 assign(oldRt2, getIRegT(rT2));
17233 assign(newRt,
17236 assign(newRt2,
17290 assign( kondT, mk_armg_calculate_condition(cond) );
17366 assign(delta, unop(Iop_16Uto32, loadLE(Ity_I16, ea)));
17368 assign(delta, unop(Iop_8Uto32, loadLE(Ity_I8, ea)));
17409 assign(src, getIRegT(rN));
17410 assign(tmp, binop(Iop_And32,
17413 assign(res, binop(isU ? Iop_Shr32 : Iop_Sar32,
17449 assign(srcT, getIRegT(rM));
17450 assign(rotT, genROR32(srcT, 8 * rot));
17454 assign(dstT, unop(Iop_8Uto32,
17459 assign(dstT, unop(Iop_16Uto32,
17464 assign(dstT, unop(Iop_8Sto32,
17469 assign(dstT, unop(Iop_16Sto32,
17474 assign(dstT, binop(Iop_And32, mkexpr(rotT),
17481 assign(lo32, binop(Iop_And32, mkexpr(rotT), mkU32(0xFF)));
17482 assign(hi32, binop(Iop_Shr32, mkexpr(rotT), mkU8(16)));
17483 assign(
17514 assign(res, binop(Iop_Mul32, getIRegT(rN), getIRegT(rM)));
17532 assign(res, binop(isU ? Iop_MullU32 : Iop_MullS32,
17554 assign(res,
17601 assign( argL, getIRegT(rM));
17602 assign( argR, getIRegT(rN));
17603 assign( old, binop(Iop_32HLto64, getIRegT(rDhi), getIRegT(rDlo)) );
17604 assign( res, binop(Iop_Add64,
17607 assign( resHi, unop(Iop_64HIto32, mkexpr(res)) );
17608 assign( resLo, unop(Iop_64to32, mkexpr(res)) );
17652 assign(src, rN == 15 ? mkU32(0) : getIRegT(rN));
17653 assign(olddst, getIRegT(rD));
17654 assign(newdst,
17692 assign(srcR, getIRegT(rM));
17693 assign(srcL, getIRegT(rN));
17694 assign(res, binop(Iop_Add32,
17721 assign(srcR, getIRegT(rM));
17722 assign(srcL, getIRegT(rN));
17723 assign(res, binop(Iop_Add32,
17745 assign(arg, getIRegT(rM1));
17746 assign(res, IRExpr_Mux0X(
17768 assign(arg, getIRegT(rM1));
17788 assign(arg, getIRegT(rM1));
17804 assign(rNt, getIRegT(rN));
17869 assign(resSC32,
