analysis

Documentation

Index

• Constants
• type Edge
• type LoopAnalysis
  • func NewLoopAnalysis(fn *ssa.Function) *LoopAnalysis
• type PostDominator
  • func NewPostDominator(fn *ssa.Function) *PostDominator
  • func (pd *PostDominator) Dominate(b1 *ssa.BasicBlock, b2 *ssa.BasicBlock) bool
  • func (pd *PostDominator) Print()

Constants

const Unmarked, InProgress, Done, Visited = 0, 1, 2, 3

Types

type Edge

type Edge struct {
	Pred *ssa.BasicBlock
	Succ *ssa.BasicBlock
}

type LoopAnalysis

type LoopAnalysis struct {
	FN                 *ssa.Function
	VecBackedge        []*Edge
	MapLoopHead2BodyBB map[*ssa.BasicBlock][]*ssa.BasicBlock
	MapBodyBb2LoopHead map[*ssa.BasicBlock][]*ssa.BasicBlock
}

func NewLoopAnalysis

func NewLoopAnalysis(fn *ssa.Function) *LoopAnalysis

type PostDominator

type PostDominator struct {
	FN *ssa.Function
	// contains filtered or unexported fields
}

func NewPostDominator

func NewPostDominator(fn *ssa.Function) *PostDominator

func (*PostDominator) Dominate

func (pd *PostDominator) Dominate(b1 *ssa.BasicBlock, b2 *ssa.BasicBlock) bool

func (*PostDominator) Print

func (pd *PostDominator) Print()