Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
Functions | Variables
nop_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 nop_tests.cpp:

Go to the source code of this file.

Functions

 BACKEND_TEST_CASE ("Testing wasm <nop_0_wasm>", "[nop_0_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <nop_1_wasm>", "[nop_1_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <nop_2_wasm>", "[nop_2_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <nop_3_wasm>", "[nop_3_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <nop_4_wasm>", "[nop_4_wasm_tests]")
 

Variables

wasm_allocator wa
 

Function Documentation

◆ BACKEND_TEST_CASE() [1/5]

BACKEND_TEST_CASE ( "Testing wasm <nop_0_wasm>" ,
"" [nop_0_wasm_tests] )

Definition at line 18 of file nop_tests.cpp.

18 {
19 using backend_t = backend<standalone_function_t, TestType>;
20 auto code = read_wasm( std::string(wasm_directory) + "nop.0.wasm");
21 backend_t bkend( code, &wa );
22
23 CHECK(bkend.call_with_return("env", "as-func-first")->to_ui32() == UINT32_C(1));
24 CHECK(bkend.call_with_return("env", "as-func-mid")->to_ui32() == UINT32_C(2));
25 CHECK(bkend.call_with_return("env", "as-func-last")->to_ui32() == UINT32_C(3));
26 CHECK(bkend.call_with_return("env", "as-func-everywhere")->to_ui32() == UINT32_C(4));
27 CHECK(!bkend.call_with_return("env", "as-drop-first", UINT32_C(0)));
28 CHECK(!bkend.call_with_return("env", "as-drop-last", UINT32_C(0)));
29 CHECK(!bkend.call_with_return("env", "as-drop-everywhere", UINT32_C(0)));
30 CHECK(bkend.call_with_return("env", "as-select-first", UINT32_C(3))->to_ui32() == UINT32_C(3));
31 CHECK(bkend.call_with_return("env", "as-select-mid1", UINT32_C(3))->to_ui32() == UINT32_C(3));
32 CHECK(bkend.call_with_return("env", "as-select-mid2", UINT32_C(3))->to_ui32() == UINT32_C(3));
33 CHECK(bkend.call_with_return("env", "as-select-last", UINT32_C(3))->to_ui32() == UINT32_C(3));
34 CHECK(bkend.call_with_return("env", "as-select-everywhere", UINT32_C(3))->to_ui32() == UINT32_C(3));
35 CHECK(bkend.call_with_return("env", "as-block-first")->to_ui32() == UINT32_C(2));
36 CHECK(bkend.call_with_return("env", "as-block-mid")->to_ui32() == UINT32_C(2));
37 CHECK(bkend.call_with_return("env", "as-block-last")->to_ui32() == UINT32_C(3));
38 CHECK(bkend.call_with_return("env", "as-block-everywhere")->to_ui32() == UINT32_C(4));
39 CHECK(bkend.call_with_return("env", "as-loop-first")->to_ui32() == UINT32_C(2));
40 CHECK(bkend.call_with_return("env", "as-loop-mid")->to_ui32() == UINT32_C(2));
41 CHECK(bkend.call_with_return("env", "as-loop-last")->to_ui32() == UINT32_C(3));
42 CHECK(bkend.call_with_return("env", "as-loop-everywhere")->to_ui32() == UINT32_C(4));
43 CHECK(!bkend.call_with_return("env", "as-if-condition", UINT32_C(0)));
44 CHECK(!bkend.call_with_return("env", "as-if-condition", UINT32_C(4294967295)));
45 CHECK(!bkend.call_with_return("env", "as-if-then", UINT32_C(0)));
46 CHECK(!bkend.call_with_return("env", "as-if-then", UINT32_C(4)));
47 CHECK(!bkend.call_with_return("env", "as-if-else", UINT32_C(0)));
48 CHECK(!bkend.call_with_return("env", "as-if-else", UINT32_C(3)));
49 CHECK(bkend.call_with_return("env", "as-br-first", UINT32_C(5))->to_ui32() == UINT32_C(5));
50 CHECK(bkend.call_with_return("env", "as-br-last", UINT32_C(6))->to_ui32() == UINT32_C(6));
51 CHECK(bkend.call_with_return("env", "as-br-everywhere", UINT32_C(7))->to_ui32() == UINT32_C(7));
52 CHECK(bkend.call_with_return("env", "as-br_if-first", UINT32_C(4))->to_ui32() == UINT32_C(4));
53 CHECK(bkend.call_with_return("env", "as-br_if-mid", UINT32_C(5))->to_ui32() == UINT32_C(5));
54 CHECK(bkend.call_with_return("env", "as-br_if-last", UINT32_C(6))->to_ui32() == UINT32_C(6));
55 CHECK(bkend.call_with_return("env", "as-br_if-everywhere", UINT32_C(7))->to_ui32() == UINT32_C(7));
56 CHECK(bkend.call_with_return("env", "as-br_table-first", UINT32_C(4))->to_ui32() == UINT32_C(4));
57 CHECK(bkend.call_with_return("env", "as-br_table-mid", UINT32_C(5))->to_ui32() == UINT32_C(5));
58 CHECK(bkend.call_with_return("env", "as-br_table-last", UINT32_C(6))->to_ui32() == UINT32_C(6));
59 CHECK(bkend.call_with_return("env", "as-br_table-everywhere", UINT32_C(7))->to_ui32() == UINT32_C(7));
60 CHECK(bkend.call_with_return("env", "as-return-first", UINT32_C(5))->to_ui32() == UINT32_C(5));
61 CHECK(bkend.call_with_return("env", "as-return-last", UINT32_C(6))->to_ui32() == UINT32_C(6));
62 CHECK(bkend.call_with_return("env", "as-return-everywhere", UINT32_C(7))->to_ui32() == UINT32_C(7));
63 CHECK(bkend.call_with_return("env", "as-call-first", UINT32_C(3), UINT32_C(1), UINT32_C(2))->to_ui32() == UINT32_C(2));
64 CHECK(bkend.call_with_return("env", "as-call-mid1", UINT32_C(3), UINT32_C(1), UINT32_C(2))->to_ui32() == UINT32_C(2));
65 CHECK(bkend.call_with_return("env", "as-call-mid2", UINT32_C(0), UINT32_C(3), UINT32_C(1))->to_ui32() == UINT32_C(2));
66 CHECK(bkend.call_with_return("env", "as-call-last", UINT32_C(10), UINT32_C(9), UINT32_C(4294967295))->to_ui32() == UINT32_C(20));
67 CHECK(bkend.call_with_return("env", "as-call-everywhere", UINT32_C(2), UINT32_C(1), UINT32_C(5))->to_ui32() == UINT32_C(4294967294));
68 CHECK(bkend.call_with_return("env", "as-unary-first", UINT32_C(30))->to_ui32() == UINT32_C(1));
69 CHECK(bkend.call_with_return("env", "as-unary-last", UINT32_C(30))->to_ui32() == UINT32_C(1));
70 CHECK(bkend.call_with_return("env", "as-unary-everywhere", UINT32_C(12))->to_ui32() == UINT32_C(2));
71 CHECK(bkend.call_with_return("env", "as-binary-first", UINT32_C(3))->to_ui32() == UINT32_C(6));
72 CHECK(bkend.call_with_return("env", "as-binary-mid", UINT32_C(3))->to_ui32() == UINT32_C(6));
73 CHECK(bkend.call_with_return("env", "as-binary-last", UINT32_C(3))->to_ui32() == UINT32_C(6));
74 CHECK(bkend.call_with_return("env", "as-binary-everywhere", UINT32_C(3))->to_ui32() == UINT32_C(6));
75 CHECK(bkend.call_with_return("env", "as-test-first", UINT32_C(0))->to_ui32() == UINT32_C(1));
76 CHECK(bkend.call_with_return("env", "as-test-last", UINT32_C(0))->to_ui32() == UINT32_C(1));
77 CHECK(bkend.call_with_return("env", "as-test-everywhere", UINT32_C(0))->to_ui32() == UINT32_C(1));
78 CHECK(bkend.call_with_return("env", "as-compare-first", UINT32_C(3))->to_ui32() == UINT32_C(0));
79 CHECK(bkend.call_with_return("env", "as-compare-mid", UINT32_C(3))->to_ui32() == UINT32_C(0));
80 CHECK(bkend.call_with_return("env", "as-compare-last", UINT32_C(3))->to_ui32() == UINT32_C(0));
81 CHECK(bkend.call_with_return("env", "as-compare-everywhere", UINT32_C(3))->to_ui32() == UINT32_C(1));
82 CHECK(bkend.call_with_return("env", "as-memory.grow-first", UINT32_C(0))->to_ui32() == UINT32_C(1));
83 CHECK(bkend.call_with_return("env", "as-memory.grow-last", UINT32_C(2))->to_ui32() == UINT32_C(1));
84 CHECK(bkend.call_with_return("env", "as-memory.grow-everywhere", UINT32_C(12))->to_ui32() == UINT32_C(3));
85 CHECK(bkend.call_with_return("env", "as-call_indirect-first")->to_ui32() == UINT32_C(1));
86 CHECK(bkend.call_with_return("env", "as-call_indirect-mid1")->to_ui32() == UINT32_C(1));
87 CHECK(bkend.call_with_return("env", "as-call_indirect-mid2")->to_ui32() == UINT32_C(1));
88 CHECK(bkend.call_with_return("env", "as-call_indirect-last")->to_ui32() == UINT32_C(1));
89 CHECK(bkend.call_with_return("env", "as-call_indirect-everywhere")->to_ui32() == UINT32_C(1));
90 CHECK(bkend.call_with_return("env", "as-local.set-first", UINT32_C(1))->to_ui32() == UINT32_C(2));
91 CHECK(bkend.call_with_return("env", "as-local.set-last", UINT32_C(1))->to_ui32() == UINT32_C(2));
92 CHECK(bkend.call_with_return("env", "as-local.set-everywhere", UINT32_C(1))->to_ui32() == UINT32_C(2));
93 CHECK(bkend.call_with_return("env", "as-local.tee-first", UINT32_C(1))->to_ui32() == UINT32_C(2));
94 CHECK(bkend.call_with_return("env", "as-local.tee-last", UINT32_C(1))->to_ui32() == UINT32_C(2));
95 CHECK(bkend.call_with_return("env", "as-local.tee-everywhere", UINT32_C(1))->to_ui32() == UINT32_C(2));
96 CHECK(bkend.call_with_return("env", "as-global.set-first")->to_ui32() == UINT32_C(2));
97 CHECK(bkend.call_with_return("env", "as-global.set-last")->to_ui32() == UINT32_C(2));
98 CHECK(bkend.call_with_return("env", "as-global.set-everywhere")->to_ui32() == UINT32_C(2));
99 CHECK(bkend.call_with_return("env", "as-load-first", UINT32_C(100))->to_ui32() == UINT32_C(0));
100 CHECK(bkend.call_with_return("env", "as-load-last", UINT32_C(100))->to_ui32() == UINT32_C(0));
101 CHECK(bkend.call_with_return("env", "as-load-everywhere", UINT32_C(100))->to_ui32() == UINT32_C(0));
102 CHECK(!bkend.call_with_return("env", "as-store-first", UINT32_C(0), UINT32_C(1)));
103 CHECK(!bkend.call_with_return("env", "as-store-mid", UINT32_C(0), UINT32_C(2)));
104 CHECK(!bkend.call_with_return("env", "as-store-last", UINT32_C(0), UINT32_C(3)));
105 CHECK(!bkend.call_with_return("env", "as-store-everywhere", UINT32_C(0), UINT32_C(4)));
106}
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)
sysio::vm::read_wasm
std::vector< uint8_t > read_wasm(const std::string &fname)
Definition utils.hpp:30
wa
wasm_allocator wa
Definition main.cpp:10
UINT32_C
#define UINT32_C(val)
Definition stdint.h:283
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [2/5]

BACKEND_TEST_CASE ( "Testing wasm <nop_1_wasm>" ,
"" [nop_1_wasm_tests] )

Definition at line 108 of file nop_tests.cpp.

108 {
109 using backend_t = backend<standalone_function_t, TestType>;
110 auto code = read_wasm( std::string(wasm_directory) + "nop.1.wasm");
111 CHECK_THROWS_AS(backend_t(code, nullptr), std::exception);
112}
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/5]

BACKEND_TEST_CASE ( "Testing wasm <nop_2_wasm>" ,
"" [nop_2_wasm_tests] )

Definition at line 114 of file nop_tests.cpp.

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

◆ BACKEND_TEST_CASE() [4/5]

BACKEND_TEST_CASE ( "Testing wasm <nop_3_wasm>" ,
"" [nop_3_wasm_tests] )

Definition at line 120 of file nop_tests.cpp.

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

◆ BACKEND_TEST_CASE() [5/5]

BACKEND_TEST_CASE ( "Testing wasm <nop_4_wasm>" ,
"" [nop_4_wasm_tests] )

Definition at line 126 of file nop_tests.cpp.

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

Variable Documentation

◆ wa

wasm_allocator wa
extern

Definition at line 10 of file main.cpp.