Lines Matching full:widenuto64
1584 static IRExpr* widenUto64 ( IRExpr* e )
1591 default: vpanic("widenUto64");
1655 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1656 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(dep2))) );
1681 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1725 widenUto64(mkexpr(res)))) );
1729 widenUto64(mkexpr(resUS)))) );
1753 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(res))) );
1780 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(arg1)) ));
1781 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(arg2)) ));
1899 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1)) ));
1900 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
1958 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1) )) );
1959 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
3309 assign( old_rflags, widenUto64(mk_amd64g_calculate_rflags_all()) );
3312 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3313 widenUto64(shift_expr), /* rotate amount */
3327 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3328 widenUto64(shift_expr), /* rotate amount */
3384 : widenUto64(mkexpr(dst0)) );
3477 widenUto64(mkexpr(dst1)))) );
3564 assign( t2, widenUto64(getIRegE(sz, pfx, modrm)) );
3573 assign( t2, widenUto64(loadLE(ty, mkexpr(t_addr))) );
4458 assign(src64, widenUto64( mkexpr(src) ));
7544 assign( src64, widenUto64(mkexpr(src)) );
7601 widenUto64( getIRegG( sz, pfx, modrm ) ),
15380 widenUto64(mkexpr(src)),
15602 assign(src64, widenUto64(mkexpr(src)));
15603 assign(res64, widenUto64(mkexpr(res)));
15997 widenUto64(mkexpr(valE)))));
16936 assign(t1, widenUto64(loadLE(szToITy(sz),mkexpr(t2))));
17610 widenUto64( getIRegRAX(sz) ),
18048 assign( flags_old, widenUto64(mk_amd64g_calculate_rflags_all()));
