Lines Matching refs:Ity_I32
443 case 4: return Ity_I32;
557 case 4: vassert(ty == Ity_I32); break;
592 return IRExpr_Get( xmmGuestRegLane32offset(xmmreg,laneno), Ity_I32 );
626 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_I32);
692 if (ty == Ity_I32) return mkU32(i);
711 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
762 vassert(tyE == Ity_I32 || tyE == Ity_I16 || tyE == Ity_I8);
784 Ity_I32. */
788 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I32),
789 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
790 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
791 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
794 Ity_I32,
812 IRExpr_Get(OFFB_CC_OP, Ity_I32),
813 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
814 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
815 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
818 Ity_I32,
830 CC_OP/CC_DEP1/CC_DEP2/CC_NDEP. Returns an expression :: Ity_I32. */
834 = mkIRExprVec_4( IRExpr_Get(OFFB_CC_OP, Ity_I32),
835 IRExpr_Get(OFFB_CC_DEP1, Ity_I32),
836 IRExpr_Get(OFFB_CC_DEP2, Ity_I32),
837 IRExpr_Get(OFFB_CC_NDEP, Ity_I32) );
840 Ity_I32,
872 case Ity_I32: return e;
883 case Ity_I32: return e;
897 if (src_ty == Ity_I32 && dst_ty == Ity_I16)
899 if (src_ty == Ity_I32 && dst_ty == Ity_I8)
919 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
943 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
973 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
989 IRExpr_Get(OFFB_CC_OP,Ity_I32),
993 IRExpr_Get(OFFB_CC_DEP1,Ity_I32),
997 IRExpr_Get(OFFB_CC_DEP2,Ity_I32),
1003 IRExpr_Get(OFFB_CC_NDEP,Ity_I32),
1017 vassert(ty == Ity_I8 || ty == Ity_I16 || ty == Ity_I32);
1041 case Ity_I32:
1127 IRTemp oldc = newTemp(Ity_I32);
1181 IRTemp oldc = newTemp(Ity_I32);
1417 hWordTy = sizeof(HWord)==4 ? Ity_I32 : Ity_I64;
1419 seg_selector = newTemp(Ity_I32);
1474 IRTemp tmp = newTemp(Ity_I32);
2438 IRTemp pre32 = newTemp(Ity_I32);
2439 IRTemp res32 = newTemp(Ity_I32);
2440 IRTemp res32ss = newTemp(Ity_I32);
2496 IRTemp oldFlags = newTemp(Ity_I32);
2504 if (ty == Ity_I32)
2554 IRExpr_Get(OFFB_CC_OP,Ity_I32),
2558 IRExpr_Get(OFFB_CC_DEP1,Ity_I32),
2562 IRExpr_Get(OFFB_CC_DEP2,Ity_I32),
2566 IRExpr_Get(OFFB_CC_NDEP,Ity_I32),
2610 IRTemp t2 = newTemp(Ity_I32);
2611 IRTemp t2m = newTemp(Ity_I32);
2725 case Ity_I32: {
2727 IRTemp resHi = newTemp(Ity_I32);
2728 IRTemp resLo = newTemp(Ity_I32);
2731 setFlags_MUL ( Ity_I32, t1, tmp, tBaseOp );
2740 IRTemp res32 = newTemp(Ity_I32);
3053 t2 = newTemp(Ity_I32);
3067 t2 = newTemp(Ity_I32);
3109 t2 = newTemp(Ity_I32);
3123 t2 = newTemp(Ity_I32);
3150 binop(Iop_Shl32, IRExpr_Get( OFFB_DFLAG, Ity_I32 ),
3154 IRExpr_Get( OFFB_DFLAG, Ity_I32 ) );
3162 IRTemp t_inc = newTemp(Ity_I32);
3173 IRTemp td = newTemp(Ity_I32); /* EDI */
3174 IRTemp ts = newTemp(Ity_I32); /* ESI */
3189 IRTemp ts = newTemp(Ity_I32); /* ESI */
3203 IRTemp td = newTemp(Ity_I32); /* EDI */
3219 IRTemp td = newTemp(Ity_I32); /* EDI */
3220 IRTemp ts = newTemp(Ity_I32); /* ESI */
3239 IRTemp td = newTemp(Ity_I32); /* EDI */
3260 IRTemp t_inc = newTemp(Ity_I32);
3261 IRTemp tc = newTemp(Ity_I32); /* ECX */
3379 'ty' may be Ity_I16 or Ity_I32 only. In the case where the
3384 vassert(ty == Ity_I32 || ty == Ity_I16);
3386 IRTemp src32 = newTemp(Ity_I32);
3389 IRTemp src32x = newTemp(Ity_I32);
3396 IRTemp res32 = newTemp(Ity_I32);
3421 static void put_emwarn ( IRExpr* e /* :: Ity_I32 */ )
3423 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
3442 return IRExpr_Get( OFFB_FTOP, Ity_I32 );
3447 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_I32);
3455 return IRExpr_Get( OFFB_FC3210, Ity_I32 );
3464 static IRExpr* /* :: Ity_I32 */ get_fpround ( void )
3466 return IRExpr_Get( OFFB_FPROUND, Ity_I32 );
3469 static void put_fpround ( IRExpr* /* :: Ity_I32 */ e )
3481 static IRExpr* /* :: Ity_I32 */ get_roundingmode ( void )
3486 static IRExpr* /* :: Ity_I32 */ get_FAKE_roundingmode ( void )
3917 IRTemp ew = newTemp(Ity_I32);
3980 IRTemp ew = newTemp(Ity_I32);
4059 Ity_I32, 0/*regp*/,
4136 Ity_I32,
4422 Ity_I32,mkexpr(addr)))),
4437 loadLE(Ity_I32,mkexpr(addr)))),
4470 loadLE(Ity_I32, mkexpr(addr)))));
4478 loadLE(Ity_I32, mkexpr(addr))),
4570 loadLE(Ity_I32, mkexpr(addr))));
4903 IRTemp ew = newTemp(Ity_I32);
5576 IRTemp amt = newTemp(Ity_I32);
5587 assign( amt, loadLE(Ity_I32, mkexpr(addr)) );
5733 loadLE(Ity_I32, mkexpr(addr)) ) );
5990 IRTemp addr = newTemp(Ity_I32);
6106 tmpRes = newTemp(Ity_I32);
6107 tmpSubSh = newTemp(Ity_I32);
6114 tmpL = newTemp(Ity_I32);
6193 t_bitno0 = newTemp(Ity_I32);
6194 t_bitno1 = newTemp(Ity_I32);
6196 t_addr1 = newTemp(Ity_I32);
6204 t_esp = newTemp(Ity_I32);
6205 t_addr0 = newTemp(Ity_I32);
6331 IRTemp src32 = newTemp(Ity_I32);
6332 IRTemp dst32 = newTemp(Ity_I32);
6453 IRTemp oldflags = newTemp(Ity_I32);
6482 IRTemp flags = newTemp(Ity_I32);
6787 IRTemp ta = newTemp(Ity_I32);
6802 IRTemp ta = newTemp(Ity_I32);
6816 IRTemp t1 = newTemp(Ity_I32), t2 = newTemp(Ity_I32);
6818 assign(t2, loadLE(Ity_I32,mkexpr(t1)));
6907 loadLE(Ity_I32, mkexpr(addr))) );
7016 loadLE(Ity_I32, mkexpr(addr)) ));
7192 : /*sz==4*/ unop( Iop_32UtoV128, loadLE(Ity_I32, mkexpr(addr)))
7233 IRTemp amt = newTemp(Ity_I32);
7243 assign( amt, loadLE(Ity_I32, mkexpr(addr)) );
7352 static IRExpr* /* :: Ity_I32 */ get_sse_roundingmode ( void )
7355 IRExpr_Get( OFFB_SSEROUND, Ity_I32 ),
7361 vassert(typeOfIRExpr(irsb->tyenv, sseround) == Ity_I32);
7382 *t0 = newTemp(Ity_I32);
7383 *t1 = newTemp(Ity_I32);
7384 *t2 = newTemp(Ity_I32);
7385 *t3 = newTemp(Ity_I32);
7411 IRTemp hi32 = newTemp(Ity_I32);
7412 IRTemp lo32 = newTemp(Ity_I32);
7461 vassert(typeOfIRTemp(irsb->tyenv,t1) == Ity_I32);
7942 putIReg(4, R_EAX, IRExpr_Get( OFFB_NRADDR, Ity_I32 ));
7950 t1 = newTemp(Ity_I32);
7952 t2 = newTemp(Ity_I32);
8324 IRTemp rmode = newTemp(Ity_I32);
8364 IRTemp arg32 = newTemp(Ity_I32);
8365 IRTemp rmode = newTemp(Ity_I32);
8376 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
8399 IRTemp rmode = newTemp(Ity_I32);
8454 IRTemp rmode = newTemp(Ity_I32);
8508 IRTemp ew = newTemp(Ity_I32);
8530 mkIRExprVec_1( loadLE(Ity_I32, mkexpr(addr)) )
8709 t0 = newTemp(Ity_I32);
8710 t1 = newTemp(Ity_I32);
8711 t2 = newTemp(Ity_I32);
8712 t3 = newTemp(Ity_I32);
8796 loadLE(Ity_I32, mkexpr(addr)) );
8977 t1 = newTemp(Ity_I32);
8980 Ity_I32, 0/*regparms*/,
9222 Ity_I32, 0/*regp*/,
9413 IRTemp rmode = newTemp(Ity_I32);
9450 IRTemp rmode = newTemp(Ity_I32);
9495 IRTemp rmode = newTemp(Ity_I32);
9547 IRTemp rmode = newTemp(Ity_I32);
9628 IRTemp rmode = newTemp(Ity_I32);
9702 IRTemp rmode = newTemp(Ity_I32);
9738 IRTemp rmode = newTemp(Ity_I32);
9768 IRTemp arg32 = newTemp(Ity_I32);
9779 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
9822 IRTemp rmode = newTemp(Ity_I32);
9865 IRTemp rmode = newTemp(Ity_I32);
10019 unop( Iop_32UtoV128,loadLE(Ity_I32, mkexpr(addr)) )
10200 t0 = newTemp(Ity_I32);
10201 t1 = newTemp(Ity_I32);
10228 addr = newTemp(Ity_I32);
10834 t5 = newTemp(Ity_I32);
10836 Ity_I32, 0/*regparms*/,
10876 t1 = newTemp(Ity_I32);
10877 t0 = newTemp(Ity_I32);
12690 IRTemp src32 = newTemp(Ity_I32);
12691 IRTemp res32 = newTemp(Ity_I32);
12695 IRTemp oszacp = newTemp(Ity_I32);
12774 t1 = newTemp(Ity_I32); /* ESP */
12775 t2 = newTemp(Ity_I32); /* new EIP */
12776 t3 = newTemp(Ity_I32); /* new CS */
12777 t4 = newTemp(Ity_I32); /* new EFLAGS */
12779 assign(t2, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(0) )));
12780 assign(t3, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(4) )));
12781 assign(t4, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t1),mkU32(8) )));
12813 t1 = newTemp(Ity_I32);
12854 t1 = newTemp(Ity_I32); t2 = newTemp(Ity_I32);
12859 assign(t2, loadLE(Ity_I32,mkexpr(t1)));
12874 t1 = newTemp(Ity_I32);
12875 t2 = newTemp(Ity_I32);
12892 Ity_I32, 0/*regparm*/, "x86g_calculate_daa_das_aaa_aas",
12925 t1 = newTemp(Ity_I32);
12926 t2 = newTemp(Ity_I32);
12942 Ity_I32, 0/*regparm*/, "x86g_calculate_aad_aam",
13336 addr = newTemp(Ity_I32);
13349 addr = newTemp(Ity_I32);
13620 t1 = newTemp(szToITy(sz)); t2 = newTemp(Ity_I32);
13630 t1 = newTemp(Ity_I32); t2 = newTemp(Ity_I32);
13648 t5 = newTemp(Ity_I32);
13652 putIReg(4,R_EAX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(28)) ));
13653 putIReg(4,R_ECX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(24)) ));
13654 putIReg(4,R_EDX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(20)) ));
13655 putIReg(4,R_EBX, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32(16)) ));
13657 putIReg(4,R_EBP, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 8)) ));
13658 putIReg(4,R_ESI, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 4)) ));
13659 putIReg(4,R_EDI, loadLE(Ity_I32, binop(Iop_Add32,mkexpr(t5),mkU32( 0)) ));
13679 t1 = newTemp(Ity_I32); /* stack address */
13725 ty = sz==2 ? Ity_I16 : Ity_I32;
13726 t1 = newTemp(ty); t2 = newTemp(Ity_I32);
13743 t1 = newTemp(Ity_I32); t2 = newTemp(ty);
13757 t1 = newTemp(Ity_I32);
13766 t2 = newTemp(Ity_I32);
13773 t3 = newTemp(Ity_I32);
13777 IRExpr_Get(OFFB_DFLAG,Ity_I32),
13782 t4 = newTemp(Ity_I32);
13786 binop(Iop_Shl32, IRExpr_Get(OFFB_IDFLAG,Ity_I32),
13792 t5 = newTemp(Ity_I32);
13796 binop(Iop_Shl32, IRExpr_Get(OFFB_ACFLAG,Ity_I32),
13820 t0 = newTemp(Ity_I32);
13824 t5 = newTemp(Ity_I32);
13903 t0 = newTemp(Ity_I32);
13904 t1 = newTemp(Ity_I32);
13934 t0 = newTemp(Ity_I32);
13935 t1 = newTemp(Ity_I32);
14119 t1 = newTemp(Ity_I32);
14126 t1 = newTemp(Ity_I32);
14133 t1 = newTemp(Ity_I32);
14140 t1 = newTemp(Ity_I32);
14151 t2 = newTemp(Ity_I32);
14167 t1 = newTemp(Ity_I32);
14174 t1 = newTemp(Ity_I32);
14181 t1 = newTemp(Ity_I32);
14188 t1 = newTemp(Ity_I32);
14395 t1 = newTemp(Ity_I32);
14396 t2 = newTemp(Ity_I32);
14463 IRTemp expdHi = newTemp(Ity_I32);
14464 IRTemp expdLo = newTemp(Ity_I32);
14465 IRTemp dataHi = newTemp(Ity_I32);
14466 IRTemp dataLo = newTemp(Ity_I32);
14467 IRTemp oldHi = newTemp(Ity_I32);
14468 IRTemp oldLo = newTemp(Ity_I32);
14469 IRTemp flags_old = newTemp(Ity_I32);
14470 IRTemp flags_new = newTemp(Ity_I32);
