Home | History | Annotate | Download | only in priv

Lines Matching full:termr

2486    IRTemp termR    = newTemp(Ity_I32);
2512       termR is therefore a correction term, also computed from ix.  It
2514          the final correct value, we subtract termR from termL.
2540       termR,
2547    assign(nzcv, binop(Iop_Sub32, mkexpr(termL), mkexpr(termR)));
18419    UInt termR = (ix & (ix >> 1) & 1);
18420    return termL  -  termR;