Home | History | Annotate | Download | only in priv

Lines Matching defs:expF

5313                IRTemp expF = newTemp(Ity_F64);
5337                assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );
5339                put_ST_UNCHECKED(0, mkexpr(expF) );