Lines Matching full:tres
1100 /* Given ta1, ta2 and tres, compute tres = ADC(ta1,ta2) and set flags
1103 Optionally, generate a store for the 'tres' value. This can either
1118 have the same type as tres.
1121 IRTemp tres, IRTemp ta1, IRTemp ta2,
1132 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1144 assign( tres, binop(plus,
1148 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1153 storeLE( mkexpr(taddr), mkexpr(tres) );
1156 /* .. and hence 'texpVal' has the same type as 'tres'. */
1158 mkexpr(texpVal), mkexpr(tres), restart_point );
1170 /* Given ta1, ta2 and tres, compute tres = SBB(ta1,ta2) and set flags
1175 IRTemp tres, IRTemp ta1, IRTemp ta2,
1186 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1198 assign( tres, binop(minus,
1202 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1207 storeLE( mkexpr(taddr), mkexpr(tres) );
1210 /* .. and hence 'texpVal' has the same type as 'tres'. */
1212 mkexpr(texpVal), mkexpr(tres), restart_point );
