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