Lines Matching refs:Iop_F128toF64
12377 assign(result, binop(Iop_F128toF64, mkexpr(encode_bfp_rounding_mode(m3)),