Lines Matching refs:Ity_I32
440 case 4: return Ity_I32;
554 case 4: vassert(ty == Ity_I32); break;
589 return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_I32 );
623 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
689 if (ty == Ity_I32) return mkU32(i);
708 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
760 vassert(tyE == Ity_I32 || tyE == Ity_I16 || tyE == Ity_I8);
783 Ity_I32. */
787 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I32),
788 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
789 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
790 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
793 Ity_I32,
811 IRExpr_Get(OFFB_CC_OP, Ity_I32),
812 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
813 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
814 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
817 Ity_I32,
829 CC_OP/CC_DEP1/CC_DEP2/CC_NDEP. Returns an expression :: Ity_I32. */
833 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I32),
834 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
835 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
836 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
839 Ity_I32,
871 case Ity_I32: return e;
882 case Ity_I32: return e;
896 if (src_ty == Ity_I32 && dst_ty == Ity_I16)
898 if (src_ty == Ity_I32 && dst_ty == Ity_I8)
918 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
942 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
972 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
993 IRExpr_Get(OFFB_CC_OP,Ity_I32) ) ));
997 IRExpr_Get(OFFB_CC_DEP1,Ity_I32) ) ));
1001 IRExpr_Get(OFFB_CC_DEP2,Ity_I32) ) ));
1007 IRExpr_Get(OFFB_CC_NDEP,Ity_I32) ) ));
1020 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
1044 case Ity_I32:
1130 IRTemp oldc = newTemp(Ity_I32);
1184 IRTemp oldc = newTemp(Ity_I32);
1439 hWordTy = sizeof(HWord)==4 ? Ity_I32 : Ity_I64;
1441 seg_selector = newTemp(Ity_I32);
1497 IRTemp tmp = newTemp(Ity_I32);
2461 IRTemp pre32 = newTemp(Ity_I32);
2462 IRTemp res32 = newTemp(Ity_I32);
2463 IRTemp res32ss = newTemp(Ity_I32);
2519 IRTemp oldFlags = newTemp(Ity_I32);
2527 if (ty == Ity_I32)
2582 IRExpr_Get(OFFB_CC_OP,Ity_I32) ) ));
2586 IRExpr_Get(OFFB_CC_DEP1,Ity_I32) ) ));
2590 IRExpr_Get(OFFB_CC_DEP2,Ity_I32) ) ));
2594 IRExpr_Get(OFFB_CC_NDEP,Ity_I32) ) ));
2637 IRTemp t2 = newTemp(Ity_I32);
2638 IRTemp t2m = newTemp(Ity_I32);
2752 case Ity_I32: {
2754 IRTemp resHi = newTemp(Ity_I32);
2755 IRTemp resLo = newTemp(Ity_I32);
2758 setFlags_MUL ( Ity_I32, t1, tmp, tBaseOp );
2767 IRTemp res32 = newTemp(Ity_I32);
3080 t2 = newTemp(Ity_I32);
3094 t2 = newTemp(Ity_I32);
3136 t2 = newTemp(Ity_I32);
3150 t2 = newTemp(Ity_I32);
3177 binop(Iop_Shl32, IRExpr_Get( OFFB_DFLAG, Ity_I32 ),
3181 IRExpr_Get( OFFB_DFLAG, Ity_I32 ) );
3189 IRTemp t_inc = newTemp(Ity_I32);
3200 IRTemp td = newTemp(Ity_I32); /* EDI */
3201 IRTemp ts = newTemp(Ity_I32); /* ESI */
3216 IRTemp ts = newTemp(Ity_I32); /* ESI */
3230 IRTemp td = newTemp(Ity_I32); /* EDI */
3246 IRTemp td = newTemp(Ity_I32); /* EDI */
3247 IRTemp ts = newTemp(Ity_I32); /* ESI */
3266 IRTemp td = newTemp(Ity_I32); /* EDI */
3288 IRTemp t_inc = newTemp(Ity_I32);
3289 IRTemp tc = newTemp(Ity_I32); /* ECX */
3409 'ty' may be Ity_I16 or Ity_I32 only. In the case where the
3414 vassert(ty == Ity_I32 || ty == Ity_I16);
3416 IRTemp src32 = newTemp(Ity_I32);
3419 IRTemp src32x = newTemp(Ity_I32);
3426 IRTemp res32 = newTemp(Ity_I32);
3450 static void put_emwarn ( IRExpr* e /* :: Ity_I32 */ )
3452 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
3471 return IRExpr_Get( OFFB_FTOP, Ity_I32 );
3476 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
3484 return IRExpr_Get( OFFB_FC3210, Ity_I32 );
3493 static IRExpr* /* :: Ity_I32 */ get_fpround ( void )
3495 return IRExpr_Get( OFFB_FPROUND, Ity_I32 );
3498 static void put_fpround ( IRExpr* /* :: Ity_I32 */ e )
3510 static IRExpr* /* :: Ity_I32 */ get_roundingmode ( void )
3515 static IRExpr* /* :: Ity_I32 */ get_FAKE_roundingmode ( void )
3696 IRTemp exponent = newTemp(Ity_I32);
4028 IRTemp ew = newTemp(Ity_I32);
4092 IRTemp ew = newTemp(Ity_I32);
4172 Ity_I32, 0/*regp*/,
4249 Ity_I32,
4566 loadLE(Ity_I32,mkexpr(addr)))),
4581 loadLE(Ity_I32,mkexpr(addr)))),
4614 loadLE(Ity_I32, mkexpr(addr)))));
4622 loadLE(Ity_I32, mkexpr(addr))),
4710 loadLE(Ity_I32, mkexpr(addr))));
5039 IRTemp ew = newTemp(Ity_I32);
5713 IRTemp amt = newTemp(Ity_I32);
5724 assign( amt, loadLE(Ity_I32, mkexpr(addr)) );
5870 loadLE(Ity_I32, mkexpr(addr)) ) );
6127 IRTemp addr = newTemp(Ity_I32);
6243 tmpRes = newTemp(Ity_I32);
6244 tmpSubSh = newTemp(Ity_I32);
6251 tmpL = newTemp(Ity_I32);
6330 t_bitno0 = newTemp(Ity_I32);
6331 t_bitno1 = newTemp(Ity_I32);
6333 t_addr1 = newTemp(Ity_I32);
6341 t_esp = newTemp(Ity_I32);
6342 t_addr0 = newTemp(Ity_I32);
6468 IRTemp src32 = newTemp(Ity_I32);
6469 IRTemp dst32 = newTemp(Ity_I32);
6593 IRTemp oldflags = newTemp(Ity_I32);
6622 IRTemp flags = newTemp(Ity_I32);
6925 IRTemp ta = newTemp(Ity_I32);
6940 IRTemp ta = newTemp(Ity_I32);
6954 IRTemp t1 = newTemp(Ity_I32);
6955 IRTemp t2 = newTemp(Ity_I32);
6957 assign(t2, loadLE(Ity_I32,mkexpr(t1)));
7080 loadLE(Ity_I32, mkexpr(addr))) );
7189 loadLE(Ity_I32, mkexpr(addr)) ));
7365 : /*sz==4*/ unop( Iop_32UtoV128, loadLE(Ity_I32, mkexpr(addr)))
7406 IRTemp amt = newTemp(Ity_I32);
7416 assign( amt, loadLE(Ity_I32, mkexpr(addr)) );
7525 static IRExpr* /* :: Ity_I32 */ get_sse_roundingmode ( void )
7528 IRExpr_Get( OFFB_SSEROUND, Ity_I32 ),
7534 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);
7555 *t0 = newTemp(Ity_I32);
7556 *t1 = newTemp(Ity_I32);
7557 *t2 = newTemp(Ity_I32);
7558 *t3 = newTemp(Ity_I32);
7584 IRTemp hi32 = newTemp(Ity_I32);
7585 IRTemp lo32 = newTemp(Ity_I32);
7634 vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32);
8016 if (ty == Ity_I32) {
8142 putIReg(4, R_EAX, IRExpr_Get( OFFB_NRADDR, Ity_I32 ));
8150 t1 = newTemp(Ity_I32);
8152 t2 = newTemp(Ity_I32);
8555 IRTemp rmode = newTemp(Ity_I32);
8595 IRTemp arg32 = newTemp(Ity_I32);
8596 IRTemp rmode = newTemp(Ity_I32);
8607 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
8630 IRTemp rmode = newTemp(Ity_I32);
8685 IRTemp rmode = newTemp(Ity_I32);
8739 IRTemp ew = newTemp(Ity_I32);
8761 mkIRExprVec_1( loadLE(Ity_I32, mkexpr(addr)) )
8953 t1 = newTemp(Ity_I32);
9238 t0 = newTemp(Ity_I32);
9239 t1 = newTemp(Ity_I32);
9240 t2 = newTemp(Ity_I32);
9241 t3 = newTemp(Ity_I32);
9305 loadLE(Ity_I32, mkexpr(addr)) );
9460 Ity_I32, 0/*regp*/,
9651 IRTemp rmode = newTemp(Ity_I32);
9688 IRTemp rmode = newTemp(Ity_I32);
9733 IRTemp rmode = newTemp(Ity_I32);
9785 IRTemp rmode = newTemp(Ity_I32);
9866 IRTemp rmode = newTemp(Ity_I32);
9940 IRTemp rmode = newTemp(Ity_I32);
9976 IRTemp rmode = newTemp(Ity_I32);
10006 IRTemp arg32 = newTemp(Ity_I32);
10017 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
10060 IRTemp rmode = newTemp(Ity_I32);
10103 IRTemp rmode = newTemp(Ity_I32);
10257 unop( Iop_32UtoV128,loadLE(Ity_I32, mkexpr(addr)) )
10438 t0 = newTemp(Ity_I32);
10439 t1 = newTemp(Ity_I32);
10466 addr = newTemp(Ity_I32);
11070 t5 = newTemp(Ity_I32);
11112 t1 = newTemp(Ity_I32);
11113 t0 = newTemp(Ity_I32);
11856 IRTemp rm = newTemp(Ity_I32);
11894 IRTemp rm = newTemp(Ity_I32);
11933 IRTemp rm = newTemp(Ity_I32);
11978 IRTemp rm = newTemp(Ity_I32);
12959 IRTemp src32 = newTemp(Ity_I32);
12960 IRTemp res32 = newTemp(Ity_I32);
12964 IRTemp oszacp = newTemp(Ity_I32);
13042 t1 = newTemp(Ity_I32); /* ESP */
13043 t2 = newTemp(Ity_I32); /* new EIP */
13044 t3 = newTemp(Ity_I32); /* new CS */
13045 t4 = newTemp(Ity_I32); /* new EFLAGS */
13047 assign(t2, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(0) )));
13048 assign(t3, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(4) )));
13049 assign(t4, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(8) )));
13081 t1 = newTemp(Ity_I32);
13122 t1 = newTemp(Ity_I32); t2 = newTemp(Ity_I32);
13127 assign(t2, loadLE(Ity_I32,mkexpr(t1)));
13142 t1 = newTemp(Ity_I32);
13143 t2 = newTemp(Ity_I32);
13160 Ity_I32, 0/*regparm*/, "x86g_calculate_daa_das_aaa_aas",
13193 t1 = newTemp(Ity_I32);
13194 t2 = newTemp(Ity_I32);
13210 Ity_I32, 0/*regparm*/, "x86g_calculate_aad_aam",
13609 addr = newTemp(Ity_I32);
13622 addr = newTemp(Ity_I32);
13896 t1 = newTemp(szToITy(sz)); t2 = newTemp(Ity_I32);
13906 t1 = newTemp(Ity_I32); t2 = newTemp(Ity_I32);
13924 t5 = newTemp(Ity_I32);
13928 putIReg(4,R_EAX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(28)) ));
13929 putIReg(4,R_ECX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(24)) ));
13930 putIReg(4,R_EDX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(20)) ));
13931 putIReg(4,R_EBX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(16)) ));
13933 putIReg(4,R_EBP, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 8)) ));
13934 putIReg(4,R_ESI, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 4)) ));
13935 putIReg(4,R_EDI, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 0)) ));
13955 t1 = newTemp(Ity_I32); /* stack address */
14001 ty = sz==2 ? Ity_I16 : Ity_I32;
14002 t1 = newTemp(ty); t2 = newTemp(Ity_I32);
14019 t1 = newTemp(Ity_I32); t2 = newTemp(ty);
14033 t1 = newTemp(Ity_I32);
14042 t2 = newTemp(Ity_I32);
14049 t3 = newTemp(Ity_I32);
14053 IRExpr_Get(OFFB_DFLAG,Ity_I32),
14058 t4 = newTemp(Ity_I32);
14062 binop(Iop_Shl32, IRExpr_Get(OFFB_IDFLAG,Ity_I32),
14068 t5 = newTemp(Ity_I32);
14072 binop(Iop_Shl32, IRExpr_Get(OFFB_ACFLAG,Ity_I32),
14096 t0 = newTemp(Ity_I32);
14100 t5 = newTemp(Ity_I32);
14179 t0 = newTemp(Ity_I32);
14180 t1 = newTemp(Ity_I32);
14210 t0 = newTemp(Ity_I32);
14211 t1 = newTemp(Ity_I32);
14408 t1 = newTemp(Ity_I32);
14415 t1 = newTemp(Ity_I32);
14422 t1 = newTemp(Ity_I32);
14429 t1 = newTemp(Ity_I32);
14440 t2 = newTemp(Ity_I32);
14456 t1 = newTemp(Ity_I32);
14463 t1 = newTemp(Ity_I32);
14470 t1 = newTemp(Ity_I32);
14477 t1 = newTemp(Ity_I32);
14685 t1 = newTemp(Ity_I32);
14687 t2 = math_BSWAP(t1, Ity_I32);
14739 IRTemp expdHi = newTemp(Ity_I32);
14740 IRTemp expdLo = newTemp(Ity_I32);
14741 IRTemp dataHi = newTemp(Ity_I32);
14742 IRTemp dataLo = newTemp(Ity_I32);
14743 IRTemp oldHi = newTemp(Ity_I32);
14744 IRTemp oldLo = newTemp(Ity_I32);
14745 IRTemp flags_old = newTemp(Ity_I32);
14746 IRTemp flags_new = newTemp(Ity_I32);