#include <wasm_sysio_validation.hpp>
Definition at line 325 of file wasm_sysio_validation.hpp.
◆ wasm_binary_validation()
Definition at line 333 of file wasm_sysio_validation.hpp.
333 : _module( &mod ) {
334
336 }
bool is_producing_block() const
static void init(bool disable)
◆ validate()
void sysio::chain::wasm_validations::wasm_binary_validation::validate |
( |
| ) |
|
|
inline |
Definition at line 338 of file wasm_sysio_validation.hpp.
338 {
339 _module_validators.
validate( *_module );
340 for (
auto& fd : _module->
functions.defs ) {
341 wasm_ops::SYSIO_OperatorDecoderStream<op_constrainers> decoder(fd.code);
342 while ( decoder ) {
343 wasm_ops::instruction_stream new_code(0);
344 auto op = decoder.decodeOp();
345 op->visit( { _module, &new_code, &fd, decoder.index() } );
346 }
347 }
348 }
IndexSpace< FunctionDef, IndexedFunctionType > functions
static void validate(const IR::Module &m)
The documentation for this class was generated from the following file: