Lines Matching refs:IRTemp
39 All uses of newTemp assign to an IRTemp and not a UInt
154 is conditional, this holds the gating IRTemp :: Ity_I32. If the
157 static IRTemp r15guard; /* :: Ity_I32, 0 or 1 */
161 static IRTemp r15kind;
290 static IRExpr* mkexpr ( IRTemp tmp )
321 static void assign ( IRTemp dst, IRExpr* e )
332 static IRTemp newTemp ( IRType ty )
346 static IRExpr* genROR32( IRTemp src, Int rot )
533 IRTemp guardT /* :: Ity_I32, 0 or 1 */,
573 IRTemp guardT /* :: Ity_I32, 0 or 1 */ )
671 IRTemp guardT /* :: Ity_I32, 0 or 1 */)
715 IRTemp guardT /* :: Ity_I32, 0 or 1 */)
782 IRTemp guardT /* :: Ity_I32, 0 or 1 */)
842 IRTemp guardT /* :: Ity_I32, 0 or 1 */)
862 IRTemp guardT /* :: Ity_I32, 0 or 1 */)
889 static IRTemp get_ITSTATE ( void )
892 IRTemp t = newTemp(Ity_I32);
897 static void put_ITSTATE ( IRTemp t )
903 static IRTemp get_QFLAG32 ( void )
905 IRTemp t = newTemp(Ity_I32);
910 static void put_QFLAG32 ( IRTemp t, IRTemp condT )
919 static void or_into_QFLAG32 ( IRExpr* e, IRTemp condT )
921 IRTemp old = get_QFLAG32();
922 IRTemp nyu = newTemp(Ity_I32);
940 IRTemp condT )
947 IRTemp masked = newTemp(Ity_I32);
975 static void set_GE_32_10_from_bits_31_15 ( IRTemp t32, IRTemp condT )
977 IRTemp ge10 = newTemp(Ity_I32);
978 IRTemp ge32 = newTemp(Ity_I32);
991 static void set_GE_3_2_1_0_from_bits_31_23_15_7 ( IRTemp t32, IRTemp condT )
993 IRTemp ge0 = newTemp(Ity_I32);
994 IRTemp ge1 = newTemp(Ity_I32);
995 IRTemp ge2 = newTemp(Ity_I32);
996 IRTemp ge3 = newTemp(Ity_I32);
1013 static IRTemp /* :: Ity_I32 */ mk_get_IR_rounding_mode ( void )
1028 IRTemp armEncd = newTemp(Ity_I32);
1029 IRTemp swapped = newTemp(Ity_I32);
1290 IRTemp condT )
1305 void setFlags_D1_D2_ND ( UInt cc_op, IRTemp t_dep1,
1306 IRTemp t_dep2, IRTemp t_ndep,
1307 IRTemp guardT /* :: Ity_I32, 0 or 1 */ )
1309 IRTemp c8;
1350 static void setFlags_D1_D2 ( UInt cc_op, IRTemp t_dep1,
1351 IRTemp t_dep2,
1352 IRTemp guardT /* :: Ity_I32, 0 or 1 */ )
1354 IRTemp z32 = newTemp(Ity_I32);
1362 static void setFlags_D1_ND ( UInt cc_op, IRTemp t_dep1,
1363 IRTemp t_ndep,
1364 IRTemp guardT /* :: Ity_I32, 0 or 1 */ )
1366 IRTemp z32 = newTemp(Ity_I32);
1374 static void setFlags_D1 ( UInt cc_op, IRTemp t_dep1,
1375 IRTemp guardT /* :: Ity_I32, 0 or 1 */ )
1377 IRTemp z32 = newTemp(Ity_I32);
1392 IRTemp guardT /* :: Ity_I32, 0 or 1 */
1408 IRTemp guardT /* :: Ity_I32, 0 or 1 */
1425 IRTemp guardT /* :: Ity_I32, 0 or 1 */
1442 static void gen_SIGILL_T_if_nonzero ( IRTemp t /* :: Ity_I32 */ )
1465 IRTemp old_itstate /* :: Ity_I32 */,
1466 IRTemp new_itstate /* :: Ity_I32 */
1471 IRTemp guards_for_next3 = newTemp(Ity_I32);
1482 IRTemp old_itstate /* :: Ity_I32 */,
1483 IRTemp new_itstate /* :: Ity_I32 */
1494 static IRTemp synthesise_APSR ( void )
1496 IRTemp res1 = newTemp(Ity_I32);
1500 IRTemp res2 = newTemp(Ity_I32);
1521 IRTemp res3 = newTemp(Ity_I32);
1539 IRTemp apsrT, IRTemp condT )
1544 IRTemp immT = newTemp(Ity_I32);
1548 IRTemp qnewT = newTemp(Ity_I32);
1586 static void armUnsignedSatQ( IRTemp* res, /* OUT - Ity_I32 */
1587 IRTemp* resQ, /* OUT - Ity_I32 */
1588 IRTemp regT, /* value to clamp - Ity_I32 */
1594 IRTemp node0 = newTemp(Ity_I32);
1595 IRTemp node1 = newTemp(Ity_I32);
1596 IRTemp node2 = newTemp(Ity_I1);
1597 IRTemp node3 = newTemp(Ity_I32);
1598 IRTemp node4 = newTemp(Ity_I32);
1599 IRTemp node5 = newTemp(Ity_I1);
1600 IRTemp node6 = newTemp(Ity_I32);
1634 static void armSignedSatQ( IRTemp regT, /* value to clamp - Ity_I32 */
1636 IRTemp* res, /* OUT - Ity_I32 */
1637 IRTemp* resQ ) /* OUT - Ity_I32 */
1642 IRTemp node0 = newTemp(Ity_I32);
1643 IRTemp node1 = newTemp(Ity_I32);
1644 IRTemp node2 = newTemp(Ity_I1);
1645 IRTemp node3 = newTemp(Ity_I32);
1646 IRTemp node4 = newTemp(Ity_I32);
1647 IRTemp node5 = newTemp(Ity_I1);
1648 IRTemp node6 = newTemp(Ity_I32);
1674 IRTemp argL, IRTemp argR )
1676 IRTemp res = newTemp(Ity_I32);
1712 IRTemp* res,
1713 IRTemp* newC,
1714 IRTemp rMt, UInt shift_amt, /* operands */
1742 IRTemp* res,
1743 IRTemp* newC,
1744 IRTemp rMt, IRTemp rSt, /* operands */
1753 IRTemp amtT = newTemp(Ity_I32);
1764 IRTemp oldC = newTemp(Ity_I32);
1817 IRTemp* res,
1818 IRTemp* newC,
1819 IRTemp rMt, UInt shift_amt, /* operands */
1856 IRTemp* res,
1857 IRTemp* newC,
1858 IRTemp rMt, IRTemp rSt, /* operands */
1867 IRTemp amtT = newTemp(Ity_I32);
1876 IRTemp oldC = newTemp(Ity_I32);
1929 IRTemp* res,
1930 IRTemp* newC,
1931 IRTemp
1968 IRTemp* res,
1969 IRTemp* newC,
1970 IRTemp rMt, IRTemp rSt, /* operands */
1979 IRTemp amtT = newTemp(Ity_I32);
1988 IRTemp oldC = newTemp(Ity_I32);
2044 IRTemp* res,
2045 IRTemp* newC,
2046 IRTemp rMt, IRTemp rSt, /* operands */
2054 IRTemp amtT = newTemp(Ity_I32);
2056 IRTemp amt5T = newTemp(Ity_I32);
2058 IRTemp oldC = newTemp(Ity_I32);
2123 /*OUT*/IRTemp* res,
2124 /*OUT*/IRTemp* newC,
2125 IRTemp rMt, /* reg to shift */
2156 IRTemp oldcT = newTemp(Ity_I32);
2216 /*OUT*/IRTemp* res,
2217 /*OUT*/IRTemp* newC,
2218 IRTemp rMt, /* reg to shift */
2220 IRTemp rSt, /* shift amount */
2272 /*OUT*/IRTemp* shop,
2273 /*OUT*/IRTemp* shco,
2317 IRTemp rMt = newTemp(Ity_I32);
2335 IRTemp rMt = newTemp(Ity_I32);
2336 IRTemp rSt = newTemp(Ity_I32);
2417 IRTemp rmT = newTemp(Ity_I32);
2418 IRTemp cflagT = newTemp(Ity_I32);
2426 IRTemp rmT = newTemp(Ity_I32);
2482 IRTemp mk_convert_IRCmpF64Result_to_NZCV ( IRTemp irRes )
2484 IRTemp ix = newTemp(Ity_I32);
2485 IRTemp termL = newTemp(Ity_I32);
2486 IRTemp termR = newTemp(Ity_I32);
2487 IRTemp nzcv = newTemp(Ity_I32);
2689 static IRTemp gen_BITREV ( IRTemp x0 )
2691 IRTemp x1 = newTemp(Ity_I32);
2692 IRTemp x2 = newTemp(Ity_I32);
2693 IRTemp x3 = newTemp(Ity_I32);
2694 IRTemp x4 = newTemp(Ity_I32);
2695 IRTemp x5 = newTemp(Ity_I32);
2752 static IRTemp gen_REV ( IRTemp arg )
2754 IRTemp res = newTemp(Ity_I32);
2773 static IRTemp gen_REV16 ( IRTemp arg )
2775 IRTemp res = newTemp(Ity_I32);
2845 Bool dis_neon_vext ( UInt theInstr, IRTemp condT )
2868 Bool dis_neon_vtb ( UInt theInstr, IRTemp condT )
2878 IRTemp arg_l;
2879 IRTemp old_mask, new_mask, cur_mask;
2880 IRTemp old_res, new_res;
2881 IRTemp old_arg, new_arg;
2948 Bool dis_neon_vdup ( UInt theInstr, IRTemp condT )
2956 IRTemp arg_m;
2957 IRTemp res;
3002 Bool dis_neon_data_3same ( UInt theInstr, IRTemp condT )
3014 IRTemp arg_n;
3015 IRTemp arg_m;
3016 IRTemp res;
3109 IRTemp tmp;
3175 IRTemp cc;
3361 IRTemp reg_d = newTemp(Ity_V128);
3372 IRTemp reg_d = newTemp(Ity_I64);
3389 IRTemp
3399 IRTemp reg_d = newTemp(Ity_I64);
3416 IRTemp reg_d = newTemp(Ity_V128);
3426 IRTemp reg_d = newTemp(Ity_I64);
3523 IRTemp tmp;
3628 IRTemp tmp;
3686 IRTemp tmp, shval, mask, old_shval;
3815 IRTemp shval, old_shval, imm_val, round;
3952 IRTemp tmp, shval, mask, old_shval, imm_val, round;
4168 IRTemp cond;
4234 IRTemp cond, acc, tmp;
4796 Bool dis_neon_data_3diff ( UInt theInstr, IRTemp condT )
4807 IRTemp res, arg_m, arg_n, cond, tmp;
5217 Bool dis_neon_data_2reg_and_scalar ( UInt theInstr, IRTemp condT )
5234 IRTemp res, arg_m, arg_n;
5340 IRTemp res, arg_m, arg_n;
5397 IRTemp res, arg_m, arg_n, tmp;
5473 IRTemp res, arg_m, arg_n;
5570 IRTemp res, arg_m, arg_n;
5616 IRTemp arg_m, arg_n;
5681 IRTemp res, arg_m, arg_n;
5781 IRTemp res, arg_m, arg_n;
5883 Bool dis_neon_data_2reg_and_shift ( UInt theInstr, IRTemp condT )
5898 IRTemp reg_m, res, mask;
6607 Bool dis_neon_data_2reg_misc ( UInt theInstr, IRTemp condT )
6617 IRTemp arg_d;
6618 IRTemp arg_m;
6619 IRTemp res;
6832 IRTemp mask, tmp;
7184 IRTemp res1, res2;
7254 IRTemp res1, res2;
7305 IRTemp res1, res2;
7370 IRTemp tmp;
7638 Bool dis_neon_data_1reg_and_imm ( UInt theInstr, IRTemp condT )
7652 IRTemp tmp_var;
7769 Bool dis_neon_data_processing ( UInt theInstr, IRTemp condT )
7824 UInt N, UInt size, IRTemp addr )
7885 UInt N, UInt size, IRTemp addr )
7930 Bool isT, IRTemp condT )
7954 IRTemp initialRn = newTemp(Ity_I32);
7957 IRTemp initialRm = newTemp(Ity_I32);
7981 IRTemp addr = newTemp(Ity_I32);
8031 IRTemp addr = newTemp(Ity_I32);
8127 IRTemp tmp;
8168 IRTemp addr = newTemp(Ity_I32);
8243 Caller must supply an IRTemp 'condT' holding the gating condition,
8254 IRTemp condT,
8325 Caller must supply an IRTemp 'condT' holding the gating condition,
8341 IRTemp condT,
8392 IRTemp srcN = newTemp(Ity_I32);
8393 IRTemp srcM = newTemp(Ity_I32);
8394 IRTemp res = newTemp(Ity_I32);
8448 IRTemp irt_prod = newTemp(Ity_I64);
8514 IRTemp irt_regM = newTemp(Ity_I32);
8515 IRTemp irt_regM_shift = newTemp(Ity_I32);
8573 IRTemp irt_regN = newTemp(Ity_I32);
8574 IRTemp irt_regN_shift = newTemp(Ity_I32);
8575 IRTemp irt_sat_Q = newTemp(Ity_I32);
8576 IRTemp irt_result = newTemp(Ity_I32);
8631 IRTemp irt_regN = newTemp(Ity_I32);
8632 IRTemp irt_regN_shift = newTemp(Ity_I32);
8633 IRTemp irt_sat_Q = newTemp(Ity_I32);
8634 IRTemp irt_result = newTemp(Ity_I32);
8682 IRTemp irt_regN = newTemp(Ity_I32);
8683 IRTemp irt_regN_lo = newTemp(Ity_I32);
8684 IRTemp irt_regN_hi = newTemp(Ity_I32);
8685 IRTemp irt_Q_lo = newTemp(Ity_I32);
8686 IRTemp irt_Q_hi = newTemp(Ity_I32);
8687 IRTemp irt_res_lo = newTemp(Ity_I32);
8688 IRTemp irt_res_hi = newTemp(Ity_I32);
8743 IRTemp rNt = newTemp(Ity_I32);
8744 IRTemp rMt = newTemp(Ity_I32);
8745 IRTemp res = newTemp(Ity_I32);
8746 IRTemp reso = newTemp(Ity_I32);
8792 IRTemp rNt = newTemp(Ity_I32);
8793 IRTemp rMt = newTemp(Ity_I32);
8794 IRTemp res = newTemp(Ity_I32);
8795 IRTemp reso = newTemp(Ity_I32);
8842 IRTemp rNt = newTemp(Ity_I32);
8843 IRTemp rMt = newTemp(Ity_I32);
8844 IRTemp res = newTemp(Ity_I32);
8845 IRTemp reso = newTemp(Ity_I32);
8892 IRTemp rNt = newTemp(Ity_I32);
8893 IRTemp rMt = newTemp(Ity_I32);
8894 IRTemp res = newTemp(Ity_I32);
8895 IRTemp reso = newTemp(Ity_I32);
8942 IRTemp rNt = newTemp(Ity_I32);
8943 IRTemp rMt = newTemp(Ity_I32);
8944 IRTemp res = newTemp(Ity_I32);
8945 IRTemp reso = newTemp(Ity_I32);
8991 IRTemp rNt = newTemp(Ity_I32);
8992 IRTemp rMt = newTemp(Ity_I32);
8993 IRTemp res = newTemp(Ity_I32);
8994 IRTemp reso = newTemp(Ity_I32);
9041 IRTemp rNt = newTemp(Ity_I32);
9042 IRTemp rMt = newTemp(Ity_I32);
9043 IRTemp res = newTemp(Ity_I32);
9044 IRTemp reso = newTemp(Ity_I32);
9091 IRTemp rNt = newTemp(Ity_I32);
9092 IRTemp rMt = newTemp(Ity_I32);
9093 IRTemp res = newTemp(Ity_I32);
9094 IRTemp reso = newTemp(Ity_I32);
9141 IRTemp rNt = newTemp(Ity_I32);
9142 IRTemp rMt = newTemp(Ity_I32);
9143 IRTemp res_q = newTemp(Ity_I32);
9186 IRTemp rNt = newTemp(Ity_I32);
9187 IRTemp rMt = newTemp(Ity_I32);
9188 IRTemp res_q = newTemp(Ity_I32);
9231 IRTemp rNt = newTemp(Ity_I32);
9232 IRTemp rMt = newTemp(Ity_I32);
9233 IRTemp res_q = newTemp(Ity_I32);
9276 IRTemp rNt = newTemp(Ity_I32);
9277 IRTemp rMt = newTemp(Ity_I32);
9278 IRTemp res_q = newTemp(Ity_I32);
9321 IRTemp rNt = newTemp(Ity_I32);
9322 IRTemp rMt = newTemp(Ity_I32);
9323 IRTemp res_q = newTemp(Ity_I32);
9366 IRTemp rNt = newTemp(Ity_I32);
9367 IRTemp rMt = newTemp(Ity_I32);
9368 IRTemp res_q = newTemp(Ity_I32);
9411 IRTemp rNt = newTemp(Ity_I32);
9412 IRTemp rMt = newTemp(Ity_I32);
9413 IRTemp res_q = newTemp(Ity_I32);
9456 IRTemp rNt = newTemp(Ity_I32);
9457 IRTemp rMt = newTemp(Ity_I32);
9458 IRTemp res_q = newTemp(Ity_I32);
9509 IRTemp irt_regN = newTemp(Ity_I32);
9510 IRTemp irt_regM = newTemp(Ity_I32);
9511 IRTemp irt_sum = newTemp(Ity_I32);
9512 IRTemp irt_diff = newTemp(Ity_I32);
9513 IRTemp irt_sum_res = newTemp(Ity_I32);
9514 IRTemp irt_diff_res = newTemp(Ity_I32);
9578 IRTemp irt_regN = newTemp(Ity_I32);
9579 IRTemp irt_regM = newTemp(Ity_I32);
9580 IRTemp irt_sum = newTemp(Ity_I32);
9581 IRTemp irt_diff = newTemp(Ity_I32);
9582 IRTemp irt_res_sum = newTemp(Ity_I32);
9583 IRTemp irt_res_diff = newTemp(Ity_I32);
9646 IRTemp irt_regN = newTemp(Ity_I32);
9647 IRTemp irt_regM = newTemp(Ity_I32);
9648 IRTemp irt_sum = newTemp(Ity_I32);
9649 IRTemp irt_diff = newTemp(Ity_I32);
9673 IRTemp ge10 = newTemp(Ity_I32);
9678 IRTemp ge32 = newTemp(Ity_I32);
9726 IRTemp irt_regN = newTemp(Ity_I32);
9727 IRTemp irt_regM = newTemp(Ity_I32);
9728 IRTemp irt_prod_lo = newTemp(Ity_I32);
9729 IRTemp irt_prod_hi = newTemp(Ity_I32);
9730 IRTemp tmpM = newTemp(Ity_I32);
9807 IRTemp irt_regN = newTemp(Ity_I32);
9808 IRTemp irt_regM = newTemp(Ity_I32);
9809 IRTemp irt_regA = newTemp(Ity_I32);
9810 IRTemp irt_prod_lo = newTemp(Ity_I32);
9811 IRTemp irt_prod_hi = newTemp(Ity_I32);
9812 IRTemp irt_sum = newTemp(Ity_I32);
9813 IRTemp tmpM = newTemp(Ity_I32);
9896 IRTemp irt_regA = newTemp(Ity_I32);
9897 IRTemp irt_prod = newTemp(Ity_I32);
9964 IRTemp irt_regA = newTemp(Ity_I32);
9965 IRTemp irt_prod = newTemp(Ity_I64);
9978 IRTemp prod32 = newTemp(Ity_I32);
10033 IRTemp irt_ge_flag0 = newTemp(Ity_I32);
10034 IRTemp irt_ge_flag1 = newTemp(Ity_I32);
10035 IRTemp irt_ge_flag2 = newTemp(Ity_I32);
10036 IRTemp irt_ge_flag3 = newTemp(Ity_I32);
10120 IRTemp irt_regN = newTemp(Ity_I32);
10123 IRTemp irt_regM = newTemp(Ity_I32);
10126 IRTemp irt_rot = newTemp(Ity_I32);
10237 IRTemp jk = Ijk_Boring;
10248 IRTemp oldRnT = newTemp(Ity_I32);
10251 IRTemp anchorT = newTemp(Ity_I32);
10434 Caller must supply an IRTemp 'condT' holding the gating condition,
10450 IRTemp condT,
10539 IRTemp rnT = newTemp(Ity_I32);
10544 IRTemp rnTnew = IRTemp_INVALID;
10553 IRTemp taT = newTemp(Ity_I32);
10676 IRTemp rnT = newTemp(Ity_I32);
10681 IRTemp rnTnew = IRTemp_INVALID;
10690 IRTemp taT = newTemp(Ity_I32);
10751 IRTemp nzcvT = newTemp(Ity_I32);
10818 IRTemp i64 = newTemp(Ity_I64);
11082 IRTemp ea = newTemp(Ity_I32);
11205 IRTemp argL = newTemp(Ity_F64);
11206 IRTemp argR = newTemp(Ity_F64);
11207 IRTemp irRes = newTemp(Ity_I32);
11212 IRTemp nzcv = IRTemp_INVALID;
11213 IRTemp oldFPSCR = newTemp(Ity_I32);
11214 IRTemp newFPSCR = newTemp(Ity_I32);
11327 IRTemp rmode = newTemp(Ity_I32);
11425 IRTemp rnT = newTemp(Ity_I32);
11430 IRTemp rnTnew = IRTemp_INVALID;
11439 IRTemp taT = newTemp(Ity_I32);
11544 IRTemp ea = newTemp(Ity_I32);
11671 IRTemp argL = newTemp(Ity_F64);
11672 IRTemp argR = newTemp(Ity_F64);
11673 IRTemp irRes = newTemp(Ity_I32);
11680 IRTemp nzcv = IRTemp_INVALID;
11681 IRTemp oldFPSCR = newTemp(Ity_I32);
11682 IRTemp newFPSCR = newTemp(Ity_I32);
11778 IRTemp rmode = newTemp(Ity_I32);
11811 IRTemp rmode = newTemp(Ity_I32);
11858 IRTemp rmode = newTemp(Ity_I32);
11925 IRTemp eaT = newTemp(Ity_I32);
12060 IRTemp condT; /* :: Ity_I32 */
12193 IRTemp shop = IRTemp_INVALID; /* shifter operand */
12194 IRTemp shco = IRTemp_INVALID; /* shifter carry out */
12198 IRTemp rNt = IRTemp_INVALID;
12199 IRTemp res = IRTemp_INVALID;
12200 IRTemp oldV = IRTemp_INVALID;
12201 IRTemp oldC = IRTemp_INVALID;
12305 IRTemp jk = Ijk_Boring;
12584 IRTemp eaT = newTemp(Ity_I32);
12588 IRTemp rnT = newTemp(Ity_I32);
12592 IRTemp taT = IRTemp_INVALID;
12610 IRTemp rDt = newTemp(Ity_I32);
12634 IRTemp jk = Ijk_Boring;
12816 IRTemp eaT = newTemp(Ity_I32);
12820 IRTemp rnT = newTemp(Ity_I32);
12824 IRTemp taT = IRTemp_INVALID;
13051 IRTemp dst = newTemp(Ity_I32);
13094 IRTemp arg = newTemp(Ity_I32);
13095 IRTemp res = newTemp(Ity_I32);
13120 IRTemp argL = newTemp(Ity_I32);
13121 IRTemp argR = newTemp(Ity_I32);
13122 IRTemp res = newTemp(Ity_I32);
13123 IRTemp oldC = IRTemp_INVALID;
13124 IRTemp oldV = IRTemp_INVALID;
13137 IRTemp pair = newTemp(Ity_I32);
13167 IRTemp argL = newTemp(Ity_I32);
13168 IRTemp argR = newTemp(Ity_I32);
13169 IRTemp argP = newTemp(Ity_I32);
13170 IRTemp res = newTemp(Ity_I32);
13171 IRTemp oldC = IRTemp_INVALID;
13172 IRTemp oldV = IRTemp_INVALID;
13189 IRTemp pair = newTemp(Ity_I32);
13215 IRTemp argL = newTemp(Ity_I32);
13216 IRTemp argR = newTemp(Ity_I32);
13217 IRTemp res = newTemp(Ity_I64);
13218 IRTemp resHi = newTemp(Ity_I32);
13219 IRTemp resLo = newTemp(Ity_I32);
13220 IRTemp oldC = IRTemp_INVALID;
13221 IRTemp oldV = IRTemp_INVALID;
13238 IRTemp pair = newTemp(Ity_I32);
13264 IRTemp argL = newTemp(Ity_I32);
13265 IRTemp argR = newTemp(Ity_I32);
13266 IRTemp old = newTemp(Ity_I64);
13267 IRTemp res = newTemp(Ity_I64);
13268 IRTemp resHi = newTemp(Ity_I32);
13269 IRTemp resLo = newTemp(Ity_I32);
13270 IRTemp oldC = IRTemp_INVALID;
13271 IRTemp oldV = IRTemp_INVALID;
13291 IRTemp pair = newTemp(Ity_I32);
13315 IRTemp immT = newTemp(Ity_I32);
13335 IRTemp rNt = newTemp(Ity_I32);
13349 IRTemp apsr = synthesise_APSR();
13384 IRTemp tRn = newTemp(Ity_I32);
13385 IRTemp tNew = newTemp(Ity_I32);
13386 IRTemp tOld = IRTemp_INVALID;
13387 IRTemp tSC1 = newTemp(Ity_I1);
13458 IRTemp res;
13515 IRTemp resSC1, resSC32, data;
13592 IRTemp srcT = newTemp(Ity_I32);
13593 IRTemp rotT = newTemp(Ity_I32);
13594 IRTemp dstT = newTemp(Ity_I32);
13620 IRTemp
13621 IRTemp hi32 = newTemp(Ity_I32);
13659 IRTemp src = newTemp(Ity_I32);
13660 IRTemp olddst = newTemp(Ity_I32);
13661 IRTemp newdst = newTemp(Ity_I32);
13705 IRTemp src = newTemp(Ity_I32);
13706 IRTemp tmp = newTemp(Ity_I32);
13707 IRTemp res = newTemp(Ity_I32);
13840 IRTemp eaT = newTemp(Ity_I32);
13844 IRTemp rnT = newTemp(Ity_I32);
13848 IRTemp taT = IRTemp_INVALID;
13919 IRTemp srcL = newTemp(Ity_I32);
13920 IRTemp srcR = newTemp(Ity_I32);
13921 IRTemp res = newTemp(Ity_I32);
13949 IRTemp srcL = newTemp(Ity_I32);
13950 IRTemp srcR = newTemp(Ity_I32);
13951 IRTemp res = newTemp(Ity_I32);
13975 IRTemp rMt = newTemp(Ity_I32);
13977 IRTemp res = isREV ? gen_REV(rMt) : gen_REV16(rMt);
13990 IRTemp arg = newTemp(Ity_I32);
13992 IRTemp res = gen_BITREV(arg);
14442 IRTemp condT = IRTemp_INVALID;
14443 IRTemp old_itstate = IRTemp_INVALID;
14444 IRTemp new_itstate = IRTemp_INVALID;
14445 IRTemp cond_AND_notInIT_T = IRTemp_INVALID;
14451 IRTemp z32 = newTemp(Ity_I32);
14480 // IRTemp condT1 = newTemp(Ity_I32);
14511 // IRTemp notInITt = newTemp(Ity_I32);
14545 IRTemp condT1 = newTemp(Ity_I32);
14589 IRTemp notInITt = newTemp(Ity_I32);
14651 IRTemp argL = newTemp(Ity_I32);
14652 IRTemp argR = newTemp(Ity_I32);
14666 IRTemp oldC = newTemp(Ity_I32);
14667 IRTemp oldV = newTemp(Ity_I32);
14668 IRTemp res = newTemp(Ity_I32);
14683 IRTemp arg = newTemp(Ity_I32);
14684 IRTemp zero = newTemp(Ity_I32);
14699 IRTemp oldV = newTemp(Ity_I32);
14700 IRTemp oldC = newTemp(Ity_I32);
14701 IRTemp res = newTemp(Ity_I32);
14729 IRTemp res = newTemp(Ity_I32);
14730 IRTemp oldV = newTemp(Ity_I32);
14731 IRTemp oldC = newTemp(Ity_I32);
14749 IRTemp res = newTemp(Ity_I32);
14750 IRTemp oldV = newTemp(Ity_I32);
14751 IRTemp oldC = newTemp(Ity_I32);
14770 IRTemp argL = newTemp(Ity_I32);
14771 IRTemp argR = newTemp(Ity_I32);
14772 IRTemp oldC = newTemp(Ity_I32);
14773 IRTemp res = newTemp(Ity_I32);
14793 IRTemp argL = newTemp(Ity_I32);
14794 IRTemp argR = newTemp(Ity_I32);
14795 IRTemp oldC = newTemp(Ity_I32);
14796 IRTemp res = newTemp(Ity_I32);
14870 IRTemp oldV = newTemp(Ity_I32);
14871 IRTemp rDt = newTemp(Ity_I32);
14872 IRTemp rSt = newTemp(Ity_I32);
14873 IRTemp res = newTemp(Ity_I32);
14874 IRTemp resC = newTemp(Ity_I32);
14923 IRTemp arg = newTemp(Ity_I32);
14925 IRTemp res = isREV ? gen_REV(arg) : gen_REV16(arg);
14966 IRTemp dst = newTemp(Ity_I32);
14991 IRTemp dst = newTemp(Ity_I32);
15054 IRTemp res = newTemp(Ity_I32);
15083 IRTemp argL = newTemp(Ity_I32);
15084 IRTemp argR = newTemp(Ity_I32);
15104 IRTemp val = newTemp(Ity_I32);
15142 IRTemp t = newTemp(Ity_I32);
15162 IRTemp kond = newTemp(Ity_I1);
15219 IRTemp newSP = newTemp(Ity_I32);
15225 IRTemp base = newTemp(Ity_I32);
15270 IRTemp oldSP = newTemp(Ity_I32);
15275 IRTemp base = newTemp(Ity_I32);
15281 IRTemp newSP = newTemp(Ity_I32);
15297 IRTemp newPC = IRTemp_INVALID;
15336 IRTemp argL = newTemp(Ity_I32);
15337 IRTemp argR = newTemp(Ity_I32);
15357 IRTemp argL = newTemp(Ity_I32);
15358 IRTemp argR = newTemp(Ity_I32);
15512 IRTemp argL = newTemp(Ity_I32);
15513 IRTemp argR = newTemp(Ity_I32);
15552 IRTemp argL = newTemp(Ity_I32);
15553 IRTemp argR = newTemp(Ity_I32);
15566 IRTemp oldV = newTemp(Ity_I32);
15567 IRTemp oldC = newTemp(Ity_I32);
15568 IRTemp res = newTemp(Ity_I32);
15584 IRTemp ea = newTemp(Ity_I32);
15723 IRTemp oldRn = newTemp(Ity_I32);
15724 IRTemp base = newTemp(Ity_I32);
15777 IRTemp oldRn = newTemp(Ity_I32);
15778 IRTemp base = newTemp(Ity_I32);
15812 IRTemp res = newTemp(Ity_I32);
15813 IRTemp resC = newTemp(Ity_I32);
15814 IRTemp rMt = newTemp(Ity_I32);
15815 IRTemp oldV = newTemp(Ity_I32);
15891 IRTemp kondT = newTemp(Ity_I32);
16106 IRTemp argL = newTemp(Ity_I32);
16107 IRTemp argR = newTemp(Ity_I32);
16108 IRTemp res = newTemp(Ity_I32);
16133 IRTemp argL = newTemp(Ity_I32);
16134 IRTemp argR = newTemp(Ity_I32);
16135 IRTemp res = newTemp(Ity_I32);
16155 IRTemp argL = newTemp(Ity_I32);
16156 IRTemp argR = newTemp(Ity_I32);
16178 IRTemp argL = newTemp(Ity_I32);
16179 IRTemp argR = newTemp(Ity_I32);
16180 IRTemp res = newTemp(Ity_I32);
16181 IRTemp oldV = newTemp(Ity_I32);
16182 IRTemp oldC = newTemp(Ity_I32);
16215 IRTemp argL = newTemp(Ity_I32);
16216 IRTemp argR = newTemp(Ity_I32);
16217 IRTemp res = newTemp(Ity_I32);
16248 IRTemp argL = newTemp(Ity_I32);
16249 IRTemp argR = newTemp(Ity_I32);
16250 IRTemp res = newTemp(Ity_I32);
16273 IRTemp argL = newTemp(Ity_I32);
16274 IRTemp argR = newTemp(Ity_I32);
16275 IRTemp res = newTemp(Ity_I32);
16276 IRTemp oldC = newTemp(Ity_I32);
16342 IRTemp argL = newTemp(Ity_I32);
16343 IRTemp argR = newTemp(Ity_I32);
16344 IRTemp res = newTemp(Ity_I32);
16352 IRTemp oldV = newTemp(Ity_I32);
16353 IRTemp oldC = newTemp(Ity_I32);
16407 IRTemp argL = newTemp(Ity_I32);
16410 IRTemp rMt = newTemp(Ity_I32);
16413 IRTemp argR = newTemp(Ity_I32);
16418 IRTemp res = newTemp(Ity_I32);
16462 IRTemp argL = newTemp(Ity_I32);
16465 IRTemp rMt = newTemp(Ity_I32);
16468 IRTemp oldC = newTemp(Ity_I32);
16471 IRTemp argR = newTemp(Ity_I32);
16477 IRTemp res = newTemp(Ity_I32);
16544 IRTemp rNt = newTemp(Ity_I32);
16547 IRTemp rMt = newTemp(Ity_I32);
16550 IRTemp argR = newTemp(Ity_I32);
16551 IRTemp oldC = bS ? newTemp(Ity_I32) : IRTemp_INVALID;
16557 IRTemp res = newTemp(Ity_I32);
16568 IRTemp oldV = newTemp(Ity_I32);
16594 IRTemp rNt = newTemp(Ity_I32);
16595 IRTemp rMt = newTemp(Ity_I32);
16596 IRTemp res = newTemp(Ity_I32);
16597 IRTemp oldC = bS ? newTemp(Ity_I32) : IRTemp_INVALID;
16598 IRTemp oldV = bS ? newTemp(Ity_I32) : IRTemp_INVALID;
16632 IRTemp rNt = newTemp(Ity_I32);
16635 IRTemp oldRn = newTemp(Ity_I32);
16636 IRTemp oldC = bS ? newTemp(Ity_I32) : IRTemp_INVALID;
16641 IRTemp res = newTemp(Ity_I32);
16647 IRTemp oldV = newTemp(Ity_I32);
16672 IRTemp argL = newTemp(Ity_I32);
16675 IRTemp rMt = newTemp(Ity_I32);
16678 IRTemp argR = newTemp(Ity_I32);
16679 IRTemp oldC = newTemp(Ity_I32);
16684 IRTemp oldV = newTemp(Ity_I32);
16687 IRTemp res = newTemp(Ity_I32);
16712 IRTemp argL = newTemp(Ity_I32);
16715 IRTemp rMt = newTemp(Ity_I32);
16718 IRTemp argR = newTemp(Ity_I32);
16744 IRTemp res = newTemp(Ity_I32);
16748 IRTemp oldV = newTemp(Ity_I32);
16749 IRTemp oldC = newTemp(Ity_I32);
16785 IRTemp res = newTemp(Ity_I32);
16871 IRTemp preAddr = newTemp(Ity_I32);
16874 IRTemp postAddr = newTemp(Ity_I32);
16878 IRTemp transAddr = bP == 1 ? postAddr : preAddr;
16893 IRTemp oldRt = newTemp(Ity_I32);
16924 IRTemp newRt = newTemp(Ity_I32);
17049 IRTemp transAddr = newTemp(Ity_I32);
17056 IRTemp oldRt = newTemp(Ity_I32);
17074 IRTemp newRt = newTemp(Ity_I32);
17189 IRTemp rNt = newTemp(Ity_I32);
17197 IRTemp transAddr = newTemp(Ity_I32);
17202 IRTemp oldRt = newTemp(Ity_I32);
17220 IRTemp newRt = newTemp(Ity_I32);
17282 IRTemp preAddr = newTemp(Ity_I32);
17285 IRTemp postAddr = newTemp(Ity_I32);
17289 IRTemp transAddr = bP == 1 ? postAddr : preAddr;
17292 IRTemp oldRt = newTemp(Ity_I32);
17293 IRTemp oldRt2 = newTemp(Ity_I32);
17301 IRTemp newRt = newTemp(Ity_I32);
17302 IRTemp newRt2 = newTemp(Ity_I32);
17359 IRTemp kondT = newTemp(Ity_I32);
17434 IRTemp delta = newTemp(Ity_I32);
17472 IRTemp src = newTemp(Ity_I32);
17473 IRTemp tmp = newTemp(Ity_I32);
17474 IRTemp res = newTemp(Ity_I32);
17516 IRTemp srcT = newTemp(Ity_I32);
17517 IRTemp rotT = newTemp(Ity_I32);
17518 IRTemp dstT = newTemp(Ity_I32);
17549 IRTemp lo32 = newTemp(Ity_I32);
17550 IRTemp hi32 = newTemp(Ity_I32);
17583 IRTemp res = newTemp(Ity_I32);
17601 IRTemp res = newTemp(Ity_I64);
17623 IRTemp res = newTemp(Ity_I32);
17664 IRTemp argL = newTemp(Ity_I32);
17665 IRTemp argR = newTemp(Ity_I32);
17666 IRTemp old = newTemp(Ity_I64);
17667 IRTemp res = newTemp(Ity_I64);
17668 IRTemp resHi = newTemp(Ity_I32);
17669 IRTemp resLo = newTemp(Ity_I32);
17714 IRTemp src = newTemp(Ity_I32);
17715 IRTemp olddst = newTemp(Ity_I32);
17716 IRTemp newdst = newTemp(Ity_I32);
17759 IRTemp srcL = newTemp(Ity_I32);
17760 IRTemp srcR = newTemp(Ity_I32);
17761 IRTemp res = newTemp(Ity_I32);
17788 IRTemp srcL = newTemp(Ity_I32);
17789 IRTemp srcR = newTemp(Ity_I32);
17790 IRTemp res = newTemp(Ity_I32);
17813 IRTemp arg = newTemp(Ity_I32);
17814 IRTemp res = newTemp(Ity_I32);
17837 IRTemp arg = newTemp(Ity_I32);
17839 IRTemp res = gen_BITREV(arg);
17857 IRTemp arg = newTemp(Ity_I32);
17859 IRTemp res = isREV ? gen_REV(arg) : gen_REV16(arg);
17873 IRTemp rNt = newTemp(Ity_I32);
17887 IRTemp apsr = synthesise_APSR();
17900 IRTemp res;
17922 IRTemp res;
17942 IRTemp res;
17966 IRTemp resSC1, resSC32;
17996 IRTemp resSC1, resSC32;
18024 IRTemp resSC1, resSC32, data;
