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.
Dominator and post-dominator
LLVM.DomTree — Type
DomTreeDominator tree for a function.
LLVM.dispose — Method
dispose(::DomTree)Dispose of a dominator tree.
LLVM.PostDomTree — Type
PostDomTreePost-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.