| 69 | |
| 70 | template <typename Float> |
| 71 | void CheckNotWithinUlp(Float x, Float y, int n_ulp) { |
| 72 | CheckNotWithinUlpSingle(x, y, n_ulp); |
| 73 | CheckNotWithinUlpSingle(y, x, n_ulp); |
| 74 | CheckNotWithinUlpSingle(-x, -y, n_ulp); |
| 75 | CheckNotWithinUlpSingle(-y, -x, n_ulp); |
| 76 | if (n_ulp > 1) { |
| 77 | CheckNotWithinUlpSingle(x, y, n_ulp - 1); |
| 78 | CheckNotWithinUlpSingle(y, x, n_ulp - 1); |
| 79 | CheckNotWithinUlpSingle(-x, -y, n_ulp - 1); |
| 80 | CheckNotWithinUlpSingle(-y, -x, n_ulp - 1); |
| 81 | } |
| 82 | |
| 83 | for (int exp : {1, -1, 10, -10}) { |
| 84 | Float x_scaled(0); |
| 85 | Float y_scaled(0); |
| 86 | if constexpr (std::is_same_v<Float, Float16>) { |
| 87 | x_scaled = Float16(std::ldexp(x.ToFloat(), exp)); |
| 88 | y_scaled = Float16(std::ldexp(y.ToFloat(), exp)); |
| 89 | } else { |
| 90 | x_scaled = std::ldexp(x, exp); |
| 91 | y_scaled = std::ldexp(y, exp); |
| 92 | } |
| 93 | CheckNotWithinUlpSingle(x_scaled, y_scaled, n_ulp); |
| 94 | CheckNotWithinUlpSingle(y_scaled, x_scaled, n_ulp); |
| 95 | } |
| 96 | } |
| 97 | |
| 98 | TEST(TestWithinUlp, Double) { |
| 99 | for (double f : {0.0, 1e-20, 1.0, 2345678.9}) { |
no test coverage detected