gen

type Block struct {
	Suspension bool
}

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

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

	Block Block
}

type Breakpoint struct {
	Set bool // Set by the compiler if it implemented the breakpoint.
}

type Debugger struct {
	// Breakpoints are WebAssembly code offsets.  They can be obtained from
	// DWARF debug info.
	Breakpoints map[uint32]Breakpoint

	CodeOffset int64
}

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
	NumExtra   int // Library function's duplicated arguments etc.

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

	BranchTargets []*BranchTarget
	BranchTables  []BranchTable

	AtomicCallStubs bool
}

type Prog struct {
	Module                  *module.M
	Text                    code.Buf
	Map                     obj.ObjectMapper
	FuncLinks               []link.FuncL
	TrapLinks               [trap.NumTraps]link.L
	TrapLinkRewindSuspended [program.NumTrapLinkRewindSuspended]link.L
	TrapLinkTruncOverflow   [program.NumTrapLinkTruncOverflow]link.L
	LastCallAddr            int32 // Needed only by arm64 backend.

	ImportContext *module.Library // Set during import function generation.

	DebugMap obj.DebugObjectMapper
	Debugger Debugger
}