Home | History | Annotate | Download | only in priv

Lines Matching refs:expF

5847                IRTemp expF = newTemp(Ity_F64);
5871                assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );
5873                put_ST_UNCHECKED(0, mkexpr(expF) );