Home | History | Annotate | Download | only in priv

Lines Matching defs:res1

12694          IRTemp res1 = newTemp(Ity_I32);
12710          assign( res1, unop(Iop_64HIto32, mkexpr(lo64)) );
12727                                 mkexpr(res1));
13264    IRTemp res1 = newTemp(Ity_I32);
13316          assign( res1,
13332                           binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
13349          assign( res1,
13365                           binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
13424          assign( res1,
13453                           binop( Iop_32HLto64, mkexpr( negate ? getNegatedResult_32( res1 ) : res1 ),
14105          IRTemp res1 = newTemp(Ity_I32);
14135          assign( res1,
14159                           binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
14169          IRTemp res1 = newTemp( Ity_I32 );
14201          assign( res1,
14219                           binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );