Milky2018/machv/abi - mooncakes.io

README
U
Block
U
CallClobberClass
U
CallType
U
CmpKind
U
CodeSymbol
U
Cond
U
ExtendKind
U
ExternalName
U
FCmpKind
U
FloatToIntKind
U
IndexExtend
U
Inst
U
IntToFloatKind
U
LaneSize
U
MemType
U
Opcode
U
OperandConstraint
U
PReg
U
Reg
U
RegClass
U
RelocTarget
U
SIMDCmpKind
U
SIMDFCmpKind
U
ShiftType
U
Terminator
U
VReg
U
Writable
- ::FunctionFunction::Function
- ::add_paramFunction::add_param
- ::add_param_pregFunction::add_param_preg
- ::add_resultFunction::add_result
- ::add_result_kindFunction::add_result_kind
- ::blocksFunction::blocks
- ::calls_multi_value_function_for_call_convFunction::calls_multi_value_function_for_call_conv
- ::clone_baseFunction::clone_base
- ::get_blocksFunction::get_blocks
- ::get_max_outgoing_args_sizeFunction::get_max_outgoing_args_size
- ::get_nameFunction::get_name
- ::get_num_spill_slotsFunction::get_num_spill_slots
- ::get_param_pregsFunction::get_param_pregs
- ::get_paramsFunction::get_params
- ::get_result_kindsFunction::get_result_kinds
- ::has_callsFunction::has_calls
- ::mark_uses_context_cache_0_sourceFunction::mark_uses_context_cache_0_source
- ::needs_extra_results_ptr_for_call_convFunction::needs_extra_results_ptr_for_call_conv
- ::new_blockFunction::new_block
- ::new_vregFunction::new_vreg
- ::paramsFunction::params
- ::printFunction::print
- ::push_paramFunction::push_param
- ::set_int_stack_paramsFunction::set_int_stack_params
- ::set_num_spill_slotsFunction::set_num_spill_slots
- ::should_reserve_context_cache_0Function::should_reserve_context_cache_0
- ::should_reserve_context_cache_1Function::should_reserve_context_cache_1
- ::update_max_outgoing_args_sizeFunction::update_max_outgoing_args_size
- ::uses_context_cache_0_sourceFunction::uses_context_cache_0_source
- ::uses_context_cache_1Function::uses_context_cache_1
- ::FunctionBuilderFunctionBuilder::FunctionBuilder
- ::add_paramFunctionBuilder::add_param
- ::add_resultFunctionBuilder::add_result
- ::appendFunctionBuilder::append
- ::create_blockFunctionBuilder::create_block
- ::finishFunctionBuilder::finish
- ::new_vregFunctionBuilder::new_vreg
- ::switch_to_blockFunctionBuilder::switch_to_block
- ::terminateFunctionBuilder::terminate
T
ValueKind

Milky2018/machv/abi does not have a README file

AbiReturnArea

