wax

type Block struct {
	Entry *Expression
	Else  *Expression
	End   *Expression

	Label          int
	StackHeight    int
	BranchTarget   bool
	Unreachable    bool
	NeverReachable bool

	Ins  []wasm.ValueType
	Outs []wasm.ValueType

	InTemp  int
	OutTemp int
}

type Def struct {
	*Expression

	Block *Block

	BranchTargets []*Block
	Types         []wasm.ValueType
	Temp          int
}

type Expression struct {
	Function *Function

	IP    int
	Instr code.Instruction
	Uses  Uses
	Flags Flags
	// contains filtered or unexported fields
}

type Flags int32

type Formatter interface {
	FormatExpression(f fmt.State, verb rune, x *Expression)
	FormatUse(f fmt.State, verb rune, u *Use)
	FormatUses(f fmt.State, verb rune, us Uses)
	FormatDef(f fmt.State, verb rune, d *Def)
}

type Function struct {
	Formatter Formatter

	Signature wasm.FunctionSig

	Locals     []wasm.ValueType
	UsedLocals []bool
	Stack      []*Use
	Temps      int

	Blocks []*Block
	Labels int

	Body []*Def
	// contains filtered or unexported fields
}

type FunctionScope struct {
	code.Scope
	// contains filtered or unexported fields
}

type Use struct {
	Function *Function

	Type     wasm.ValueType
	AllFlags Flags
	Locals   bitset.BitSet

	Temp int
	X    *Expression
}

type Uses []*Use