Module verify 

Graph verification passes.

Structs

VerifyError

Verification error with location info.

Functions

verify

Run all verification passes on a graph. Returns Ok(()) if valid, or a list of all errors found.

verify_no_cycles 🔒

Check that the operation list is acyclic (topological order). Since we enforce operand-before-use in verify_operand_defs, this is automatically satisfied if that check passes. This function is a belt-and-suspenders DFS cycle check.

verify_operand_defs 🔒

Check that every operand references a value defined by an earlier op.

verify_ssa 🔒

Check that every ValueId is defined exactly once.