Wire Sysio Wire Sysion 1.0.0
Loading...
Searching...
No Matches
stack_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 stack_tests.cpp:

Go to the source code of this file.

Functions

 BACKEND_TEST_CASE ("Testing wasm <stack_0_wasm>", "[stack_0_wasm_tests]")
 
 BACKEND_TEST_CASE ("Testing wasm <stack_1_wasm>", "[stack_1_wasm_tests]")
 

Variables

wasm_allocator wa
 

Function Documentation

◆ BACKEND_TEST_CASE() [1/2]

BACKEND_TEST_CASE ( "Testing wasm <stack_0_wasm>" ,
"" [stack_0_wasm_tests] )

Definition at line 18 of file stack_tests.cpp.

18 {
20 auto code = read_wasm( std::string(wasm_directory) + "stack.0.wasm");
21 backend_t bkend( code, &wa );
22
23 CHECK(bkend.call_with_return("env", "fac-expr", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
24 CHECK(bkend.call_with_return("env", "fac-stack", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
25 CHECK(bkend.call_with_return("env", "fac-mixed", UINT64_C(25))->to_ui64() == UINT32_C(7034535277573963776));
26}
auto call_with_return(host_t &host, const std::string_view &mod, const std::string_view &func, Args... args)
Definition backend.hpp:178
#define CHECK(cond)
Definition util.h:80
backend_t bkend(hello_wasm, ehm, &wa)
std::vector< uint8_t > read_wasm(const std::string &fname)
Definition utils.hpp:30
wasm_allocator wa
Definition main.cpp:10
#define UINT32_C(val)
Definition stdint.h:283
#define UINT64_C(val)
Definition stdint.h:284
Here is the call graph for this function:

◆ BACKEND_TEST_CASE() [2/2]

BACKEND_TEST_CASE ( "Testing wasm <stack_1_wasm>" ,
"" [stack_1_wasm_tests] )

Definition at line 28 of file stack_tests.cpp.

28 {
30 auto code = read_wasm( std::string(wasm_directory) + "stack.1.wasm");
31 backend_t bkend( code, &wa );
32
33}
Here is the call graph for this function:

Variable Documentation

◆ wa

wasm_allocator wa
extern

Definition at line 10 of file main.cpp.