Analyses

IR verification

LLVM.verify — Function

verify(mod::Module)
verify(f::Function)

Verify the module or function mod or f. If verification fails, an exception is thrown.

DomTree

Dominator tree for a function.

LLVM.dispose — Method

dispose(::DomTree)

Dispose of a dominator tree.

PostDomTree

Post-dominator tree for a function.

LLVM.dispose — Method

dispose(tree::PostDomTree)

Dispose of a post-dominator tree.

LLVM.dominates — Function

dominates(tree::DomTree, A::Instruction, B::Instruction)
dominates(tree::PostDomTree, A::Instruction, B::Instruction)

Check if instruction A dominates instruction B in the dominator tree tree.