Add extendhfdf2_test.c

Author: JonPsson1

Diff for: compiler-rt/test/builtins/Unit/extendhfdf2_test.c

@@ -0,0 +1,87 @@
+// RUN: %clang_builtins %s %librt -o %t && %run %t
+// REQUIRES: librt_has_extendhfdf2
+
+#include <stdio.h>
+
+#include "fp_test.h"
+
+double __extendhfdf2(TYPE_FP16 a);
+
+int test__extendhfdf2(TYPE_FP16 a, uint64_t expected)
+{
+    double x = __extendhfdf2(a);
+    int ret = compareResultD(x, expected);
+
+    if (ret){
+        printf("error in test__extendhfdf2(%#.4x) = %f, "
+               "expected %f\n", toRep16(a), x, fromRep64(expected));
+    }
+    return ret;
+}
+
+char assumption_1[sizeof(TYPE_FP16) * CHAR_BIT == 16] = {0};
+
+int main()
+{
+    // qNaN
+    if (test__extendhfdf2(makeQNaN16(),
+                          UINT64_C(0x7ff8000000000000)))
+        return 1;
+    // NaN
+    if (test__extendhfdf2(fromRep16(0x7f80),
+                          UINT64_C(0x7ffe000000000000)))
+        return 1;
+    // inf
+    if (test__extendhfdf2(makeInf16(),
+                          UINT64_C(0x7ff0000000000000)))
+        return 1;
+    // -inf
+    if (test__extendhfdf2(makeNegativeInf16(),
+                          UINT64_C(0xfff0000000000000)))
+        return 1;
+    // zero
+    if (test__extendhfdf2(fromRep16(0x0),
+                          UINT64_C(0x0)))
+        return 1;
+    // -zero
+    if (test__extendhfdf2(fromRep16(0x8000),
+                          UINT64_C(0x8000000000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x4248),
+                          UINT64_C(0x4009200000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0xc248),
+                          UINT64_C(0xc009200000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x6e62),
+                          UINT64_C(0x40b9880000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x3c00),
+                          UINT64_C(0x3ff0000000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x0400),
+                          UINT64_C(0x3f10000000000000)))
+        return 1;
+    // denormal
+    if (test__extendhfdf2(fromRep16(0x0010),
+                          UINT64_C(0x3eb0000000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x0001),
+                          UINT64_C(0x3e70000000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x8001),
+                          UINT64_C(0xbe70000000000000)))
+        return 1;
+    if (test__extendhfdf2(fromRep16(0x0001),
+                          UINT64_C(0x3e70000000000000)))
+        return 1;
+    // max (precise)
+    if (test__extendhfdf2(fromRep16(0x7bff),
+                          UINT64_C(0x40effc0000000000)))
+        return 1;
+    // max (rounded)
+    if (test__extendhfdf2(fromRep16(0x7bff),
+                          UINT64_C(0x40effc0000000000)))
+        return 1;
+    return 0;
+}