Home | History | Annotate | Download | only in priv

Lines Matching refs:resD

5813                IRTemp resD = newTemp(Ity_F64);
5814                assign(resD,
5822                put_ST_UNCHECKED(0, mkexpr(resD));
5952                IRTemp resD = newTemp(Ity_F64);
5953                assign(resD,
5961                put_ST_UNCHECKED(0, mkexpr(resD));
5997                IRTemp resD = newTemp(Ity_F64);
5998                assign(resD,
6006                put_ST_UNCHECKED(0, mkexpr(resD));