Lines Matching refs:Ity_I32
532 vassert(tyA == Ity_I32 || tyA == Ity_I64);
787 *t0 = newTemp(Ity_I32);
788 *t1 = newTemp(Ity_I32);
789 *t2 = newTemp(Ity_I32);
790 *t3 = newTemp(Ity_I32);
814 IRTemp hi32 = newTemp(Ity_I32);
815 IRTemp lo32 = newTemp(Ity_I32);
836 IRTemp hi32 = newTemp(Ity_I32);
837 IRTemp lo32 = newTemp(Ity_I32);
935 ty == Ity_I32 || ty == Ity_I64);
941 adj = ty==Ity_I8 ? 0 : (ty==Ity_I16 ? 1 : (ty==Ity_I32 ? 2 : 3));
948 vassert(ty == Ity_I32 || ty == Ity_I64);
957 vassert(ty == Ity_I32 || ty == Ity_I64);
964 vassert(ty == Ity_I32 || ty == Ity_I64);
973 vassert(ty == Ity_I32 || ty == Ity_I64);
982 vassert(ty == Ity_I32 || ty == Ity_I64);
991 vassert(ty == Ity_I32 || ty == Ity_I64);
997 vassert(ty == Ity_I32 || ty == Ity_I64);
1003 vassert(ty == Ity_I32 || ty == Ity_I64);
1011 vassert(ty == Ity_I32 || ty == Ity_I64);
1012 if (sined) op = (ty==Ity_I32) ? Iop_8Sto32 : Iop_8Sto64;
1013 else op = (ty==Ity_I32) ? Iop_8Uto32 : Iop_8Uto64;
1020 vassert(ty == Ity_I32 || ty == Ity_I64);
1021 if (sined) op = (ty==Ity_I32) ? Iop_16Sto32 : Iop_16Sto64;
1022 else op = (ty==Ity_I32) ? Iop_16Uto32 : Iop_16Uto64;
1028 vassert(ty == Ity_I32 || ty == Ity_I64);
1029 if (ty == Ity_I32)
1084 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1092 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1395 Ity_I32 or Ity_I64 only. */
1410 vassert(ty == Ity_I64 || ty == Ity_I32);
1412 if (ty == Ity_I32) {
1481 mask[i] = newTemp(Ity_I32);
1491 nyu1 = newTemp(Ity_I32);
1505 nyu2 = newTemp(Ity_I32);
1522 static IRExpr* /* :: Ity_I32/64 */ ROTL ( IRExpr* src,
1553 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1562 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1571 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1591 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1604 IRType ty = mode64 ? Ity_I64 : Ity_I32;
1639 vassert(typeOfIRTemp(irsb->tyenv, addr) == Ity_I32);
1674 vassert(typeOfIRTemp(irsb->tyenv, nia) == Ity_I32);
1748 static IRExpr* /* :: Ity_I32 */ getCRbit ( UInt bi )
1774 vassert(typeOfIRExpr(irsb->tyenv,bit) == Ity_I32);
1808 IRExpr* /* :: Ity_I32 */ getCRbit_anywhere ( UInt bi, Int* where )
1834 vassert(typeOfIRExpr(irsb->tyenv,result) == Ity_I32 ||
1939 static IRExpr* /* :: Ity_I32 */ getXER_SO32 ( void )
1949 static IRExpr* /* :: Ity_I32 */ getXER_OV32 ( void )
1954 static IRExpr* /* :: Ity_I32 */ getXER_CA32 ( void )
1965 static IRExpr* /* :: Ity_I32 */ getXER_BC32 ( void )
1981 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
1982 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
1983 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2253 if (ty == Ity_I32)
2269 vassert(typeOfIRExpr(irsb->tyenv,res) == Ity_I32);
2270 vassert(typeOfIRExpr(irsb->tyenv,argL) == Ity_I32);
2271 vassert(typeOfIRExpr(irsb->tyenv,argR) == Ity_I32);
2272 vassert(typeOfIRExpr(irsb->tyenv,oldca) == Ity_I32);
2561 if (ty == Ity_I32)
2573 static IRExpr* /* :: Ity_I32/64 */ getGST ( PPC_GST reg )
2575 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2590 return IRExpr_Get( OFFB_VRSAVE, Ity_I32 );
2593 return binop(Iop_And32, IRExpr_Get( OFFB_VSCR,Ity_I32 ),
2646 static IRExpr* /* ::Ity_I32 */ getGST_masked ( PPC_GST reg, UInt mask )
2648 IRTemp val = newTemp(Ity_I32);
2683 static IRExpr* /* ::Ity_I32 */getGST_masked_upper(PPC_GST reg, ULong mask) {
2715 static IRExpr* /* ::Ity_I32 */ getGST_field ( PPC_GST reg, UInt fld )
2747 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2768 vassert( ty_src == Ity_I32 );
2772 vassert( ty_src == Ity_I32 );
2778 vassert( ty_src == Ity_I32 );
2786 vassert( ty_src == Ity_I32 );
2821 IRType ty = mode64 ? Ity_I64 : Ity_I32;
2880 vassert( typeOfIRExpr(irsb->tyenv,src ) == Ity_I32 );
2953 IRTemp frac_part = newTemp(Ity_I32);
2982 IRTemp sign_less_part = newTemp(Ity_I32);
3024 * The passed 'src' argument is assumed to be Ity_I32.
3042 /* This function takes an Ity_I32 input argument interpreted
3050 IRTemp tmp = newTemp(Ity_I32);
3051 IRTemp mask = newTemp(Ity_I32);
3054 vassert( typeOfIRExpr(irsb->tyenv, src ) == Ity_I32 );
3083 IRTemp signbit_32 = newTemp(Ity_I32);
3121 * Ity_I32 via Iop_ReinterpF32asI32) that was obtained from the "Multip-<op>" part of
3127 IRTemp signbit_32 = newTemp(Ity_I32);
3129 IRTemp negatedResult = newTemp(Ity_I32);
3221 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3730 IRTemp res = newTemp(Ity_I32);
3765 IRTemp res = newTemp(Ity_I32);
3858 IRType ty = mode64 ? Ity_I64 : Ity_I32;
3976 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4230 IRTemp argLo = newTemp(Ity_I32);
4231 IRTemp argHi = newTemp(Ity_I32);
4234 resultLo = gen_POPCOUNT(Ity_I32, argLo, WORD);
4235 resultHi = gen_POPCOUNT(Ity_I32, argHi, WORD);
4249 IRTemp argLo = newTemp(Ity_I32);
4250 IRTemp argHi = newTemp(Ity_I32);
4253 resultLo = gen_POPCOUNT(Ity_I32, argLo, BYTE);
4254 resultHi = gen_POPCOUNT(Ity_I32, argHi, BYTE);
4352 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4356 IRTemp iTot1 = newTemp(Ity_I32);
4357 IRTemp iTot2 = newTemp(Ity_I32);
4358 IRTemp iTot3 = newTemp(Ity_I32);
4359 IRTemp iTot4 = newTemp(Ity_I32);
4360 IRTemp iTot5 = newTemp(Ity_I32);
4361 IRTemp iTot6 = newTemp(Ity_I32);
4362 IRTemp iTot7 = newTemp(Ity_I32);
4363 IRTemp iTot8 = newTemp(Ity_I32);
4371 IRTemp iHi = newTemp(Ity_I32);
4372 IRTemp iLo = newTemp(Ity_I32);
4487 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4735 IRType ty = mode64 ? Ity_I64 : Ity_I32;
4812 val = loadBE(Ity_I32, mkexpr(EA));
4822 val = loadBE(Ity_I32, mkexpr(EA));
4892 val = loadBE(Ity_I32, mkexpr(EA));
4899 val = loadBE(Ity_I32, mkexpr(EA));
4927 unop(Iop_32Sto64, loadBE(Ity_I32, mkexpr(EA))) );
4934 unop(Iop_32Sto64, loadBE(Ity_I32, mkexpr(EA))) );
4965 unop(Iop_32Sto64, loadBE(Ity_I32, mkexpr(EA))) );
5026 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5241 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5259 putIReg( r, mkWidenFrom32(ty, loadBE(Ity_I32, irx_addr ),
5287 void generate_lsw_sequence ( IRTemp tNBytes, // # bytes, :: Ity_I32
5295 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5338 void generate_stsw_sequence ( IRTemp tNBytes, // # bytes, :: Ity_I32
5346 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5386 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5407 loadBE(Ity_I32, mkexpr(t_EA)) );
5409 loadBE(Ity_I32,
5412 t_nbytes = newTemp(Ity_I32);
5429 t_nbytes = newTemp(Ity_I32);
5447 t_nbytes = newTemp(Ity_I32);
5456 t_nbytes = newTemp(Ity_I32);
5481 static IRExpr* /* :: Ity_I32 */ branch_ctr_ok( UInt BO )
5483 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5484 IRTemp ok = newTemp(Ity_I32);
5510 static IRExpr* /* :: Ity_I32 */ branch_cond_ok( UInt BO, UInt BI )
5513 IRTemp res = newTemp(Ity_I32);
5514 IRTemp cr_bi = newTemp(Ity_I32);
5558 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5561 IRTemp do_branch = newTemp(Ity_I32);
5562 IRTemp ctr_ok = newTemp(Ity_I32);
5563 IRTemp cond_ok = newTemp(Ity_I32);
5767 IRTemp crbD = newTemp(Ity_I32);
5768 IRTemp crbA = newTemp(Ity_I32);
5769 IRTemp crbB = newTemp(Ity_I32);
5858 Bool is32bit = typeOfIRExpr(irsb->tyenv, argL0 ) == Ity_I32;
5875 vassert( typeOfIRExpr(irsb->tyenv, argL0) == Ity_I32 );
5876 vassert( typeOfIRExpr(irsb->tyenv, argR0) == Ity_I32 );
5896 argL = newTemp(Ity_I32);
5897 argR = newTemp(Ity_I32);
5949 IRType ty = mode64 ? Ity_I64 : Ity_I32;
5999 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6051 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6102 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6147 res = newTemp(Ity_I32);
6158 IRTemp rS = newTemp(Ity_I32);
6386 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6391 IRTemp rS_lo32 = newTemp(Ity_I32);
6392 IRTemp rB_lo32 = newTemp(Ity_I32);
6427 IRTemp sh_amt = newTemp(Ity_I32);
6608 /* Generates code to swap the byte order in an Ity_I32. */
6609 static IRExpr* /* :: Ity_I32 */ gen_byterev32 ( IRTemp t )
6611 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6626 /* Generates code to swap the byte order in the lower half of an Ity_I32,
6628 static IRExpr* /* :: Ity_I32 */ gen_byterev16 ( IRTemp t )
6630 vassert(typeOfIRTemp(irsb->tyenv, t) == Ity_I32);
6651 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6653 IRTemp w1 = newTemp(Ity_I32);
6654 IRTemp w2 = newTemp(Ity_I32);
6675 assign( w1, loadBE(Ity_I32, mkexpr(EA)) );
6684 IRTemp w3 = newTemp( Ity_I32 );
6685 IRTemp w4 = newTemp( Ity_I32 );
6687 assign( w1, loadBE( Ity_I32, mkexpr( EA ) ) );
6691 assign( w3, loadBE( Ity_I32, nextAddr ) );
6711 IRTemp lo = newTemp(Ity_I32);
6712 IRTemp hi = newTemp(Ity_I32);
6756 IRType ty = mode64 ? Ity_I64 : Ity_I32;
6858 IRTemp val = newTemp(Ity_I32);
6879 IRTemp val = newTemp(Ity_I32);
7081 IRTemp rA = newTemp( Ity_I32 );
7105 IRTemp rA = newTemp( Ity_I32 );
7150 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7295 static IRExpr* /* :: Ity_I32 */ get_IR_roundingmode ( void )
7305 IRTemp rm_PPC32 = newTemp(Ity_I32);
7331 static IRExpr* /* :: Ity_I32 */ get_IR_roundingmode_DFP( void )
7333 IRTemp rm_PPC32 = newTemp( Ity_I32 );
7350 IRTemp frac_mask = newTemp(Ity_I32);
7448 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7452 IRTemp iHi = newTemp(Ity_I32);
7453 IRTemp iLo = newTemp(Ity_I32);
7537 assign( iLo, loadBE(Ity_I32, mkexpr(EA)) );
7550 assign( iLo, loadBE(Ity_I32, mkexpr(EA)) );
7587 IRType ty = mode64 ? Ity_I64 : Ity_I32;
7854 IRTemp cc = newTemp(Ity_I32);
7855 IRTemp cc_b0 = newTemp(Ity_I32);
7958 IRTemp rmt = newTemp(Ity_I32);
7961 IRTemp nan_mask = newTemp(Ity_I32);
8118 IRTemp e_b = newTemp(Ity_I32);
8120 IRTemp frB_exp_shR = newTemp(Ity_I32);
8126 *fe_flag_tmp = newTemp(Ity_I32);
8127 *fg_flag_tmp = newTemp(Ity_I32);
8165 IRTemp frac_part = newTemp(Ity_I32);
8225 IRTemp e_a = newTemp(Ity_I32);
8226 IRTemp e_b = newTemp(Ity_I32);
8227 IRTemp frA_exp_shR = newTemp(Ity_I32);
8228 IRTemp frB_exp_shR = newTemp(Ity_I32);
8231 *fe_flag_tmp = newTemp(Ity_I32);
8232 *fg_flag_tmp = newTemp(Ity_I32);
8457 IRTemp flags = newTemp(Ity_I32);
8501 IRTemp ccIR = newTemp(Ity_I32);
8502 IRTemp ccPPC32 = newTemp(Ity_I32);
8601 IRTemp r_tmp32 = newTemp(Ity_I32);
8813 IRType ty = mode64 ? Ity_I64 : Ity_I32;
8966 signA = newTemp(Ity_I32);
8967 hiD = newTemp(Ity_I32);
9072 IRTemp tmp = newTemp(Ity_I32);
9254 IRTemp lmd_07_mask = newTemp( Ity_I32 );
9255 IRTemp lmd_8_mask = newTemp( Ity_I32 );
9256 IRTemp lmd_9_mask = newTemp( Ity_I32 );
9257 IRTemp lmexp_00_mask = newTemp( Ity_I32 );
9258 IRTemp lmexp_01_mask = newTemp( Ity_I32 );
9259 IRTemp lmexp_10_mask = newTemp( Ity_I32 );
9260 IRTemp lmd_07_val = newTemp( Ity_I32 );
9261 IRTemp lmd_8_val = newTemp( Ity_I32 );
9262 IRTemp lmd_9_val = newTemp( Ity_I32 );
9335 IRTemp lmd_07_mask = newTemp( Ity_I32 );
9336 IRTemp lmd_8_00_mask = newTemp( Ity_I32 );
9337 IRTemp lmd_8_01_mask = newTemp( Ity_I32 );
9338 IRTemp lmd_8_10_mask = newTemp( Ity_I32 );
9339 IRTemp lmd_9_00_mask = newTemp( Ity_I32 );
9340 IRTemp lmd_9_01_mask = newTemp( Ity_I32 );
9341 IRTemp lmd_9_10_mask = newTemp( Ity_I32 );
9343 IRTemp lmd_07_val = newTemp( Ity_I32 );
9344 IRTemp lmd_8_val = newTemp( Ity_I32 );
9345 IRTemp lmd_9_val = newTemp( Ity_I32 );
9419 IRTemp valid = newTemp( Ity_I32 );
9612 IRTemp top_12_u = newTemp( Ity_I32 ); // only needed for a dummy arg
9823 IRTemp gfield0to5 = newTemp( Ity_I32 );
10559 IRTemp ccIR = newTemp( Ity_I32 );
10560 IRTemp ccPPC32 = newTemp( Ity_I32 );
10634 IRTemp gfield_A = newTemp( Ity_I32 );
10635 IRTemp gfield_B = newTemp( Ity_I32 );
10636 IRTemp gfield_mask = newTemp( Ity_I32 );
10637 IRTemp exponent_A = newTemp( Ity_I32 );
10638 IRTemp exponent_B = newTemp( Ity_I32 );
10639 IRTemp A_NaN_true = newTemp( Ity_I32 );
10640 IRTemp B_NaN_true = newTemp( Ity_I32 );
10641 IRTemp A_inf_true = newTemp( Ity_I32 );
10642 IRTemp B_inf_true = newTemp( Ity_I32 );
10643 IRTemp A_equals_B = newTemp( Ity_I32 );
10644 IRTemp finite_number = newTemp( Ity_I32 );
10645 IRTemp cc0 = newTemp( Ity_I32 );
10646 IRTemp cc1 = newTemp( Ity_I32 );
10647 IRTemp cc2 = newTemp( Ity_I32 );
10648 IRTemp cc3 = newTemp( Ity_I32 );
10827 IRTemp DCM_calc = newTemp( Ity_I32 );
10835 IRTemp exponent = newTemp( Ity_I32 );
10837 IRTemp infinity_true = newTemp( Ity_I32 );
10838 IRTemp SNaN_true = newTemp( Ity_I32 );
10839 IRTemp QNaN_true = newTemp( Ity_I32 );
10840 IRTemp subnormal_true = newTemp( Ity_I32 );
10841 IRTemp normal_true = newTemp( Ity_I32 );
10842 IRTemp extreme_true = newTemp( Ity_I32 );
10843 IRTemp lmd = newTemp( Ity_I32 );
10844 IRTemp lmd_zero_true = newTemp( Ity_I32 );
10845 IRTemp zero_true = newTemp( Ity_I32 );
10846 IRTemp sign = newTemp( Ity_I32 );
10847 IRTemp field = newTemp( Ity_I32 );
10848 IRTemp ccIR_zero = newTemp( Ity_I32 );
10849 IRTemp ccIR_subnormal = newTemp( Ity_I32 );
10852 IRTemp gfield = newTemp( Ity_I32 );
10854 IRTemp gfield_mask = newTemp( Ity_I32 );
10855 IRTemp dcm0 = newTemp( Ity_I32 );
10856 IRTemp dcm1 = newTemp( Ity_I32 );
10857 IRTemp dcm2 = newTemp( Ity_I32 );
10858 IRTemp dcm3 = newTemp( Ity_I32 );
10859 IRTemp dcm4 = newTemp( Ity_I32 );
10860 IRTemp dcm5 = newTemp( Ity_I32 );
11270 IRTemp bcd_u = newTemp( Ity_I32 );
11271 IRTemp bcd_l = newTemp( Ity_I32 );
11272 IRTemp dbcd_u = newTemp( Ity_I32 );
11273 IRTemp dbcd_l = newTemp( Ity_I32 );
11274 IRTemp lmd = newTemp( Ity_I32 );
11306 IRTemp sign = newTemp( Ity_I32 );
11320 IRTemp tmp32 = newTemp( Ity_I32 );
11360 IRTemp valid_mask = newTemp( Ity_I32 );
11361 IRTemp invalid_mask = newTemp( Ity_I32 );
11365 IRTemp left_exp = newTemp( Ity_I32 );
11366 IRTemp g0_4 = newTemp( Ity_I32 );
11419 IRTemp sign = newTemp( Ity_I32 );
11420 IRTemp sign_bit = newTemp( Ity_I32 );
11421 IRTemp pos_sign_mask = newTemp( Ity_I32 );
11422 IRTemp neg_sign_mask = newTemp( Ity_I32 );
11531 IRTemp lmd = newTemp( Ity_I32 );
11543 IRTemp low_60_u = newTemp( Ity_I32 );
11544 IRTemp low_60_l = newTemp( Ity_I32 );
11545 IRTemp mid_60_u = newTemp( Ity_I32 );
11546 IRTemp mid_60_l = newTemp( Ity_I32 );
11547 IRTemp top_12_l = newTemp( Ity_I32 );
11595 IRTemp sign = newTemp( Ity_I32 );
11607 IRTemp tmp32 = newTemp( Ity_I32 );
11657 IRTemp valid_mask = newTemp( Ity_I32 );
11658 IRTemp invalid_mask = newTemp( Ity_I32 );
11663 IRTemp dbcd_top_l = newTemp( Ity_I32 );
11664 IRTemp dbcd_mid_u = newTemp( Ity_I32 );
11665 IRTemp dbcd_mid_l = newTemp( Ity_I32 );
11666 IRTemp dbcd_low_u = newTemp( Ity_I32 );
11667 IRTemp dbcd_low_l = newTemp( Ity_I32 );
11671 IRTemp sign_bit = newTemp( Ity_I32 );
11675 IRTemp inval_bcd_digit_mask = newTemp( Ity_I32 );
11750 IRTemp sign = newTemp( Ity_I32 );
11751 IRTemp zero = newTemp( Ity_I32 );
11752 IRTemp pos_sign_mask = newTemp( Ity_I32 );
11753 IRTemp neg_sign_mask = newTemp( Ity_I32 );
11936 IRTemp lmd_B = newTemp( Ity_I32 );
11937 IRTemp field = newTemp( Ity_I32 );
11939 IRTemp Unordered_true = newTemp( Ity_I32 );
11940 IRTemp Eq_true_mask = newTemp( Ity_I32 );
11941 IRTemp Lt_true_mask = newTemp( Ity_I32 );
11942 IRTemp Gt_true_mask = newTemp( Ity_I32 );
11943 IRTemp KisZero_true_mask = newTemp( Ity_I32 );
11944 IRTemp KisZero_false_mask = newTemp( Ity_I32 );
11964 IRTemp B_bcd_u = newTemp( Ity_I32 );
11965 IRTemp B_bcd_l = newTemp( Ity_I32 );
12002 IRTemp B_low_60_u = newTemp( Ity_I32 );
12003 IRTemp B_low_60_l = newTemp( Ity_I32 );
12004 IRTemp B_mid_60_u = newTemp( Ity_I32 );
12005 IRTemp B_mid_60_l = newTemp( Ity_I32 );
12006 IRTemp B_top_12_l = newTemp( Ity_I32 );
12279 xB = newTemp(Ity_I32);
12286 xB = newTemp(Ity_I32);
12385 IRTemp hiResult_32 = newTemp(Ity_I32);
12386 IRTemp loResult_32 = newTemp(Ity_I32);
12404 IRTemp res0 = newTemp(Ity_I32);
12405 IRTemp res1 = newTemp(Ity_I32);
12406 IRTemp res2 = newTemp(Ity_I32);
12407 IRTemp res3 = newTemp(Ity_I32);
12885 IRTemp flagsHi = newTemp(Ity_I32);
12886 IRTemp flagsLo = newTemp(Ity_I32);
12920 IRTemp flagsHi = newTemp(Ity_I32);
12921 IRTemp flagsLo = newTemp(Ity_I32);
12974 IRTemp res0 = newTemp(Ity_I32);
12975 IRTemp res1 = newTemp(Ity_I32);
12976 IRTemp res2 = newTemp(Ity_I32);
12977 IRTemp res3 = newTemp(Ity_I32);
13171 IRTemp flags0 = newTemp(Ity_I32);
13172 IRTemp flags1 = newTemp(Ity_I32);
13173 IRTemp flags2 = newTemp(Ity_I32);
13174 IRTemp flags3 = newTemp(Ity_I32);
13225 IRTemp flags0 = newTemp(Ity_I32);
13226 IRTemp flags1 = newTemp(Ity_I32);
13227 IRTemp flags2 = newTemp(Ity_I32);
13228 IRTemp flags3 = newTemp(Ity_I32);
13329 IRType ty = Ity_I32;
13352 IRType ty = Ity_I32;
13376 IRType ty = Ity_I32;
13480 IRTemp condcode = newTemp( Ity_I32 );
13481 IRTemp ccIR = newTemp( Ity_I32 );
13815 IRTemp res0 = newTemp(Ity_I32);
13816 IRTemp res1 = newTemp(Ity_I32);
13817 IRTemp res2 = newTemp(Ity_I32);
13818 IRTemp res3 = newTemp(Ity_I32);
13879 IRTemp res0 = newTemp( Ity_I32 );
13880 IRTemp res1 = newTemp( Ity_I32 );
13881 IRTemp res2 = newTemp( Ity_I32 );
13882 IRTemp res3 = newTemp( Ity_I32 );
14519 IRTemp flags = newTemp(Ity_I32);
14593 IRTemp ccPPC32 = newTemp(Ity_I32);
14600 IRTemp all_elem_true = newTemp(Ity_I32);
14601 IRTemp all_elem_false = newTemp(Ity_I32);
15060 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15148 t3 = loadBE( Ity_I32, mkexpr( EA ) );
15152 t2 = loadBE( Ity_I32, irx_addr );
15156 t1 = loadBE( Ity_I32, irx_addr );
15160 t0 = loadBE( Ity_I32, irx_addr );
15187 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15214 IRTemp val32 = newTemp(Ity_I32);
15348 IRTemp ahi32 = newTemp(Ity_I32);
15349 IRTemp alo32 = newTemp(Ity_I32);
15351 IRTemp bhi32 = newTemp(Ity_I32);
15352 IRTemp blo32 = newTemp(Ity_I32);
15414 IRType ty = mode64 ? Ity_I64 : Ity_I32;
15546 IRType ty = mode64 ? Ity_I64 : Ity_I32;
17463 _vecA_32 = newTemp(Ity_I32);
17464 _vecB_32 = newTemp(Ity_I32);
17465 res_32 = newTemp(Ity_I32);
17508 carry = newTemp(Ity_I32);
17647 cin = newTemp(Ity_I32);
17790 IRTemp rm = newTemp(Ity_I32);
18496 IRType ty = mode64 ? Ity_I64 : Ity_I32;
19958 ty = mode64 ? Ity_I64 : Ity_I32;
19997 //static IRExpr* /* :: Ity_I32 */ verbose_Clz32 ( IRTemp arg )
20000 // IRTemp n1 = newTemp(Ity_I32);
20001 // IRTemp n2 = newTemp(Ity_I32);
20002 // IRTemp n3 = newTemp(Ity_I32);
20003 // IRTemp n4 = newTemp(Ity_I32);
20004 // IRTemp n5 = newTemp(Ity_I32);
20005 // IRTemp n6 = newTemp(Ity_I32);
20006 // IRTemp n7 = newTemp(Ity_I32);
20007 // IRTemp n8 = newTemp(Ity_I32);
20008 // IRTemp n9 = newTemp(Ity_I32);
20009 // IRTemp n10 = newTemp(Ity_I32);
20010 // IRTemp n11 = newTemp(Ity_I32);
20011 // IRTemp n12 = newTemp(Ity_I32);