Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
Functions | Variables
loop_tests.cpp File Reference
#include <algorithm>
#include <vector>
#include <iostream>
#include <iterator>
#include <cmath>
#include <cstdlib>
#include <catch2/catch.hpp>
#include <utils.hpp>
#include <wasm_config.hpp>
#include <sysio/vm/backend.hpp>
Include dependency graph for loop_tests.cpp:

Go to the source code of this file.

Functions

 BACKEND_TEST_CASE ("Testing wasm <loop_0_wasm>", "[loop_0_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_1_wasm>", "[loop_1_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_10_wasm>", "[loop_10_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_11_wasm>", "[loop_11_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_12_wasm>", "[loop_12_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_2_wasm>", "[loop_2_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_3_wasm>", "[loop_3_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_4_wasm>", "[loop_4_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_5_wasm>", "[loop_5_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_6_wasm>", "[loop_6_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_7_wasm>", "[loop_7_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_8_wasm>", "[loop_8_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <loop_9_wasm>", "[loop_9_wasm_tests]")
 

Variables

wasm_allocator wa
 

Function Documentation

◆ BACKEND_TEST_CASE() [1/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_0_wasm>" ,
"" [loop_0_wasm_tests] )

Definition at line 18 of file loop_tests.cpp.

18 {
19 using backend_t = backend<standalone_function_t, TestType>;
20 auto code = read_wasm( std::string(wasm_directory) + "loop.0.wasm");
21 backend_t bkend( code, &wa );
22
23 CHECK(!bkend.call_with_return("env", "empty"));
24 CHECK(bkend.call_with_return("env", "singular")->to_ui32() == UINT32_C(7));
25 CHECK(bkend.call_with_return("env", "multi")->to_ui32() == UINT32_C(8));
26 CHECK(bkend.call_with_return("env", "nested")->to_ui32() == UINT32_C(9));
27 CHECK(bkend.call_with_return("env", "deep")->to_ui32() == UINT32_C(150));
28 CHECK(bkend.call_with_return("env", "as-select-first")->to_ui32() == UINT32_C(1));
29 CHECK(bkend.call_with_return("env", "as-select-mid")->to_ui32() == UINT32_C(2));
30 CHECK(bkend.call_with_return("env", "as-select-last")->to_ui32() == UINT32_C(2));
31 CHECK(!bkend.call_with_return("env", "as-if-condition"));
32 CHECK(bkend.call_with_return("env", "as-if-then")->to_ui32() == UINT32_C(1));
33 CHECK(bkend.call_with_return("env", "as-if-else")->to_ui32() == UINT32_C(2));
34 CHECK(bkend.call_with_return("env", "as-br_if-first")->to_ui32() == UINT32_C(1));
35 CHECK(bkend.call_with_return("env", "as-br_if-last")->to_ui32() == UINT32_C(2));
36 CHECK(bkend.call_with_return("env", "as-br_table-first")->to_ui32() == UINT32_C(1));
37 CHECK(bkend.call_with_return("env", "as-br_table-last")->to_ui32() == UINT32_C(2));
38 CHECK(bkend.call_with_return("env", "as-call_indirect-first")->to_ui32() == UINT32_C(1));
39 CHECK(bkend.call_with_return("env", "as-call_indirect-mid")->to_ui32() == UINT32_C(2));
40 CHECK(bkend.call_with_return("env", "as-call_indirect-last")->to_ui32() == UINT32_C(1));
41 CHECK(!bkend.call_with_return("env", "as-store-first"));
42 CHECK(!bkend.call_with_return("env", "as-store-last"));
43 CHECK(bkend.call_with_return("env", "as-memory.grow-value")->to_ui32() == UINT32_C(1));
44 CHECK(bkend.call_with_return("env", "as-call-value")->to_ui32() == UINT32_C(1));
45 CHECK(bkend.call_with_return("env", "as-return-value")->to_ui32() == UINT32_C(1));
46 CHECK(!bkend.call_with_return("env", "as-drop-operand"));
47 CHECK(bkend.call_with_return("env", "as-br-value")->to_ui32() == UINT32_C(1));
48 CHECK(bkend.call_with_return("env", "as-local.set-value")->to_ui32() == UINT32_C(1));
49 CHECK(bkend.call_with_return("env", "as-local.tee-value")->to_ui32() == UINT32_C(1));
50 CHECK(bkend.call_with_return("env", "as-global.set-value")->to_ui32() == UINT32_C(1));
51 CHECK(bkend.call_with_return("env", "as-load-operand")->to_ui32() == UINT32_C(1));
52 CHECK(bkend.call_with_return("env", "as-unary-operand")->to_ui32() == UINT32_C(0));
53 CHECK(bkend.call_with_return("env", "as-binary-operand")->to_ui32() == UINT32_C(12));
54 CHECK(bkend.call_with_return("env", "as-test-operand")->to_ui32() == UINT32_C(0));
55 CHECK(bkend.call_with_return("env", "as-compare-operand")->to_ui32() == UINT32_C(0));
56 CHECK(bkend.call_with_return("env", "break-bare")->to_ui32() == UINT32_C(19));
57 CHECK(bkend.call_with_return("env", "break-value")->to_ui32() == UINT32_C(18));
58 CHECK(bkend.call_with_return("env", "break-repeated")->to_ui32() == UINT32_C(18));
59 CHECK(bkend.call_with_return("env", "break-inner")->to_ui32() == UINT32_C(31));
60 CHECK(bkend.call_with_return("env", "effects")->to_ui32() == UINT32_C(1));
61 CHECK(bkend.call_with_return("env", "while", UINT64_C(0))->to_ui64() == UINT32_C(1));
62 CHECK(bkend.call_with_return("env", "while", UINT64_C(1))->to_ui64() == UINT32_C(1));
63 CHECK(bkend.call_with_return("env", "while", UINT64_C(2))->to_ui64() == UINT32_C(2));
64 CHECK(bkend.call_with_return("env", "while", UINT64_C(3))->to_ui64() == UINT32_C(6));
65 CHECK(bkend.call_with_return("env", "while", UINT64_C(5))->to_ui64() == UINT32_C(120));
66 CHECK(bkend.call_with_return("env", "while", UINT64_C(20))->to_ui64() == UINT32_C(2432902008176640000));
67 CHECK(bkend.call_with_return("env", "for", UINT64_C(0))->to_ui64() == UINT32_C(1));
68 CHECK(bkend.call_with_return("env", "for", UINT64_C(1))->to_ui64() == UINT32_C(1));
69 CHECK(bkend.call_with_return("env", "for", UINT64_C(2))->to_ui64() == UINT32_C(2));
70 CHECK(bkend.call_with_return("env", "for", UINT64_C(3))->to_ui64() == UINT32_C(6));
71 CHECK(bkend.call_with_return("env", "for", UINT64_C(5))->to_ui64() == UINT32_C(120));
72 CHECK(bkend.call_with_return("env", "for", UINT64_C(20))->to_ui64() == UINT32_C(2432902008176640000));
73 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(0)), bit_cast<float>(UINT32_C(1088421888)))->to_f32()) == UINT32_C(0));
74 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1088421888)), bit_cast<float>(UINT32_C(0)))->to_f32()) == UINT32_C(0));
75 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
76 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1073741824)))->to_f32()) == UINT32_C(1073741824));
77 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1077936128)))->to_f32()) == UINT32_C(1082130432));
78 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1082130432)))->to_f32()) == UINT32_C(1086324736));
79 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1120403456)))->to_f32()) == UINT32_C(1159684096));
80 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1065353216)), bit_cast<float>(UINT32_C(1120534528)))->to_f32()) == UINT32_C(1159892992));
81 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1073741824)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
82 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1077936128)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
83 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1092616192)), bit_cast<float>(UINT32_C(1065353216)))->to_f32()) == UINT32_C(1065353216));
84 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1073741824)), bit_cast<float>(UINT32_C(1073741824)))->to_f32()) == UINT32_C(1077936128));
85 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1073741824)), bit_cast<float>(UINT32_C(1077936128)))->to_f32()) == UINT32_C(1082130432));
86 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1088421888)), bit_cast<float>(UINT32_C(1082130432)))->to_f32()) == UINT32_C(1092940751));
87 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1088421888)), bit_cast<float>(UINT32_C(1120403456)))->to_f32()) == UINT32_C(1166601314));
88 CHECK(bit_cast<uint32_t>(bkend.call_with_return("env", "nesting", bit_cast<float>(UINT32_C(1088421888)), bit_cast<float>(UINT32_C(1120534528)))->to_f32()) == UINT32_C(1159892992));
89}
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
CHECK
#define CHECK(cond)
Definition util.h:80
bkend
backend_t bkend(hello_wasm, ehm, &wa)
wa
wasm_allocator wa
Definition main.cpp:10
sysio::vm::read_wasm
std::vector< uint8_t > read_wasm(const std::string &fname)
Definition utils.hpp:30
UINT32_C
#define UINT32_C(val)
Definition stdint.h:283
UINT64_C
#define UINT64_C(val)
Definition stdint.h:284
bit_cast
T bit_cast(const U &u)
Definition utils.hpp:35
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [2/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_10_wasm>" ,
"" [loop_10_wasm_tests] )

