Lines Matching refs:dst12
7242 IRTemp dst12 = newTemp(Ity_F128);7385 assign(dst12, binop(Iop_D32toF128, irrm, mkexpr(src12)));7386 put_fpr_pair(0, mkexpr(dst12)); /* put the result in FPR 0,2 */