[−][src]Crate llvm_ir_analysis

This crate provides various analyses of LLVM IR, such as control-flow graphs, dominator trees, control dependence graphs, etc.

For a more thorough introduction to the crate and how to get started, see the crate's README.

Structs

Analysis

Computes (and caches the results of) various analyses on a given Module

CallGraph

The call graph for the Module: which functions may call which other functions.

ControlDependenceGraph

The control dependence graph for a particular function. https://en.wikipedia.org/wiki/Data_dependency#Control_Dependency

ControlFlowGraph

The control flow graph for a particular function.

DominatorTree

The dominator tree for a particular function.

FunctionsByType

Allows you to iterate over all the functions in the Module with a specified type.

PostDominatorTree

The postdominator tree for a particular function.

Enums

CFGNode

A CFGNode represents a basic block, or the special node Return