Definition at line 97 of file loop_tests.cpp.

97 {
98 using backend_t = backend<standalone_function_t, TestType>;
99 auto code = read_wasm( std::string(wasm_directory) + "loop.10.wasm");
100 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
101}
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
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [3/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_11_wasm>" ,
"" [loop_11_wasm_tests] )

Definition at line 103 of file loop_tests.cpp.

103 {
104 using backend_t = backend<standalone_function_t, TestType>;
105 auto code = read_wasm( std::string(wasm_directory) + "loop.11.wasm");
106 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
107}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [4/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_12_wasm>" ,
"" [loop_12_wasm_tests] )

Definition at line 109 of file loop_tests.cpp.

109 {
110 using backend_t = backend<standalone_function_t, TestType>;
111 auto code = read_wasm( std::string(wasm_directory) + "loop.12.wasm");
112 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
113}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [5/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_1_wasm>" ,
"" [loop_1_wasm_tests] )

Definition at line 91 of file loop_tests.cpp.

91 {
92 using backend_t = backend<standalone_function_t, TestType>;
93 auto code = read_wasm( std::string(wasm_directory) + "loop.1.wasm");
94 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
95}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [6/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_2_wasm>" ,
"" [loop_2_wasm_tests] )

Definition at line 115 of file loop_tests.cpp.

