Lines Matching defs:res3
11769 IRTemp res3 = newTemp(Ity_I32);
11781 assign( res3, unop(Iop_64HIto32, mkexpr(hi64)) );
11788 mkexpr(res3),
12316 IRTemp res3 = newTemp(Ity_I32);
12368 assign( res3,
12375 binop( Iop_32HLto64, mkexpr( res3 ), mkexpr( res2 ) ),
12401 assign( res3,
12408 binop( Iop_32HLto64, mkexpr( res3 ), mkexpr( res2 ) ),
12484 assign( res3,
12495 binop( Iop_32HLto64, mkexpr( negate ? getNegatedResult_32( res3 ) : res3 ),
12965 IRTemp res3 = newTemp(Ity_I32);
13007 assign( res3,
13016 binop( Iop_32HLto64, mkexpr( res3 ), mkexpr( res2 ) ),
13029 IRTemp res3 = newTemp( Ity_I32 );
13069 assign( res3,
13076 binop( Iop_32HLto64, mkexpr( res3 ), mkexpr( res2 ) ),