Home | History | Annotate | Download | only in priv

Lines Matching defs:expF

4237                IRTemp expF = newTemp(Ity_F64);
4261                assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );
4263                put_ST_UNCHECKED(0, mkexpr(expF) );