[llvm-branch-commits] [compiler-rt] [compiler-rt][ARM] Optimized double-precision FP mul/div (PR #179923)
via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Thu Feb 5 04:03:59 PST 2026
github-actions[bot] wrote:
<!--LLVM CODE FORMAT COMMENT: {clang-format}-->
:warning: C/C++ code formatter, clang-format found issues in your code. :warning:
<details>
<summary>
You can test this locally with the following command:
</summary>
``````````bash
git-clang-format --diff origin/main HEAD --extensions c -- compiler-rt/test/builtins/Unit/divdf3new_test.c compiler-rt/test/builtins/Unit/muldf3new_test.c --diff_from_common_commit
``````````
:warning:
The reproduction instructions above might return results for more than one PR
in a stack if you are using a stacked PR workflow. You can limit the results by
changing `origin/main` to the base branch/commit you want to compare against.
:warning:
</details>
<details>
<summary>
View the diff from clang-format here.
</summary>
``````````diff
diff --git a/compiler-rt/test/builtins/Unit/divdf3new_test.c b/compiler-rt/test/builtins/Unit/divdf3new_test.c
index b756acf2d..ca33e00a8 100644
--- a/compiler-rt/test/builtins/Unit/divdf3new_test.c
+++ b/compiler-rt/test/builtins/Unit/divdf3new_test.c
@@ -24,7 +24,8 @@
// Returns: a / b
COMPILER_RT_ABI double __divdf3(double a, double b);
-int test__divdf3(int line, uint64_t a_rep, uint64_t b_rep, uint64_t expected_rep) {
+int test__divdf3(int line, uint64_t a_rep, uint64_t b_rep,
+ uint64_t expected_rep) {
double a = fromRep64(a_rep), b = fromRep64(b_rep);
double x = __divdf3(a, b);
#ifdef EXPECT_EXACT_RESULTS
@@ -34,345 +35,672 @@ int test__divdf3(int line, uint64_t a_rep, uint64_t b_rep, uint64_t expected_rep
#endif
if (ret) {
- printf("error at line %d: __divdf3(%016" PRIx64 ", %016" PRIx64 ") = %016" PRIx64
- ", expected %016" PRIx64 "\n",
+ printf("error at line %d: __divdf3(%016" PRIx64 ", %016" PRIx64
+ ") = %016" PRIx64 ", expected %016" PRIx64 "\n",
line, a_rep, b_rep, toRep64(x), expected_rep);
}
return ret;
}
-#define test__divdf3(a,b,x) test__divdf3(__LINE__,a,b,x)
+#define test__divdf3(a, b, x) test__divdf3(__LINE__, a, b, x)
int main(void) {
int status = 0;
- status |= test__divdf3(0x0000000000000000, 0x0000000000000001, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x000fffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x0010000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x001fffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x3ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x4014000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x7fdfffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x7fe0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x8000000000000002, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x800fffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x8010000000000001, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0x8020000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0xc008000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0xc01c000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0xffcfffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0xffe0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000000, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000001, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x0000000000000001, 0x3fc0000000000000, 0x0000000000000008);
- status |= test__divdf3(0x0000000000000001, 0x3fe0000000000000, 0x0000000000000002);
- status |= test__divdf3(0x0000000000000001, 0x4000000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000001, 0x7fefffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000001, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0000000000000001, 0xc000000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000001, 0xffefffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000002, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x0000000000000002, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0000000000000009, 0x4022000000000000, 0x0000000000000001);
- status |= test__divdf3(0x0000000000000009, 0xc022000000000000, 0x8000000000000001);
- status |= test__divdf3(0x000ffffffffffff7, 0x3feffffffffffffe, 0x000ffffffffffff8);
- status |= test__divdf3(0x000ffffffffffffe, 0x3feffffffffffffe, 0x000fffffffffffff);
- status |= test__divdf3(0x000fffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x000fffffffffffff, 0x3f60000000000000, 0x009ffffffffffffe);
- status |= test__divdf3(0x000fffffffffffff, 0x3fe0000000000000, 0x001ffffffffffffe);
- status |= test__divdf3(0x000fffffffffffff, 0x3ff0000000000000, 0x000fffffffffffff);
- status |= test__divdf3(0x000fffffffffffff, 0x3ff0000000000002, 0x000ffffffffffffd);
- status |= test__divdf3(0x000fffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x000fffffffffffff, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x000fffffffffffff, 0xbff0000000000000, 0x800fffffffffffff);
- status |= test__divdf3(0x000fffffffffffff, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0010000000000000, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x0010000000000000, 0x3ff0000000000001, 0x000fffffffffffff);
- status |= test__divdf3(0x0010000000000000, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0010000000000001, 0x3ff0000000000002, 0x000fffffffffffff);
- status |= test__divdf3(0x0010000000000001, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x0010000000000001, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0010000000000002, 0x3ff0000000000006, 0x000ffffffffffffc);
- status |= test__divdf3(0x001ffffffffffffe, 0x4000000000000000, 0x000fffffffffffff);
- status |= test__divdf3(0x001fffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x001fffffffffffff, 0x4000000000000000, 0x0010000000000000);
- status |= test__divdf3(0x001fffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x0020000000000000, 0x0010000000000000, 0x4000000000000000);
- status |= test__divdf3(0x0020000000000000, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x0020000000000000, 0xc000000000000000, 0x8010000000000000);
- status |= test__divdf3(0x0020000000000000, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x0020000000000001, 0x0010000000000001, 0x4000000000000000);
- status |= test__divdf3(0x0020000000000001, 0xc000000000000000, 0x8010000000000001);
- status |= test__divdf3(0x0020000000000003, 0x8010000000000003, 0xc000000000000000);
- status |= test__divdf3(0x0020000000000003, 0xc000000000000000, 0x8010000000000003);
- status |= test__divdf3(0x3feffffffffffff7, 0x3feffffffffffffb, 0x3feffffffffffffc);
- status |= test__divdf3(0x3feffffffffffff7, 0x3feffffffffffffe, 0x3feffffffffffff9);
- status |= test__divdf3(0x3feffffffffffff8, 0x3feffffffffffffc, 0x3feffffffffffffc);
- status |= test__divdf3(0x3feffffffffffff8, 0x3feffffffffffffd, 0x3feffffffffffffb);
- status |= test__divdf3(0x3feffffffffffffa, 0x3feffffffffffff9, 0x3ff0000000000001);
- status |= test__divdf3(0x3feffffffffffffb, 0x3feffffffffffff9, 0x3ff0000000000001);
- status |= test__divdf3(0x3feffffffffffffc, 0x3feffffffffffff9, 0x3ff0000000000002);
- status |= test__divdf3(0x3feffffffffffffc, 0x3feffffffffffffd, 0x3fefffffffffffff);
- status |= test__divdf3(0x3feffffffffffffc, 0x3feffffffffffffe, 0x3feffffffffffffe);
- status |= test__divdf3(0x3feffffffffffffc, 0x3fefffffffffffff, 0x3feffffffffffffd);
- status |= test__divdf3(0x3feffffffffffffc, 0x3ff0000000000001, 0x3feffffffffffffa);
- status |= test__divdf3(0x3feffffffffffffd, 0x3feffffffffffff9, 0x3ff0000000000002);
- status |= test__divdf3(0x3feffffffffffffd, 0x3feffffffffffffc, 0x3ff0000000000001);
- status |= test__divdf3(0x3feffffffffffffd, 0x3feffffffffffffe, 0x3fefffffffffffff);
- status |= test__divdf3(0x3feffffffffffffd, 0x3fefffffffffffff, 0x3feffffffffffffe);
- status |= test__divdf3(0x3feffffffffffffd, 0x3ff0000000000001, 0x3feffffffffffffb);
- status |= test__divdf3(0x3feffffffffffffd, 0x3ff0000000000002, 0x3feffffffffffff9);
- status |= test__divdf3(0x3feffffffffffffe, 0x3feffffffffffff9, 0x3ff0000000000003);
- status |= test__divdf3(0x3feffffffffffffe, 0x3feffffffffffffc, 0x3ff0000000000001);
- status |= test__divdf3(0x3feffffffffffffe, 0x3feffffffffffffd, 0x3ff0000000000001);
- status |= test__divdf3(0x3feffffffffffffe, 0x3fefffffffffffff, 0x3fefffffffffffff);
- status |= test__divdf3(0x3feffffffffffffe, 0x3ff0000000000001, 0x3feffffffffffffc);
- status |= test__divdf3(0x3feffffffffffffe, 0x3ff0000000000002, 0x3feffffffffffffa);
- status |= test__divdf3(0x3feffffffffffffe, 0x3ff0000000000003, 0x3feffffffffffff8);
- status |= test__divdf3(0x3fefffffffffffff, 0x3feffffffffffff9, 0x3ff0000000000003);
- status |= test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffc, 0x3ff0000000000002);
- status |= test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffd, 0x3ff0000000000001);
- status |= test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffe, 0x3ff0000000000001);
- status |= test__divdf3(0x3fefffffffffffff, 0x3ff0000000000001, 0x3feffffffffffffd);
- status |= test__divdf3(0x3fefffffffffffff, 0x3ff0000000000002, 0x3feffffffffffffb);
- status |= test__divdf3(0x3fefffffffffffff, 0x3ff0000000000003, 0x3feffffffffffff9);
- status |= test__divdf3(0x3fefffffffffffff, 0x3ff0000000000004, 0x3feffffffffffff7);
- status |= test__divdf3(0x3ff0000000000000, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffff7, 0x3ff0000000000005);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffff8, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffffb, 0x3ff0000000000003);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffffc, 0x3ff0000000000002);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffffd, 0x3ff0000000000002);
- status |= test__divdf3(0x3ff0000000000000, 0x3feffffffffffffe, 0x3ff0000000000001);
- status |= test__divdf3(0x3ff0000000000000, 0x3fefffffffffffff, 0x3ff0000000000001);
- status |= test__divdf3(0x3ff0000000000000, 0x3ff0000000000000, 0x3ff0000000000000);
- status |= test__divdf3(0x3ff0000000000000, 0x3ff0000000000001, 0x3feffffffffffffe);
- status |= test__divdf3(0x3ff0000000000000, 0x3ff0000000000002, 0x3feffffffffffffc);
- status |= test__divdf3(0x3ff0000000000000, 0x3ff0000000000003, 0x3feffffffffffffa);
- status |= test__divdf3(0x3ff0000000000000, 0x3ff0000000000004, 0x3feffffffffffff8);
- status |= test__divdf3(0x3ff0000000000000, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x3ff0000000000001, 0x3feffffffffffffb, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000001, 0x3feffffffffffffd, 0x3ff0000000000003);
- status |= test__divdf3(0x3ff0000000000001, 0x3feffffffffffffe, 0x3ff0000000000002);
- status |= test__divdf3(0x3ff0000000000001, 0x3fefffffffffffff, 0x3ff0000000000002);
- status |= test__divdf3(0x3ff0000000000001, 0x3ff0000000000002, 0x3feffffffffffffe);
- status |= test__divdf3(0x3ff0000000000001, 0x3ff0000000000003, 0x3feffffffffffffc);
- status |= test__divdf3(0x3ff0000000000002, 0x3feffffffffffffc, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000002, 0x3feffffffffffffd, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000002, 0x3feffffffffffffe, 0x3ff0000000000003);
- status |= test__divdf3(0x3ff0000000000002, 0x3fefffffffffffff, 0x3ff0000000000003);
- status |= test__divdf3(0x3ff0000000000002, 0x3ff0000000000001, 0x3ff0000000000001);
- status |= test__divdf3(0x3ff0000000000002, 0x3ff0000000000003, 0x3feffffffffffffe);
- status |= test__divdf3(0x3ff0000000000003, 0x3feffffffffffffd, 0x3ff0000000000005);
- status |= test__divdf3(0x3ff0000000000003, 0x3feffffffffffffe, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000003, 0x3fefffffffffffff, 0x3ff0000000000004);
- status |= test__divdf3(0x3ff0000000000003, 0x3ff0000000000001, 0x3ff0000000000002);
- status |= test__divdf3(0x3ff0000000000004, 0x3feffffffffffffe, 0x3ff0000000000005);
- status |= test__divdf3(0x3ff0000000000004, 0x3ff0000000000001, 0x3ff0000000000003);
- status |= test__divdf3(0x3ff0000000000004, 0x3ff0000000000007, 0x3feffffffffffffa);
- status |= test__divdf3(0x3ff0000000000005, 0x3fefffffffffffff, 0x3ff0000000000006);
- status |= test__divdf3(0x3ff0000000000006, 0x3ff0000000000008, 0x3feffffffffffffc);
- status |= test__divdf3(0x3ff0000000000007, 0x3ff0000000000002, 0x3ff0000000000005);
- status |= test__divdf3(0x3ff0000000000009, 0x3ff0000000000008, 0x3ff0000000000001);
- status |= test__divdf3(0x3ff199999999999a, 0x3ff3333333333333, 0x3fed555555555556);
- status |= test__divdf3(0x4000000000000000, 0x3ff0000000000000, 0x4000000000000000);
- status |= test__divdf3(0x4000000000000000, 0xbff0000000000000, 0xc000000000000000);
- status |= test__divdf3(0x4008000000000000, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x4008000000000000, 0xc008000000000000, 0xbff0000000000000);
- status |= test__divdf3(0x4008000000000000, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x4014000000000000, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x4014000000000000, 0x4014000000000000, 0x3ff0000000000000);
- status |= test__divdf3(0x4014000000000000, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x401c000000000000, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x401c000000000000, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x4020000000000000, 0x4000000000000000, 0x4010000000000000);
- status |= test__divdf3(0x4022000000000000, 0x4008000000000000, 0x4008000000000000);
- status |= test__divdf3(0x7f60000000000000, 0x00a0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7fcfffffffffffff, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7fdffffffffffffd, 0xc000000000000000, 0xffcffffffffffffd);
- status |= test__divdf3(0x7fdfffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7fdfffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x3fe0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x4000000000000000, 0x7fd0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x7ff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0xbfe0000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0xc000000000000000, 0xffd0000000000000);
- status |= test__divdf3(0x7fe0000000000000, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x7fe0000000000003, 0xffd0000000000003, 0xc000000000000000);
- status |= test__divdf3(0x7feffffffffffffd, 0x4010000000000000, 0x7fcffffffffffffd);
- status |= test__divdf3(0x7feffffffffffffd, 0xc010000000000000, 0xffcffffffffffffd);
- status |= test__divdf3(0x7fefffffffffffff, 0x0000000000000001, 0x7ff0000000000000);
- status |= test__divdf3(0x7fefffffffffffff, 0x3fefffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x7fefffffffffffff, 0x7fcfffffffffffff, 0x4010000000000000);
- status |= test__divdf3(0x7fefffffffffffff, 0x7fdfffffffffffff, 0x4000000000000000);
- status |= test__divdf3(0x7fefffffffffffff, 0xc000000000000000, 0xffdfffffffffffff);
- status |= test__divdf3(0x7fefffffffffffff, 0xffcfffffffffffff, 0xc010000000000000);
- status |= test__divdf3(0x7fefffffffffffff, 0xfff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x0000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x0000000000000001, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x0010000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x001fffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x3ff0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x4014000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x7fdfffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x7fe0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x8000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x8000000000000002, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x800fffffffffffff, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x8010000000000001, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x8020000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xc008000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xc01c000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xffcfffffffffffff, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xffe0000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xffefffffffffffff, 0xfff0000000000000);
- status |= test__divdf3(0x8000000000000000, 0x0000000000000003, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x000fffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x0010000000000001, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x0020000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x4000000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x4018000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x7fcfffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x7fd0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x8000000000000004, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x800fffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x8010000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0x801fffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0xc010000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0xc020000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0xffd0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0xffdfffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000000, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000001, 0x3fe0000000000000, 0x8000000000000002);
- status |= test__divdf3(0x8000000000000001, 0x4000000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000001, 0x7fefffffffffffff, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000001, 0xc000000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000001, 0xffefffffffffffff, 0x0000000000000000);
- status |= test__divdf3(0x8000000000000003, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x8000000000000003, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8000000000000004, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x8000000000000004, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x800ffffffffffff8, 0x3feffffffffffffe, 0x800ffffffffffff9);
- status |= test__divdf3(0x800fffffffffffff, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x800fffffffffffff, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x800fffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x800fffffffffffff, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8010000000000000, 0x3ff0000000000001, 0x800fffffffffffff);
- status |= test__divdf3(0x8010000000000000, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x8010000000000000, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8010000000000001, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x8010000000000001, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x801fffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0x801fffffffffffff, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0x8020000000000000, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0x8020000000000000, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0x8020000000000001, 0x0010000000000001, 0xc000000000000000);
- status |= test__divdf3(0x8020000000000005, 0x0010000000000005, 0xc000000000000000);
- status |= test__divdf3(0xbff0000000000000, 0x3ff0000000000000, 0xbff0000000000000);
- status |= test__divdf3(0xbff0000000000000, 0xbff0000000000000, 0x3ff0000000000000);
- status |= test__divdf3(0xc000000000000000, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xc000000000000000, 0x3ff0000000000000, 0xc000000000000000);
- status |= test__divdf3(0xc000000000000000, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0xc000000000000000, 0xbff0000000000000, 0x4000000000000000);
- status |= test__divdf3(0xc010000000000000, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xc010000000000000, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0xc018000000000000, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xc018000000000000, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0xc018000000000000, 0xc008000000000000, 0x4000000000000000);
- status |= test__divdf3(0xc01c000000000000, 0x401c000000000000, 0xbff0000000000000);
- status |= test__divdf3(0xc020000000000000, 0x4000000000000000, 0xc010000000000000);
- status |= test__divdf3(0xc020000000000000, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xc020000000000000, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0xc022000000000000, 0xc008000000000000, 0x4008000000000000);
- status |= test__divdf3(0xffcfffffffffffff, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xffcfffffffffffff, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0xffd0000000000000, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xffd0000000000000, 0x7ff0000000000000, 0x8000000000000000);
- status |= test__divdf3(0xffd0000000000000, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xffd0000000000000, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0xffdfffffffffffff, 0x4000000000000000, 0xffcfffffffffffff);
- status |= test__divdf3(0xffdfffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xffe0000000000000, 0x3fe0000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xffe0000000000000, 0xbfe0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xffe0000000000001, 0x7fd0000000000001, 0xc000000000000000);
- status |= test__divdf3(0xffeffffffffffffd, 0x4010000000000000, 0xffcffffffffffffd);
- status |= test__divdf3(0xffeffffffffffffd, 0xc010000000000000, 0x7fcffffffffffffd);
- status |= test__divdf3(0xffefffffffffffff, 0x7fcfffffffffffff, 0xc010000000000000);
- status |= test__divdf3(0xffefffffffffffff, 0xffcfffffffffffff, 0x4010000000000000);
- status |= test__divdf3(0xffefffffffffffff, 0xfff0000000000000, 0x0000000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x0000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x0000000000000003, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x000fffffffffffff, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x0010000000000001, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x0020000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x4000000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x4018000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x7fd0000000000000, 0xfff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x8000000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x8000000000000004, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x800fffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x8010000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x801fffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0xc010000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0xc020000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0xffd0000000000000, 0x7ff0000000000000);
- status |= test__divdf3(0xfff0000000000000, 0xffefffffffffffff, 0x7ff0000000000000);
- status |= test__divdf3(0x800ffffffdffffff, 0xc00fff8000000000, 0x0004000fffbfff00);
- status |= test__divdf3(0xb7fbffffffffffff, 0xffe0000000000007, 0x0000000000000000);
- status |= test__divdf3(0x3ff660beb3029ffd, 0x3ff52e22fb7ace43, 0x3ff0e79e59ccb735);
- status |= test__divdf3(0x3ff73ddbc621eb00, 0x3ffb8224c030d747, 0x3feb095d4073d13b);
- status |= test__divdf3(0x3ff9a3b1ff2bf973, 0x3ff42fdf35d2d3bd, 0x3ff452508f203fca);
- status |= test__divdf3(0x3ffa2f42f2a01655, 0x3ff01310ba9f33d1, 0x3ffa103474220298);
- status |= test__divdf3(0x3ffa6b3e65d68478, 0x3ff773ca580800a9, 0x3ff206204bf651cc);
- status |= test__divdf3(0x3ffae840ed05aaad, 0x3ff374c8afa6bd73, 0x3ff620a0b38357dd);
- status |= test__divdf3(0x3ffc9bff90e124f7, 0x3ff19678d03f31b9, 0x3ffa06ce5731c244);
- status |= test__divdf3(0x3ff716518068f63e, 0x3ffea080001fffff, 0x3fe81f4927e2f813);
- status |= test__divdf3(0x3ff30b70c9e177b3, 0x3ffdc1dbcddeaaf7, 0x3fe47ae453d79b63);
- status |= test__divdf3(0x3ff690a0c1cf289e, 0x3ffdd0e4ec596ead, 0x3fe837c35c721292);
- status |= test__divdf3(0x3ff9a9f18698d1c5, 0x3ffdcf214b672807, 0x3feb8cd196d1e2db);
- status |= test__divdf3(0x3ffc412def95e9f2, 0x3ffe09fd73e44afb, 0x3fee195e4c411819);
- status |= test__divdf3(0x3ffab674f26df917, 0x3ffe55a80dfd623d, 0x3fec2de561fb628a);
- status |= test__divdf3(0x3ff15bb10851a33b, 0x3ffe770229894d4f, 0x3fe23b9bdf3ad4d7);
- status |= test__divdf3(0x3ff6ce035de00c24, 0x3fff04076d288c95, 0x3fe7874738e5ef5e);
- status |= test__divdf3(0x3ffb0e73f83fd2b4, 0x3fff01150ca4f6e3, 0x3febece97e64ff65);
- status |= test__divdf3(0x3ff53fff6c6d7043, 0x3fffb55c0bf15be1, 0x3fe57204f8441410);
- status |= test__divdf3(0x3ffa8aa3bbff7c4b, 0x3fffd530fa74cc5f, 0x3feaae55281a47cf);
- status |= test__divdf3(0x3ff3004b0d901379, 0x3ffe470662686931, 0x3fe41508eef9d818);
- status |= test__divdf3(0x3ffac10f29e80b25, 0x3ffe2fba9d423c9d, 0x3fec5c8a8148eb26);
- status |= test__divdf3(0x3ff8a3e14fe0651f, 0x3ffdeeae50e07679, 0x3fea579ce7a3f61c);
- status |= test__divdf3(0x3ff168321760dd0d, 0x3ffd382a2b3c2c27, 0x3fe31042c5fcbe35);
- status |= test__divdf3(0x3ff208350f930e99, 0x3ffc80beeab6d9ed, 0x3fe43e9486314a0e);
- status |= test__divdf3(0x3ff46a9470b46af6, 0x3ffc2e13c9335b3f, 0x3fe72f150e86f5a1);
- status |= test__divdf3(0x3ffaf26f45d21562, 0x3ffbe6d631b290e7, 0x3feee7b30b353e95);
- status |= test__divdf3(0x3ff5cda6f52381df, 0x3ffbe2a5bce4483f, 0x3fe90542a0e62c21);
- status |= test__divdf3(0x3ff92aeb8209bb69, 0x3ffb57a0bdf7af6f, 0x3fed74754022b839);
- status |= test__divdf3(0x3ff627c9c1a1903d, 0x3ffb3c161457a7e1, 0x3fea082feee891f0);
- status |= test__divdf3(0x3ffa5fef91208fd5, 0x3ff68928392cf5e7, 0x3ff2b9c16cd0a6eb);
- status |= test__divdf3(0x3ffdc6825d6a2ad2, 0x3ff69bb9ca89cd3f, 0x3ff5127c1399515f);
- status |= test__divdf3(0x3ffd62dbb1150699, 0x3ff6e12d3daf7823, 0x3ff48cd52e787bc5);
- status |= test__divdf3(0x3ffb9f0e3f946dd2, 0x3ff75a51f01f688b, 0x3ff2ecadebdfdf91);
- status |= test__divdf3(0x3ffdf21fc13ef609, 0x3ff77a80c8098ae1, 0x3ff46843217c9c90);
- status |= test__divdf3(0x3ff83f6d28924d31, 0x3ff7cb607bcc758f, 0x3ff04e08e26c84b7);
- status |= test__divdf3(0x3ffef8774307cea5, 0x3ff849124d13461d, 0x3ff467851369d61a);
- status |= test__divdf3(0x3ffd7c2259068fa2, 0x3ffa9e9faf8d6845, 0x3ff1b8e24ddeb546);
- status |= test__divdf3(0x3fffb10b35d3977b, 0x3ffb57a0bdf7af6f, 0x3ff28b8abfdd47c7);
- status |= test__divdf3(0x3ffdcfa4097387f1, 0x3ffbe6d631b290e7, 0x3ff1184cf4cac16b);
- status |= test__divdf3(0x3ffcb6231a615d02, 0x3ffb98faef6f9417, 0x3ff0a552a67a8e2d);
- status |= test__divdf3(0x3ffba5443a5d0a42, 0x3ffb3a5c10922a9d, 0x3ff03ed2622d2a26);
- status |= test__divdf3(0x3fff3144ae86b33e, 0x3ffa58948417f235, 0x3ff2f17912d557f2);
- status |= test__divdf3(0x3ffd68635bf6605a, 0x3ff945fce3a79f3f, 0x3ff29e0c7d6617a1);
- status |= test__divdf3(0x3ff97e6030354676, 0x3ff906f78f460697, 0x3ff04c56a5f3136d);
- status |= test__divdf3(0x3ffe86f743594e95, 0x3ff8444d7946422d, 0x3ff420b1e63f512e);
- status |= test__divdf3(0x3fff12a6c5539a9a, 0x3ff7cad48079af09, 0x3ff4e564f736b864);
- status |= test__divdf3(0x3ffa5371fe989251, 0x3ff6fc5272dc36d1, 0x3ff2533d7a4d0ee8);
- status |= test__divdf3(0x3ffe18c0547f65d2, 0x3ff6fc9e8dd915ed, 0x3ff4f2e7f917b80e);
- status |= test__divdf3(0x3ffd7aea8a297055, 0x3ff64eb95d608cd9, 0x3ff52500dc28664c);
+ status |=
+ test__divdf3(0x0000000000000000, 0x0000000000000001, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x000fffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x0010000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x001fffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x3ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x4014000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x7fdfffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x7fe0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x8000000000000002, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x800fffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x8010000000000001, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x8020000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0xc008000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0xc01c000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0xffcfffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0xffe0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0x3fc0000000000000, 0x0000000000000008);
+ status |=
+ test__divdf3(0x0000000000000001, 0x3fe0000000000000, 0x0000000000000002);
+ status |=
+ test__divdf3(0x0000000000000001, 0x4000000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0x7fefffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0xc000000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000001, 0xffefffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000002, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x0000000000000002, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0000000000000009, 0x4022000000000000, 0x0000000000000001);
+ status |=
+ test__divdf3(0x0000000000000009, 0xc022000000000000, 0x8000000000000001);
+ status |=
+ test__divdf3(0x000ffffffffffff7, 0x3feffffffffffffe, 0x000ffffffffffff8);
+ status |=
+ test__divdf3(0x000ffffffffffffe, 0x3feffffffffffffe, 0x000fffffffffffff);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x3f60000000000000, 0x009ffffffffffffe);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x3fe0000000000000, 0x001ffffffffffffe);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x3ff0000000000000, 0x000fffffffffffff);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x3ff0000000000002, 0x000ffffffffffffd);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0xbff0000000000000, 0x800fffffffffffff);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0010000000000000, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x0010000000000000, 0x3ff0000000000001, 0x000fffffffffffff);
+ status |=
+ test__divdf3(0x0010000000000000, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0010000000000001, 0x3ff0000000000002, 0x000fffffffffffff);
+ status |=
+ test__divdf3(0x0010000000000001, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x0010000000000001, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0010000000000002, 0x3ff0000000000006, 0x000ffffffffffffc);
+ status |=
+ test__divdf3(0x001ffffffffffffe, 0x4000000000000000, 0x000fffffffffffff);
+ status |=
+ test__divdf3(0x001fffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x001fffffffffffff, 0x4000000000000000, 0x0010000000000000);
+ status |=
+ test__divdf3(0x001fffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x0020000000000000, 0x0010000000000000, 0x4000000000000000);
+ status |=
+ test__divdf3(0x0020000000000000, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x0020000000000000, 0xc000000000000000, 0x8010000000000000);
+ status |=
+ test__divdf3(0x0020000000000000, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x0020000000000001, 0x0010000000000001, 0x4000000000000000);
+ status |=
+ test__divdf3(0x0020000000000001, 0xc000000000000000, 0x8010000000000001);
+ status |=
+ test__divdf3(0x0020000000000003, 0x8010000000000003, 0xc000000000000000);
+ status |=
+ test__divdf3(0x0020000000000003, 0xc000000000000000, 0x8010000000000003);
+ status |=
+ test__divdf3(0x3feffffffffffff7, 0x3feffffffffffffb, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3feffffffffffff7, 0x3feffffffffffffe, 0x3feffffffffffff9);
+ status |=
+ test__divdf3(0x3feffffffffffff8, 0x3feffffffffffffc, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3feffffffffffff8, 0x3feffffffffffffd, 0x3feffffffffffffb);
+ status |=
+ test__divdf3(0x3feffffffffffffa, 0x3feffffffffffff9, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3feffffffffffffb, 0x3feffffffffffff9, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3feffffffffffffc, 0x3feffffffffffff9, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3feffffffffffffc, 0x3feffffffffffffd, 0x3fefffffffffffff);
+ status |=
+ test__divdf3(0x3feffffffffffffc, 0x3feffffffffffffe, 0x3feffffffffffffe);
+ status |=
+ test__divdf3(0x3feffffffffffffc, 0x3fefffffffffffff, 0x3feffffffffffffd);
+ status |=
+ test__divdf3(0x3feffffffffffffc, 0x3ff0000000000001, 0x3feffffffffffffa);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3feffffffffffff9, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3feffffffffffffc, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3feffffffffffffe, 0x3fefffffffffffff);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3fefffffffffffff, 0x3feffffffffffffe);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3ff0000000000001, 0x3feffffffffffffb);
+ status |=
+ test__divdf3(0x3feffffffffffffd, 0x3ff0000000000002, 0x3feffffffffffff9);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3feffffffffffff9, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3feffffffffffffc, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3feffffffffffffd, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3fefffffffffffff, 0x3fefffffffffffff);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3ff0000000000001, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3ff0000000000002, 0x3feffffffffffffa);
+ status |=
+ test__divdf3(0x3feffffffffffffe, 0x3ff0000000000003, 0x3feffffffffffff8);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3feffffffffffff9, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffc, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffd, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3feffffffffffffe, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3ff0000000000001, 0x3feffffffffffffd);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3ff0000000000002, 0x3feffffffffffffb);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3ff0000000000003, 0x3feffffffffffff9);
+ status |=
+ test__divdf3(0x3fefffffffffffff, 0x3ff0000000000004, 0x3feffffffffffff7);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffff7, 0x3ff0000000000005);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffff8, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffffb, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffffc, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffffd, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3feffffffffffffe, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3fefffffffffffff, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3ff0000000000000, 0x3ff0000000000000);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3ff0000000000001, 0x3feffffffffffffe);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3ff0000000000002, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3ff0000000000003, 0x3feffffffffffffa);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x3ff0000000000004, 0x3feffffffffffff8);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3feffffffffffffb, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3feffffffffffffd, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3feffffffffffffe, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3fefffffffffffff, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3ff0000000000002, 0x3feffffffffffffe);
+ status |=
+ test__divdf3(0x3ff0000000000001, 0x3ff0000000000003, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3feffffffffffffc, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3feffffffffffffd, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3feffffffffffffe, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3fefffffffffffff, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3ff0000000000001, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3ff0000000000002, 0x3ff0000000000003, 0x3feffffffffffffe);
+ status |=
+ test__divdf3(0x3ff0000000000003, 0x3feffffffffffffd, 0x3ff0000000000005);
+ status |=
+ test__divdf3(0x3ff0000000000003, 0x3feffffffffffffe, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000003, 0x3fefffffffffffff, 0x3ff0000000000004);
+ status |=
+ test__divdf3(0x3ff0000000000003, 0x3ff0000000000001, 0x3ff0000000000002);
+ status |=
+ test__divdf3(0x3ff0000000000004, 0x3feffffffffffffe, 0x3ff0000000000005);
+ status |=
+ test__divdf3(0x3ff0000000000004, 0x3ff0000000000001, 0x3ff0000000000003);
+ status |=
+ test__divdf3(0x3ff0000000000004, 0x3ff0000000000007, 0x3feffffffffffffa);
+ status |=
+ test__divdf3(0x3ff0000000000005, 0x3fefffffffffffff, 0x3ff0000000000006);
+ status |=
+ test__divdf3(0x3ff0000000000006, 0x3ff0000000000008, 0x3feffffffffffffc);
+ status |=
+ test__divdf3(0x3ff0000000000007, 0x3ff0000000000002, 0x3ff0000000000005);
+ status |=
+ test__divdf3(0x3ff0000000000009, 0x3ff0000000000008, 0x3ff0000000000001);
+ status |=
+ test__divdf3(0x3ff199999999999a, 0x3ff3333333333333, 0x3fed555555555556);
+ status |=
+ test__divdf3(0x4000000000000000, 0x3ff0000000000000, 0x4000000000000000);
+ status |=
+ test__divdf3(0x4000000000000000, 0xbff0000000000000, 0xc000000000000000);
+ status |=
+ test__divdf3(0x4008000000000000, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x4008000000000000, 0xc008000000000000, 0xbff0000000000000);
+ status |=
+ test__divdf3(0x4008000000000000, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x4014000000000000, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x4014000000000000, 0x4014000000000000, 0x3ff0000000000000);
+ status |=
+ test__divdf3(0x4014000000000000, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x401c000000000000, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x401c000000000000, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x4020000000000000, 0x4000000000000000, 0x4010000000000000);
+ status |=
+ test__divdf3(0x4022000000000000, 0x4008000000000000, 0x4008000000000000);
+ status |=
+ test__divdf3(0x7f60000000000000, 0x00a0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fcfffffffffffff, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7fdffffffffffffd, 0xc000000000000000, 0xffcffffffffffffd);
+ status |=
+ test__divdf3(0x7fdfffffffffffff, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fdfffffffffffff, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x3fe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x4000000000000000, 0x7fd0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x7ff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0xbfe0000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0xc000000000000000, 0xffd0000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000000, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x7fe0000000000003, 0xffd0000000000003, 0xc000000000000000);
+ status |=
+ test__divdf3(0x7feffffffffffffd, 0x4010000000000000, 0x7fcffffffffffffd);
+ status |=
+ test__divdf3(0x7feffffffffffffd, 0xc010000000000000, 0xffcffffffffffffd);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x0000000000000001, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x3fefffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x7fcfffffffffffff, 0x4010000000000000);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x7fdfffffffffffff, 0x4000000000000000);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0xc000000000000000, 0xffdfffffffffffff);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0xffcfffffffffffff, 0xc010000000000000);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0xfff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x0000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x0000000000000001, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x0010000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x001fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x3ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x4014000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x7fdfffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x7fe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x8000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x8000000000000002, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x800fffffffffffff, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x8010000000000001, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x8020000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xc008000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xc01c000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xffcfffffffffffff, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xffe0000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xffefffffffffffff, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x0000000000000003, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x000fffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x0010000000000001, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x0020000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x4000000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x4018000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x7fcfffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x7fd0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x8000000000000004, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x800fffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x8010000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x801fffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0xc010000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0xc020000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0xffd0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0xffdfffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000001, 0x3fe0000000000000, 0x8000000000000002);
+ status |=
+ test__divdf3(0x8000000000000001, 0x4000000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000001, 0x7fefffffffffffff, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000001, 0xc000000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000001, 0xffefffffffffffff, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8000000000000003, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x8000000000000003, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8000000000000004, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x8000000000000004, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x800ffffffffffff8, 0x3feffffffffffffe, 0x800ffffffffffff9);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8010000000000000, 0x3ff0000000000001, 0x800fffffffffffff);
+ status |=
+ test__divdf3(0x8010000000000000, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x8010000000000000, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8010000000000001, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x8010000000000001, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x801fffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x801fffffffffffff, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0x8020000000000000, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0x8020000000000000, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0x8020000000000001, 0x0010000000000001, 0xc000000000000000);
+ status |=
+ test__divdf3(0x8020000000000005, 0x0010000000000005, 0xc000000000000000);
+ status |=
+ test__divdf3(0xbff0000000000000, 0x3ff0000000000000, 0xbff0000000000000);
+ status |=
+ test__divdf3(0xbff0000000000000, 0xbff0000000000000, 0x3ff0000000000000);
+ status |=
+ test__divdf3(0xc000000000000000, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xc000000000000000, 0x3ff0000000000000, 0xc000000000000000);
+ status |=
+ test__divdf3(0xc000000000000000, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0xc000000000000000, 0xbff0000000000000, 0x4000000000000000);
+ status |=
+ test__divdf3(0xc010000000000000, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xc010000000000000, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0xc018000000000000, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xc018000000000000, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0xc018000000000000, 0xc008000000000000, 0x4000000000000000);
+ status |=
+ test__divdf3(0xc01c000000000000, 0x401c000000000000, 0xbff0000000000000);
+ status |=
+ test__divdf3(0xc020000000000000, 0x4000000000000000, 0xc010000000000000);
+ status |=
+ test__divdf3(0xc020000000000000, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xc020000000000000, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0xc022000000000000, 0xc008000000000000, 0x4008000000000000);
+ status |=
+ test__divdf3(0xffcfffffffffffff, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xffcfffffffffffff, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0xffd0000000000000, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xffd0000000000000, 0x7ff0000000000000, 0x8000000000000000);
+ status |=
+ test__divdf3(0xffd0000000000000, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xffd0000000000000, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0xffdfffffffffffff, 0x4000000000000000, 0xffcfffffffffffff);
+ status |=
+ test__divdf3(0xffdfffffffffffff, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xffe0000000000000, 0x3fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xffe0000000000000, 0xbfe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xffe0000000000001, 0x7fd0000000000001, 0xc000000000000000);
+ status |=
+ test__divdf3(0xffeffffffffffffd, 0x4010000000000000, 0xffcffffffffffffd);
+ status |=
+ test__divdf3(0xffeffffffffffffd, 0xc010000000000000, 0x7fcffffffffffffd);
+ status |=
+ test__divdf3(0xffefffffffffffff, 0x7fcfffffffffffff, 0xc010000000000000);
+ status |=
+ test__divdf3(0xffefffffffffffff, 0xffcfffffffffffff, 0x4010000000000000);
+ status |=
+ test__divdf3(0xffefffffffffffff, 0xfff0000000000000, 0x0000000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x0000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x0000000000000003, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x000fffffffffffff, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x0010000000000001, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x0020000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x4000000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x4018000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x7fd0000000000000, 0xfff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x8000000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x8000000000000004, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x800fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x8010000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x801fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0xc010000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0xc020000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0xffd0000000000000, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0xffefffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__divdf3(0x800ffffffdffffff, 0xc00fff8000000000, 0x0004000fffbfff00);
+ status |=
+ test__divdf3(0xb7fbffffffffffff, 0xffe0000000000007, 0x0000000000000000);
+ status |=
+ test__divdf3(0x3ff660beb3029ffd, 0x3ff52e22fb7ace43, 0x3ff0e79e59ccb735);
+ status |=
+ test__divdf3(0x3ff73ddbc621eb00, 0x3ffb8224c030d747, 0x3feb095d4073d13b);
+ status |=
+ test__divdf3(0x3ff9a3b1ff2bf973, 0x3ff42fdf35d2d3bd, 0x3ff452508f203fca);
+ status |=
+ test__divdf3(0x3ffa2f42f2a01655, 0x3ff01310ba9f33d1, 0x3ffa103474220298);
+ status |=
+ test__divdf3(0x3ffa6b3e65d68478, 0x3ff773ca580800a9, 0x3ff206204bf651cc);
+ status |=
+ test__divdf3(0x3ffae840ed05aaad, 0x3ff374c8afa6bd73, 0x3ff620a0b38357dd);
+ status |=
+ test__divdf3(0x3ffc9bff90e124f7, 0x3ff19678d03f31b9, 0x3ffa06ce5731c244);
+ status |=
+ test__divdf3(0x3ff716518068f63e, 0x3ffea080001fffff, 0x3fe81f4927e2f813);
+ status |=
+ test__divdf3(0x3ff30b70c9e177b3, 0x3ffdc1dbcddeaaf7, 0x3fe47ae453d79b63);
+ status |=
+ test__divdf3(0x3ff690a0c1cf289e, 0x3ffdd0e4ec596ead, 0x3fe837c35c721292);
+ status |=
+ test__divdf3(0x3ff9a9f18698d1c5, 0x3ffdcf214b672807, 0x3feb8cd196d1e2db);
+ status |=
+ test__divdf3(0x3ffc412def95e9f2, 0x3ffe09fd73e44afb, 0x3fee195e4c411819);
+ status |=
+ test__divdf3(0x3ffab674f26df917, 0x3ffe55a80dfd623d, 0x3fec2de561fb628a);
+ status |=
+ test__divdf3(0x3ff15bb10851a33b, 0x3ffe770229894d4f, 0x3fe23b9bdf3ad4d7);
+ status |=
+ test__divdf3(0x3ff6ce035de00c24, 0x3fff04076d288c95, 0x3fe7874738e5ef5e);
+ status |=
+ test__divdf3(0x3ffb0e73f83fd2b4, 0x3fff01150ca4f6e3, 0x3febece97e64ff65);
+ status |=
+ test__divdf3(0x3ff53fff6c6d7043, 0x3fffb55c0bf15be1, 0x3fe57204f8441410);
+ status |=
+ test__divdf3(0x3ffa8aa3bbff7c4b, 0x3fffd530fa74cc5f, 0x3feaae55281a47cf);
+ status |=
+ test__divdf3(0x3ff3004b0d901379, 0x3ffe470662686931, 0x3fe41508eef9d818);
+ status |=
+ test__divdf3(0x3ffac10f29e80b25, 0x3ffe2fba9d423c9d, 0x3fec5c8a8148eb26);
+ status |=
+ test__divdf3(0x3ff8a3e14fe0651f, 0x3ffdeeae50e07679, 0x3fea579ce7a3f61c);
+ status |=
+ test__divdf3(0x3ff168321760dd0d, 0x3ffd382a2b3c2c27, 0x3fe31042c5fcbe35);
+ status |=
+ test__divdf3(0x3ff208350f930e99, 0x3ffc80beeab6d9ed, 0x3fe43e9486314a0e);
+ status |=
+ test__divdf3(0x3ff46a9470b46af6, 0x3ffc2e13c9335b3f, 0x3fe72f150e86f5a1);
+ status |=
+ test__divdf3(0x3ffaf26f45d21562, 0x3ffbe6d631b290e7, 0x3feee7b30b353e95);
+ status |=
+ test__divdf3(0x3ff5cda6f52381df, 0x3ffbe2a5bce4483f, 0x3fe90542a0e62c21);
+ status |=
+ test__divdf3(0x3ff92aeb8209bb69, 0x3ffb57a0bdf7af6f, 0x3fed74754022b839);
+ status |=
+ test__divdf3(0x3ff627c9c1a1903d, 0x3ffb3c161457a7e1, 0x3fea082feee891f0);
+ status |=
+ test__divdf3(0x3ffa5fef91208fd5, 0x3ff68928392cf5e7, 0x3ff2b9c16cd0a6eb);
+ status |=
+ test__divdf3(0x3ffdc6825d6a2ad2, 0x3ff69bb9ca89cd3f, 0x3ff5127c1399515f);
+ status |=
+ test__divdf3(0x3ffd62dbb1150699, 0x3ff6e12d3daf7823, 0x3ff48cd52e787bc5);
+ status |=
+ test__divdf3(0x3ffb9f0e3f946dd2, 0x3ff75a51f01f688b, 0x3ff2ecadebdfdf91);
+ status |=
+ test__divdf3(0x3ffdf21fc13ef609, 0x3ff77a80c8098ae1, 0x3ff46843217c9c90);
+ status |=
+ test__divdf3(0x3ff83f6d28924d31, 0x3ff7cb607bcc758f, 0x3ff04e08e26c84b7);
+ status |=
+ test__divdf3(0x3ffef8774307cea5, 0x3ff849124d13461d, 0x3ff467851369d61a);
+ status |=
+ test__divdf3(0x3ffd7c2259068fa2, 0x3ffa9e9faf8d6845, 0x3ff1b8e24ddeb546);
+ status |=
+ test__divdf3(0x3fffb10b35d3977b, 0x3ffb57a0bdf7af6f, 0x3ff28b8abfdd47c7);
+ status |=
+ test__divdf3(0x3ffdcfa4097387f1, 0x3ffbe6d631b290e7, 0x3ff1184cf4cac16b);
+ status |=
+ test__divdf3(0x3ffcb6231a615d02, 0x3ffb98faef6f9417, 0x3ff0a552a67a8e2d);
+ status |=
+ test__divdf3(0x3ffba5443a5d0a42, 0x3ffb3a5c10922a9d, 0x3ff03ed2622d2a26);
+ status |=
+ test__divdf3(0x3fff3144ae86b33e, 0x3ffa58948417f235, 0x3ff2f17912d557f2);
+ status |=
+ test__divdf3(0x3ffd68635bf6605a, 0x3ff945fce3a79f3f, 0x3ff29e0c7d6617a1);
+ status |=
+ test__divdf3(0x3ff97e6030354676, 0x3ff906f78f460697, 0x3ff04c56a5f3136d);
+ status |=
+ test__divdf3(0x3ffe86f743594e95, 0x3ff8444d7946422d, 0x3ff420b1e63f512e);
+ status |=
+ test__divdf3(0x3fff12a6c5539a9a, 0x3ff7cad48079af09, 0x3ff4e564f736b864);
+ status |=
+ test__divdf3(0x3ffa5371fe989251, 0x3ff6fc5272dc36d1, 0x3ff2533d7a4d0ee8);
+ status |=
+ test__divdf3(0x3ffe18c0547f65d2, 0x3ff6fc9e8dd915ed, 0x3ff4f2e7f917b80e);
+ status |=
+ test__divdf3(0x3ffd7aea8a297055, 0x3ff64eb95d608cd9, 0x3ff52500dc28664c);
// Test that the result of an operation is a NaN at all when it should be.
//
@@ -382,17 +710,28 @@ int main(void) {
// encoding. We also use the same value as the input NaN in tests that have
// one, so that even in EXPECT_EXACT_RESULTS mode these tests should pass,
// because 0x7ff8000000000000 is still the exact expected NaN.
- status |= test__divdf3(0x0000000000000000, 0x0000000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x0000000000000000, 0x8000000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x7ff0000000000000, 0xfff0000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x8000000000000000, 0x0000000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x8000000000000000, 0x8000000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0xfff0000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0xfff0000000000000, 0xfff0000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x3ff0000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x7ff8000000000000, 0x3ff0000000000000, 0x7ff8000000000000);
- status |= test__divdf3(0x7ff8000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x0000000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x0000000000000000, 0x8000000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0xfff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x0000000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x8000000000000000, 0x8000000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0xfff0000000000000, 0xfff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x7ff8000000000000, 0x3ff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__divdf3(0x7ff8000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
#ifdef ARM_NAN_HANDLING
// Tests specific to the NaN handling of Arm hardware, mimicked by
@@ -412,58 +751,110 @@ int main(void) {
//
// - invalid operations not involving an input NaN return the quiet
// NaN with fewest bits set, 0x7ff8000000000000.
- status |= test__divdf3(0x0000000000000000, 0x7ff3758244400801, 0x7ffb758244400801);
- status |= test__divdf3(0x0000000000000000, 0x7fff44d3f65148af, 0x7fff44d3f65148af);
- status |= test__divdf3(0x0000000000000001, 0x7ff48607b4b37057, 0x7ffc8607b4b37057);
- status |= test__divdf3(0x0000000000000001, 0x7ff855f2d435b33d, 0x7ff855f2d435b33d);
- status |= test__divdf3(0x000fffffffffffff, 0x7ff169269a674e13, 0x7ff969269a674e13);
- status |= test__divdf3(0x000fffffffffffff, 0x7ffc80978b2ef0da, 0x7ffc80978b2ef0da);
- status |= test__divdf3(0x3ff0000000000000, 0x7ff3458ad034593d, 0x7ffb458ad034593d);
- status |= test__divdf3(0x3ff0000000000000, 0x7ffdd8bb98c9f13a, 0x7ffdd8bb98c9f13a);
- status |= test__divdf3(0x7fefffffffffffff, 0x7ff79a8b96250a98, 0x7fff9a8b96250a98);
- status |= test__divdf3(0x7fefffffffffffff, 0x7ffdcc675b63bb94, 0x7ffdcc675b63bb94);
- status |= test__divdf3(0x7ff0000000000000, 0x7ff018cfaf4d0fff, 0x7ff818cfaf4d0fff);
- status |= test__divdf3(0x7ff0000000000000, 0x7ff83ad1ab4dfd24, 0x7ff83ad1ab4dfd24);
- status |= test__divdf3(0x7ff48ce6c0cdd5ac, 0x0000000000000000, 0x7ffc8ce6c0cdd5ac);
- status |= test__divdf3(0x7ff08a34f3d5385b, 0x0000000000000001, 0x7ff88a34f3d5385b);
- status |= test__divdf3(0x7ff0a264c1c96281, 0x000fffffffffffff, 0x7ff8a264c1c96281);
- status |= test__divdf3(0x7ff77ce629e61f0e, 0x3ff0000000000000, 0x7fff7ce629e61f0e);
- status |= test__divdf3(0x7ff715e2d147fd76, 0x7fefffffffffffff, 0x7fff15e2d147fd76);
- status |= test__divdf3(0x7ff689a2031f1781, 0x7ff0000000000000, 0x7ffe89a2031f1781);
- status |= test__divdf3(0x7ff5dfb4a0c8cd05, 0x7ff11c1fe9793a33, 0x7ffddfb4a0c8cd05);
- status |= test__divdf3(0x7ff5826283ffb5d7, 0x7fff609b83884e81, 0x7ffd826283ffb5d7);
- status |= test__divdf3(0x7ff7cb03f2e61d42, 0x8000000000000000, 0x7fffcb03f2e61d42);
- status |= test__divdf3(0x7ff2adc8dfe72c96, 0x8000000000000001, 0x7ffaadc8dfe72c96);
- status |= test__divdf3(0x7ff4fc0bacc707f2, 0x800fffffffffffff, 0x7ffcfc0bacc707f2);
- status |= test__divdf3(0x7ff76248c8c9a619, 0xbff0000000000000, 0x7fff6248c8c9a619);
- status |= test__divdf3(0x7ff367972fce131b, 0xffefffffffffffff, 0x7ffb67972fce131b);
- status |= test__divdf3(0x7ff188f5ac284e92, 0xfff0000000000000, 0x7ff988f5ac284e92);
- status |= test__divdf3(0x7ffed4c22e4e569d, 0x0000000000000000, 0x7ffed4c22e4e569d);
- status |= test__divdf3(0x7ffe95105fa3f339, 0x0000000000000001, 0x7ffe95105fa3f339);
- status |= test__divdf3(0x7ffb8d33dbb9ecfb, 0x000fffffffffffff, 0x7ffb8d33dbb9ecfb);
- status |= test__divdf3(0x7ff874e41dc63e07, 0x3ff0000000000000, 0x7ff874e41dc63e07);
- status |= test__divdf3(0x7ffe27594515ecdf, 0x7fefffffffffffff, 0x7ffe27594515ecdf);
- status |= test__divdf3(0x7ffeac86d5c69bdf, 0x7ff0000000000000, 0x7ffeac86d5c69bdf);
- status |= test__divdf3(0x7ff97d657b99f76f, 0x7ff7e4149862a796, 0x7fffe4149862a796);
- status |= test__divdf3(0x7ffad17c6aa33fad, 0x7ffd898893ad4d28, 0x7ffad17c6aa33fad);
- status |= test__divdf3(0x7ff96e04e9c3d173, 0x8000000000000000, 0x7ff96e04e9c3d173);
- status |= test__divdf3(0x7ffec01ad8da3abb, 0x8000000000000001, 0x7ffec01ad8da3abb);
- status |= test__divdf3(0x7ffd1d565c495941, 0x800fffffffffffff, 0x7ffd1d565c495941);
- status |= test__divdf3(0x7ffe3d24f1e474a7, 0xbff0000000000000, 0x7ffe3d24f1e474a7);
- status |= test__divdf3(0x7ffc206f2bb8c8ce, 0xffefffffffffffff, 0x7ffc206f2bb8c8ce);
- status |= test__divdf3(0x7ff93efdecfb7d3b, 0xfff0000000000000, 0x7ff93efdecfb7d3b);
- status |= test__divdf3(0x8000000000000000, 0x7ff2ee725d143ac5, 0x7ffaee725d143ac5);
- status |= test__divdf3(0x8000000000000000, 0x7ffbba26e5c5fe98, 0x7ffbba26e5c5fe98);
- status |= test__divdf3(0x8000000000000001, 0x7ff7818a1cd26df9, 0x7fff818a1cd26df9);
- status |= test__divdf3(0x8000000000000001, 0x7ffaee6cc63b5292, 0x7ffaee6cc63b5292);
- status |= test__divdf3(0x800fffffffffffff, 0x7ff401096edaf79d, 0x7ffc01096edaf79d);
- status |= test__divdf3(0x800fffffffffffff, 0x7ffbf1778c7a2e59, 0x7ffbf1778c7a2e59);
- status |= test__divdf3(0xbff0000000000000, 0x7ff2e8fb0201c496, 0x7ffae8fb0201c496);
- status |= test__divdf3(0xbff0000000000000, 0x7ffcb6a5adb2e154, 0x7ffcb6a5adb2e154);
- status |= test__divdf3(0xffefffffffffffff, 0x7ff1ea1bfc15d71d, 0x7ff9ea1bfc15d71d);
- status |= test__divdf3(0xffefffffffffffff, 0x7ffae0766e21efc0, 0x7ffae0766e21efc0);
- status |= test__divdf3(0xfff0000000000000, 0x7ff3b364cffbdfe6, 0x7ffbb364cffbdfe6);
- status |= test__divdf3(0xfff0000000000000, 0x7ffd0d3223334ae3, 0x7ffd0d3223334ae3);
+ status |=
+ test__divdf3(0x0000000000000000, 0x7ff3758244400801, 0x7ffb758244400801);
+ status |=
+ test__divdf3(0x0000000000000000, 0x7fff44d3f65148af, 0x7fff44d3f65148af);
+ status |=
+ test__divdf3(0x0000000000000001, 0x7ff48607b4b37057, 0x7ffc8607b4b37057);
+ status |=
+ test__divdf3(0x0000000000000001, 0x7ff855f2d435b33d, 0x7ff855f2d435b33d);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x7ff169269a674e13, 0x7ff969269a674e13);
+ status |=
+ test__divdf3(0x000fffffffffffff, 0x7ffc80978b2ef0da, 0x7ffc80978b2ef0da);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x7ff3458ad034593d, 0x7ffb458ad034593d);
+ status |=
+ test__divdf3(0x3ff0000000000000, 0x7ffdd8bb98c9f13a, 0x7ffdd8bb98c9f13a);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x7ff79a8b96250a98, 0x7fff9a8b96250a98);
+ status |=
+ test__divdf3(0x7fefffffffffffff, 0x7ffdcc675b63bb94, 0x7ffdcc675b63bb94);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x7ff018cfaf4d0fff, 0x7ff818cfaf4d0fff);
+ status |=
+ test__divdf3(0x7ff0000000000000, 0x7ff83ad1ab4dfd24, 0x7ff83ad1ab4dfd24);
+ status |=
+ test__divdf3(0x7ff48ce6c0cdd5ac, 0x0000000000000000, 0x7ffc8ce6c0cdd5ac);
+ status |=
+ test__divdf3(0x7ff08a34f3d5385b, 0x0000000000000001, 0x7ff88a34f3d5385b);
+ status |=
+ test__divdf3(0x7ff0a264c1c96281, 0x000fffffffffffff, 0x7ff8a264c1c96281);
+ status |=
+ test__divdf3(0x7ff77ce629e61f0e, 0x3ff0000000000000, 0x7fff7ce629e61f0e);
+ status |=
+ test__divdf3(0x7ff715e2d147fd76, 0x7fefffffffffffff, 0x7fff15e2d147fd76);
+ status |=
+ test__divdf3(0x7ff689a2031f1781, 0x7ff0000000000000, 0x7ffe89a2031f1781);
+ status |=
+ test__divdf3(0x7ff5dfb4a0c8cd05, 0x7ff11c1fe9793a33, 0x7ffddfb4a0c8cd05);
+ status |=
+ test__divdf3(0x7ff5826283ffb5d7, 0x7fff609b83884e81, 0x7ffd826283ffb5d7);
+ status |=
+ test__divdf3(0x7ff7cb03f2e61d42, 0x8000000000000000, 0x7fffcb03f2e61d42);
+ status |=
+ test__divdf3(0x7ff2adc8dfe72c96, 0x8000000000000001, 0x7ffaadc8dfe72c96);
+ status |=
+ test__divdf3(0x7ff4fc0bacc707f2, 0x800fffffffffffff, 0x7ffcfc0bacc707f2);
+ status |=
+ test__divdf3(0x7ff76248c8c9a619, 0xbff0000000000000, 0x7fff6248c8c9a619);
+ status |=
+ test__divdf3(0x7ff367972fce131b, 0xffefffffffffffff, 0x7ffb67972fce131b);
+ status |=
+ test__divdf3(0x7ff188f5ac284e92, 0xfff0000000000000, 0x7ff988f5ac284e92);
+ status |=
+ test__divdf3(0x7ffed4c22e4e569d, 0x0000000000000000, 0x7ffed4c22e4e569d);
+ status |=
+ test__divdf3(0x7ffe95105fa3f339, 0x0000000000000001, 0x7ffe95105fa3f339);
+ status |=
+ test__divdf3(0x7ffb8d33dbb9ecfb, 0x000fffffffffffff, 0x7ffb8d33dbb9ecfb);
+ status |=
+ test__divdf3(0x7ff874e41dc63e07, 0x3ff0000000000000, 0x7ff874e41dc63e07);
+ status |=
+ test__divdf3(0x7ffe27594515ecdf, 0x7fefffffffffffff, 0x7ffe27594515ecdf);
+ status |=
+ test__divdf3(0x7ffeac86d5c69bdf, 0x7ff0000000000000, 0x7ffeac86d5c69bdf);
+ status |=
+ test__divdf3(0x7ff97d657b99f76f, 0x7ff7e4149862a796, 0x7fffe4149862a796);
+ status |=
+ test__divdf3(0x7ffad17c6aa33fad, 0x7ffd898893ad4d28, 0x7ffad17c6aa33fad);
+ status |=
+ test__divdf3(0x7ff96e04e9c3d173, 0x8000000000000000, 0x7ff96e04e9c3d173);
+ status |=
+ test__divdf3(0x7ffec01ad8da3abb, 0x8000000000000001, 0x7ffec01ad8da3abb);
+ status |=
+ test__divdf3(0x7ffd1d565c495941, 0x800fffffffffffff, 0x7ffd1d565c495941);
+ status |=
+ test__divdf3(0x7ffe3d24f1e474a7, 0xbff0000000000000, 0x7ffe3d24f1e474a7);
+ status |=
+ test__divdf3(0x7ffc206f2bb8c8ce, 0xffefffffffffffff, 0x7ffc206f2bb8c8ce);
+ status |=
+ test__divdf3(0x7ff93efdecfb7d3b, 0xfff0000000000000, 0x7ff93efdecfb7d3b);
+ status |=
+ test__divdf3(0x8000000000000000, 0x7ff2ee725d143ac5, 0x7ffaee725d143ac5);
+ status |=
+ test__divdf3(0x8000000000000000, 0x7ffbba26e5c5fe98, 0x7ffbba26e5c5fe98);
+ status |=
+ test__divdf3(0x8000000000000001, 0x7ff7818a1cd26df9, 0x7fff818a1cd26df9);
+ status |=
+ test__divdf3(0x8000000000000001, 0x7ffaee6cc63b5292, 0x7ffaee6cc63b5292);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0x7ff401096edaf79d, 0x7ffc01096edaf79d);
+ status |=
+ test__divdf3(0x800fffffffffffff, 0x7ffbf1778c7a2e59, 0x7ffbf1778c7a2e59);
+ status |=
+ test__divdf3(0xbff0000000000000, 0x7ff2e8fb0201c496, 0x7ffae8fb0201c496);
+ status |=
+ test__divdf3(0xbff0000000000000, 0x7ffcb6a5adb2e154, 0x7ffcb6a5adb2e154);
+ status |=
+ test__divdf3(0xffefffffffffffff, 0x7ff1ea1bfc15d71d, 0x7ff9ea1bfc15d71d);
+ status |=
+ test__divdf3(0xffefffffffffffff, 0x7ffae0766e21efc0, 0x7ffae0766e21efc0);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x7ff3b364cffbdfe6, 0x7ffbb364cffbdfe6);
+ status |=
+ test__divdf3(0xfff0000000000000, 0x7ffd0d3223334ae3, 0x7ffd0d3223334ae3);
#endif // ARM_NAN_HANDLING
diff --git a/compiler-rt/test/builtins/Unit/muldf3new_test.c b/compiler-rt/test/builtins/Unit/muldf3new_test.c
index 809f40a95..c2e39254f 100644
--- a/compiler-rt/test/builtins/Unit/muldf3new_test.c
+++ b/compiler-rt/test/builtins/Unit/muldf3new_test.c
@@ -24,7 +24,8 @@
// Returns: a * b
COMPILER_RT_ABI double __muldf3(double a, double b);
-int test__muldf3(int line, uint64_t a_rep, uint64_t b_rep, uint64_t expected_rep) {
+int test__muldf3(int line, uint64_t a_rep, uint64_t b_rep,
+ uint64_t expected_rep) {
double a = fromRep64(a_rep), b = fromRep64(b_rep);
double x = __muldf3(a, b);
#ifdef EXPECT_EXACT_RESULTS
@@ -34,334 +35,650 @@ int test__muldf3(int line, uint64_t a_rep, uint64_t b_rep, uint64_t expected_rep
#endif
if (ret) {
- printf("error at line %d: __muldf3(%016" PRIx64 ", %016" PRIx64 ") = %016" PRIx64
- ", expected %016" PRIx64 "\n",
+ printf("error at line %d: __muldf3(%016" PRIx64 ", %016" PRIx64
+ ") = %016" PRIx64 ", expected %016" PRIx64 "\n",
line, a_rep, b_rep, toRep64(x), expected_rep);
}
return ret;
}
-#define test__muldf3(a,b,x) test__muldf3(__LINE__,a,b,x)
+#define test__muldf3(a, b, x) test__muldf3(__LINE__, a, b, x)
int main(void) {
int status = 0;
- status |= test__muldf3(0x0000000000000000, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x000fffffffffffff, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x001fffffffffffff, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x3ff0000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x7fdfffffffffffff, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x8000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x8000000000000002, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x800fffffffffffff, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x8010000000000001, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0x8020000000000000, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0xc008000000000000, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0xffcfffffffffffff, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0xffe0000000000000, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000000, 0xffefffffffffffff, 0x8000000000000000);
- status |= test__muldf3(0x0000000000000001, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000001, 0x0000000000000001, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000001, 0x3fe0000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0000000000000001, 0x3fefffffffffffff, 0x0000000000000001);
- status |= test__muldf3(0x0000000000000001, 0x3ff0000000000000, 0x0000000000000001);
- status |= test__muldf3(0x0000000000000001, 0x4000000000000000, 0x0000000000000002);
- status |= test__muldf3(0x0000000000000001, 0x7ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x0000000000000001, 0xbfefffffffffffff, 0x8000000000000001);
- status |= test__muldf3(0x0000000000000006, 0x3fe0000000000000, 0x0000000000000003);
- status |= test__muldf3(0x0000000000000006, 0xbfe0000000000000, 0x8000000000000003);
- status |= test__muldf3(0x0000000000000008, 0x3fc0000000000000, 0x0000000000000001);
- status |= test__muldf3(0x000ffffffffffff7, 0x8020000000000003, 0x8000000000000000);
- status |= test__muldf3(0x000ffffffffffff8, 0x3ff0000000000001, 0x000ffffffffffff9);
- status |= test__muldf3(0x000ffffffffffff8, 0x3ff0000000000008, 0x0010000000000000);
- status |= test__muldf3(0x000ffffffffffff8, 0xbff0000000000001, 0x800ffffffffffff9);
- status |= test__muldf3(0x000ffffffffffff8, 0xbff0000000000008, 0x8010000000000000);
- status |= test__muldf3(0x000ffffffffffffc, 0x4000000000000000, 0x001ffffffffffff8);
- status |= test__muldf3(0x000ffffffffffffe, 0x3feffffffffffffc, 0x000ffffffffffffc);
- status |= test__muldf3(0x000ffffffffffffe, 0x3ff0000000000001, 0x000fffffffffffff);
- status |= test__muldf3(0x000ffffffffffffe, 0xbff0000000000001, 0x800fffffffffffff);
- status |= test__muldf3(0x000fffffffffffff, 0x000ffffffffffffe, 0x0000000000000000);
- status |= test__muldf3(0x000fffffffffffff, 0x3cb0000000000001, 0x0000000000000001);
- status |= test__muldf3(0x000fffffffffffff, 0x3fe0000000000001, 0x0008000000000000);
- status |= test__muldf3(0x000fffffffffffff, 0x3ff0000000000001, 0x0010000000000000);
- status |= test__muldf3(0x000fffffffffffff, 0x4000000000000000, 0x001ffffffffffffe);
- status |= test__muldf3(0x0010000000000000, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0010000000000000, 0x0010000000000000, 0x0000000000000000);
- status |= test__muldf3(0x0010000000000000, 0x3feffffffffffffe, 0x000fffffffffffff);
- status |= test__muldf3(0x0010000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x0010000000000000, 0x8010000000000000, 0x8000000000000000);
- status |= test__muldf3(0x0010000000000000, 0xc000000000000000, 0x8020000000000000);
- status |= test__muldf3(0x0010000000000001, 0x3feffffffffffffa, 0x000ffffffffffffe);
- status |= test__muldf3(0x0010000000000001, 0x3feffffffffffffe, 0x0010000000000000);
- status |= test__muldf3(0x0010000000000001, 0xc000000000000000, 0x8020000000000001);
- status |= test__muldf3(0x0010000000000002, 0x3feffffffffffffc, 0x0010000000000000);
- status |= test__muldf3(0x001ffffffffffff8, 0x3fe0000000000000, 0x000ffffffffffffc);
- status |= test__muldf3(0x001ffffffffffffe, 0x3fe0000000000000, 0x000fffffffffffff);
- status |= test__muldf3(0x001ffffffffffffe, 0xbfe0000000000000, 0x800fffffffffffff);
- status |= test__muldf3(0x001fffffffffffff, 0x3fe0000000000000, 0x0010000000000000);
- status |= test__muldf3(0x001fffffffffffff, 0xbfe0000000000000, 0x8010000000000000);
- status |= test__muldf3(0x3fe0000000000000, 0x8000000000000001, 0x8000000000000000);
- status |= test__muldf3(0x3ff0000000000000, 0x000ffffffffffffd, 0x000ffffffffffffd);
- status |= test__muldf3(0x3ff0000000000000, 0x0020000000000003, 0x0020000000000003);
- status |= test__muldf3(0x3ff0000000000000, 0x3ff0000000000000, 0x3ff0000000000000);
- status |= test__muldf3(0x3ff0000000000000, 0x4000000000000000, 0x4000000000000000);
- status |= test__muldf3(0x3ff0000000000000, 0x8000000000000001, 0x8000000000000001);
- status |= test__muldf3(0x3ff0000000000000, 0x8000000000000009, 0x8000000000000009);
- status |= test__muldf3(0x3ff0000000000001, 0x3ff0000000000001, 0x3ff0000000000002);
- status |= test__muldf3(0x3ff0000000000001, 0xbff0000000000001, 0xbff0000000000002);
- status |= test__muldf3(0x3ff0000000000001, 0xbff0000000000002, 0xbff0000000000003);
- status |= test__muldf3(0x3ff0000000000002, 0x3ff0000000000001, 0x3ff0000000000003);
- status |= test__muldf3(0x3ff0000000000002, 0x7feffffffffffffe, 0x7ff0000000000000);
- status |= test__muldf3(0x3ff0000000000001, 0x7feffffffffffffe, 0x7ff0000000000000);
- status |= test__muldf3(0x4000000000000000, 0x0010000000000000, 0x0020000000000000);
- status |= test__muldf3(0x4000000000000000, 0x0010000000000001, 0x0020000000000001);
- status |= test__muldf3(0x4000000000000000, 0x3ff0000000000000, 0x4000000000000000);
- status |= test__muldf3(0x4000000000000000, 0x4008000000000000, 0x4018000000000000);
- status |= test__muldf3(0x4000000000000000, 0x7fd0000000000000, 0x7fe0000000000000);
- status |= test__muldf3(0x4000000000000000, 0x7fdfffffffffffff, 0x7fefffffffffffff);
- status |= test__muldf3(0x4000000000000000, 0x800ffffffffffffd, 0x801ffffffffffffa);
- status |= test__muldf3(0x4000000000000000, 0x8010000000000003, 0x8020000000000003);
- status |= test__muldf3(0x4000000000000000, 0x8010000000000005, 0x8020000000000005);
- status |= test__muldf3(0x4000000000000000, 0xbff0000000000000, 0xc000000000000000);
- status |= test__muldf3(0x4000000000000000, 0xffcffffffffffffd, 0xffdffffffffffffd);
- status |= test__muldf3(0x4000000000000000, 0xffd0000000000003, 0xffe0000000000003);
- status |= test__muldf3(0x4007ffffffffffff, 0x3feffffffffffffd, 0x4007fffffffffffd);
- status |= test__muldf3(0x4007ffffffffffff, 0x3feffffffffffffe, 0x4007fffffffffffe);
- status |= test__muldf3(0x4007ffffffffffff, 0x3fefffffffffffff, 0x4007fffffffffffe);
- status |= test__muldf3(0x4007ffffffffffff, 0xbfeffffffffffffd, 0xc007fffffffffffd);
- status |= test__muldf3(0x4008000000000000, 0x0000000000000002, 0x0000000000000006);
- status |= test__muldf3(0x4008000000000000, 0x4000000000000000, 0x4018000000000000);
- status |= test__muldf3(0x4008000000000000, 0x4008000000000000, 0x4022000000000000);
- status |= test__muldf3(0x4008000000000000, 0xc000000000000000, 0xc018000000000000);
- status |= test__muldf3(0x4008000000000001, 0x3ff0000000000001, 0x4008000000000003);
- status |= test__muldf3(0x4008000000000001, 0x3ff0000000000003, 0x4008000000000006);
- status |= test__muldf3(0x4008000000000001, 0xbff0000000000003, 0xc008000000000006);
- status |= test__muldf3(0x4010000000000000, 0x0000000000000002, 0x0000000000000008);
- status |= test__muldf3(0x4010000000000000, 0x7fcfffffffffffff, 0x7fefffffffffffff);
- status |= test__muldf3(0x4010000000000000, 0xffcfffffffffffff, 0xffefffffffffffff);
- status |= test__muldf3(0x4013ffffffffffff, 0x3fefffffffffffff, 0x4013fffffffffffe);
- status |= test__muldf3(0x4014000000000000, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x4014000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x4014000000000001, 0x3ff0000000000001, 0x4014000000000002);
- status |= test__muldf3(0x401bffffffffffff, 0x3feffffffffffffc, 0x401bfffffffffffc);
- status |= test__muldf3(0x401bffffffffffff, 0x3fefffffffffffff, 0x401bfffffffffffe);
- status |= test__muldf3(0x401c000000000000, 0x8000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x401c000000000000, 0xfff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x401c000000000001, 0x3ff0000000000001, 0x401c000000000003);
- status |= test__muldf3(0x7fcffffffffffffd, 0x4010000000000000, 0x7feffffffffffffd);
- status |= test__muldf3(0x7fcffffffffffffd, 0xc010000000000000, 0xffeffffffffffffd);
- status |= test__muldf3(0x7fd0000000000000, 0xc000000000000000, 0xffe0000000000000);
- status |= test__muldf3(0x7fdffffffffffffd, 0xc000000000000008, 0xfff0000000000000);
- status |= test__muldf3(0x7fdfffffffffffff, 0xc000000000000000, 0xffefffffffffffff);
- status |= test__muldf3(0x7fe0000000000000, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0x4000000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0x7fe0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0x7feffffffffffffe, 0x7ff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0xffd0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0xffd0000000000004, 0xfff0000000000000);
- status |= test__muldf3(0x7fe0000000000000, 0xffe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x7fe0000000000009, 0x7feffffffffffffa, 0x7ff0000000000000);
- status |= test__muldf3(0x7fe0000000000009, 0xc018000000000002, 0xfff0000000000000);
- status |= test__muldf3(0x7fefffffffffffff, 0x0000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x001fffffffffffff, 0x7ff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x3ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x7fdfffffffffffff, 0x7ff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x8000000000000002, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x800fffffffffffff, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x8010000000000001, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x8020000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0xc008000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0xffe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0xffefffffffffffff, 0xfff0000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0xfff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x8000000000000000, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8000000000000000, 0x4018000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8000000000000000, 0x7fefffffffffffff, 0x8000000000000000);
- status |= test__muldf3(0x8000000000000000, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x8000000000000000, 0x8000000000000004, 0x0000000000000000);
- status |= test__muldf3(0x8000000000000000, 0x8010000000000000, 0x0000000000000000);
- status |= test__muldf3(0x8000000000000000, 0xc020000000000000, 0x0000000000000000);
- status |= test__muldf3(0x8000000000000000, 0xffd0000000000000, 0x0000000000000000);
- status |= test__muldf3(0x8000000000000001, 0x0000000000000001, 0x8000000000000000);
- status |= test__muldf3(0x8000000000000001, 0x4014000000000000, 0x8000000000000005);
- status |= test__muldf3(0x8000000000000002, 0x3ff0000000000000, 0x8000000000000002);
- status |= test__muldf3(0x8000000000000003, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8000000000000003, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x8000000000000004, 0xbff0000000000000, 0x0000000000000004);
- status |= test__muldf3(0x8000000000000008, 0x3fc0000000000000, 0x8000000000000001);
- status |= test__muldf3(0x800ffffffffffff7, 0x0020000000000003, 0x8000000000000000);
- status |= test__muldf3(0x800ffffffffffff7, 0x3ff0000000000001, 0x800ffffffffffff8);
- status |= test__muldf3(0x800ffffffffffffd, 0xc000000000000000, 0x001ffffffffffffa);
- status |= test__muldf3(0x800fffffffffffff, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x800fffffffffffff, 0x3ff0000000000001, 0x8010000000000000);
- status |= test__muldf3(0x800fffffffffffff, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x800fffffffffffff, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x800fffffffffffff, 0x800ffffffffffffe, 0x0000000000000000);
- status |= test__muldf3(0x800fffffffffffff, 0xbff0000000000000, 0x000fffffffffffff);
- status |= test__muldf3(0x800fffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x8010000000000000, 0x0010000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8010000000000000, 0x8010000000000000, 0x0000000000000000);
- status |= test__muldf3(0x8010000000000001, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8010000000000001, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0x8010000000000001, 0xbff0000000000000, 0x0010000000000001);
- status |= test__muldf3(0x801ffffffffffffc, 0x3fe0000000000000, 0x800ffffffffffffe);
- status |= test__muldf3(0x801ffffffffffffc, 0xbfe0000000000000, 0x000ffffffffffffe);
- status |= test__muldf3(0x801ffffffffffffe, 0x3ff0000000000000, 0x801ffffffffffffe);
- status |= test__muldf3(0x801fffffffffffff, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0x801fffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x8020000000000000, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0x8020000000000000, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xbfefffffffffffff, 0xffefffffffffffff, 0x7feffffffffffffe);
- status |= test__muldf3(0xbff0000000000000, 0x0000000000000009, 0x8000000000000009);
- status |= test__muldf3(0xbff0000000000000, 0x0010000000000009, 0x8010000000000009);
- status |= test__muldf3(0xbff0000000000000, 0x3ff0000000000000, 0xbff0000000000000);
- status |= test__muldf3(0xbff0000000000000, 0x4000000000000000, 0xc000000000000000);
- status |= test__muldf3(0xbff0000000000000, 0xbff0000000000000, 0x3ff0000000000000);
- status |= test__muldf3(0xbff0000000000000, 0xc000000000000000, 0x4000000000000000);
- status |= test__muldf3(0xbff0000000000001, 0x3ff0000000000001, 0xbff0000000000002);
- status |= test__muldf3(0xbff0000000000001, 0xbff0000000000001, 0x3ff0000000000002);
- status |= test__muldf3(0xbff0000000000001, 0xbff0000000000002, 0x3ff0000000000003);
- status |= test__muldf3(0xbff0000000000002, 0x3ff0000000000001, 0xbff0000000000003);
- status |= test__muldf3(0xbff0000000000002, 0xbff0000000000001, 0x3ff0000000000003);
- status |= test__muldf3(0xc000000000000000, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0xc000000000000000, 0x000ffffffffffffd, 0x801ffffffffffffa);
- status |= test__muldf3(0xc000000000000000, 0x0010000000000001, 0x8020000000000001);
- status |= test__muldf3(0xc000000000000000, 0x0010000000000005, 0x8020000000000005);
- status |= test__muldf3(0xc000000000000000, 0x0010000000000009, 0x8020000000000009);
- status |= test__muldf3(0xc000000000000000, 0x4008000000000000, 0xc018000000000000);
- status |= test__muldf3(0xc000000000000000, 0x7fcfffffffffffff, 0xffdfffffffffffff);
- status |= test__muldf3(0xc000000000000000, 0x7fd0000000000001, 0xffe0000000000001);
- status |= test__muldf3(0xc000000000000000, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xc000000000000000, 0xbff0000000000000, 0x4000000000000000);
- status |= test__muldf3(0xc000000000000000, 0xc008000000000000, 0x4018000000000000);
- status |= test__muldf3(0xc007fffffffffffe, 0x7fe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xc007ffffffffffff, 0x3fefffffffffffff, 0xc007fffffffffffe);
- status |= test__muldf3(0xc008000000000000, 0x4008000000000000, 0xc022000000000000);
- status |= test__muldf3(0xc008000000000000, 0xc000000000000000, 0x4018000000000000);
- status |= test__muldf3(0xc008000000000000, 0xc008000000000000, 0x4022000000000000);
- status |= test__muldf3(0xc008000000000000, 0xffe0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xc008000000000001, 0x3ff0000000000001, 0xc008000000000003);
- status |= test__muldf3(0xc010000000000000, 0x7fcfffffffffffff, 0xffefffffffffffff);
- status |= test__muldf3(0xc010000000000000, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0xc010000000000000, 0xffcfffffffffffff, 0x7fefffffffffffff);
- status |= test__muldf3(0xc010000000000000, 0xfff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xc013fffffffffffe, 0xffe0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xc013ffffffffffff, 0xbfefffffffffffff, 0x4013fffffffffffe);
- status |= test__muldf3(0xc014000000000001, 0xbff0000000000001, 0x4014000000000002);
- status |= test__muldf3(0xc01bfffffffffff9, 0x7fe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xc022000000000000, 0x7fe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xc022000000000001, 0xffe0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xffcffffffffffff9, 0x7fe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xffcffffffffffff9, 0xc00fffffffffffff, 0x7feffffffffffff8);
- status |= test__muldf3(0xffcffffffffffffd, 0x4010000000000000, 0xffeffffffffffffd);
- status |= test__muldf3(0xffcffffffffffffd, 0xc010000000000000, 0x7feffffffffffffd);
- status |= test__muldf3(0xffcfffffffffffff, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0xffcfffffffffffff, 0x4000000000000001, 0xffe0000000000000);
- status |= test__muldf3(0xffcfffffffffffff, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xffd0000000000000, 0x0000000000000000, 0x8000000000000000);
- status |= test__muldf3(0xffd0000000000000, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xffdffffffffffff7, 0x7fd0000000000001, 0xfff0000000000000);
- status |= test__muldf3(0xffdfffffffffffff, 0x3ff0000000000001, 0xffe0000000000000);
- status |= test__muldf3(0xffdfffffffffffff, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0xffe0000000000005, 0xffe0000000000001, 0x7ff0000000000000);
- status |= test__muldf3(0xffeffffffffffffd, 0x7fe0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xffeffffffffffffd, 0xc008000000000001, 0x7ff0000000000000);
- status |= test__muldf3(0xffeffffffffffffd, 0xffe0000000000001, 0x7ff0000000000000);
- status |= test__muldf3(0xffefffffffffffff, 0x8000000000000000, 0x0000000000000000);
- status |= test__muldf3(0xffefffffffffffff, 0xffefffffffffffff, 0x7ff0000000000000);
- status |= test__muldf3(0xffefffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0x4018000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0x7ff0000000000000, 0xfff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0x8000000000000004, 0x7ff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0x8010000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0xc020000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0xffd0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0xfff0000000000000, 0xfff0000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x002ffffffe000000, 0x3fcffffffffffffd, 0x000ffffffeffffff);
- status |= test__muldf3(0xbfeffeffffffffff, 0x8010000000000100, 0x000fff80000000ff);
- status |= test__muldf3(0x802ffffffe000000, 0x3fcffffffffffffd, 0x800ffffffeffffff);
- status |= test__muldf3(0xbfeffeffffffffff, 0x0010000000000100, 0x800fff80000000ff);
- status |= test__muldf3(0xbf9e8325a5aa6c8d, 0xbf9e8325a5aa6c8d, 0x3f4d180013083955);
- status |= test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fe4000000000000, 0x3ff237a6f271c5c4);
- status |= test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fe4000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201d25d7ea4fa2d4, 0x1fd4000000000000, 0x00091bd37938e2e2);
- status |= test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fe8000000000000, 0x3ff5dc61efbbba1f);
- status |= test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fe8000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201d25d7ea4fa2d4, 0x1fd8000000000000, 0x000aee30f7dddd10);
- status |= test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fec000000000000, 0x3ff9811ced05ae7a);
- status |= test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fec000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201d25d7ea4fa2d4, 0x1fdc000000000000, 0x000cc08e7682d73d);
- status |= test__muldf3(0x3ff265f139b6c87c, 0x3ff7000000000000, 0x3ffa728ac2f6c032);
- status |= test__muldf3(0x6ff265f139b6c87c, 0x4ff7000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201265f139b6c87c, 0x1fe7000000000000, 0x000d3945617b6019);
- status |= test__muldf3(0x3ff265f139b6c87c, 0x3ff5000000000000, 0x3ff825cc9bbfe723);
- status |= test__muldf3(0x6ff265f139b6c87c, 0x4ff5000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201265f139b6c87c, 0x1fe5000000000000, 0x000c12e64ddff391);
- status |= test__muldf3(0x3ffe5ab1dc9f12f9, 0x3ff0c1a10c80f0b7, 0x3fffca09666ab16e);
- status |= test__muldf3(0x6ffe5ab1dc9f12f9, 0x4ff0c1a10c80f0b7, 0x7ff0000000000000);
- status |= test__muldf3(0x201e5ab1dc9f12f9, 0x1fe0c1a10c80f0b7, 0x000fe504b33558b7);
- status |= test__muldf3(0x3ffe5ab1dc9f12f9, 0x3fe73e5ef37f0f49, 0x3ff60c59a0917f00);
- status |= test__muldf3(0x6ffe5ab1dc9f12f9, 0x4fe73e5ef37f0f49, 0x7ff0000000000000);
- status |= test__muldf3(0x201e5ab1dc9f12f9, 0x1fd73e5ef37f0f49, 0x000b062cd048bf80);
- status |= test__muldf3(0x3ffe5ab1dc9f12f9, 0x3fe8c1a10c80f0b7, 0x3ff77bb12a5d1d75);
- status |= test__muldf3(0x6ffe5ab1dc9f12f9, 0x4fe8c1a10c80f0b7, 0x7ff0000000000000);
- status |= test__muldf3(0x201e5ab1dc9f12f9, 0x1fd8c1a10c80f0b7, 0x000bbdd8952e8ebb);
- status |= test__muldf3(0x3ffc6be665de3b1d, 0x3fe52d156619a0cb, 0x3ff2ced9f056fba8);
- status |= test__muldf3(0x6ffc6be665de3b1d, 0x4fe52d156619a0cb, 0x7ff0000000000000);
- status |= test__muldf3(0x201c6be665de3b1d, 0x1fd52d156619a0cb, 0x0009676cf82b7dd4);
- status |= test__muldf3(0x3ffc6be665de3b1d, 0x3fead2ea99e65f35, 0x3ff7d2ffa8765d03);
- status |= test__muldf3(0x6ffc6be665de3b1d, 0x4fead2ea99e65f35, 0x7ff0000000000000);
- status |= test__muldf3(0x201c6be665de3b1d, 0x1fdad2ea99e65f35, 0x000be97fd43b2e82);
- status |= test__muldf3(0x3ff1c0635d3cd39d, 0x3ff5c9b956d0b54b, 0x3ff82c50eb71ac34);
- status |= test__muldf3(0x6ff1c0635d3cd39d, 0x4ff5c9b956d0b54b, 0x7ff0000000000000);
- status |= test__muldf3(0x2011c0635d3cd39d, 0x1fe5c9b956d0b54b, 0x000c162875b8d61a);
- status |= test__muldf3(0x3ff1c0635d3cd39d, 0x3ff23646a92f4ab5, 0x3ff434a77da664d4);
- status |= test__muldf3(0x6ff1c0635d3cd39d, 0x4ff23646a92f4ab5, 0x7ff0000000000000);
- status |= test__muldf3(0x2011c0635d3cd39d, 0x1fe23646a92f4ab5, 0x000a1a53bed3326a);
- status |= test__muldf3(0x3ff1c0635d3cd39d, 0x3ffa3646a92f4ab5, 0x3ffd14d92c44cea3);
- status |= test__muldf3(0x6ff1c0635d3cd39d, 0x4ffa3646a92f4ab5, 0x7ff0000000000000);
- status |= test__muldf3(0x2011c0635d3cd39d, 0x1fea3646a92f4ab5, 0x000e8a6c96226751);
- status |= test__muldf3(0x3ff1c0635d3cd39d, 0x3ff1c9b956d0b54b, 0x3ff3bc381422774d);
- status |= test__muldf3(0x6ff1c0635d3cd39d, 0x4ff1c9b956d0b54b, 0x7ff0000000000000);
- status |= test__muldf3(0x2011c0635d3cd39d, 0x1fe1c9b956d0b54b, 0x0009de1c0a113ba6);
- status |= test__muldf3(0x3ff907065fd11389, 0x3fe46bad37af52b9, 0x3feff135e5756ec7);
- status |= test__muldf3(0x6ff907065fd11389, 0x4fe46bad37af52b9, 0x7feff135e5756ec7);
- status |= test__muldf3(0x201907065fd11389, 0x1fd46bad37af52b9, 0x0007fc4d795d5bb2);
- status |= test__muldf3(0x3ff907065fd11389, 0x3feb9452c850ad47, 0x3ff591ee9cfee5ea);
- status |= test__muldf3(0x6ff907065fd11389, 0x4feb9452c850ad47, 0x7ff0000000000000);
- status |= test__muldf3(0x201907065fd11389, 0x1fdb9452c850ad47, 0x000ac8f74e7f72f5);
- status |= test__muldf3(0x3ff761c03e198df7, 0x3fe7f47c731d43c7, 0x3ff180e675617e83);
- status |= test__muldf3(0x6ff761c03e198df7, 0x4fe7f47c731d43c7, 0x7ff0000000000000);
- status |= test__muldf3(0x201761c03e198df7, 0x1fd7f47c731d43c7, 0x0008c0733ab0bf41);
- status |= test__muldf3(0x3ffce6d1246c46fb, 0x3ff0b3469ded2bcd, 0x3ffe2aa6f74c0ffd);
- status |= test__muldf3(0x6ffce6d1246c46fb, 0x4ff0b3469ded2bcd, 0x7ff0000000000000);
- status |= test__muldf3(0x201ce6d1246c46fb, 0x1fe0b3469ded2bcd, 0x000f15537ba607fe);
- status |= test__muldf3(0x3ffd5701100ec79d, 0x3fee654fee13094b, 0x3ffbde74e37bb583);
- status |= test__muldf3(0x6ffd5701100ec79d, 0x4fee654fee13094b, 0x7ff0000000000000);
- status |= test__muldf3(0x201d5701100ec79d, 0x1fde654fee13094b, 0x000def3a71bddac1);
- status |= test__muldf3(0x3ffce1a06e8bcfd3, 0x3ff01c54436a605b, 0x3ffd14c361885d61);
- status |= test__muldf3(0x6ffce1a06e8bcfd3, 0x4ff01c54436a605b, 0x7ff0000000000000);
- status |= test__muldf3(0x201ce1a06e8bcfd3, 0x1fe01c54436a605b, 0x000e8a61b0c42eb0);
- status |= test__muldf3(0x3ff21d1a5ca518a5, 0x3ff29f0ce1150f2d, 0x3ff514cd72d743f2);
- status |= test__muldf3(0x6ff21d1a5ca518a5, 0x4ff29f0ce1150f2d, 0x7ff0000000000000);
- status |= test__muldf3(0x20121d1a5ca518a5, 0x1fe29f0ce1150f2d, 0x000a8a66b96ba1f9);
- status |= test__muldf3(0x3ff031a98dbf97ba, 0x3ff4000000000000, 0x3ff43e13f12f7da8);
- status |= test__muldf3(0x6ff031a98dbf97ba, 0x4ff4000000000000, 0x7ff0000000000000);
- status |= test__muldf3(0x201031a98dbf97ba, 0x1fe4000000000000, 0x000a1f09f897bed4);
- status |= test__muldf3(0x0000000000000003, 0xc00fffffffffffff, 0x800000000000000c);
- status |= test__muldf3(0x0000000000000003, 0x400fffffffffffff, 0x000000000000000c);
- status |= test__muldf3(0x8000000000000003, 0xc00fffffffffffff, 0x000000000000000c);
- status |= test__muldf3(0x8000000000000003, 0x400fffffffffffff, 0x800000000000000c);
- status |= test__muldf3(0x0000000000000003, 0xc00ffffffffffffd, 0x800000000000000c);
- status |= test__muldf3(0x0000000000000003, 0x400ffffffffffffd, 0x000000000000000c);
- status |= test__muldf3(0x8000000000000003, 0xc00ffffffffffffd, 0x000000000000000c);
- status |= test__muldf3(0x8000000000000003, 0x400ffffffffffffd, 0x800000000000000c);
- status |= test__muldf3(0x1e51f703ee090000, 0x1e5c8000e4000000, 0x0000000000000001);
- status |= test__muldf3(0x1e561ed9745fdb21, 0x1e57255ca25b68e1, 0x0000000000000001);
- status |= test__muldf3(0x7feffffffff00000, 0xc000000000080000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x000fffffffffffff, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x001fffffffffffff, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x3ff0000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x7fdfffffffffffff, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x8000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x8000000000000002, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x800fffffffffffff, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x8010000000000001, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0x8020000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0xc008000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0xffcfffffffffffff, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0xffe0000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000000, 0xffefffffffffffff, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0000000000000001, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000001, 0x0000000000000001, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000001, 0x3fe0000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0000000000000001, 0x3fefffffffffffff, 0x0000000000000001);
+ status |=
+ test__muldf3(0x0000000000000001, 0x3ff0000000000000, 0x0000000000000001);
+ status |=
+ test__muldf3(0x0000000000000001, 0x4000000000000000, 0x0000000000000002);
+ status |=
+ test__muldf3(0x0000000000000001, 0x7ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x0000000000000001, 0xbfefffffffffffff, 0x8000000000000001);
+ status |=
+ test__muldf3(0x0000000000000006, 0x3fe0000000000000, 0x0000000000000003);
+ status |=
+ test__muldf3(0x0000000000000006, 0xbfe0000000000000, 0x8000000000000003);
+ status |=
+ test__muldf3(0x0000000000000008, 0x3fc0000000000000, 0x0000000000000001);
+ status |=
+ test__muldf3(0x000ffffffffffff7, 0x8020000000000003, 0x8000000000000000);
+ status |=
+ test__muldf3(0x000ffffffffffff8, 0x3ff0000000000001, 0x000ffffffffffff9);
+ status |=
+ test__muldf3(0x000ffffffffffff8, 0x3ff0000000000008, 0x0010000000000000);
+ status |=
+ test__muldf3(0x000ffffffffffff8, 0xbff0000000000001, 0x800ffffffffffff9);
+ status |=
+ test__muldf3(0x000ffffffffffff8, 0xbff0000000000008, 0x8010000000000000);
+ status |=
+ test__muldf3(0x000ffffffffffffc, 0x4000000000000000, 0x001ffffffffffff8);
+ status |=
+ test__muldf3(0x000ffffffffffffe, 0x3feffffffffffffc, 0x000ffffffffffffc);
+ status |=
+ test__muldf3(0x000ffffffffffffe, 0x3ff0000000000001, 0x000fffffffffffff);
+ status |=
+ test__muldf3(0x000ffffffffffffe, 0xbff0000000000001, 0x800fffffffffffff);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x000ffffffffffffe, 0x0000000000000000);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x3cb0000000000001, 0x0000000000000001);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x3fe0000000000001, 0x0008000000000000);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x3ff0000000000001, 0x0010000000000000);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x4000000000000000, 0x001ffffffffffffe);
+ status |=
+ test__muldf3(0x0010000000000000, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0010000000000000, 0x0010000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x0010000000000000, 0x3feffffffffffffe, 0x000fffffffffffff);
+ status |=
+ test__muldf3(0x0010000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x0010000000000000, 0x8010000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x0010000000000000, 0xc000000000000000, 0x8020000000000000);
+ status |=
+ test__muldf3(0x0010000000000001, 0x3feffffffffffffa, 0x000ffffffffffffe);
+ status |=
+ test__muldf3(0x0010000000000001, 0x3feffffffffffffe, 0x0010000000000000);
+ status |=
+ test__muldf3(0x0010000000000001, 0xc000000000000000, 0x8020000000000001);
+ status |=
+ test__muldf3(0x0010000000000002, 0x3feffffffffffffc, 0x0010000000000000);
+ status |=
+ test__muldf3(0x001ffffffffffff8, 0x3fe0000000000000, 0x000ffffffffffffc);
+ status |=
+ test__muldf3(0x001ffffffffffffe, 0x3fe0000000000000, 0x000fffffffffffff);
+ status |=
+ test__muldf3(0x001ffffffffffffe, 0xbfe0000000000000, 0x800fffffffffffff);
+ status |=
+ test__muldf3(0x001fffffffffffff, 0x3fe0000000000000, 0x0010000000000000);
+ status |=
+ test__muldf3(0x001fffffffffffff, 0xbfe0000000000000, 0x8010000000000000);
+ status |=
+ test__muldf3(0x3fe0000000000000, 0x8000000000000001, 0x8000000000000000);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x000ffffffffffffd, 0x000ffffffffffffd);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x0020000000000003, 0x0020000000000003);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x3ff0000000000000, 0x3ff0000000000000);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x4000000000000000, 0x4000000000000000);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x8000000000000001, 0x8000000000000001);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x8000000000000009, 0x8000000000000009);
+ status |=
+ test__muldf3(0x3ff0000000000001, 0x3ff0000000000001, 0x3ff0000000000002);
+ status |=
+ test__muldf3(0x3ff0000000000001, 0xbff0000000000001, 0xbff0000000000002);
+ status |=
+ test__muldf3(0x3ff0000000000001, 0xbff0000000000002, 0xbff0000000000003);
+ status |=
+ test__muldf3(0x3ff0000000000002, 0x3ff0000000000001, 0x3ff0000000000003);
+ status |=
+ test__muldf3(0x3ff0000000000002, 0x7feffffffffffffe, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x3ff0000000000001, 0x7feffffffffffffe, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0x0010000000000000, 0x0020000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0x0010000000000001, 0x0020000000000001);
+ status |=
+ test__muldf3(0x4000000000000000, 0x3ff0000000000000, 0x4000000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0x4008000000000000, 0x4018000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0x7fd0000000000000, 0x7fe0000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0x7fdfffffffffffff, 0x7fefffffffffffff);
+ status |=
+ test__muldf3(0x4000000000000000, 0x800ffffffffffffd, 0x801ffffffffffffa);
+ status |=
+ test__muldf3(0x4000000000000000, 0x8010000000000003, 0x8020000000000003);
+ status |=
+ test__muldf3(0x4000000000000000, 0x8010000000000005, 0x8020000000000005);
+ status |=
+ test__muldf3(0x4000000000000000, 0xbff0000000000000, 0xc000000000000000);
+ status |=
+ test__muldf3(0x4000000000000000, 0xffcffffffffffffd, 0xffdffffffffffffd);
+ status |=
+ test__muldf3(0x4000000000000000, 0xffd0000000000003, 0xffe0000000000003);
+ status |=
+ test__muldf3(0x4007ffffffffffff, 0x3feffffffffffffd, 0x4007fffffffffffd);
+ status |=
+ test__muldf3(0x4007ffffffffffff, 0x3feffffffffffffe, 0x4007fffffffffffe);
+ status |=
+ test__muldf3(0x4007ffffffffffff, 0x3fefffffffffffff, 0x4007fffffffffffe);
+ status |=
+ test__muldf3(0x4007ffffffffffff, 0xbfeffffffffffffd, 0xc007fffffffffffd);
+ status |=
+ test__muldf3(0x4008000000000000, 0x0000000000000002, 0x0000000000000006);
+ status |=
+ test__muldf3(0x4008000000000000, 0x4000000000000000, 0x4018000000000000);
+ status |=
+ test__muldf3(0x4008000000000000, 0x4008000000000000, 0x4022000000000000);
+ status |=
+ test__muldf3(0x4008000000000000, 0xc000000000000000, 0xc018000000000000);
+ status |=
+ test__muldf3(0x4008000000000001, 0x3ff0000000000001, 0x4008000000000003);
+ status |=
+ test__muldf3(0x4008000000000001, 0x3ff0000000000003, 0x4008000000000006);
+ status |=
+ test__muldf3(0x4008000000000001, 0xbff0000000000003, 0xc008000000000006);
+ status |=
+ test__muldf3(0x4010000000000000, 0x0000000000000002, 0x0000000000000008);
+ status |=
+ test__muldf3(0x4010000000000000, 0x7fcfffffffffffff, 0x7fefffffffffffff);
+ status |=
+ test__muldf3(0x4010000000000000, 0xffcfffffffffffff, 0xffefffffffffffff);
+ status |=
+ test__muldf3(0x4013ffffffffffff, 0x3fefffffffffffff, 0x4013fffffffffffe);
+ status |=
+ test__muldf3(0x4014000000000000, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x4014000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x4014000000000001, 0x3ff0000000000001, 0x4014000000000002);
+ status |=
+ test__muldf3(0x401bffffffffffff, 0x3feffffffffffffc, 0x401bfffffffffffc);
+ status |=
+ test__muldf3(0x401bffffffffffff, 0x3fefffffffffffff, 0x401bfffffffffffe);
+ status |=
+ test__muldf3(0x401c000000000000, 0x8000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x401c000000000000, 0xfff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x401c000000000001, 0x3ff0000000000001, 0x401c000000000003);
+ status |=
+ test__muldf3(0x7fcffffffffffffd, 0x4010000000000000, 0x7feffffffffffffd);
+ status |=
+ test__muldf3(0x7fcffffffffffffd, 0xc010000000000000, 0xffeffffffffffffd);
+ status |=
+ test__muldf3(0x7fd0000000000000, 0xc000000000000000, 0xffe0000000000000);
+ status |=
+ test__muldf3(0x7fdffffffffffffd, 0xc000000000000008, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7fdfffffffffffff, 0xc000000000000000, 0xffefffffffffffff);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0x4000000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0x7fe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0x7feffffffffffffe, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0xffd0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0xffd0000000000004, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000000, 0xffe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000009, 0x7feffffffffffffa, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7fe0000000000009, 0xc018000000000002, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7fefffffffffffff, 0x0000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x000fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x001fffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x3ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x7fdfffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x7ff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x8000000000000002, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x800fffffffffffff, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x8010000000000001, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x8020000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0xc008000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0xffe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0xffefffffffffffff, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0xfff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x4018000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x7fefffffffffffff, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x8000000000000004, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x8010000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0xc020000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0xffd0000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8000000000000001, 0x0000000000000001, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8000000000000001, 0x4014000000000000, 0x8000000000000005);
+ status |=
+ test__muldf3(0x8000000000000002, 0x3ff0000000000000, 0x8000000000000002);
+ status |=
+ test__muldf3(0x8000000000000003, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8000000000000003, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x8000000000000004, 0xbff0000000000000, 0x0000000000000004);
+ status |=
+ test__muldf3(0x8000000000000008, 0x3fc0000000000000, 0x8000000000000001);
+ status |=
+ test__muldf3(0x800ffffffffffff7, 0x0020000000000003, 0x8000000000000000);
+ status |=
+ test__muldf3(0x800ffffffffffff7, 0x3ff0000000000001, 0x800ffffffffffff8);
+ status |=
+ test__muldf3(0x800ffffffffffffd, 0xc000000000000000, 0x001ffffffffffffa);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x3ff0000000000001, 0x8010000000000000);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x800ffffffffffffe, 0x0000000000000000);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0xbff0000000000000, 0x000fffffffffffff);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x8010000000000000, 0x0010000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8010000000000000, 0x8010000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x8010000000000001, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8010000000000001, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0x8010000000000001, 0xbff0000000000000, 0x0010000000000001);
+ status |=
+ test__muldf3(0x801ffffffffffffc, 0x3fe0000000000000, 0x800ffffffffffffe);
+ status |=
+ test__muldf3(0x801ffffffffffffc, 0xbfe0000000000000, 0x000ffffffffffffe);
+ status |=
+ test__muldf3(0x801ffffffffffffe, 0x3ff0000000000000, 0x801ffffffffffffe);
+ status |=
+ test__muldf3(0x801fffffffffffff, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0x801fffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x8020000000000000, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0x8020000000000000, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xbfefffffffffffff, 0xffefffffffffffff, 0x7feffffffffffffe);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x0000000000000009, 0x8000000000000009);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x0010000000000009, 0x8010000000000009);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x3ff0000000000000, 0xbff0000000000000);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x4000000000000000, 0xc000000000000000);
+ status |=
+ test__muldf3(0xbff0000000000000, 0xbff0000000000000, 0x3ff0000000000000);
+ status |=
+ test__muldf3(0xbff0000000000000, 0xc000000000000000, 0x4000000000000000);
+ status |=
+ test__muldf3(0xbff0000000000001, 0x3ff0000000000001, 0xbff0000000000002);
+ status |=
+ test__muldf3(0xbff0000000000001, 0xbff0000000000001, 0x3ff0000000000002);
+ status |=
+ test__muldf3(0xbff0000000000001, 0xbff0000000000002, 0x3ff0000000000003);
+ status |=
+ test__muldf3(0xbff0000000000002, 0x3ff0000000000001, 0xbff0000000000003);
+ status |=
+ test__muldf3(0xbff0000000000002, 0xbff0000000000001, 0x3ff0000000000003);
+ status |=
+ test__muldf3(0xc000000000000000, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0xc000000000000000, 0x000ffffffffffffd, 0x801ffffffffffffa);
+ status |=
+ test__muldf3(0xc000000000000000, 0x0010000000000001, 0x8020000000000001);
+ status |=
+ test__muldf3(0xc000000000000000, 0x0010000000000005, 0x8020000000000005);
+ status |=
+ test__muldf3(0xc000000000000000, 0x0010000000000009, 0x8020000000000009);
+ status |=
+ test__muldf3(0xc000000000000000, 0x4008000000000000, 0xc018000000000000);
+ status |=
+ test__muldf3(0xc000000000000000, 0x7fcfffffffffffff, 0xffdfffffffffffff);
+ status |=
+ test__muldf3(0xc000000000000000, 0x7fd0000000000001, 0xffe0000000000001);
+ status |=
+ test__muldf3(0xc000000000000000, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xc000000000000000, 0xbff0000000000000, 0x4000000000000000);
+ status |=
+ test__muldf3(0xc000000000000000, 0xc008000000000000, 0x4018000000000000);
+ status |=
+ test__muldf3(0xc007fffffffffffe, 0x7fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xc007ffffffffffff, 0x3fefffffffffffff, 0xc007fffffffffffe);
+ status |=
+ test__muldf3(0xc008000000000000, 0x4008000000000000, 0xc022000000000000);
+ status |=
+ test__muldf3(0xc008000000000000, 0xc000000000000000, 0x4018000000000000);
+ status |=
+ test__muldf3(0xc008000000000000, 0xc008000000000000, 0x4022000000000000);
+ status |=
+ test__muldf3(0xc008000000000000, 0xffe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xc008000000000001, 0x3ff0000000000001, 0xc008000000000003);
+ status |=
+ test__muldf3(0xc010000000000000, 0x7fcfffffffffffff, 0xffefffffffffffff);
+ status |=
+ test__muldf3(0xc010000000000000, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0xc010000000000000, 0xffcfffffffffffff, 0x7fefffffffffffff);
+ status |=
+ test__muldf3(0xc010000000000000, 0xfff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xc013fffffffffffe, 0xffe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xc013ffffffffffff, 0xbfefffffffffffff, 0x4013fffffffffffe);
+ status |=
+ test__muldf3(0xc014000000000001, 0xbff0000000000001, 0x4014000000000002);
+ status |=
+ test__muldf3(0xc01bfffffffffff9, 0x7fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xc022000000000000, 0x7fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xc022000000000001, 0xffe0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xffcffffffffffff9, 0x7fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xffcffffffffffff9, 0xc00fffffffffffff, 0x7feffffffffffff8);
+ status |=
+ test__muldf3(0xffcffffffffffffd, 0x4010000000000000, 0xffeffffffffffffd);
+ status |=
+ test__muldf3(0xffcffffffffffffd, 0xc010000000000000, 0x7feffffffffffffd);
+ status |=
+ test__muldf3(0xffcfffffffffffff, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0xffcfffffffffffff, 0x4000000000000001, 0xffe0000000000000);
+ status |=
+ test__muldf3(0xffcfffffffffffff, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xffd0000000000000, 0x0000000000000000, 0x8000000000000000);
+ status |=
+ test__muldf3(0xffd0000000000000, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xffdffffffffffff7, 0x7fd0000000000001, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xffdfffffffffffff, 0x3ff0000000000001, 0xffe0000000000000);
+ status |=
+ test__muldf3(0xffdfffffffffffff, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0xffe0000000000005, 0xffe0000000000001, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xffeffffffffffffd, 0x7fe0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xffeffffffffffffd, 0xc008000000000001, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xffeffffffffffffd, 0xffe0000000000001, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xffefffffffffffff, 0x8000000000000000, 0x0000000000000000);
+ status |=
+ test__muldf3(0xffefffffffffffff, 0xffefffffffffffff, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xffefffffffffffff, 0xfff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x4018000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x7ff0000000000000, 0xfff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x8000000000000004, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x8010000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0xc020000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0xffd0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0xfff0000000000000, 0xfff0000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x002ffffffe000000, 0x3fcffffffffffffd, 0x000ffffffeffffff);
+ status |=
+ test__muldf3(0xbfeffeffffffffff, 0x8010000000000100, 0x000fff80000000ff);
+ status |=
+ test__muldf3(0x802ffffffe000000, 0x3fcffffffffffffd, 0x800ffffffeffffff);
+ status |=
+ test__muldf3(0xbfeffeffffffffff, 0x0010000000000100, 0x800fff80000000ff);
+ status |=
+ test__muldf3(0xbf9e8325a5aa6c8d, 0xbf9e8325a5aa6c8d, 0x3f4d180013083955);
+ status |=
+ test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fe4000000000000, 0x3ff237a6f271c5c4);
+ status |=
+ test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fe4000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201d25d7ea4fa2d4, 0x1fd4000000000000, 0x00091bd37938e2e2);
+ status |=
+ test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fe8000000000000, 0x3ff5dc61efbbba1f);
+ status |=
+ test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fe8000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201d25d7ea4fa2d4, 0x1fd8000000000000, 0x000aee30f7dddd10);
+ status |=
+ test__muldf3(0x3ffd25d7ea4fa2d4, 0x3fec000000000000, 0x3ff9811ced05ae7a);
+ status |=
+ test__muldf3(0x6ffd25d7ea4fa2d4, 0x4fec000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201d25d7ea4fa2d4, 0x1fdc000000000000, 0x000cc08e7682d73d);
+ status |=
+ test__muldf3(0x3ff265f139b6c87c, 0x3ff7000000000000, 0x3ffa728ac2f6c032);
+ status |=
+ test__muldf3(0x6ff265f139b6c87c, 0x4ff7000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201265f139b6c87c, 0x1fe7000000000000, 0x000d3945617b6019);
+ status |=
+ test__muldf3(0x3ff265f139b6c87c, 0x3ff5000000000000, 0x3ff825cc9bbfe723);
+ status |=
+ test__muldf3(0x6ff265f139b6c87c, 0x4ff5000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201265f139b6c87c, 0x1fe5000000000000, 0x000c12e64ddff391);
+ status |=
+ test__muldf3(0x3ffe5ab1dc9f12f9, 0x3ff0c1a10c80f0b7, 0x3fffca09666ab16e);
+ status |=
+ test__muldf3(0x6ffe5ab1dc9f12f9, 0x4ff0c1a10c80f0b7, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201e5ab1dc9f12f9, 0x1fe0c1a10c80f0b7, 0x000fe504b33558b7);
+ status |=
+ test__muldf3(0x3ffe5ab1dc9f12f9, 0x3fe73e5ef37f0f49, 0x3ff60c59a0917f00);
+ status |=
+ test__muldf3(0x6ffe5ab1dc9f12f9, 0x4fe73e5ef37f0f49, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201e5ab1dc9f12f9, 0x1fd73e5ef37f0f49, 0x000b062cd048bf80);
+ status |=
+ test__muldf3(0x3ffe5ab1dc9f12f9, 0x3fe8c1a10c80f0b7, 0x3ff77bb12a5d1d75);
+ status |=
+ test__muldf3(0x6ffe5ab1dc9f12f9, 0x4fe8c1a10c80f0b7, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201e5ab1dc9f12f9, 0x1fd8c1a10c80f0b7, 0x000bbdd8952e8ebb);
+ status |=
+ test__muldf3(0x3ffc6be665de3b1d, 0x3fe52d156619a0cb, 0x3ff2ced9f056fba8);
+ status |=
+ test__muldf3(0x6ffc6be665de3b1d, 0x4fe52d156619a0cb, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201c6be665de3b1d, 0x1fd52d156619a0cb, 0x0009676cf82b7dd4);
+ status |=
+ test__muldf3(0x3ffc6be665de3b1d, 0x3fead2ea99e65f35, 0x3ff7d2ffa8765d03);
+ status |=
+ test__muldf3(0x6ffc6be665de3b1d, 0x4fead2ea99e65f35, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201c6be665de3b1d, 0x1fdad2ea99e65f35, 0x000be97fd43b2e82);
+ status |=
+ test__muldf3(0x3ff1c0635d3cd39d, 0x3ff5c9b956d0b54b, 0x3ff82c50eb71ac34);
+ status |=
+ test__muldf3(0x6ff1c0635d3cd39d, 0x4ff5c9b956d0b54b, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x2011c0635d3cd39d, 0x1fe5c9b956d0b54b, 0x000c162875b8d61a);
+ status |=
+ test__muldf3(0x3ff1c0635d3cd39d, 0x3ff23646a92f4ab5, 0x3ff434a77da664d4);
+ status |=
+ test__muldf3(0x6ff1c0635d3cd39d, 0x4ff23646a92f4ab5, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x2011c0635d3cd39d, 0x1fe23646a92f4ab5, 0x000a1a53bed3326a);
+ status |=
+ test__muldf3(0x3ff1c0635d3cd39d, 0x3ffa3646a92f4ab5, 0x3ffd14d92c44cea3);
+ status |=
+ test__muldf3(0x6ff1c0635d3cd39d, 0x4ffa3646a92f4ab5, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x2011c0635d3cd39d, 0x1fea3646a92f4ab5, 0x000e8a6c96226751);
+ status |=
+ test__muldf3(0x3ff1c0635d3cd39d, 0x3ff1c9b956d0b54b, 0x3ff3bc381422774d);
+ status |=
+ test__muldf3(0x6ff1c0635d3cd39d, 0x4ff1c9b956d0b54b, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x2011c0635d3cd39d, 0x1fe1c9b956d0b54b, 0x0009de1c0a113ba6);
+ status |=
+ test__muldf3(0x3ff907065fd11389, 0x3fe46bad37af52b9, 0x3feff135e5756ec7);
+ status |=
+ test__muldf3(0x6ff907065fd11389, 0x4fe46bad37af52b9, 0x7feff135e5756ec7);
+ status |=
+ test__muldf3(0x201907065fd11389, 0x1fd46bad37af52b9, 0x0007fc4d795d5bb2);
+ status |=
+ test__muldf3(0x3ff907065fd11389, 0x3feb9452c850ad47, 0x3ff591ee9cfee5ea);
+ status |=
+ test__muldf3(0x6ff907065fd11389, 0x4feb9452c850ad47, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201907065fd11389, 0x1fdb9452c850ad47, 0x000ac8f74e7f72f5);
+ status |=
+ test__muldf3(0x3ff761c03e198df7, 0x3fe7f47c731d43c7, 0x3ff180e675617e83);
+ status |=
+ test__muldf3(0x6ff761c03e198df7, 0x4fe7f47c731d43c7, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201761c03e198df7, 0x1fd7f47c731d43c7, 0x0008c0733ab0bf41);
+ status |=
+ test__muldf3(0x3ffce6d1246c46fb, 0x3ff0b3469ded2bcd, 0x3ffe2aa6f74c0ffd);
+ status |=
+ test__muldf3(0x6ffce6d1246c46fb, 0x4ff0b3469ded2bcd, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201ce6d1246c46fb, 0x1fe0b3469ded2bcd, 0x000f15537ba607fe);
+ status |=
+ test__muldf3(0x3ffd5701100ec79d, 0x3fee654fee13094b, 0x3ffbde74e37bb583);
+ status |=
+ test__muldf3(0x6ffd5701100ec79d, 0x4fee654fee13094b, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201d5701100ec79d, 0x1fde654fee13094b, 0x000def3a71bddac1);
+ status |=
+ test__muldf3(0x3ffce1a06e8bcfd3, 0x3ff01c54436a605b, 0x3ffd14c361885d61);
+ status |=
+ test__muldf3(0x6ffce1a06e8bcfd3, 0x4ff01c54436a605b, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201ce1a06e8bcfd3, 0x1fe01c54436a605b, 0x000e8a61b0c42eb0);
+ status |=
+ test__muldf3(0x3ff21d1a5ca518a5, 0x3ff29f0ce1150f2d, 0x3ff514cd72d743f2);
+ status |=
+ test__muldf3(0x6ff21d1a5ca518a5, 0x4ff29f0ce1150f2d, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x20121d1a5ca518a5, 0x1fe29f0ce1150f2d, 0x000a8a66b96ba1f9);
+ status |=
+ test__muldf3(0x3ff031a98dbf97ba, 0x3ff4000000000000, 0x3ff43e13f12f7da8);
+ status |=
+ test__muldf3(0x6ff031a98dbf97ba, 0x4ff4000000000000, 0x7ff0000000000000);
+ status |=
+ test__muldf3(0x201031a98dbf97ba, 0x1fe4000000000000, 0x000a1f09f897bed4);
+ status |=
+ test__muldf3(0x0000000000000003, 0xc00fffffffffffff, 0x800000000000000c);
+ status |=
+ test__muldf3(0x0000000000000003, 0x400fffffffffffff, 0x000000000000000c);
+ status |=
+ test__muldf3(0x8000000000000003, 0xc00fffffffffffff, 0x000000000000000c);
+ status |=
+ test__muldf3(0x8000000000000003, 0x400fffffffffffff, 0x800000000000000c);
+ status |=
+ test__muldf3(0x0000000000000003, 0xc00ffffffffffffd, 0x800000000000000c);
+ status |=
+ test__muldf3(0x0000000000000003, 0x400ffffffffffffd, 0x000000000000000c);
+ status |=
+ test__muldf3(0x8000000000000003, 0xc00ffffffffffffd, 0x000000000000000c);
+ status |=
+ test__muldf3(0x8000000000000003, 0x400ffffffffffffd, 0x800000000000000c);
+ status |=
+ test__muldf3(0x1e51f703ee090000, 0x1e5c8000e4000000, 0x0000000000000001);
+ status |=
+ test__muldf3(0x1e561ed9745fdb21, 0x1e57255ca25b68e1, 0x0000000000000001);
+ status |=
+ test__muldf3(0x7feffffffff00000, 0xc000000000080000, 0xfff0000000000000);
// Test that the result of an operation is a NaN at all when it should be.
//
@@ -371,13 +688,20 @@ int main(void) {
// encoding. We also use the same value as the input NaN in tests that have
// one, so that even in EXPECT_EXACT_RESULTS mode these tests should pass,
// because 0x7ff8000000000000 is still the exact expected NaN.
- status |= test__muldf3(0x7ff0000000000000, 0x0000000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x7ff0000000000000, 0x8000000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x8000000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x8000000000000000, 0xfff0000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x3ff0000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x7ff8000000000000, 0x3ff0000000000000, 0x7ff8000000000000);
- status |= test__muldf3(0x7ff8000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x0000000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x8000000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0x7ff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x8000000000000000, 0xfff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x7ff8000000000000, 0x3ff0000000000000, 0x7ff8000000000000);
+ status |=
+ test__muldf3(0x7ff8000000000000, 0x7ff8000000000000, 0x7ff8000000000000);
#ifdef ARM_NAN_HANDLING
// Tests specific to the NaN handling of Arm hardware, mimicked by
@@ -397,58 +721,110 @@ int main(void) {
//
// - invalid operations not involving an input NaN return the quiet
// NaN with fewest bits set, 0x7ff8000000000000.
- status |= test__muldf3(0x0000000000000000, 0x7ff3758244400801, 0x7ffb758244400801);
- status |= test__muldf3(0x0000000000000000, 0x7fff44d3f65148af, 0x7fff44d3f65148af);
- status |= test__muldf3(0x0000000000000001, 0x7ff48607b4b37057, 0x7ffc8607b4b37057);
- status |= test__muldf3(0x0000000000000001, 0x7ff855f2d435b33d, 0x7ff855f2d435b33d);
- status |= test__muldf3(0x000fffffffffffff, 0x7ff169269a674e13, 0x7ff969269a674e13);
- status |= test__muldf3(0x000fffffffffffff, 0x7ffc80978b2ef0da, 0x7ffc80978b2ef0da);
- status |= test__muldf3(0x3ff0000000000000, 0x7ff3458ad034593d, 0x7ffb458ad034593d);
- status |= test__muldf3(0x3ff0000000000000, 0x7ffdd8bb98c9f13a, 0x7ffdd8bb98c9f13a);
- status |= test__muldf3(0x7fefffffffffffff, 0x7ff79a8b96250a98, 0x7fff9a8b96250a98);
- status |= test__muldf3(0x7fefffffffffffff, 0x7ffdcc675b63bb94, 0x7ffdcc675b63bb94);
- status |= test__muldf3(0x7ff0000000000000, 0x7ff018cfaf4d0fff, 0x7ff818cfaf4d0fff);
- status |= test__muldf3(0x7ff0000000000000, 0x7ff83ad1ab4dfd24, 0x7ff83ad1ab4dfd24);
- status |= test__muldf3(0x7ff48ce6c0cdd5ac, 0x0000000000000000, 0x7ffc8ce6c0cdd5ac);
- status |= test__muldf3(0x7ff08a34f3d5385b, 0x0000000000000001, 0x7ff88a34f3d5385b);
- status |= test__muldf3(0x7ff0a264c1c96281, 0x000fffffffffffff, 0x7ff8a264c1c96281);
- status |= test__muldf3(0x7ff77ce629e61f0e, 0x3ff0000000000000, 0x7fff7ce629e61f0e);
- status |= test__muldf3(0x7ff715e2d147fd76, 0x7fefffffffffffff, 0x7fff15e2d147fd76);
- status |= test__muldf3(0x7ff689a2031f1781, 0x7ff0000000000000, 0x7ffe89a2031f1781);
- status |= test__muldf3(0x7ff5dfb4a0c8cd05, 0x7ff11c1fe9793a33, 0x7ffddfb4a0c8cd05);
- status |= test__muldf3(0x7ff5826283ffb5d7, 0x7fff609b83884e81, 0x7ffd826283ffb5d7);
- status |= test__muldf3(0x7ff7cb03f2e61d42, 0x8000000000000000, 0x7fffcb03f2e61d42);
- status |= test__muldf3(0x7ff2adc8dfe72c96, 0x8000000000000001, 0x7ffaadc8dfe72c96);
- status |= test__muldf3(0x7ff4fc0bacc707f2, 0x800fffffffffffff, 0x7ffcfc0bacc707f2);
- status |= test__muldf3(0x7ff76248c8c9a619, 0xbff0000000000000, 0x7fff6248c8c9a619);
- status |= test__muldf3(0x7ff367972fce131b, 0xffefffffffffffff, 0x7ffb67972fce131b);
- status |= test__muldf3(0x7ff188f5ac284e92, 0xfff0000000000000, 0x7ff988f5ac284e92);
- status |= test__muldf3(0x7ffed4c22e4e569d, 0x0000000000000000, 0x7ffed4c22e4e569d);
- status |= test__muldf3(0x7ffe95105fa3f339, 0x0000000000000001, 0x7ffe95105fa3f339);
- status |= test__muldf3(0x7ffb8d33dbb9ecfb, 0x000fffffffffffff, 0x7ffb8d33dbb9ecfb);
- status |= test__muldf3(0x7ff874e41dc63e07, 0x3ff0000000000000, 0x7ff874e41dc63e07);
- status |= test__muldf3(0x7ffe27594515ecdf, 0x7fefffffffffffff, 0x7ffe27594515ecdf);
- status |= test__muldf3(0x7ffeac86d5c69bdf, 0x7ff0000000000000, 0x7ffeac86d5c69bdf);
- status |= test__muldf3(0x7ff97d657b99f76f, 0x7ff7e4149862a796, 0x7fffe4149862a796);
- status |= test__muldf3(0x7ffad17c6aa33fad, 0x7ffd898893ad4d28, 0x7ffad17c6aa33fad);
- status |= test__muldf3(0x7ff96e04e9c3d173, 0x8000000000000000, 0x7ff96e04e9c3d173);
- status |= test__muldf3(0x7ffec01ad8da3abb, 0x8000000000000001, 0x7ffec01ad8da3abb);
- status |= test__muldf3(0x7ffd1d565c495941, 0x800fffffffffffff, 0x7ffd1d565c495941);
- status |= test__muldf3(0x7ffe3d24f1e474a7, 0xbff0000000000000, 0x7ffe3d24f1e474a7);
- status |= test__muldf3(0x7ffc206f2bb8c8ce, 0xffefffffffffffff, 0x7ffc206f2bb8c8ce);
- status |= test__muldf3(0x7ff93efdecfb7d3b, 0xfff0000000000000, 0x7ff93efdecfb7d3b);
- status |= test__muldf3(0x8000000000000000, 0x7ff2ee725d143ac5, 0x7ffaee725d143ac5);
- status |= test__muldf3(0x8000000000000000, 0x7ffbba26e5c5fe98, 0x7ffbba26e5c5fe98);
- status |= test__muldf3(0x8000000000000001, 0x7ff7818a1cd26df9, 0x7fff818a1cd26df9);
- status |= test__muldf3(0x8000000000000001, 0x7ffaee6cc63b5292, 0x7ffaee6cc63b5292);
- status |= test__muldf3(0x800fffffffffffff, 0x7ff401096edaf79d, 0x7ffc01096edaf79d);
- status |= test__muldf3(0x800fffffffffffff, 0x7ffbf1778c7a2e59, 0x7ffbf1778c7a2e59);
- status |= test__muldf3(0xbff0000000000000, 0x7ff2e8fb0201c496, 0x7ffae8fb0201c496);
- status |= test__muldf3(0xbff0000000000000, 0x7ffcb6a5adb2e154, 0x7ffcb6a5adb2e154);
- status |= test__muldf3(0xffefffffffffffff, 0x7ff1ea1bfc15d71d, 0x7ff9ea1bfc15d71d);
- status |= test__muldf3(0xffefffffffffffff, 0x7ffae0766e21efc0, 0x7ffae0766e21efc0);
- status |= test__muldf3(0xfff0000000000000, 0x7ff3b364cffbdfe6, 0x7ffbb364cffbdfe6);
- status |= test__muldf3(0xfff0000000000000, 0x7ffd0d3223334ae3, 0x7ffd0d3223334ae3);
+ status |=
+ test__muldf3(0x0000000000000000, 0x7ff3758244400801, 0x7ffb758244400801);
+ status |=
+ test__muldf3(0x0000000000000000, 0x7fff44d3f65148af, 0x7fff44d3f65148af);
+ status |=
+ test__muldf3(0x0000000000000001, 0x7ff48607b4b37057, 0x7ffc8607b4b37057);
+ status |=
+ test__muldf3(0x0000000000000001, 0x7ff855f2d435b33d, 0x7ff855f2d435b33d);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x7ff169269a674e13, 0x7ff969269a674e13);
+ status |=
+ test__muldf3(0x000fffffffffffff, 0x7ffc80978b2ef0da, 0x7ffc80978b2ef0da);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x7ff3458ad034593d, 0x7ffb458ad034593d);
+ status |=
+ test__muldf3(0x3ff0000000000000, 0x7ffdd8bb98c9f13a, 0x7ffdd8bb98c9f13a);
+ status |=
+ test__muldf3(0x7fefffffffffffff, 0x7ff79a8b96250a98, 0x7fff9a8b96250a98);
+ status |=
+ test__muldf3(0x7fefffffffffffff, 0x7ffdcc675b63bb94, 0x7ffdcc675b63bb94);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x7ff018cfaf4d0fff, 0x7ff818cfaf4d0fff);
+ status |=
+ test__muldf3(0x7ff0000000000000, 0x7ff83ad1ab4dfd24, 0x7ff83ad1ab4dfd24);
+ status |=
+ test__muldf3(0x7ff48ce6c0cdd5ac, 0x0000000000000000, 0x7ffc8ce6c0cdd5ac);
+ status |=
+ test__muldf3(0x7ff08a34f3d5385b, 0x0000000000000001, 0x7ff88a34f3d5385b);
+ status |=
+ test__muldf3(0x7ff0a264c1c96281, 0x000fffffffffffff, 0x7ff8a264c1c96281);
+ status |=
+ test__muldf3(0x7ff77ce629e61f0e, 0x3ff0000000000000, 0x7fff7ce629e61f0e);
+ status |=
+ test__muldf3(0x7ff715e2d147fd76, 0x7fefffffffffffff, 0x7fff15e2d147fd76);
+ status |=
+ test__muldf3(0x7ff689a2031f1781, 0x7ff0000000000000, 0x7ffe89a2031f1781);
+ status |=
+ test__muldf3(0x7ff5dfb4a0c8cd05, 0x7ff11c1fe9793a33, 0x7ffddfb4a0c8cd05);
+ status |=
+ test__muldf3(0x7ff5826283ffb5d7, 0x7fff609b83884e81, 0x7ffd826283ffb5d7);
+ status |=
+ test__muldf3(0x7ff7cb03f2e61d42, 0x8000000000000000, 0x7fffcb03f2e61d42);
+ status |=
+ test__muldf3(0x7ff2adc8dfe72c96, 0x8000000000000001, 0x7ffaadc8dfe72c96);
+ status |=
+ test__muldf3(0x7ff4fc0bacc707f2, 0x800fffffffffffff, 0x7ffcfc0bacc707f2);
+ status |=
+ test__muldf3(0x7ff76248c8c9a619, 0xbff0000000000000, 0x7fff6248c8c9a619);
+ status |=
+ test__muldf3(0x7ff367972fce131b, 0xffefffffffffffff, 0x7ffb67972fce131b);
+ status |=
+ test__muldf3(0x7ff188f5ac284e92, 0xfff0000000000000, 0x7ff988f5ac284e92);
+ status |=
+ test__muldf3(0x7ffed4c22e4e569d, 0x0000000000000000, 0x7ffed4c22e4e569d);
+ status |=
+ test__muldf3(0x7ffe95105fa3f339, 0x0000000000000001, 0x7ffe95105fa3f339);
+ status |=
+ test__muldf3(0x7ffb8d33dbb9ecfb, 0x000fffffffffffff, 0x7ffb8d33dbb9ecfb);
+ status |=
+ test__muldf3(0x7ff874e41dc63e07, 0x3ff0000000000000, 0x7ff874e41dc63e07);
+ status |=
+ test__muldf3(0x7ffe27594515ecdf, 0x7fefffffffffffff, 0x7ffe27594515ecdf);
+ status |=
+ test__muldf3(0x7ffeac86d5c69bdf, 0x7ff0000000000000, 0x7ffeac86d5c69bdf);
+ status |=
+ test__muldf3(0x7ff97d657b99f76f, 0x7ff7e4149862a796, 0x7fffe4149862a796);
+ status |=
+ test__muldf3(0x7ffad17c6aa33fad, 0x7ffd898893ad4d28, 0x7ffad17c6aa33fad);
+ status |=
+ test__muldf3(0x7ff96e04e9c3d173, 0x8000000000000000, 0x7ff96e04e9c3d173);
+ status |=
+ test__muldf3(0x7ffec01ad8da3abb, 0x8000000000000001, 0x7ffec01ad8da3abb);
+ status |=
+ test__muldf3(0x7ffd1d565c495941, 0x800fffffffffffff, 0x7ffd1d565c495941);
+ status |=
+ test__muldf3(0x7ffe3d24f1e474a7, 0xbff0000000000000, 0x7ffe3d24f1e474a7);
+ status |=
+ test__muldf3(0x7ffc206f2bb8c8ce, 0xffefffffffffffff, 0x7ffc206f2bb8c8ce);
+ status |=
+ test__muldf3(0x7ff93efdecfb7d3b, 0xfff0000000000000, 0x7ff93efdecfb7d3b);
+ status |=
+ test__muldf3(0x8000000000000000, 0x7ff2ee725d143ac5, 0x7ffaee725d143ac5);
+ status |=
+ test__muldf3(0x8000000000000000, 0x7ffbba26e5c5fe98, 0x7ffbba26e5c5fe98);
+ status |=
+ test__muldf3(0x8000000000000001, 0x7ff7818a1cd26df9, 0x7fff818a1cd26df9);
+ status |=
+ test__muldf3(0x8000000000000001, 0x7ffaee6cc63b5292, 0x7ffaee6cc63b5292);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x7ff401096edaf79d, 0x7ffc01096edaf79d);
+ status |=
+ test__muldf3(0x800fffffffffffff, 0x7ffbf1778c7a2e59, 0x7ffbf1778c7a2e59);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x7ff2e8fb0201c496, 0x7ffae8fb0201c496);
+ status |=
+ test__muldf3(0xbff0000000000000, 0x7ffcb6a5adb2e154, 0x7ffcb6a5adb2e154);
+ status |=
+ test__muldf3(0xffefffffffffffff, 0x7ff1ea1bfc15d71d, 0x7ff9ea1bfc15d71d);
+ status |=
+ test__muldf3(0xffefffffffffffff, 0x7ffae0766e21efc0, 0x7ffae0766e21efc0);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x7ff3b364cffbdfe6, 0x7ffbb364cffbdfe6);
+ status |=
+ test__muldf3(0xfff0000000000000, 0x7ffd0d3223334ae3, 0x7ffd0d3223334ae3);
#endif // ARM_NAN_HANDLING
``````````
</details>
https://github.com/llvm/llvm-project/pull/179923
More information about the llvm-branch-commits
mailing list