Lines Matching full:tres
1101 /* Given ta1, ta2 and tres, compute tres = ADC(ta1,ta2) and set flags
1104 Optionally, generate a store for the 'tres' value. This can either
1119 have the same type as tres.
1122 IRTemp tres, IRTemp ta1, IRTemp ta2,
1133 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1145 assign( tres, binop(plus,
1149 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1154 storeLE( mkexpr(taddr), mkexpr(tres) );
1157 /* .. and hence 'texpVal' has the same type as 'tres'. */
1159 mkexpr(texpVal), mkexpr(tres), restart_point );
1171 /* Given ta1, ta2 and tres, compute tres = SBB(ta1,ta2) and set flags
1176 IRTemp tres, IRTemp ta1, IRTemp ta2,
1187 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1199 assign( tres, binop(minus,
1203 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1208 storeLE( mkexpr(taddr), mkexpr(tres) );
1211 /* .. and hence 'texpVal' has the same type as 'tres'. */
1213 mkexpr(texpVal), mkexpr(tres), restart_point );
