| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| |
| // RUN: %clang_builtins %s %librt -o %t && %run %t |
| // REQUIRES: librt_has_comparedf2 |
| |
| #include "int_lib.h" |
| #include <inttypes.h> |
| #include <stdio.h> |
| |
| #include "fp_test.h" |
| |
| COMPILER_RT_ABI int __eqdf2(double, double); |
| COMPILER_RT_ABI int __nedf2(double, double); |
| COMPILER_RT_ABI int __gedf2(double, double); |
| COMPILER_RT_ABI int __gtdf2(double, double); |
| COMPILER_RT_ABI int __ledf2(double, double); |
| COMPILER_RT_ABI int __ltdf2(double, double); |
| COMPILER_RT_ABI int __cmpdf2(double, double); |
| COMPILER_RT_ABI int __unorddf2(double, double); |
| |
| enum Result { RESULT_LT, RESULT_GT, RESULT_EQ, RESULT_UN }; |
| |
| int expect(uint64_t a_rep, uint64_t b_rep, const char *name, int result, int ok, |
| const char *expected, int line) { |
| if (!ok) |
| printf("error at line %d: %s(%016" PRIx64 ", %016" PRIx64 |
| ") = %d, expected %s\n", |
| line, name, a_rep, b_rep, result, expected); |
| return !ok; |
| } |
| |
| int test__comparedf2(uint64_t a_rep, uint64_t b_rep, enum Result result, |
| int line) { |
| double a = fromRep64(a_rep), b = fromRep64(b_rep); |
| |
| int eq = __eqdf2(a, b); |
| int ne = __nedf2(a, b); |
| int ge = __gedf2(a, b); |
| int gt = __gtdf2(a, b); |
| int le = __ledf2(a, b); |
| int lt = __ltdf2(a, b); |
| #ifdef __ELF__ |
| // The generic builtins/comparedf2.c does not define this function |
| // for object formats other than ELF |
| int cmp = __cmpdf2(a, b); |
| #endif |
| int unord = __unorddf2(a, b); |
| |
| int ret = 0; |
| |
| switch (result) { |
| case RESULT_LT: |
| ret |= expect(a_rep, b_rep, "__eqdf2", eq, eq != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__nedf2", ne, ne != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__gedf2", ge, ge < 0, "< 0", line); |
| ret |= expect(a_rep, b_rep, "__gtdf2", gt, gt <= 0, "<= 0", line); |
| ret |= expect(a_rep, b_rep, "__ledf2", le, le <= 0, "<= 0", line); |
| ret |= expect(a_rep, b_rep, "__ltdf2", lt, lt < 0, "< 0", line); |
| #ifdef __ELF__ |
| ret |= expect(a_rep, b_rep, "__cmpdf2", cmp, cmp == -1, "== -1", line); |
| #endif |
| ret |= expect(a_rep, b_rep, "__unorddf2", unord, unord == 0, "== 0", line); |
| break; |
| case RESULT_GT: |
| ret |= expect(a_rep, b_rep, "__eqdf2", eq, eq != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__nedf2", ne, ne != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__gedf2", ge, ge >= 0, ">= 0", line); |
| ret |= expect(a_rep, b_rep, "__gtdf2", gt, gt > 0, "> 0", line); |
| ret |= expect(a_rep, b_rep, "__ledf2", le, le > 0, "> 0", line); |
| ret |= expect(a_rep, b_rep, "__ltdf2", lt, lt >= 0, ">= 0", line); |
| #ifdef __ELF__ |
| ret |= expect(a_rep, b_rep, "__cmpdf2", cmp, cmp == 1, "== 1", line); |
| #endif |
| ret |= expect(a_rep, b_rep, "__unorddf2", unord, unord == 0, "== 0", line); |
| break; |
| case RESULT_EQ: |
| ret |= expect(a_rep, b_rep, "__eqdf2", eq, eq == 0, "== 0", line); |
| ret |= expect(a_rep, b_rep, "__nedf2", ne, ne == 0, "== 0", line); |
| ret |= expect(a_rep, b_rep, "__gedf2", ge, ge >= 0, ">= 0", line); |
| ret |= expect(a_rep, b_rep, "__gtdf2", gt, gt <= 0, "<= 0", line); |
| ret |= expect(a_rep, b_rep, "__ledf2", le, le <= 0, "<= 0", line); |
| ret |= expect(a_rep, b_rep, "__ltdf2", lt, lt >= 0, ">= 0", line); |
| #ifdef __ELF__ |
| ret |= expect(a_rep, b_rep, "__cmpdf2", cmp, cmp == 0, "== 0", line); |
| #endif |
| ret |= expect(a_rep, b_rep, "__unorddf2", unord, unord == 0, "== 0", line); |
| break; |
| case RESULT_UN: |
| ret |= expect(a_rep, b_rep, "__eqdf2", eq, eq != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__nedf2", ne, ne != 0, "!= 0", line); |
| ret |= expect(a_rep, b_rep, "__gedf2", ge, ge < 0, "< 0", line); |
| ret |= expect(a_rep, b_rep, "__gtdf2", gt, gt <= 0, "<= 0", line); |
| ret |= expect(a_rep, b_rep, "__ledf2", le, le > 0, "> 0", line); |
| ret |= expect(a_rep, b_rep, "__ltdf2", lt, lt >= 0, ">= 0", line); |
| #ifdef __ELF__ |
| ret |= expect(a_rep, b_rep, "__cmpdf2", cmp, cmp == 1, "== 1", line); |
| #endif |
| ret |= expect(a_rep, b_rep, "__unorddf2", unord, unord == 1, "== 1", line); |
| break; |
| } |
| |
| return ret; |
| } |
| |
| #define test__comparedf2(a, b, x) test__comparedf2(a, b, x, __LINE__) |
| |
| int main(void) { |
| int status = 0; |
| |
| status |= test__comparedf2(0x0000000000000000, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000000, 0x000fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000000, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000000, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000000, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000000, 0x7ff00000a5a42e09, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000000, 0x7ffcd5b95f9b89ae, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000000, 0x7ffcd5b95f9b89ae, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000000, 0x8000000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x0000000000000000, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000000, 0x800fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000000, 0x8010000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000000, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000000, 0xfff00000a5a42e09, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000000, 0xfffcd5b95f9b89ae, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000000, 0xfffcd5b95f9b89ae, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0x0000000000000001, RESULT_EQ); |
| status |= test__comparedf2(0x0000000000000001, 0x3fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x3ffffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x3fffffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x7fdfffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x7feffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x7fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000001, 0x7ff00000887bcf03, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0x7ff753b1887bcf03, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0x7ffc3134b058fe20, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xbfefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xbffffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xbfffffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xffdfffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xffeffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xffefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000001, 0xfff00000887bcf03, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0xfff753b1887bcf03, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000001, 0xfffc3134b058fe20, RESULT_UN); |
| status |= test__comparedf2(0x0000000000000002, 0x0000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000003, 0x0000000000000002, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000003, 0x4008000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000003, 0x4014000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000003, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0000000000000003, 0xc014000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000003, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0000000000000004, 0x0000000000000004, RESULT_EQ); |
| status |= test__comparedf2(0x000ffffffffffffc, 0x800ffffffffffffc, RESULT_GT); |
| status |= test__comparedf2(0x000ffffffffffffd, 0x000ffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x000fffffffffffff, 0x0000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x000fffffffffffff, 0x000ffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x000fffffffffffff, 0x000fffffffffffff, RESULT_EQ); |
| status |= test__comparedf2(0x000fffffffffffff, 0x0010000000000000, RESULT_LT); |
| status |= test__comparedf2(0x000fffffffffffff, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x000fffffffffffff, 0x7ff00000dfe15ee3, RESULT_UN); |
| status |= test__comparedf2(0x000fffffffffffff, 0x7ff6d1ebdfe15ee3, RESULT_UN); |
| status |= test__comparedf2(0x000fffffffffffff, 0x7ffed0664505a878, RESULT_UN); |
| status |= test__comparedf2(0x000fffffffffffff, 0x8000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x000fffffffffffff, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x000fffffffffffff, 0xfff00000dfe15ee3, RESULT_UN); |
| status |= test__comparedf2(0x000fffffffffffff, 0xfff6d1ebdfe15ee3, RESULT_UN); |
| status |= test__comparedf2(0x000fffffffffffff, 0xfffed0664505a878, RESULT_UN); |
| status |= test__comparedf2(0x0010000000000000, 0x0000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0010000000000000, 0x0010000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x0010000000000000, 0x8010000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0010000000000001, 0x0010000000000000, RESULT_GT); |
| status |= test__comparedf2(0x0010000000000001, 0x0010000000000002, RESULT_LT); |
| status |= test__comparedf2(0x001fffffffffffff, 0x0020000000000000, RESULT_LT); |
| status |= test__comparedf2(0x001fffffffffffff, 0x0020000000000002, RESULT_LT); |
| status |= test__comparedf2(0x001fffffffffffff, 0x0020000000000004, RESULT_LT); |
| status |= test__comparedf2(0x0020000000000000, 0x001fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0020000000000001, 0x0010000000000001, RESULT_GT); |
| status |= test__comparedf2(0x0020000000000001, 0x001fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0020000000000002, 0x0010000000000001, RESULT_GT); |
| status |= test__comparedf2(0x002fffffffffffff, 0x0030000000000000, RESULT_LT); |
| status |= test__comparedf2(0x0030000000000000, 0x002fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0030000000000001, 0x002fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x0030000000000002, 0x0020000000000003, RESULT_GT); |
| status |= test__comparedf2(0x3fe0000000000000, 0x3fe0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x3fefffffffffffff, 0x0000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x3fefffffffffffff, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x3ff0000000000000, 0x3ff0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x3ff0000000000000, 0x3ff0000000000003, RESULT_LT); |
| status |= test__comparedf2(0x3ff0000000000000, 0x4000000000000000, RESULT_LT); |
| status |= test__comparedf2(0x3ff0000000000000, 0x401c000000000000, RESULT_LT); |
| status |= test__comparedf2(0x3ff0000000000000, 0x7ff0000033022725, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000000, 0x7ff4f5ad33022725, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000000, 0x7ffd3870667efc9d, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000000, 0x8000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x3ff0000000000000, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x3ff0000000000000, 0xbff0000000000003, RESULT_GT); |
| status |= test__comparedf2(0x3ff0000000000000, 0xfff0000033022725, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000000, 0xfff4f5ad33022725, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000000, 0xfffd3870667efc9d, RESULT_UN); |
| status |= test__comparedf2(0x3ff0000000000001, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x3ff0000000000001, 0x3ff0000000000002, RESULT_LT); |
| status |= test__comparedf2(0x3ff0000000000001, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x3ffffffffffffffc, 0x3ffffffffffffffd, RESULT_LT); |
| status |= test__comparedf2(0x3fffffffffffffff, 0x0000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x3fffffffffffffff, 0x4000000000000000, RESULT_LT); |
| status |= test__comparedf2(0x4000000000000000, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000000, 0x3fffffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000000, 0x4000000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x4000000000000000, 0x4000000000000001, RESULT_LT); |
| status |= test__comparedf2(0x4000000000000000, 0xc000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000000, 0xc000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000000, 0xc014000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000001, 0x3ff0000000000001, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000001, 0x4000000000000002, RESULT_LT); |
| status |= test__comparedf2(0x4000000000000001, 0xc000000000000002, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000002, 0x3ff0000000000001, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000002, 0x3ff0000000000003, RESULT_GT); |
| status |= test__comparedf2(0x4000000000000004, 0x4000000000000003, RESULT_GT); |
| status |= test__comparedf2(0x4008000000000000, 0x4008000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x400fffffffffffff, 0x400ffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x400fffffffffffff, 0x4010000000000002, RESULT_LT); |
| status |= test__comparedf2(0x4010000000000001, 0x400fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x4014000000000000, 0x0000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4014000000000000, 0x8000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4014000000000000, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x4014000000000000, 0xc014000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fb0000000000001, 0x7fafffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7fcfffffffffffff, 0x7fcffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x7fcfffffffffffff, 0x7fd0000000000002, RESULT_LT); |
| status |= test__comparedf2(0x7fd0000000000000, 0x7fcfffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7fd0000000000000, 0x7fd0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x7fd0000000000000, 0x7fd0000000000001, RESULT_LT); |
| status |= test__comparedf2(0x7fd0000000000001, 0x7fd0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fd0000000000001, 0x7fe0000000000001, RESULT_LT); |
| status |= test__comparedf2(0x7fd0000000000001, 0xffd0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fd0000000000002, 0x7fc0000000000003, RESULT_GT); |
| status |= test__comparedf2(0x7fd0000000000004, 0x7fd0000000000003, RESULT_GT); |
| status |= test__comparedf2(0x7fdffffffffffffe, 0x7fdffffffffffffe, RESULT_EQ); |
| status |= test__comparedf2(0x7fdffffffffffffe, 0x7fdfffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x7fdffffffffffffe, 0xffdfffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7fdfffffffffffff, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fdfffffffffffff, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x7fdfffffffffffff, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fdfffffffffffff, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000000, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000000, 0x7fe0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x7fe0000000000000, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x7fe0000000000000, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000000, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000000, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000001, 0x7fe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000001, 0x7fe0000000000002, RESULT_LT); |
| status |= test__comparedf2(0x7fe0000000000001, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fe0000000000002, 0x7fd0000000000001, RESULT_GT); |
| status |= test__comparedf2(0x7feffffffffffffe, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7feffffffffffffe, 0x7fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x7feffffffffffffe, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7feffffffffffffe, 0xffefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x0000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x3ff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x7fefffffffffffff, RESULT_EQ); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x7ff00000c901461b, RESULT_UN); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x7ff784a9c901461b, RESULT_UN); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x7ffe2c1db2e4a313, RESULT_UN); |
| status |= test__comparedf2(0x7fefffffffffffff, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x7fefffffffffffff, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7fefffffffffffff, 0xfff00000c901461b, RESULT_UN); |
| status |= test__comparedf2(0x7fefffffffffffff, 0xfff784a9c901461b, RESULT_UN); |
| status |= test__comparedf2(0x7fefffffffffffff, 0xfffe2c1db2e4a313, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000000000000, 0x0000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x0000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x000fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x7fe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x7fefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x7ff0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x7ff0000000000000, 0x7ff0e6d059ac9171, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000000000000, 0x7ffbda2fc9024ae6, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000000000000, 0x8000000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0x800fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0xffefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000000000000, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x7ff0000047e8b9a0, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff4017647e8b9a0, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000abfe5d29, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff2a1cdabfe5d29, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff000005155db76, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff645cb5155db76, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000070c46aa0, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff2068470c46aa0, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000b5aee637, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff72b19b5aee637, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000c08c2788, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff1e0c1c08c2788, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000ec581a54, 0x7ff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000ec581a54, 0x7ff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff571eaec581a54, 0x7ff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff571eaec581a54, 0x7ff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff000003a3a1f94, 0x7ff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff000003a3a1f94, 0x7ffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff6439e3a3a1f94, 0x7ff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff6439e3a3a1f94, 0x7ffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000ec581a54, 0xfff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000ec581a54, 0xfff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff571eaec581a54, 0xfff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff571eaec581a54, 0xfff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0x7ff000003a3a1f94, 0xfff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff000003a3a1f94, 0xfffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff6439e3a3a1f94, 0xfff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff6439e3a3a1f94, 0xfffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000c31d528e, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff5fb72c31d528e, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000ac81d215, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff4481aac81d215, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000d12062fd, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff707f6d12062fd, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff000001c6481ef, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff66ee91c6481ef, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000985729a7, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff19cff985729a7, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000053ec80fe, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff7dbc153ec80fe, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000816fb493, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff87f75816fb493, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff000000c2d7c33, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff91ecb0c2d7c33, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000a68bae40, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ffc0acda68bae40, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff000002fe14961, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ffcfa4e2fe14961, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff000005c206da1, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff800bb5c206da1, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000051887a34, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ffce11951887a34, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff000002b4c32a8, 0x7ff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ff000002b4c32a8, 0x7ff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ffbd6b52b4c32a8, 0x7ff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ffbd6b52b4c32a8, 0x7ff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000bc88c2a9, 0x7ff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000bc88c2a9, 0x7ffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff8eaadbc88c2a9, 0x7ff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff8eaadbc88c2a9, 0x7ffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff000002b4c32a8, 0xfff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ff000002b4c32a8, 0xfff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ffbd6b52b4c32a8, 0xfff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ffbd6b52b4c32a8, 0xfff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000bc88c2a9, 0xfff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000bc88c2a9, 0xfffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff8eaadbc88c2a9, 0xfff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff8eaadbc88c2a9, 0xfffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000a47525ca, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ffcb028a47525ca, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000097c1af12, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ffc541e97c1af12, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000bb1c07a4, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff966b7bb1c07a4, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff000001d98f07c, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff9dbf61d98f07c, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff0000040e65504, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ffb2a7440e65504, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0x7ff00000d9dc7412, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x7ff8af62d9dc7412, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0x0000000000000000, RESULT_EQ); |
| status |= test__comparedf2(0x8000000000000000, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000000, 0x000fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000000, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000000, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000000, 0x7ff000005a0faea3, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0x7ff225cc5a0faea3, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0x7ffa0cc436ad9daa, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0x8000000000000001, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000000, 0x800fffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000000, 0x8010000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000000, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000000, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000000, 0xfff000005a0faea3, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0xfff225cc5a0faea3, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000000, 0xfffa0cc436ad9daa, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x3fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x3ffffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x3fffffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x7fdfffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x7feffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x7fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000001, 0x7ff0000013fd5944, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0x7ff4154313fd5944, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0x7ffd397ba0f9b5e1, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0x8000000000000001, RESULT_EQ); |
| status |= test__comparedf2(0x8000000000000001, 0xbfefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xbff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xbffffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xbfffffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xffdfffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xffeffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xffefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000001, 0xfff0000013fd5944, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0xfff4154313fd5944, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000001, 0xfffd397ba0f9b5e1, RESULT_UN); |
| status |= test__comparedf2(0x8000000000000002, 0x8000000000000001, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000003, 0x4008000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000003, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000003, 0x8000000000000002, RESULT_LT); |
| status |= test__comparedf2(0x8000000000000003, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8000000000000004, 0x8000000000000004, RESULT_EQ); |
| status |= test__comparedf2(0x800ffffffffffffd, 0x800ffffffffffffe, RESULT_GT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x0000000000000000, RESULT_LT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x000fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x7ff00000a2b85efa, RESULT_UN); |
| status |= test__comparedf2(0x800fffffffffffff, 0x7ff1d4fba2b85efa, RESULT_UN); |
| status |= test__comparedf2(0x800fffffffffffff, 0x7ffd08c114a37fe6, RESULT_UN); |
| status |= test__comparedf2(0x800fffffffffffff, 0x8000000000000000, RESULT_LT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x800ffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0x800fffffffffffff, 0x800fffffffffffff, RESULT_EQ); |
| status |= test__comparedf2(0x800fffffffffffff, 0x8010000000000000, RESULT_GT); |
| status |= test__comparedf2(0x800fffffffffffff, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0x800fffffffffffff, 0xfff00000a2b85efa, RESULT_UN); |
| status |= test__comparedf2(0x800fffffffffffff, 0xfff1d4fba2b85efa, RESULT_UN); |
| status |= test__comparedf2(0x800fffffffffffff, 0xfffd08c114a37fe6, RESULT_UN); |
| status |= test__comparedf2(0x8010000000000000, 0x0000000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8010000000000000, 0x0010000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8010000000000001, 0x8010000000000000, RESULT_LT); |
| status |= test__comparedf2(0x8010000000000001, 0x8010000000000002, RESULT_GT); |
| status |= test__comparedf2(0x801fffffffffffff, 0x8020000000000000, RESULT_GT); |
| status |= test__comparedf2(0x801fffffffffffff, 0x8020000000000002, RESULT_GT); |
| status |= test__comparedf2(0x801fffffffffffff, 0x8020000000000004, RESULT_GT); |
| status |= test__comparedf2(0x8020000000000000, 0x801fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8020000000000001, 0x8010000000000001, RESULT_LT); |
| status |= test__comparedf2(0x8020000000000001, 0x801fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8020000000000002, 0x8010000000000001, RESULT_LT); |
| status |= test__comparedf2(0x802fffffffffffff, 0x8030000000000000, RESULT_GT); |
| status |= test__comparedf2(0x8030000000000000, 0x802fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8030000000000001, 0x802fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0x8030000000000002, 0x8020000000000003, RESULT_LT); |
| status |= test__comparedf2(0xbff0000000000000, 0x3ff0000000000003, RESULT_LT); |
| status |= test__comparedf2(0xbff0000000000000, 0x7ff000000d32ab76, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000000, 0x7ff3d46c0d32ab76, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000000, 0x7ffb51e7ffa1e86b, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000000, 0x8000000000000000, RESULT_LT); |
| status |= test__comparedf2(0xbff0000000000000, 0xbff0000000000003, RESULT_GT); |
| status |= test__comparedf2(0xbff0000000000000, 0xfff000000d32ab76, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000000, 0xfff3d46c0d32ab76, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000000, 0xfffb51e7ffa1e86b, RESULT_UN); |
| status |= test__comparedf2(0xbff0000000000001, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xbff0000000000001, 0xbff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xbff0000000000001, 0xbff0000000000002, RESULT_GT); |
| status |= test__comparedf2(0xbffffffffffffffc, 0xbffffffffffffffd, RESULT_GT); |
| status |= test__comparedf2(0xbfffffffffffffff, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xbfffffffffffffff, 0xc000000000000000, RESULT_GT); |
| status |= test__comparedf2(0xc000000000000000, 0x4000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000000, 0xbfffffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000000, 0xc000000000000001, RESULT_GT); |
| status |= test__comparedf2(0xc000000000000001, 0x4000000000000002, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000001, 0xbff0000000000001, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000001, 0xc000000000000002, RESULT_GT); |
| status |= test__comparedf2(0xc000000000000002, 0xbff0000000000001, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000002, 0xbff0000000000003, RESULT_LT); |
| status |= test__comparedf2(0xc000000000000004, 0xc000000000000003, RESULT_LT); |
| status |= test__comparedf2(0xc008000000000000, 0x4008000000000000, RESULT_LT); |
| status |= test__comparedf2(0xc00fffffffffffff, 0xc00ffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0xc00fffffffffffff, 0xc010000000000002, RESULT_GT); |
| status |= test__comparedf2(0xc010000000000001, 0xc00fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xffb0000000000001, 0xffafffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xffcfffffffffffff, 0xffcffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0xffcfffffffffffff, 0xffd0000000000002, RESULT_GT); |
| status |= test__comparedf2(0xffd0000000000000, 0xffcfffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xffd0000000000000, 0xffd0000000000001, RESULT_GT); |
| status |= test__comparedf2(0xffd0000000000001, 0x7fd0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffd0000000000001, 0xffd0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffd0000000000001, 0xffe0000000000001, RESULT_GT); |
| status |= test__comparedf2(0xffd0000000000002, 0xffc0000000000003, RESULT_LT); |
| status |= test__comparedf2(0xffd0000000000004, 0xffd0000000000003, RESULT_LT); |
| status |= test__comparedf2(0xffdffffffffffffe, 0x7fdffffffffffffe, RESULT_LT); |
| status |= test__comparedf2(0xffdffffffffffffe, 0x7fdfffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xffdffffffffffffe, 0xffdffffffffffffe, RESULT_EQ); |
| status |= test__comparedf2(0xffdffffffffffffe, 0xffdfffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0xffdfffffffffffff, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffdfffffffffffff, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffdfffffffffffff, 0xbff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffdfffffffffffff, 0xffe0000000000000, RESULT_GT); |
| status |= test__comparedf2(0xffe0000000000000, 0x0000000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000000, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000000, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000000, 0x8000000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000000, 0xbff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000000, 0xffe0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0xffe0000000000000, 0xfff0000000000000, RESULT_GT); |
| status |= test__comparedf2(0xffe0000000000001, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000001, 0xffe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffe0000000000001, 0xffe0000000000002, RESULT_GT); |
| status |= test__comparedf2(0xffe0000000000002, 0xffd0000000000001, RESULT_LT); |
| status |= test__comparedf2(0xffeffffffffffffe, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffeffffffffffffe, 0x7fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xffeffffffffffffe, 0xbff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffeffffffffffffe, 0xffefffffffffffff, RESULT_GT); |
| status |= test__comparedf2(0xffefffffffffffff, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xffefffffffffffff, 0x3ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffefffffffffffff, 0x7ff000007d4a42a6, RESULT_UN); |
| status |= test__comparedf2(0xffefffffffffffff, 0x7ff7252c7d4a42a6, RESULT_UN); |
| status |= test__comparedf2(0xffefffffffffffff, 0x7ff980ec6115c6fb, RESULT_UN); |
| status |= test__comparedf2(0xffefffffffffffff, 0x8000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xffefffffffffffff, 0xbff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xffefffffffffffff, 0xffefffffffffffff, RESULT_EQ); |
| status |= test__comparedf2(0xffefffffffffffff, 0xfff000007d4a42a6, RESULT_UN); |
| status |= test__comparedf2(0xffefffffffffffff, 0xfff7252c7d4a42a6, RESULT_UN); |
| status |= test__comparedf2(0xffefffffffffffff, 0xfff980ec6115c6fb, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0x0000000000000000, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x0000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x000fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x7fe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x7fefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x7ff0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x7ff00000578bbe24, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0x7ff63d54578bbe24, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0x7ffbc66614390083, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0x8000000000000000, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x8000000000000001, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0x800fffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0xffe0000000000000, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0xffefffffffffffff, RESULT_LT); |
| status |= test__comparedf2(0xfff0000000000000, 0xfff0000000000000, RESULT_EQ); |
| status |= test__comparedf2(0xfff0000000000000, 0xfff00000578bbe24, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0xfff63d54578bbe24, RESULT_UN); |
| status |= test__comparedf2(0xfff0000000000000, 0xfffbc66614390083, RESULT_UN); |
| status |= test__comparedf2(0xfff0000047e8b9a0, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff4017647e8b9a0, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000abfe5d29, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff2a1cdabfe5d29, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff000005155db76, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff645cb5155db76, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff0000070c46aa0, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff2068470c46aa0, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000b5aee637, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff72b19b5aee637, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff00000c08c2788, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff1e0c1c08c2788, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000ec581a54, 0x7ff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff00000ec581a54, 0x7ff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff571eaec581a54, 0x7ff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff571eaec581a54, 0x7ff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff000003a3a1f94, 0x7ff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff000003a3a1f94, 0x7ffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff6439e3a3a1f94, 0x7ff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff6439e3a3a1f94, 0x7ffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff00000ec581a54, 0xfff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff00000ec581a54, 0xfff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff571eaec581a54, 0xfff0000021ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff571eaec581a54, 0xfff45d2221ebdfaf, RESULT_UN); |
| status |= test__comparedf2(0xfff000003a3a1f94, 0xfff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff000003a3a1f94, 0xfffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff6439e3a3a1f94, 0xfff00000229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff6439e3a3a1f94, 0xfffb8fa0229f3502, RESULT_UN); |
| status |= test__comparedf2(0xfff00000c31d528e, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff5fb72c31d528e, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000ac81d215, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff4481aac81d215, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff00000d12062fd, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff707f6d12062fd, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff000001c6481ef, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff66ee91c6481ef, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000985729a7, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff19cff985729a7, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff0000053ec80fe, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff7dbc153ec80fe, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff00000816fb493, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff87f75816fb493, 0x0000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff000000c2d7c33, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff91ecb0c2d7c33, 0x0000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff00000a68bae40, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfffc0acda68bae40, 0x000fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff000002fe14961, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfffcfa4e2fe14961, 0x3ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff000005c206da1, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff800bb5c206da1, 0x7fefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff0000051887a34, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfffce11951887a34, 0x7ff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff000002b4c32a8, 0x7ff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfff000002b4c32a8, 0x7ff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfffbd6b52b4c32a8, 0x7ff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfffbd6b52b4c32a8, 0x7ff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfff00000bc88c2a9, 0x7ff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff00000bc88c2a9, 0x7ffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff8eaadbc88c2a9, 0x7ff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff8eaadbc88c2a9, 0x7ffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff000002b4c32a8, 0xfff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfff000002b4c32a8, 0xfff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfffbd6b52b4c32a8, 0xfff000001edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfffbd6b52b4c32a8, 0xfff342ea1edb8786, RESULT_UN); |
| status |= test__comparedf2(0xfff00000bc88c2a9, 0xfff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff00000bc88c2a9, 0xfffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff8eaadbc88c2a9, 0xfff000002fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff8eaadbc88c2a9, 0xfffdc9ee2fa062f4, RESULT_UN); |
| status |= test__comparedf2(0xfff00000a47525ca, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfffcb028a47525ca, 0x8000000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff0000097c1af12, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfffc541e97c1af12, 0x8000000000000001, RESULT_UN); |
| status |= test__comparedf2(0xfff00000bb1c07a4, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff966b7bb1c07a4, 0x800fffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff000001d98f07c, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff9dbf61d98f07c, 0xbff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff0000040e65504, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfffb2a7440e65504, 0xffefffffffffffff, RESULT_UN); |
| status |= test__comparedf2(0xfff00000d9dc7412, 0xfff0000000000000, RESULT_UN); |
| status |= test__comparedf2(0xfff8af62d9dc7412, 0xfff0000000000000, RESULT_UN); |
| |
| return status; |
| } |
