Home | History | Annotate | Download | only in priv

Lines Matching defs:res0

11766          IRTemp res0 = newTemp(Ity_I32);
11784 assign( res0, unop(Iop_64to32, mkexpr(lo64)) );
11803 mkexpr(res0),
12313 IRTemp res0 = newTemp(Ity_I32);
12356 assign( res0,
12376 binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
12389 assign( res0,
12409 binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
12460 assign( res0,
12498 mkexpr( negate ? getNegatedResult_32( res0 ) : res0 ) ) ) );
12962 IRTemp res0 = newTemp(Ity_I32);
12986 assign( res0,
13017 binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );
13026 IRTemp res0 = newTemp( Ity_I32 );
13054 assign( res0,
13077 binop( Iop_32HLto64, mkexpr( res1 ), mkexpr( res0 ) ) ) );