v2.mir #

fn lower_from_ssa(ssa_mod &ssa.Module) Module

enum AbiArgClass {
	in_reg
	indirect
}

enum ValueKind {
	unknown
	constant
	argument
	global
	instruction
	basic_block
	string_literal
	func_ref
}

struct BasicBlock {
pub:
	id     int
	val_id int
	name   string
	parent int
pub mut:
	instrs []ssa.ValueID
	preds  []ssa.BlockID
	succs  []ssa.BlockID
}

struct Function {
pub:
	id        int
	name      string
	typ       ssa.TypeID
	linkage   ssa.Linkage
	call_conv ssa.CallConv
pub mut:
	blocks           []ssa.BlockID
	params           []ssa.ValueID
	abi_ret_indirect bool
	abi_param_class  []AbiArgClass
}

struct Instruction {
pub mut:
	op               ssa.OpCode
	operands         []ssa.ValueID
	selected_op      string
	abi_ret_indirect bool
	abi_arg_class    []AbiArgClass
pub:
	typ       ssa.TypeID
	block     int
	src_index int
}

struct Module {
pub:
	name    string
	target  ssa.TargetData
	ssa_mod &ssa.Module        = unsafe { nil }
	env     &types.Environment = unsafe { nil }
pub mut:
	type_store ssa.TypeStore
	values     []Value
	instrs     []Instruction
	blocks     []BasicBlock
	funcs      []Function
	globals    []ssa.GlobalVar
}

fn (m &Module) ssa() &ssa.Module

fn (m &Module) type_size(typ_id ssa.TypeID) int

struct Value {
pub:
	id    int
	typ   ssa.TypeID
	index int
pub mut:
	kind ValueKind
	name string
	uses []ssa.ValueID
}