![]() |
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.