loop

package
v3.1.5 Latest Latest
Warning

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

 Go to latest Published: Jan 31, 2026 License: MIT Imports: 7 Imported by: 0

Documentation

Index

Constants

View Source 
const MaxSCEVDepth = 100

Variables

This section is empty.

Functions

func AnalyzeSCEV 

func AnalyzeSCEV(info *LoopInfo)

func CountLoops 

func CountLoops(loops []*Loop) int

Types

type IVType 

type IVType int
const (
	IVTypeUnknown IVType = iota
	IVTypeBasic
	IVTypeDerived
	IVTypeGeometric
	IVTypePolynomial
)

type InductionVariable 

type InductionVariable struct {
	Phi   *ssa.Phi
	Type  IVType
	Start SCEV
	Step  SCEV
}

type Loop 

type Loop struct {
	Header     *ssa.BasicBlock
	Latch      *ssa.BasicBlock
	Blocks     map[*ssa.BasicBlock]bool
	Exits      []*ssa.BasicBlock
	Parent     *Loop
	Children   []*Loop
	Inductions map[*ssa.Phi]*InductionVariable
	TripCount  SCEV
	SCEVCache  map[ssa.Value]SCEV
}

func (*Loop) String 

func (l *Loop) String() string

type LoopInfo 

type LoopInfo struct {
	Function *ssa.Function
	Loops    []*Loop
	LoopMap  map[*ssa.BasicBlock]*Loop
}

func DetectLoops 

func DetectLoops(fn *ssa.Function) *LoopInfo

type Renamer 

type Renamer func(ssa.Value) string

type SCEV 

type SCEV interface {
	ssa.Value
	EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int
	IsLoopInvariant(loop *Loop) bool
	String() string
	StringWithRenamer(r Renamer) string
}

func SCEVFromConst 

func SCEVFromConst(c *ssa.Const) SCEV

func ToSCEV 

func ToSCEV(v ssa.Value, loop *Loop) SCEV

type SCEVAddRec 

type SCEVAddRec struct {
	Start SCEV
	Step  SCEV
	Loop  *Loop
}

func (*SCEVAddRec) EvaluateAt 

func (s *SCEVAddRec) EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int

func (*SCEVAddRec) IsLoopInvariant 

func (s *SCEVAddRec) IsLoopInvariant(loop *Loop) bool

func (*SCEVAddRec) Name 

func (s *SCEVAddRec) Name() string

func (*SCEVAddRec) Parent 

func (s *SCEVAddRec) Parent() *ssa.Function

func (*SCEVAddRec) Pos 

func (s *SCEVAddRec) Pos() token.Pos

func (*SCEVAddRec) Referrers 

func (s *SCEVAddRec) Referrers() *[]ssa.Instruction

func (*SCEVAddRec) String 

func (s *SCEVAddRec) String() string

func (*SCEVAddRec) StringWithRenamer 

func (s *SCEVAddRec) StringWithRenamer(r Renamer) string

func (*SCEVAddRec) Type 

func (s *SCEVAddRec) Type() types.Type

type SCEVConstant 

type SCEVConstant struct{ Value *big.Int }

func (*SCEVConstant) EvaluateAt 

func (s *SCEVConstant) EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int

func (*SCEVConstant) IsLoopInvariant 

func (s *SCEVConstant) IsLoopInvariant(loop *Loop) bool

func (*SCEVConstant) Name 

func (s *SCEVConstant) Name() string

func (*SCEVConstant) Parent 

func (s *SCEVConstant) Parent() *ssa.Function

func (*SCEVConstant) Pos 

func (s *SCEVConstant) Pos() token.Pos

func (*SCEVConstant) Referrers 

func (s *SCEVConstant) Referrers() *[]ssa.Instruction

func (*SCEVConstant) String 

func (s *SCEVConstant) String() string

func (*SCEVConstant) StringWithRenamer 

func (s *SCEVConstant) StringWithRenamer(r Renamer) string

func (*SCEVConstant) Type 

func (s *SCEVConstant) Type() types.Type

type SCEVGenericExpr 

type SCEVGenericExpr struct {
	Op token.Token
	X  SCEV
	Y  SCEV
}

func (*SCEVGenericExpr) EvaluateAt 

func (s *SCEVGenericExpr) EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int

func (*SCEVGenericExpr) IsLoopInvariant 

func (s *SCEVGenericExpr) IsLoopInvariant(loop *Loop) bool

func (*SCEVGenericExpr) Name 

func (s *SCEVGenericExpr) Name() string

func (*SCEVGenericExpr) Parent 

func (s *SCEVGenericExpr) Parent() *ssa.Function

func (*SCEVGenericExpr) Pos 

func (s *SCEVGenericExpr) Pos() token.Pos

func (*SCEVGenericExpr) Referrers 

func (s *SCEVGenericExpr) Referrers() *[]ssa.Instruction

func (*SCEVGenericExpr) String 

func (s *SCEVGenericExpr) String() string

func (*SCEVGenericExpr) StringWithRenamer 

func (s *SCEVGenericExpr) StringWithRenamer(r Renamer) string

func (*SCEVGenericExpr) Type 

func (s *SCEVGenericExpr) Type() types.Type

type SCEVMax 

type SCEVMax struct {
	X SCEV
	Y SCEV
}

func (*SCEVMax) EvaluateAt 

func (s *SCEVMax) EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int

func (*SCEVMax) IsLoopInvariant 

func (s *SCEVMax) IsLoopInvariant(loop *Loop) bool

func (*SCEVMax) Name 

func (s *SCEVMax) Name() string

func (*SCEVMax) Parent 

func (s *SCEVMax) Parent() *ssa.Function

func (*SCEVMax) Pos 

func (s *SCEVMax) Pos() token.Pos

func (*SCEVMax) Referrers 

func (s *SCEVMax) Referrers() *[]ssa.Instruction

func (*SCEVMax) String 

func (s *SCEVMax) String() string

func (*SCEVMax) StringWithRenamer 

func (s *SCEVMax) StringWithRenamer(r Renamer) string

func (*SCEVMax) Type 

func (s *SCEVMax) Type() types.Type

type SCEVUnknown 

type SCEVUnknown struct {
	Value       ssa.Value
	IsInvariant bool
}

func (*SCEVUnknown) EvaluateAt 

func (s *SCEVUnknown) EvaluateAt(k *big.Int, cache map[SCEV]*big.Int) *big.Int

func (*SCEVUnknown) IsLoopInvariant 

func (s *SCEVUnknown) IsLoopInvariant(loop *Loop) bool

func (*SCEVUnknown) Name 

func (s *SCEVUnknown) Name() string

func (*SCEVUnknown) Parent 

func (s *SCEVUnknown) Parent() *ssa.Function

func (*SCEVUnknown) Pos 

func (s *SCEVUnknown) Pos() token.Pos

func (*SCEVUnknown) Referrers 

func (s *SCEVUnknown) Referrers() *[]ssa.Instruction

func (*SCEVUnknown) String 

func (s *SCEVUnknown) String() string

func (*SCEVUnknown) StringWithRenamer 

func (s *SCEVUnknown) StringWithRenamer(r Renamer) string

func (*SCEVUnknown) Type 

func (s *SCEVUnknown) Type() types.Type

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.