![]() |
mutable
A Database System for Research and Fast Prototyping
|
Public Types | |
| using | base_type = ::wasm::ModuleRunner::ExternalInterface |
Public Member Functions | |
| MockInterface (const memory::AddressSpace &memory, ::wasm::GlobalValueSet imports={}) | |
| void | importGlobals (::wasm::GlobalValueSet &globals, ::wasm::Module &) override |
| ::wasm::Literals | callImport (::wasm::Function *f, ::wasm::Literals &args) override |
| ::wasm::Literals | callTable (::wasm::Name, ::wasm::Index, ::wasm::HeapType, ::wasm::Literals &, ::wasm::Type, ::wasm::ModuleRunner &) override |
| bool | growMemory (::wasm::Name, ::wasm::Address, ::wasm::Address) override |
| bool | growTable (::wasm::Name, const ::wasm::Literal &, ::wasm::Index, ::wasm::Index) override |
| ::wasm::Index | tableSize (::wasm::Name) override |
| void | trap (const char *) override |
| void | hostLimit (const char *) override |
| void | throwException (const ::wasm::WasmException &) override |
| DECLARE_LOAD (8s, int8_t) DECLARE_LOAD(8u | |
| uint8_t | DECLARE_LOAD (16s, int16_t) DECLARE_LOAD(16u |
| uint8_t uint16_t | DECLARE_LOAD (32s, int32_t) DECLARE_LOAD(32u |
| uint8_t uint16_t uint32_t | DECLARE_LOAD (64s, int64_t) DECLARE_LOAD(64u |
| uint8_t uint16_t uint32_t uint64_t | DECLARE_LOAD (128, std::array< M_COMMA(uint8_t) 16 >) DECLARE_STORE(8 |
| uint8_t uint16_t uint32_t uint64_t int8_t | DECLARE_STORE (16, int16_t) DECLARE_STORE(32 |
| uint8_t uint16_t uint32_t uint64_t int8_t int32_t | DECLARE_STORE (64, int64_t) DECLARE_STORE(128 |
Private Member Functions | |
| template<typename T = void> | |
| T | _load (::wasm::Address addr) |
| template<> | |
| std::array< uint8_t, 16 > | _load (::wasm::Address _addr) |
| template<typename T = void> | |
| void | _store (::wasm::Address addr, T value) |
| template<> | |
| void | _store (::wasm::Address addr, const std::array< uint8_t, 16 > &value) |
Private Attributes | |
| const memory::AddressSpace & | memory_ |
| |
| ::wasm::GlobalValueSet | imports_ |
| |
Definition at line 114 of file WasmDSL.cpp.
Definition at line 116 of file WasmDSL.cpp.
|
inline |
Definition at line 125 of file WasmDSL.cpp.
|
inlineprivate |
Definition at line 157 of file WasmDSL.cpp.
|
inlineprivate |
Definition at line 157 of file WasmDSL.cpp.
References m::memory::AddressSpace::addr(), M_insist, m::memory::AddressSpace::size(), and m::T().
|
inlineprivate |
Definition at line 175 of file WasmDSL.cpp.
References m::memory::AddressSpace::addr(), M_insist, m::memory::AddressSpace::size(), and m::wasm::value.
|
inlineprivate |
Definition at line 169 of file WasmDSL.cpp.
References m::memory::AddressSpace::addr(), M_insist, m::memory::AddressSpace::size(), m::T(), and m::wasm::value.
|
inlineoverride |
Definition at line 133 of file WasmDSL.cpp.
References args, m::wasm::callback_functions, and M_unreachable.
|
inlineoverride |
Definition at line 139 of file WasmDSL.cpp.
References M_unreachable.
| uint8_t uint16_t uint32_t uint64_t MockInterface::DECLARE_LOAD | ( | 128 | , |
| std::array< M_COMMA(uint8_t) 16 > | |||
| ) |
| uint8_t MockInterface::DECLARE_LOAD | ( | 16s | , |
| int16_t | |||
| ) |
| uint8_t uint16_t MockInterface::DECLARE_LOAD | ( | 32s | , |
| int32_t | |||
| ) |
| uint8_t uint16_t uint32_t MockInterface::DECLARE_LOAD | ( | 64s | , |
| int64_t | |||
| ) |
| MockInterface::DECLARE_LOAD | ( | 8s | , |
| int8_t | |||
| ) |
| uint8_t uint16_t uint32_t uint64_t int8_t MockInterface::DECLARE_STORE | ( | 16 | , |
| int16_t | |||
| ) |
| uint8_t uint16_t uint32_t uint64_t int8_t int32_t MockInterface::DECLARE_STORE | ( | 64 | , |
| int64_t | |||
| ) |
|
inlineoverride |
Definition at line 145 of file WasmDSL.cpp.
References M_unreachable.
|
inlineoverride |
Definition at line 146 of file WasmDSL.cpp.
References M_unreachable.
|
inlineoverride |
Definition at line 152 of file WasmDSL.cpp.
References M_unreachable.
|
inlineoverride |
Definition at line 129 of file WasmDSL.cpp.
References M_insist.
|
inlineoverride |
Definition at line 150 of file WasmDSL.cpp.
References M_unreachable.
|
inlineoverride |
Definition at line 153 of file WasmDSL.cpp.
References M_unreachable.
|
inlineoverride |
Definition at line 151 of file WasmDSL.cpp.
References M_unreachable.
|
private |
the given imports
Definition at line 122 of file WasmDSL.cpp.
|
private |
the underlying virtual address space used
Definition at line 120 of file WasmDSL.cpp.