115 {
116 using backend_t = backend<standalone_function_t, TestType>;
117 auto code = read_wasm( std::string(wasm_directory) + "loop.2.wasm");
118 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
119}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [7/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_3_wasm>" ,
"" [loop_3_wasm_tests] )

Definition at line 121 of file loop_tests.cpp.

121 {
122 using backend_t = backend<standalone_function_t, TestType>;
123 auto code = read_wasm( std::string(wasm_directory) + "loop.3.wasm");
124 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
125}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [8/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_4_wasm>" ,
"" [loop_4_wasm_tests] )

Definition at line 127 of file loop_tests.cpp.

127 {
128 using backend_t = backend<standalone_function_t, TestType>;
129 auto code = read_wasm( std::string(wasm_directory) + "loop.4.wasm");
130 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
131}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [9/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_5_wasm>" ,
"" [loop_5_wasm_tests] )

Definition at line 133 of file loop_tests.cpp.

133 {
134 using backend_t = backend<standalone_function_t, TestType>;
135 auto code = read_wasm( std::string(wasm_directory) + "loop.5.wasm");
136 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
137}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [10/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_6_wasm>" ,
"" [loop_6_wasm_tests] )

Definition at line 139 of file loop_tests.cpp.

139 {
140 using backend_t = backend<standalone_function_t, TestType>;
141 auto code = read_wasm( std::string(wasm_directory) + "loop.6.wasm");
142 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
143}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [11/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_7_wasm>" ,
"" [loop_7_wasm_tests] )

Definition at line 145 of file loop_tests.cpp.

145 {
146 using backend_t = backend<standalone_function_t, TestType>;
147 auto code = read_wasm( std::string(wasm_directory) + "loop.7.wasm");
148 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
149}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [12/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_8_wasm>" ,
"" [loop_8_wasm_tests] )

Definition at line 151 of file loop_tests.cpp.

151 {
152 using backend_t = backend<standalone_function_t, TestType>;
153 auto code = read_wasm( std::string(wasm_directory) + "loop.8.wasm");
154 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
155}
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [13/13]

BACKEND_TEST_CASE ( "Testing wasm <loop_9_wasm>" ,
"" [loop_9_wasm_tests] )

Definition at line 157 of file loop_tests.cpp.

157 {
158 using backend_t = backend<standalone_function_t, TestType>;
159 auto code = read_wasm( std::string(wasm_directory) + "loop.9.wasm");
160 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
161}
Here is the call graph for this function:

Variable Documentation

◆ wa

wasm_allocator wa
extern

Definition at line 10 of file main.cpp.