Home | History | Annotate | Download | only in priv

Lines Matching defs:expF

5369                IRTemp expF = newTemp(Ity_F64);
5393                assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );
5395                put_ST_UNCHECKED(0, mkexpr(expF) );