Lines Matching full:widenuto64
1688 static IRExpr* widenUto64 ( IRExpr* e )
1695 default: vpanic("widenUto64");
1759 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1760 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(dep2))) );
1785 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1829 widenUto64(mkexpr(res)))) );
1833 widenUto64(mkexpr(resUS)))) );
1857 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(res))) );
1884 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(arg1)) ));
1885 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(arg2)) ));
2003 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1)) ));
2004 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
2062 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1) )) );
2063 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
3438 assign( old_rflags, widenUto64(mk_amd64g_calculate_rflags_all()) );
3441 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3442 widenUto64(shift_expr), /* rotate amount */
3456 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3457 widenUto64(shift_expr), /* rotate amount */
3514 : widenUto64(mkexpr(dst0)) );
3607 widenUto64(mkexpr(dst1)))) );
3694 assign( t2, widenUto64(getIRegE(sz, pfx, modrm)) );
3703 assign( t2, widenUto64(loadLE(ty, mkexpr(t_addr))) );
4646 assign(src64, widenUto64( mkexpr(src) ));
7789 assign( src64, widenUto64(mkexpr(src)) );
7846 widenUto64( getIRegG( sz, pfx, modrm ) ),
15268 widenUto64(mkexpr(src)),
15310 assign(src64, widenUto64(mkexpr(src)));
15311 assign(res64, widenUto64(mkexpr(res)));
16694 widenUto64(mkexpr(valE)))));
18770 assign(t1, widenUto64(loadLE(szToITy(sz),mkexpr(t2))));
19416 widenUto64( getIRegRAX(sz) ),
20231 assign( flags_old, widenUto64(mk_amd64g_calculate_rflags_all()));
