• Home
  • Raw
  • Download

Lines Matching refs:widenUto32

868 static IRExpr* widenUto32 ( IRExpr* e )  in widenUto32()  function
927 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(dep1))) ); in setFlags_DEP1_DEP2()
928 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(mkexpr(dep2))) ); in setFlags_DEP1_DEP2()
952 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(dep1))) ); in setFlags_DEP1()
996 widenUto32(mkexpr(res)), in setFlags_DEP1_DEP2_shift()
1000 widenUto32(mkexpr(resUS)), in setFlags_DEP1_DEP2_shift()
1026 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(res))) ); in setFlags_INC_DEC()
1050 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(arg1)) )); in setFlags_MUL()
1051 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(mkexpr(arg2)) )); in setFlags_MUL()
1166 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(ta1)) )); in helper_ADC()
1167 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(binop(xor, mkexpr(ta2), in helper_ADC()
1220 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto32(mkexpr(ta1) )) ); in helper_SBB()
1221 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto32(binop(xor, mkexpr(ta2), in helper_SBB()
2439 = mkIRExprVec_4( widenUto32(mkexpr(dst0)), /* thing to rotate */ in dis_Grp2()
2440 widenUto32(shift_expr), /* rotate amount */ in dis_Grp2()
2441 widenUto32(mk_x86g_calculate_eflags_all()), in dis_Grp2()
2493 : widenUto32(mkexpr(dst0)) ); in dis_Grp2()
2587 widenUto32(mkexpr(dst1)), in dis_Grp2()
2674 assign( t2, widenUto32(getIReg(sz, eregOfRM(modrm))) ); in dis_Grp8_Imm()
2682 assign( t2, widenUto32(loadLE(ty, mkexpr(t_addr))) ); in dis_Grp8_Imm()
3419 assign(src32, widenUto32( mkexpr(src) )); in gen_LZCNT()
6553 widenUto32( getIReg( sz, gregOfRM(modrm) ) ) in dis_bs_E_G()
13019 assign(src32, widenUto32(mkexpr(src))); in disInstr_X86_WRK()
13020 assign(res32, widenUto32(mkexpr(res))); in disInstr_X86_WRK()
13968 assign(t1, widenUto32(loadLE(szToITy(sz),mkexpr(t2)))); in disInstr_X86_WRK()
14553 widenUto32( getIReg(sz, R_EAX) ), in disInstr_X86_WRK()
14864 assign( flags_old, widenUto32(mk_x86g_calculate_eflags_all())); in disInstr_X86_WRK()