pub(all) struct AbiReturnArea {
  size : Int
  align : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

AbiValueLocation

source

pub(all) enum AbiValueLocation {
  Reg(PReg)
  Stack(offset~ : Int, size~ : Int, align~ : Int)
  ReturnArea(offset~ : Int, size~ : Int, align~ : Int)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

CallConventionLayout

source

pub(all) struct CallConventionLayout {
  context_arg : PReg
  user_arg_gprs : Array[PReg]
  arg_fprs : Array[PReg]
  ret_gprs : Array[PReg]
  ret_fprs : Array[PReg]
}

Machine-level calling-convention layout chosen by an embedding or frontend.

MachV treats this as data: target packages expose machine facts, while an embedding chooses which registers implement its internal ABI.

CallConventionLayout::float_result_register_count

source

fn CallConventionLayout::float_result_register_count(self : CallConventionLayout) -> Int

CallConventionLayout::int_result_register_count

source

fn CallConventionLayout::int_result_register_count(self : CallConventionLayout) -> Int

CallConventionLayout::layout_overflow_stack

source

fn CallConventionLayout::layout_overflow_stack(self : CallConventionLayout, int_overflow_count : Int, float_overflow_classes : Array[RegClass]) -> (Array[Int], Array[Int], Int)

Compute overflow argument stack layout for this convention.

Layout: [int_overflow...][float_overflow...] with V128 aligned to 16. Returned offsets are relative to the start of the overflow area.

CallConventionLayout::requires_extra_results_ptr_for_result_counts

source

fn CallConventionLayout::requires_extra_results_ptr_for_result_counts(self : CallConventionLayout, int_count : Int, float_count : Int) -> Bool

CallConventionLayout::stack_slot_align

source

fn CallConventionLayout::stack_slot_align(self : CallConventionLayout, class : RegClass) -> Int

Stack slot alignment (bytes) for overflow arguments in this convention.

CallConventionLayout::stack_slot_size

source

fn CallConventionLayout::stack_slot_size(self : CallConventionLayout, class : RegClass) -> Int

Stack slot size (bytes) for overflow arguments in this convention.

ContextSlot

source

pub(all) struct ContextSlot {
  id : Int
  offset : Int
  mutability : ContextSlotMutability
  cache_role : ContextSlotCacheRole
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Opaque embedding-context slot metadata.

The id is owned by the embedding adapter. Reusable infrastructure may use offset, mutability, and cache_role facts without interpreting what the slot represents.

ContextSlotCacheRole

source

pub(all) enum ContextSlotCacheRole {
  NoContextCache
  ContextCache0Descriptor
  ContextCache0Source
  ContextCache1
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Optional physical-register cache role for a context-derived pointer.

ContextSlotMutability

source

pub(all) enum ContextSlotMutability {
  Immutable
  Mutable
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Whether a context slot can change while generated code for one function runs.

EmbeddingABI

source

pub(all) struct EmbeddingABI {
  call_conv : CallConventionLayout
  reg_roles : EmbeddingRegRoles
  context_layout : EmbeddingContextLayout?
  reserve_context_role : Bool
}

Complete ABI contract supplied by an embedding runtime.

MachV treats this as data: the embedding owns the concrete runtime layout and calling convention policy, while reusable lowering, allocation, and emission consume this contract without interpreting product-specific names.

EmbeddingABI::EmbeddingABI

source

fn EmbeddingABI::EmbeddingABI(call_conv : CallConventionLayout, reg_roles? : EmbeddingRegRoles, context_layout? : EmbeddingContextLayout?, reserve_context_role? : Bool) -> EmbeddingABI

EmbeddingABI::reserved_int_indices

source

fn EmbeddingABI::reserved_int_indices(self : EmbeddingABI, reserve_context_cache_0? : Bool, reserve_context_cache_1? : Bool, reserve_extra_results_ptr? : Bool) -> Array[Int]

EmbeddingContextLayout

source

pub(all) struct EmbeddingContextLayout {
  slots : Array[ContextSlot]
  active_function_index_slot : Int?
  allocation_cursor_slot : Int?
  allocation_limit_slot : Int?
}

Machine-level offsets for an embedding-provided runtime context.

MachV treats these as opaque offsets from the context base register. The embedding owns the concrete runtime structure and translates its layout into this shape before invoking lowering or emission.

EmbeddingContextLayout::require_active_function_index_offset

source

fn EmbeddingContextLayout::require_active_function_index_offset(self : EmbeddingContextLayout) -> Int

EmbeddingContextLayout::require_allocation_cursor_offset

source

fn EmbeddingContextLayout::require_allocation_cursor_offset(self : EmbeddingContextLayout) -> Int

EmbeddingContextLayout::require_allocation_limit_offset

source

fn EmbeddingContextLayout::require_allocation_limit_offset(self : EmbeddingContextLayout) -> Int

EmbeddingContextLayout::require_cache_role_offset

source

fn EmbeddingContextLayout::require_cache_role_offset(self : EmbeddingContextLayout, role : ContextSlotCacheRole) -> Int

EmbeddingContextLayout::require_slot_offset

source

fn EmbeddingContextLayout::require_slot_offset(self : EmbeddingContextLayout, id : Int) -> Int

EmbeddingContextLayout::slot

source

fn EmbeddingContextLayout::slot(self : EmbeddingContextLayout, id : Int) -> ContextSlot?

EmbeddingContextLayout::slot_offset

source

fn EmbeddingContextLayout::slot_offset(self : EmbeddingContextLayout, id : Int) -> Int?

EmbeddingContextLayout::slot_offset_for_cache_role

source

fn EmbeddingContextLayout::slot_offset_for_cache_role(self : EmbeddingContextLayout, role : ContextSlotCacheRole) -> Int?

EmbeddingRegRoles

source

pub(all) struct EmbeddingRegRoles {
  context : PReg?
  context_cache_0 : PReg?
  context_cache_1 : PReg?
  extra_results_ptr : PReg?
}

Optional physical-register roles supplied by an embedding ABI.

MachV does not assign semantic meaning to these registers. Embeddings use them to describe pinned context pointers, cached context-derived pointers, and an out-of-line result area pointer when their ABI requires such roles.

EmbeddingRegRoles::none

source

fn EmbeddingRegRoles::none() -> EmbeddingRegRoles

EmbeddingRegRoles::reserved_int_indices

source

fn EmbeddingRegRoles::reserved_int_indices(self : EmbeddingRegRoles, reserve_context? : Bool, reserve_context_cache_0? : Bool, reserve_context_cache_1? : Bool, reserve_extra_results_ptr? : Bool) -> Array[Int]

OperandConstraint

source

pub(all) enum OperandConstraint {
  Any
  FixedReg(PReg)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Operand constraint for register allocation Fixed register constraint handling

impl Show for OperandConstraint

PReg

source

pub(all) struct PReg {
  index : Int
  class : RegClass
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Physical register - a real machine register

impl Show for PReg

Reg

source

pub(all) enum Reg {
  Virtual(VReg)
  Physical(PReg)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A register reference - either virtual or physical

impl Show for Reg

RegClass

source

pub(all) enum RegClass {
  Int
  Float32
  Float64
  Vector
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for RegClass

VReg

source

pub(all) struct VReg {
  id : Int
  class : RegClass
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Virtual register - an abstract register before register allocation

impl Show for VReg

Writable

source

pub(all) struct Writable {
  reg : Reg
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A writable register reference (for instruction destinations)

impl Show for Writable

abi_location_stack_align

source

fn abi_location_stack_align(location : AbiValueLocation) -> Int

abi_location_stack_size

source

fn abi_location_stack_size(location : AbiValueLocation) -> Int

align_up

source

fn align_up(value : Int, align : Int) -> Int

Align value up to the next multiple of align (which must be a power of two).

Source Files

Site source Report issue Packages Build queue Skills Statistics

#AbiReturnArea

#AbiValueLocation

#CallConventionLayout

#CallConventionLayout::float_result_register_count

#CallConventionLayout::int_result_register_count

#CallConventionLayout::layout_overflow_stack

#CallConventionLayout::requires_extra_results_ptr_for_result_counts

#CallConventionLayout::stack_slot_align

#CallConventionLayout::stack_slot_size

#ContextSlot

#ContextSlotCacheRole

#ContextSlotMutability

#EmbeddingABI

#EmbeddingABI::EmbeddingABI

#EmbeddingABI::reserved_int_indices

#EmbeddingContextLayout

#EmbeddingContextLayout::require_active_function_index_offset

#EmbeddingContextLayout::require_allocation_cursor_offset

#EmbeddingContextLayout::require_allocation_limit_offset

#EmbeddingContextLayout::require_cache_role_offset

#EmbeddingContextLayout::require_slot_offset

#EmbeddingContextLayout::slot

#EmbeddingContextLayout::slot_offset

#EmbeddingContextLayout::slot_offset_for_cache_role

#EmbeddingRegRoles

#EmbeddingRegRoles::none

#EmbeddingRegRoles::reserved_int_indices

#OperandConstraint

#PReg

#Reg

#RegClass

#VReg

#Writable

#abi_location_stack_align

#abi_location_stack_size

#align_up

Source Files

AbiReturnArea

AbiValueLocation

CallConventionLayout

CallConventionLayout::float_result_register_count

CallConventionLayout::int_result_register_count

CallConventionLayout::layout_overflow_stack

CallConventionLayout::requires_extra_results_ptr_for_result_counts

CallConventionLayout::stack_slot_align

CallConventionLayout::stack_slot_size

ContextSlot

ContextSlotCacheRole

ContextSlotMutability

EmbeddingABI

EmbeddingABI::EmbeddingABI

EmbeddingABI::reserved_int_indices

EmbeddingContextLayout

EmbeddingContextLayout::require_active_function_index_offset

EmbeddingContextLayout::require_allocation_cursor_offset

EmbeddingContextLayout::require_allocation_limit_offset

EmbeddingContextLayout::require_cache_role_offset

EmbeddingContextLayout::require_slot_offset

EmbeddingContextLayout::slot

EmbeddingContextLayout::slot_offset

EmbeddingContextLayout::slot_offset_for_cache_role

EmbeddingRegRoles

EmbeddingRegRoles::none

EmbeddingRegRoles::reserved_int_indices

OperandConstraint

PReg

Reg

RegClass

VReg

Writable

abi_location_stack_align

abi_location_stack_size

align_up