compiler

type BasicBlock struct {
	Code       []Instr   // Block instruction
	JmpKind    TyJmpKind // Block jmp (if any)
	JmpTargets []int     // Block jmp target (if any)

	JmpCond    TyValueID // Block jmp condition (if any)
	YieldValue TyValueID // Block yield value
}

type CFGraph struct {
	Blocks []BasicBlock // Blocks
}

type FixupInfo struct {
	CodePos  int // Bytecode position
	TablePos int // Table position
}

type GasPolicy interface {
	GetCost(key string) int64 // Get gas cost
}

type Instr struct {
	Target TyValueID // the value id we are assigning to

	Op         string      // Operation
	Immediates []int64     // Immediate values
	Values     []TyValueID // Value
}

type InterpreterCode struct {
	NumRegs    int // Reg count
	NumParams  int // Param count
	NumLocals  int // Local vars count
	NumReturns int // Returns count

	Bytes   []byte      // Byte val
	JITInfo interface{} // Just-in-time meta
	JITDone bool        // Finished just-in-time compilation
}

type Location struct {
	CodePos         int         // Pos
	StackDepth      int         // Stack depth
	BrHead          bool        // true for loops
	PreserveTop     bool        // Should preserve
	LoopPreserveTop bool        // Loop preserve
	FixupList       []FixupInfo // Fixups

	IfBlock bool // No clue
}

type Module struct {
	Base                 *wasm.Module   `json:"-"` // Base parsed module
	FunctionNames        map[int]string // Module functions
	DisableFloatingPoint bool           // Config to disable float ops
	Identifier           []byte         `json:"ID"` // Unique module identifier
}

type SSAFunctionCompiler struct {
	Module *wasm.Module        // Wasm module
	Source *disasm.Disassembly // Wasm source

	Code      []Instr     // Instruction set
	Stack     []TyValueID // Stack
	Locations []*Location // Locations

	CallIndexOffset int // Call index offset

	StackValueSets map[int][]TyValueID    // Stack values
	UsedValueIDs   map[TyValueID]struct{} // Value IDs

	ValueID TyValueID // ValueID
}

type SimpleGasPolicy struct {
	GasPerInstruction int64 // Gas per instruction
}

type TyJmpKind uint8

type TyValueID uint64