commit 573d07172ef259e886e3fdb6d96893fbe6290ae9
author Vladimir Marko <vmarko@google.com> Fri Oct 18 01:38:39 2019 -0700
committer android-build-merger <android-build-merger@google.com> Fri Oct 18 01:38:39 2019 -0700
tree ace7a587b1f88773d4ff14a75823279df1f1ee75
parent 6283741fd282d06a700e9d8cd0b0b3553ced7a2a
parent 6f04eba6f8bcbf16546d0c269a7c861df0568e03

Merge "Add rounding tests for conversion from float to Half"
am: 6f04eba6f8

Change-Id: I1e397fe158edb562bbc81747e4c7001a31562eb4

tests/tests/util/src/android/util/cts/HalfTest.java

diff --git a/tests/tests/util/src/android/util/cts/HalfTest.java b/tests/tests/util/src/android/util/cts/HalfTest.java
index d79669b..4afe422 100644
--- a/tests/tests/util/src/android/util/cts/HalfTest.java
+++ b/tests/tests/util/src/android/util/cts/HalfTest.java
@@ -64,6 +64,22 @@
         // Denormals (flushed to +/-0)
         assertShortEquals(POSITIVE_ZERO, toHalf(5.96046e-9f));
         assertShortEquals(NEGATIVE_ZERO, toHalf(-5.96046e-9f));
+        // Test for values that overflow the mantissa bits into exp bits
+        assertShortEquals(0x1000, toHalf(Float.intBitsToFloat(0x39fff000)));
+        assertShortEquals(0x0400, toHalf(Float.intBitsToFloat(0x387fe000)));
+        // Floats with absolute value above +/-65519 are rounded to +/-inf
+        // when using round-to-even
+        assertShortEquals(0x7bff, toHalf(65519.0f));
+        assertShortEquals(0x7bff, toHalf(65519.9f));
+        assertShortEquals(POSITIVE_INFINITY, toHalf(65520.0f));
+        assertShortEquals(NEGATIVE_INFINITY, toHalf(-65520.0f));
+        // Check if numbers are rounded to nearest even when they
+        // cannot be accurately represented by Half
+        assertShortEquals(0x6800, toHalf(2049.0f));
+        assertShortEquals(0x6c00, toHalf(4098.0f));
+        assertShortEquals(0x7000, toHalf(8196.0f));
+        assertShortEquals(0x7400, toHalf(16392.0f));
+        assertShortEquals(0x7800, toHalf(32784.0f));
     }
 
     @Test