analysis

package
v0.0.0-...-f39ad0c Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Jun 23, 2023 License: GPL-2.0 Imports: 2 Imported by: 6

Documentation

Index

Constants

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

Variables

This section is empty.

Functions

This section is empty.

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()

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL