![]() |
mutable
A Database System for Research and Fast Prototyping
|
Stores the "branch targets" introduced by control flow structures, i.e. More...
#include <WasmDSL.hpp>
Public Member Functions | |
branch_target_t (::wasm::Name brk, ::wasm::Name continu, ::wasm::Expression *condition) | |
Data Fields | |
::wasm::Name | brk |
| |
::wasm::Name | continu |
| |
::wasm::Expression * | condition = nullptr |
| |
Stores the "branch targets" introduced by control flow structures, i.e.
loops.
The "break" target identifies the parent ::wasm::Block
of the loop to break out of. The "continue" target identifies the ::wasm::Loop
to reiterate.
Definition at line 388 of file WasmDSL.hpp.
|
inline |
Definition at line 397 of file WasmDSL.hpp.
::wasm::Name m::wasm::branch_target_t::brk |
the break target
Definition at line 391 of file WasmDSL.hpp.
::wasm::Expression* m::wasm::branch_target_t::condition = nullptr |
the continue condition (may be
nullptr
if there is no condition)
Definition at line 395 of file WasmDSL.hpp.
::wasm::Name m::wasm::branch_target_t::continu |
the continue target
Definition at line 393 of file WasmDSL.hpp.