backend_tests.cpp File Reference

#include <sysio/vm/backend.hpp>
#include <catch2/catch.hpp>
#include "utils.hpp"

Include dependency graph for backend_tests.cpp:

Go to the source code of this file.

Functions
	BACKEND_TEST_CASE ("Tests that the arguments of top level calls are validated", "[call_typecheck]")

Variables
wasm_allocator	wa

Function Documentation

BACKEND_TEST_CASE()

BACKEND_TEST_CASE	(	"Tests that the arguments of top level calls are validated"	,
		""	[call_typecheck] )

Definition at line 9 of file backend_tests.cpp.

                                      {
   /*
    * (module
    *  (func (export "f0"))
    *  (func (export "f1") (param i32))
    * )
    */
   std::vector<uint8_t> code = { 0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x08, 0x02, 0x60,
                                 0x00, 0x00, 0x60, 0x01, 0x7f, 0x00, 0x03, 0x03, 0x02, 0x00, 0x01, 0x07,
                                 0x0b, 0x02, 0x02, 0x66, 0x30, 0x00, 0x00, 0x02, 0x66, 0x31, 0x00, 0x01,
                                 0x0a, 0x07, 0x02, 0x02, 0x00, 0x0b, 0x02, 0x00, 0x0b
   };
 
   using backend_t = backend<std::nullptr_t, TestType>;
   backend_t bkend(code, &wa);
 
   CHECK_THROWS_AS(bkend.call("env", "f0", 0), std::exception); // too many arguments
   CHECK_THROWS_AS(bkend.call("env", "f1"), std::exception); // too few arguments
   CHECK_THROWS_AS(bkend.call("env", "f1", UINT64_C(0)), std::exception); // wrong type of argument
   CHECK_THROWS_AS(bkend.call("env", "f1", UINT32_C(0), UINT32_C(0)), std::exception); // too many arguments
}

Here is the call graph for this function:

Variable Documentation

wa

wasm_allocator wa

extern

Definition at line 10 of file main.cpp.