Home | History | Annotate | Download | only in priv

Lines Matching refs:resD

4330                IRTemp resD = newTemp(Ity_F64);
4331                assign(resD,
4339                put_ST_UNCHECKED(0, mkexpr(resD));
4467                IRTemp resD = newTemp(Ity_F64);
4468                assign(resD,
4476                put_ST_UNCHECKED(0, mkexpr(resD));
4512                IRTemp resD = newTemp(Ity_F64);
4513                assign(resD,
4521                put_ST_UNCHECKED(0, mkexpr(resD));