H A D | x64.sml | 1741 val (f2,r2) = value 1744 ( process_float_flags[f1,f2]; write'XMM(BitsN.@@(r1,r2),dst) ) 1754 val (f2,r2) = value 1761 ( process_float_flags[f1,f2,f3,f4] 1831 val (f2,r2) = value 1834 ( process_float_flags[f1,f2]; write'XMM(BitsN.@@(r1,r2),dst) ) 1844 val (f2,r2) = value 1851 ( process_float_flags[f1,f2,f3,f4] 1947 val (f2,d2) = sse_from_int32 32 (mode,BitsN.bits(95,64) x) value 1951 ( process_float_flags[(false,f1),(false,f2),(fals 1965 val (f2,w2) = sse_to_int64 32 (mode,BitsN.bits(63,0) x) value 1983 val (f2,r2) = FPConvert.fp64_to_fp32_with_flags(mode,q1) value 1985 val f2 = (FP64.isSubnormal(BitsN.bits(63,0) x),f2) value 2002 val (f2,w2) = sse_to_int32 32 (mode,BitsN.bits(95,64) x) value 2022 val f2 = value 2374 val (f2,r2) = sse_sqrt64(BitsN.bits(63,0) x) value 2400 val (f2,r2) = sse_sqrt32(BitsN.bits(95,64) x) value [all...] |