Lines Matching full:tres
1837 /* Given ta1, ta2 and tres, compute tres = ADC(ta1,ta2) and set flags
1840 Optionally, generate a store for the 'tres' value. This can either
1855 have the same type as tres.
1859 IRTemp tres, IRTemp ta1, IRTemp ta2,
1870 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1887 assign( tres, binop(plus,
1891 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1896 storeLE( mkexpr(taddr), mkexpr(tres) );
1899 /* .. and hence 'texpVal' has the same type as 'tres'. */
1901 mkexpr(texpVal), mkexpr(tres), restart_point );
1913 /* Given ta1, ta2 and tres, compute tres = SBB(ta1,ta2) and set flags
1918 IRTemp tres, IRTemp ta1, IRTemp ta2,
1929 vassert(typeOfIRTemp(irsb->tyenv, tres) == ty);
1946 assign( tres, binop(minus,
1950 /* Possibly generate a store of 'tres' to 'taddr'. See comment at
1955 storeLE( mkexpr(taddr), mkexpr(tres) );
1958 /* .. and hence 'texpVal' has the same type as 'tres'. */
1960 mkexpr(texpVal), mkexpr(tres), restart_point );
