gen

type BranchTable struct {
	RODataAddr      int32
	Targets         []*BranchTarget
	CodeStackOffset int32 // -1 indicates common offset
}

type BranchTarget struct {
	Label       link.L
	StackOffset int32
	ValueType   abi.Type
	FuncEnd     bool
}

type Func struct {
	*module.M
	*Prog

	Regs regalloc.Allocator

	ResultType abi.Type

	Vars           []VarState
	NumStackParams int32
	NumInitedVars  int32

	StackOffset    int32
	MaxStackOffset int32
	StackCheckAddr int32

	Operands              []val.Operand
	MinBlockOperand       int
	NumStableOperands     int
	NumPersistentOperands int

	BranchTargets []*BranchTarget
	BranchTables  []BranchTable

	TrapTrampolines [trap.NumTraps]TrapTrampoline
}

type Prog struct {
	FuncLinks []link.FuncL
	TrapLinks [trap.NumTraps]link.L
}

type TrapTrampoline struct {
	StackOffset int32
	Link        link.L
}

type VarState struct {
	Cache       val.Operand
	RefCount    int
	Dirty       bool
	BoundsStack []val.Bounds
}