gen

Documentation

Index

• Constants
• type Block
• type BranchTable
• type BranchTarget
• type Func
  • func (f *Func) LocalOffset(index int) int32
  • func (f *Func) MapCallAddr(retAddr int32)
  • func (f *Func) StackValueConsumed()
  • func (f *Func) ValueBecameUnreachable(x operand.O)
• type Prog

Constants

const (
	VectorOffsetTrapHandler     = -2 * obj.Word
	VectorOffsetGrowMemoryLimit = -1 * obj.Word
)

Types

type Block

type Block struct {
	Suspension bool
}

type BranchTable

type BranchTable struct {
	Addr       int32
	Targets    []*BranchTarget
	StackDepth int // -1 indicates common depth among all targets
}

type BranchTarget

type BranchTarget struct {
	Label      link.L
	StackDepth int
	ValueType  wa.Type
	FuncEnd    bool

	Block Block
}

type Func

type Func struct {
	Prog // initialized by GenProgram, preserved by GenFunction

	Regs regalloc.Allocator

	ResultType wa.Type
	LocalTypes []wa.Type
	NumParams  int
	NumLocals  int // The non-param ones

	Operands          []operand.O
	FrameBase         int // Number of (stack) operands belonging on to parent blocks
	NumStableOperands int
	StackDepth        int // The dynamic entries after locals
	MaxStackDepth     int

	BranchTargets []*BranchTarget
	BranchTables  []BranchTable
}

func (*Func) LocalOffset

func (f *Func) LocalOffset(index int) int32

func (*Func) MapCallAddr

func (f *Func) MapCallAddr(retAddr int32)

func (*Func) StackValueConsumed

func (f *Func) StackValueConsumed()

StackValueConsumed updates the virtual stack pointer on behalf of MacroAssembler when it changes the physical stack pointer.

func (*Func) ValueBecameUnreachable

func (f *Func) ValueBecameUnreachable(x operand.O)

ValueBecameUnreachable keeps the state consistent when an operand will not be operated on (because it was popped on an unreachable code path).

type Prog

type Prog struct {
	Module    *module.M
	Text      code.Buf
	Map       obj.ObjectMapper
	FuncLinks []link.FuncL
	TrapLinks [trap.NumTraps]link.L
}