Lines Matching refs:dst13
7244 IRTemp dst13 = newTemp(Ity_F32);7393 assign(dst13, binop(Iop_D64toF32, irrm, mkexpr(src13)));7394 put_fpr_w0(0, mkexpr(dst13)); /* put the result in FPR 0,2 */