Lines Matching full:tres
1934 /* Given ta1, ta2 and tres, compute tres = ADC(ta1,ta2) and set flags
1937 Optionally, generate a store for the 'tres' value. This can either
1952 have the same type as tres.
1956 IRTemp tres, IRTemp ta1, IRTemp ta2,
1967 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1984 assign( tres, binop(plus,
1988 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1993 storeLE( mkexpr(taddr), mkexpr(tres) );
1996 /* .. and hence 'texpVal' has the same type as 'tres'. */
1998 mkexpr(texpVal), mkexpr(tres), restart_point );
2010 /* Given ta1, ta2 and tres, compute tres = SBB(ta1,ta2) and set flags
2015 IRTemp tres, IRTemp ta1, IRTemp ta2,
2026 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
2043 assign( tres, binop(minus,
2047 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
2052 storeLE( mkexpr(taddr), mkexpr(tres) );
2055 /* .. and hence 'texpVal' has the same type as 'tres'. */
2057 mkexpr(texpVal), mkexpr(tres), restart_point );
