Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 1 | // |
| 2 | // Copyright © 2020 Arm Ltd. All rights reserved. |
| 3 | // SPDX-License-Identifier: MIT |
| 4 | // |
| 5 | |
| 6 | #include <armnnUtils/FloatingPointComparison.hpp> |
| 7 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 8 | #include <doctest/doctest.h> |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 9 | |
| 10 | using namespace armnnUtils; |
| 11 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 12 | TEST_SUITE("FloatingPointComparisonSuite") |
| 13 | { |
| 14 | TEST_CASE("FloatingPointComparisonDefaultTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 15 | { |
| 16 | // 1% range of 1.2 is 1.188 -> 1.212 |
| 17 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 18 | CHECK(!within_percentage_tolerance(1.2f, 1.17f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 19 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 20 | CHECK(!within_percentage_tolerance(1.2f, 1.213f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 21 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 22 | CHECK(within_percentage_tolerance(1.2f, 1.189f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 23 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 24 | CHECK(within_percentage_tolerance(1.2f, 1.210f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 25 | // Exact match |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 26 | CHECK(within_percentage_tolerance(1.2f, 1.2f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 27 | |
| 28 | // Negative value tests. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 29 | CHECK(!within_percentage_tolerance(-1.2f, -1.17f)); |
| 30 | CHECK(!within_percentage_tolerance(-1.2f, -1.213f)); |
| 31 | CHECK(within_percentage_tolerance(-1.2f, -1.189f)); |
| 32 | CHECK(within_percentage_tolerance(-1.2f, -1.210f)); |
| 33 | CHECK(within_percentage_tolerance(-1.2f, -1.2f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 34 | |
| 35 | // Negative & positive tests |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 36 | CHECK(!within_percentage_tolerance(1.2f, -1.2f)); |
| 37 | CHECK(!within_percentage_tolerance(-1.2f, 1.2f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 38 | |
| 39 | // Negative and positive test with large float values. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 40 | CHECK(!within_percentage_tolerance(3.3E+38f, -1.17549435e38f)); |
| 41 | CHECK(!within_percentage_tolerance(-1.17549435e38f, 3.3E+38f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 42 | |
| 43 | // 1% range of 0.04 is 0.0396 -> 0.0404 |
| 44 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 45 | CHECK(!within_percentage_tolerance(0.04f, 0.039f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 46 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 47 | CHECK(!within_percentage_tolerance(0.04f, 0.04041f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 48 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 49 | CHECK(within_percentage_tolerance(0.04f, 0.0397f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 50 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 51 | CHECK(within_percentage_tolerance(0.04f, 0.04039f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 52 | // Exact match |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 53 | CHECK(within_percentage_tolerance(0.04f, 0.04f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 54 | } |
| 55 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 56 | TEST_CASE("FloatingPointComparisonLargePositiveNumbersDefaultTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 57 | { |
| 58 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 59 | CHECK(!within_percentage_tolerance(3.3E+38f, (3.3E+38f * 0.989f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 60 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 61 | CHECK(!within_percentage_tolerance(3.3E+38f, (3.3E+38f * 1.011f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 62 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 63 | CHECK(within_percentage_tolerance(3.3E+38f, (3.3E+38f * 0.992f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 64 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 65 | CHECK(within_percentage_tolerance(3.3E+38f, (3.3E+38f * 1.009f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 66 | // Exact match |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 67 | CHECK(within_percentage_tolerance(3.3E+38f, 3.3E+38f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 68 | } |
| 69 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 70 | TEST_CASE("FloatingPointComparisonLargeNegativeNumbersDefaultTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 71 | { |
| 72 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 73 | CHECK(!within_percentage_tolerance(-1.17549435e38f, (-1.17549435e38f * -1.009f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 74 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 75 | CHECK(!within_percentage_tolerance(-1.17549435e38f, (-1.17549435e38f * 1.011f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 76 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 77 | CHECK(within_percentage_tolerance(-1.17549435e38f, -1.17549435e38f - (-1.17549435e38f * 0.0099f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 78 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 79 | CHECK(within_percentage_tolerance(-1.17549435e38f, -1.17549435e38f + (-1.17549435e38f * 0.0099f))); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 80 | // Exact match |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 81 | CHECK(within_percentage_tolerance(-1.17549435e38f, -1.17549435e38f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 82 | } |
| 83 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 84 | TEST_CASE("FloatingPointComparisonSpecifiedTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 85 | { |
| 86 | // 2% range of 1.2 is 1.176 -> 1.224 |
| 87 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 88 | CHECK(!within_percentage_tolerance(1.2f, 1.175f, 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 89 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 90 | CHECK(!within_percentage_tolerance(1.2f, 1.226f, 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 91 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 92 | CHECK(within_percentage_tolerance(1.2f, 1.18f, 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 93 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 94 | CHECK(within_percentage_tolerance(1.2f, 1.22f, 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 95 | // Exact match. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 96 | CHECK(within_percentage_tolerance(1.2f, 1.2f, 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 97 | |
| 98 | // 5% range of 6.2 is 5.89 -> 6.51 |
| 99 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 100 | CHECK(!within_percentage_tolerance(6.2f, 5.88f, 5.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 101 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 102 | CHECK(!within_percentage_tolerance(6.2f, 6.52f, 5.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 103 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 104 | CHECK(within_percentage_tolerance(6.2f, 5.9f, 5.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 105 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 106 | CHECK(within_percentage_tolerance(6.2f, 6.5f, 5.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 107 | |
| 108 | // Larger tolerance (unlikely to be used). |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 109 | CHECK(within_percentage_tolerance(10.0f, 9.01f, 10.0f)); |
| 110 | CHECK(!within_percentage_tolerance(10.0f, 8.99f, 10.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 111 | } |
| 112 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 113 | TEST_CASE("FloatingPointComparisonLargePositiveNumbersSpecifiedTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 114 | { |
| 115 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 116 | CHECK(!within_percentage_tolerance(3.3E+38f, (3.3E+38f * 0.979f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 117 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 118 | CHECK(!within_percentage_tolerance(3.3E+38f, (3.3E+38f * 1.021f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 119 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 120 | CHECK(within_percentage_tolerance(3.3E+38f, (3.3E+38f * 0.982f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 121 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 122 | CHECK(within_percentage_tolerance(3.3E+38f, (3.3E+38f * 1.019f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 123 | } |
| 124 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 125 | TEST_CASE("FloatingPointComparisonLargeNegativeNumbersSpecifiedTolerance") |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 126 | { |
| 127 | // Just below tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 128 | CHECK(!within_percentage_tolerance(-1.17549435e38f, (-1.17549435e38f * -1.019f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 129 | // Just above tolerance. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 130 | CHECK(!within_percentage_tolerance(-1.17549435e38f, (-1.17549435e38f * 1.021f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 131 | // Just inside the lower range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 132 | CHECK(within_percentage_tolerance(-1.17549435e38f, -1.17549435e38f - (-1.17549435e38f * 0.0089f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 133 | // Just inside the upper range. |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 134 | CHECK(within_percentage_tolerance(-1.17549435e38f, -1.17549435e38f + (-1.17549435e38f * 0.0089f), 2.0f)); |
Matthew Sloyan | fbba364 | 2020-10-15 13:53:27 +0100 | [diff] [blame] | 135 | } |
| 136 | |
Sadik Armagan | 1625efc | 2021-06-10 18:24:34 +0100 | [diff] [blame] | 137 | } |