15 template <typename FT, auto next> void TestFT() {  in TestFT()
17   ASSERT_EQ(GetULPDiff<FT>(0.0, 0.0), 0);  in TestFT()
18   ASSERT_EQ(GetULPDiff<FT>(-0.0, 0.0), 0);  in TestFT()
19   ASSERT_EQ(GetULPDiff<FT>(next(-0.0, -1.0), 0.0), 1);  in TestFT()
20   ASSERT_EQ(GetULPDiff<FT>(next(0.0, 1.0), -0.0), 1);  in TestFT()
21   ASSERT_EQ(GetULPDiff<FT>(next(-0.0, -1.0), next(0.0, 1.0)), 2);  in TestFT()
23   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 1.0), 2.0), 1);  in TestFT()
24   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 3.0), 2.0), 1);  in TestFT()
25   ASSERT_EQ(GetULPDiff<FT>(next(2.0, 1.0), next(2.0, 3.0)), 2);  in TestFT()
27   ASSERT_NE(GetULPDiff<FT>(-0.01, 0.01), kMaxULPDiff);  in TestFT()
30   const FT X = 4863.5123;  in TestFT()
31   const FT To = 2 * X;  in TestFT()
32   FT Y = X;  in TestFT()
33   ASSERT_EQ(GetULPDiff<FT>(X, Y), 0);  in TestFT()
34   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 0);  in TestFT()
36   ASSERT_EQ(GetULPDiff<FT>(X, Y), 1);  in TestFT()
37   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 1);  in TestFT()
39   ASSERT_EQ(GetULPDiff<FT>(X, Y), 2);  in TestFT()
40   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 2);  in TestFT()
42   ASSERT_EQ(GetULPDiff<FT>(X, Y), 3);  in TestFT()
43   ASSERT_EQ(GetULPDiff<FT>(-X, -Y), 3);  in TestFT()
47       __sanitizer::u64{1} << FTInfo<FT>::kMantissaBits;  in TestFT()
48   ASSERT_EQ(GetULPDiff<FT>(1.0, next(2.0, 1.0)), MantissaSize - 1);  in TestFT()
49   ASSERT_EQ(GetULPDiff<FT>(1.0, 2.0), MantissaSize);  in TestFT()
50   ASSERT_EQ(GetULPDiff<FT>(1.0, next(2.0, 3.0)), MantissaSize + 1);  in TestFT()
51   ASSERT_EQ(GetULPDiff<FT>(1.0, 3.0), (3 * MantissaSize) / 2);  in TestFT()