Lines Matching full:dst11
7224 IRTemp dst11 = newTemp(Ity_F64);7363 assign(dst11, binop(Iop_D32toF64, irrm, mkexpr(src11)));7364 put_fpr_dw0(0, mkexpr(dst11)); /* put the result in FPR 0,2 */