Lines Matching refs:widenUto64
1721 static IRExpr* widenUto64 ( IRExpr* e )
1729 default: vpanic("widenUto64");
1793 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1794 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(dep2))) );
1819 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dep1))) );
1866 widenUto64(mkexpr(res)),
1870 widenUto64(mkexpr(resUS)),
1895 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(res))) );
1922 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(arg1)) ));
1923 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(arg2)) ));
2041 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1)) ));
2042 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
2100 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(ta1) )) );
2101 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(binop(xor, mkexpr(ta2),
3565 assign( old_rflags, widenUto64(mk_amd64g_calculate_rflags_all()) );
3568 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3569 widenUto64(shift_expr), /* rotate amount */
3583 = mkIRExprVec_4( widenUto64(mkexpr(dst0)), /* thing to rotate */
3584 widenUto64(shift_expr), /* rotate amount */
3641 : widenUto64(mkexpr(dst0)) );
3737 widenUto64(mkexpr(dst1)),
3843 assign( t2, widenUto64(getIRegE(sz, pfx, modrm)) );
3852 assign( t2, widenUto64(loadLE(ty, mkexpr(t_addr))) );
4861 assign(src64, widenUto64( mkexpr(src) ));
4894 assign(src64, widenUto64( mkexpr(src) ));
8152 assign( src64, widenUto64(mkexpr(src)) );
8215 widenUto64( getIRegG( sz, pfx, modrm ) )
15982 widenUto64(mkexpr(src)),
16023 assign(src64, widenUto64(mkexpr(src)));
16024 assign(res64, widenUto64(mkexpr(res)));
16084 assign(src64, widenUto64(mkexpr(src)));
16085 assign(res64, widenUto64(mkexpr(res)));
17828 widenUto64(mkexpr(valE)))));
18132 assign(cc, widenUto64(binop(Iop_Or32,
20112 assign(t1, widenUto64(loadLE(szToITy(sz),mkexpr(t2))));
20793 widenUto64( getIRegRAX(sz) ),
21761 assign( flags_old, widenUto64(mk_amd64g_calculate_rflags_all()));
29087 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29124 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29125 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29158 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29159 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29192 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29193 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(src))) );
29261 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
29262 stmt( IRStmt_Put( OFFB_CC_DEP2, widenUto64(mkexpr(cond))) );
29289 IRExpr** args = mkIRExprVec_2( widenUto64(mkexpr(src)),
29290 widenUto64(mkexpr(mask)) );
29326 IRExpr** args = mkIRExprVec_2( widenUto64(masked),
29327 widenUto64(mkexpr(mask)) );
29469 stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
