Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
f32_bitwise_tests.cpp
Go to the documentation of this file.
1// Generated by spec_test_generator. DO NOT MODIFY THIS FILE.
2
3#include <algorithm>
4#include <vector>
5#include <iostream>
6#include <iterator>
7#include <cmath>
8#include <cstdlib>
9#include <catch2/catch.hpp>
10#include <utils.hpp>
11#include <wasm_config.hpp>
12#include <sysio/vm/backend.hpp>
13
14using namespace sysio;
15using namespace sysio::vm;
16extern wasm_allocator wa;
17
18BACKEND_TEST_CASE( "Testing wasm <f32_bitwise_0_wasm>", "[f32_bitwise_0_wasm_tests]" ) {
19 using backend_t = backend<standalone_function_t, TestType>;
20 auto code = read_wasm( std::string(wasm_directory) + "f32_bitwise.0.wasm");
21 backend_t bkend( code, &wa );
22
23 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2147483648));
24 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(0));
25 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2147483648));
26 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(0));
27 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2147483648));
28 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(0));
29 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2147483648));
30 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(0));
31 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2147483648));
32 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(0));
33 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2147483648));
34 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(0));
35 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2147483648));
36 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(0));
37 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2147483648));
38 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(0));
39 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2147483648));
40 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(0));
41 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2147483648));
42 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(0));
43 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2147483648));
44 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(0));
45 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2147483648));
46 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(0));
47 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2147483648));
48 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(0));
49 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2147483648));
50 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(0));
51 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2147483648));
52 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(0));
53 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2147483648));
54 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(0));
55 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2147483648));
56 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483648)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(0));
57 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2147483648));
58 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(0));
59 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2147483649));
60 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1));
61 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2147483649));
62 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1));
63 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2147483649));
64 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1));
65 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2147483649));
66 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1));
67 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2147483649));
68 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1));
69 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2147483649));
70 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1));
71 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2147483649));
72 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1));
73 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2147483649));
74 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1));
75 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2147483649));
76 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1));
77 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2147483649));
78 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1));
79 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2147483649));
80 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1));
81 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2147483649));
82 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1));
83 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2147483649));
84 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1));
85 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2147483649));
86 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1));
87 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2147483649));
88 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1));
89 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2147483649));
90 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1));
91 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2147483649));
92 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2147483649)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1));
93 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2147483649));
94 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1));
95 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2155872256));
96 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(8388608));
97 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(2155872256));
98 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(8388608));
99 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2155872256));
100 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(8388608));
101 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(2155872256));
102 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(8388608));
103 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2155872256));
104 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(8388608));
105 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(2155872256));
106 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(8388608));
107 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2155872256));
108 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(8388608));
109 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(2155872256));
110 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(8388608));
111 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2155872256));
112 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(8388608));
113 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(2155872256));
114 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(8388608));
115 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2155872256));
116 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(8388608));
117 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(2155872256));
118 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(8388608));
119 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2155872256));
120 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(8388608));
121 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2155872256));
122 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(8388608));
123 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2155872256));
124 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(8388608));
125 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2155872256));
126 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(8388608));
127 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2155872256));
128 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2155872256)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(8388608));
129 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2155872256));
130 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(8388608)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(8388608));
131 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3204448256));
132 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1056964608));
133 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3204448256));
134 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1056964608));
135 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3204448256));
136 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1056964608));
137 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3204448256));
138 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1056964608));
139 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3204448256));
140 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1056964608));
141 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3204448256));
142 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1056964608));
143 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3204448256));
144 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1056964608));
145 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3204448256));
146 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1056964608));
147 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3204448256));
148 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1056964608));
149 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3204448256));
150 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1056964608));
151 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3204448256));
152 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1056964608));
153 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3204448256));
154 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1056964608));
155 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3204448256));
156 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1056964608));
157 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3204448256));
158 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1056964608));
159 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3204448256));
160 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1056964608));
161 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3204448256));
162 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1056964608));
163 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3204448256));
164 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3204448256)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1056964608));
165 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3204448256));
166 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1056964608)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1056964608));
167 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3212836864));
168 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1065353216));
169 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3212836864));
170 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1065353216));
171 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3212836864));
172 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1065353216));
173 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3212836864));
174 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1065353216));
175 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3212836864));
176 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1065353216));
177 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3212836864));
178 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1065353216));
179 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3212836864));
180 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1065353216));
181 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3212836864));
182 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1065353216));
183 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3212836864));
184 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
185 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3212836864));
186 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
187 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3212836864));
188 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1065353216));
189 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3212836864));
190 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1065353216));
191 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3212836864));
192 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1065353216));
193 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3212836864));
194 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1065353216));
195 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3212836864));
196 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1065353216));
197 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3212836864));
198 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1065353216));
199 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3212836864));
200 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3212836864)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1065353216));
201 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3212836864));
202 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1065353216));
203 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3234402267));
204 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1086918619));
205 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(3234402267));
206 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(1086918619));
207 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3234402267));
208 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1086918619));
209 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(3234402267));
210 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1086918619));
211 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3234402267));
212 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1086918619));
213 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(3234402267));
214 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(1086918619));
215 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3234402267));
216 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1086918619));
217 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(3234402267));
218 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1086918619));
219 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3234402267));
220 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1086918619));
221 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(3234402267));
222 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1086918619));
223 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3234402267));
224 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1086918619));
225 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(3234402267));
226 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1086918619));
227 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3234402267));
228 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1086918619));
229 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(3234402267));
230 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(1086918619));
231 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3234402267));
232 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1086918619));
233 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(3234402267));
234 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(1086918619));
235 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3234402267));
236 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(3234402267)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1086918619));
237 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(3234402267));
238 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(1086918619)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(1086918619));
239 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4286578687));
240 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2139095039));
241 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4286578687));
242 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2139095039));
243 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4286578687));
244 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2139095039));
245 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4286578687));
246 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2139095039));
247 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4286578687));
248 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2139095039));
249 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4286578687));
250 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2139095039));
251 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4286578687));
252 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2139095039));
253 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4286578687));
254 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2139095039));
255 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4286578687));
256 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2139095039));
257 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4286578687));
258 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2139095039));
259 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4286578687));
260 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2139095039));
261 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4286578687));
262 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2139095039));
263 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4286578687));
264 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2139095039));
265 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4286578687));
266 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2139095039));
267 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4286578687));
268 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2139095039));
269 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4286578687));
270 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2139095039));
271 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4286578687));
272 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578687)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2139095039));
273 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4286578687));
274 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095039)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2139095039));
275 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4286578688));
276 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2139095040));
277 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4286578688));
278 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2139095040));
279 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4286578688));
280 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2139095040));
281 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4286578688));
282 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2139095040));
283 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4286578688));
284 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2139095040));
285 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4286578688));
286 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2139095040));
287 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4286578688));
288 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2139095040));
289 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4286578688));
290 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2139095040));
291 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4286578688));
292 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2139095040));
293 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4286578688));
294 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2139095040));
295 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4286578688));
296 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2139095040));
297 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4286578688));
298 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2139095040));
299 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4286578688));
300 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2139095040));
301 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4286578688));
302 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2139095040));
303 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4286578688));
304 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2139095040));
305 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4286578688));
306 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2139095040));
307 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4286578688));
308 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4286578688)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2139095040));
309 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4286578688));
310 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2139095040)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2139095040));
311 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4290772992));
312 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2143289344));
313 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(4290772992));
314 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2143289344));
315 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4290772992));
316 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2143289344));
317 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(4290772992));
318 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2143289344));
319 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4290772992));
320 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2143289344));
321 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(4290772992));
322 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2143289344));
323 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4290772992));
324 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2143289344));
325 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(4290772992));
326 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(2143289344));
327 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4290772992));
328 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2143289344));
329 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(4290772992));
330 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(2143289344));
331 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4290772992));
332 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2143289344));
333 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(4290772992));
334 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(2143289344));
335 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4290772992));
336 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2143289344));
337 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(4290772992));
338 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2143289344));
339 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4290772992));
340 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2143289344));
341 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(4290772992));
342 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2143289344));
343 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4290772992));
344 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(4290772992)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2143289344));
345 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(4290772992));
346 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "copysign", bit_cast<float>(UINT32_C(2143289344)), bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2143289344));
347 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(0));
348 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(0));
349 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(1));
350 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(1));
351 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(8388608));
352 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(8388608));
353 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(1056964608));
354 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(1056964608));
355 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(1065353216));
356 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
357 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(1086918619));
358 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(1086918619));
359 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2139095039));
360 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(2139095039));
361 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2139095040));
362 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(2139095040));
363 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2143289344));
364 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "abs", bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(2143289344));
365 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2147483648)))->to_f32()) == UINT32_C(0));
366 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(2147483648));
367 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2147483649)))->to_f32()) == UINT32_C(1));
368 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(1)))->to_f32()) == UINT32_C(2147483649));
369 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2155872256)))->to_f32()) == UINT32_C(8388608));
370 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(8388608)))->to_f32()) == UINT32_C(2155872256));
371 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(3204448256)))->to_f32()) == UINT32_C(1056964608));
372 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(1056964608)))->to_f32()) == UINT32_C(3204448256));
373 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(3212836864)))->to_f32()) == UINT32_C(1065353216));
374 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(3212836864));
375 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(3234402267)))->to_f32()) == UINT32_C(1086918619));
376 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(1086918619)))->to_f32()) == UINT32_C(3234402267));
377 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(4286578687)))->to_f32()) == UINT32_C(2139095039));
378 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2139095039)))->to_f32()) == UINT32_C(4286578687));
379 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(4286578688)))->to_f32()) == UINT32_C(2139095040));
380 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2139095040)))->to_f32()) == UINT32_C(4286578688));
381 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(4290772992)))->to_f32()) == UINT32_C(2143289344));
382 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "neg", bit_cast<float>(UINT32_C(2143289344)))->to_f32()) == UINT32_C(4290772992));
383}
384
385BACKEND_TEST_CASE( "Testing wasm <f32_bitwise_1_wasm>", "[f32_bitwise_1_wasm_tests]" ) {
386 using backend_t = backend<standalone_function_t, TestType>;
387 auto code = read_wasm( std::string(wasm_directory) + "f32_bitwise.1.wasm");
388 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
389}
390
391BACKEND_TEST_CASE( "Testing wasm <f32_bitwise_2_wasm>", "[f32_bitwise_2_wasm_tests]" ) {
392 using backend_t = backend<standalone_function_t, TestType>;
393 auto code = read_wasm( std::string(wasm_directory) + "f32_bitwise.2.wasm");
394 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
395}
396
397BACKEND_TEST_CASE( "Testing wasm <f32_bitwise_3_wasm>", "[f32_bitwise_3_wasm_tests]" ) {
398 using backend_t = backend<standalone_function_t, TestType>;
399 auto code = read_wasm( std::string(wasm_directory) + "f32_bitwise.3.wasm");
400 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
401}
402
sysio::vm::backend::call_with_return
auto call_with_return(host_t &host, const std::string_view &mod, const std::string_view &func, Args... args)
Definition backend.hpp:178
sysio::vm::wasm_allocator
Definition allocator.hpp:409
wa
wasm_allocator wa
Definition main.cpp:10
CHECK
#define CHECK(cond)
Definition util.h:80
bkend
backend_t bkend(hello_wasm, ehm, &wa)
backend_t
sysio::vm::backend< rhf_t > backend_t
Definition hello_driver.cpp:61
CHECK_THROWS_AS
#define CHECK_THROWS_AS(expr, exceptionType)
Definition catch.hpp:203
sysio::vm::read_wasm
std::vector< uint8_t > read_wasm(const std::string &fname)
Definition utils.hpp:30
catch.hpp
UINT32_C
#define UINT32_C(val)
Definition stdint.h:283
BACKEND_TEST_CASE
#define BACKEND_TEST_CASE(name, tags)
Definition utils.hpp:59
bit_cast
T bit_cast(const U &u)
Definition utils.hpp:35
wasm_config.hpp