Lines Matching defs:expF
4366 IRTemp expF = newTemp(Ity_F64);4390 assign( expF, unop(Iop_ReinterpI64asF64, mkexpr(expI)) );4392 expF) );