Home | History | Annotate | Download | only in priv

Lines Matching refs:expF

4236                IRTemp expF = newTemp(Ity_F64);
4260                assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );
4262                put_ST_UNCHECKED(0, mkexpr(expF) );