Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
memory_grow_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 <memory_grow_0_wasm>", "[memory_grow_0_wasm_tests]" ) {
19 using backend_t = backend<standalone_function_t, TestType>;
20 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.0.wasm");
21 backend_t bkend( code, &wa );
22
23 CHECK(bkend.call_with_return("env", "size")->to_ui32() == UINT32_C(0));
24 CHECK_THROWS_AS(bkend("env", "store_at_zero"), std::exception);
25 CHECK_THROWS_AS(bkend("env", "load_at_zero"), std::exception);
26 CHECK_THROWS_AS(bkend("env", "store_at_page_size"), std::exception);
27 CHECK_THROWS_AS(bkend("env", "load_at_page_size"), std::exception);
28 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(0));
29 CHECK(bkend.call_with_return("env", "size")->to_ui32() == UINT32_C(1));
30 CHECK(bkend.call_with_return("env", "load_at_zero")->to_ui32() == UINT32_C(0));
31 CHECK(!bkend.call_with_return("env", "store_at_zero"));
32 CHECK(bkend.call_with_return("env", "load_at_zero")->to_ui32() == UINT32_C(2));
33 CHECK_THROWS_AS(bkend("env", "store_at_page_size"), std::exception);
34 CHECK_THROWS_AS(bkend("env", "load_at_page_size"), std::exception);
35 CHECK(bkend.call_with_return("env", "grow", UINT32_C(4))->to_ui32() == UINT32_C(1));
36 CHECK(bkend.call_with_return("env", "size")->to_ui32() == UINT32_C(5));
37 CHECK(bkend.call_with_return("env", "load_at_zero")->to_ui32() == UINT32_C(2));
38 CHECK(!bkend.call_with_return("env", "store_at_zero"));
39 CHECK(bkend.call_with_return("env", "load_at_zero")->to_ui32() == UINT32_C(2));
40 CHECK(bkend.call_with_return("env", "load_at_page_size")->to_ui32() == UINT32_C(0));
41 CHECK(!bkend.call_with_return("env", "store_at_page_size"));
42 CHECK(bkend.call_with_return("env", "load_at_page_size")->to_ui32() == UINT32_C(3));
43}
44
45BACKEND_TEST_CASE( "Testing wasm <memory_grow_1_wasm>", "[memory_grow_1_wasm_tests]" ) {
46 using backend_t = backend<standalone_function_t, TestType>;
47 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.1.wasm");
48 backend_t bkend( code, &wa );
49
50 CHECK(bkend.call_with_return("env", "grow", UINT32_C(0))->to_ui32() == UINT32_C(0));
51 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(0));
52 CHECK(bkend.call_with_return("env", "grow", UINT32_C(0))->to_ui32() == UINT32_C(1));
53 CHECK(bkend.call_with_return("env", "grow", UINT32_C(2))->to_ui32() == UINT32_C(1));
54 CHECK(bkend.call_with_return("env", "grow", UINT32_C(800))->to_ui32() == UINT32_C(3));
55 CHECK(bkend.call_with_return("env", "grow", UINT32_C(65536))->to_ui32() == UINT32_C(4294967295));
56 CHECK(bkend.call_with_return("env", "grow", UINT32_C(64736))->to_ui32() == UINT32_C(4294967295));
57 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(803));
58}
59
60BACKEND_TEST_CASE( "Testing wasm <memory_grow_2_wasm>", "[memory_grow_2_wasm_tests]" ) {
61 using backend_t = backend<standalone_function_t, TestType>;
62 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.2.wasm");
63 backend_t bkend( code, &wa );
64
65 CHECK(bkend.call_with_return("env", "grow", UINT32_C(0))->to_ui32() == UINT32_C(0));
66 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(0));
67 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(1));
68 CHECK(bkend.call_with_return("env", "grow", UINT32_C(2))->to_ui32() == UINT32_C(2));
69 CHECK(bkend.call_with_return("env", "grow", UINT32_C(6))->to_ui32() == UINT32_C(4));
70 CHECK(bkend.call_with_return("env", "grow", UINT32_C(0))->to_ui32() == UINT32_C(10));
71 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(4294967295));
72 CHECK(bkend.call_with_return("env", "grow", UINT32_C(65536))->to_ui32() == UINT32_C(4294967295));
73}
74
75BACKEND_TEST_CASE( "Testing wasm <memory_grow_3_wasm>", "[memory_grow_3_wasm_tests]" ) {
76 using backend_t = backend<standalone_function_t, TestType>;
77 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.3.wasm");
78 backend_t bkend( code, &wa );
79
80 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(0), UINT32_C(65535))->to_ui32() == UINT32_C(0));
81 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(1));
82 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(65536), UINT32_C(131071))->to_ui32() == UINT32_C(0));
83 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(2));
84 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(131072), UINT32_C(196607))->to_ui32() == UINT32_C(0));
85 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(3));
86 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(196608), UINT32_C(262143))->to_ui32() == UINT32_C(0));
87 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(4));
88 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(262144), UINT32_C(327679))->to_ui32() == UINT32_C(0));
89 CHECK(bkend.call_with_return("env", "grow", UINT32_C(1))->to_ui32() == UINT32_C(5));
90 CHECK(bkend.call_with_return("env", "check-memory-zero", UINT32_C(327680), UINT32_C(393215))->to_ui32() == UINT32_C(0));
91}
92
93BACKEND_TEST_CASE( "Testing wasm <memory_grow_4_wasm>", "[memory_grow_4_wasm_tests]" ) {
94 using backend_t = backend<standalone_function_t, TestType>;
95 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.4.wasm");
96 backend_t bkend( code, &wa );
97
98 CHECK(bkend.call_with_return("env", "as-br-value")->to_ui32() == UINT32_C(1));
99 CHECK(!bkend.call_with_return("env", "as-br_if-cond"));
100 CHECK(bkend.call_with_return("env", "as-br_if-value")->to_ui32() == UINT32_C(1));
101 CHECK(bkend.call_with_return("env", "as-br_if-value-cond")->to_ui32() == UINT32_C(6));
102 CHECK(!bkend.call_with_return("env", "as-br_table-index"));
103 CHECK(bkend.call_with_return("env", "as-br_table-value")->to_ui32() == UINT32_C(1));
104 CHECK(bkend.call_with_return("env", "as-br_table-value-index")->to_ui32() == UINT32_C(6));
105 CHECK(bkend.call_with_return("env", "as-return-value")->to_ui32() == UINT32_C(1));
106 CHECK(bkend.call_with_return("env", "as-if-cond")->to_ui32() == UINT32_C(0));
107 CHECK(bkend.call_with_return("env", "as-if-then")->to_ui32() == UINT32_C(1));
108 CHECK(bkend.call_with_return("env", "as-if-else")->to_ui32() == UINT32_C(1));
109 CHECK(bkend.call_with_return("env", "as-select-first", UINT32_C(0), UINT32_C(1))->to_ui32() == UINT32_C(1));
110 CHECK(bkend.call_with_return("env", "as-select-second", UINT32_C(0), UINT32_C(0))->to_ui32() == UINT32_C(1));
111 CHECK(bkend.call_with_return("env", "as-select-cond")->to_ui32() == UINT32_C(0));
112 CHECK(bkend.call_with_return("env", "as-call-first")->to_ui32() == UINT32_C(4294967295));
113 CHECK(bkend.call_with_return("env", "as-call-mid")->to_ui32() == UINT32_C(4294967295));
114 CHECK(bkend.call_with_return("env", "as-call-last")->to_ui32() == UINT32_C(4294967295));
115 CHECK(bkend.call_with_return("env", "as-call_indirect-first")->to_ui32() == UINT32_C(4294967295));
116 CHECK(bkend.call_with_return("env", "as-call_indirect-mid")->to_ui32() == UINT32_C(4294967295));
117 CHECK(bkend.call_with_return("env", "as-call_indirect-last")->to_ui32() == UINT32_C(4294967295));
118 CHECK_THROWS_AS(bkend("env", "as-call_indirect-index"), std::exception);
119 CHECK(!bkend.call_with_return("env", "as-local.set-value"));
120 CHECK(bkend.call_with_return("env", "as-local.tee-value")->to_ui32() == UINT32_C(1));
121 CHECK(!bkend.call_with_return("env", "as-global.set-value"));
122 CHECK(bkend.call_with_return("env", "as-load-address")->to_ui32() == UINT32_C(0));
123 CHECK(bkend.call_with_return("env", "as-loadN-address")->to_ui32() == UINT32_C(0));
124 CHECK(!bkend.call_with_return("env", "as-store-address"));
125 CHECK(!bkend.call_with_return("env", "as-store-value"));
126 CHECK(!bkend.call_with_return("env", "as-storeN-address"));
127 CHECK(!bkend.call_with_return("env", "as-storeN-value"));
128 CHECK(bkend.call_with_return("env", "as-unary-operand")->to_ui32() == UINT32_C(31));
129 CHECK(bkend.call_with_return("env", "as-binary-left")->to_ui32() == UINT32_C(11));
130 CHECK(bkend.call_with_return("env", "as-binary-right")->to_ui32() == UINT32_C(9));
131 CHECK(bkend.call_with_return("env", "as-test-operand")->to_ui32() == UINT32_C(0));
132 CHECK(bkend.call_with_return("env", "as-compare-left")->to_ui32() == UINT32_C(1));
133 CHECK(bkend.call_with_return("env", "as-compare-right")->to_ui32() == UINT32_C(1));
134 CHECK(bkend.call_with_return("env", "as-memory.grow-size")->to_ui32() == UINT32_C(1));
135}
136
137BACKEND_TEST_CASE( "Testing wasm <memory_grow_5_wasm>", "[memory_grow_5_wasm_tests]" ) {
138 using backend_t = backend<standalone_function_t, TestType>;
139 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.5.wasm");
140 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
141}
142
143BACKEND_TEST_CASE( "Testing wasm <memory_grow_6_wasm>", "[memory_grow_6_wasm_tests]" ) {
144 using backend_t = backend<standalone_function_t, TestType>;
145 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.6.wasm");
146 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
147}
148
149BACKEND_TEST_CASE( "Testing wasm <memory_grow_7_wasm>", "[memory_grow_7_wasm_tests]" ) {
150 using backend_t = backend<standalone_function_t, TestType>;
151 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.7.wasm");
152 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
153}
154
155BACKEND_TEST_CASE( "Testing wasm <memory_grow_8_wasm>", "[memory_grow_8_wasm_tests]" ) {
156 using backend_t = backend<standalone_function_t, TestType>;
157 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.8.wasm");
158 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
159}
160
161BACKEND_TEST_CASE( "Testing wasm <memory_grow_9_wasm>", "[memory_grow_9_wasm_tests]" ) {
162 using backend_t = backend<standalone_function_t, TestType>;
163 auto code = read_wasm( std::string(wasm_directory) + "memory_grow.9.wasm");
164 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
165}
166
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
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
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
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
wasm_config.hpp