sway_ir

Module verify

Source
Expand description

Code to validate the IR in a Context.

During creation, deserialization and optimization the IR should be verified to be in a consistent valid state, using the functions in this module.

Structs§

ModuleVerifierResult

Constants§

MODULE_VERIFIER_NAME

Functions§

create_module_verifier_pass
module_verifier
Verify module