mooncakes.io

code_object
→
vcode
→
README
E
MachVVerifyError
T
AccessWidth
T
AtomicRmwOp
T
AtomicSpec
- ::newAtomicSpec::new
T
Block
T
CallBehavior
- ::conservativeCallBehavior::conservative
- ::newCallBehavior::new
- ::semanticsCallBehavior::semantics
T
CallProtocol
T
Callee
T
CleanupStats
T
CodeSymbol
- ::newCodeSymbol::new
T
ConversionMode
T
ConversionOp
T
DataSymbol
- ::newDataSymbol::new
T
Edge
T
Endianness
T
EnvironmentField
- ::newEnvironmentField::new
T
EnvironmentFieldStability
T
EnvironmentFieldUseGroup
T
EnvironmentFieldUseRegion
T
ExternalSymbol
- ::newExternalSymbol::new
T
FloatBinaryOp
T
FloatComparison
T
FloatTernaryOp
T
FloatType
T
FloatUnaryOp
T
Function
- ::block_countFunction::block_count
- ::block_indexFunction::block_index
- ::block_instructionsFunction::block_instructions
- ::block_parametersFunction::block_parameters
- ::block_terminatorFunction::block_terminator
- ::blocksFunction::blocks
- ::blocks_in_cfg_orderFunction::blocks_in_cfg_order
- ::environment_field_use_groupsFunction::environment_field_use_groups
- ::instruction_countFunction::instruction_count
- ::instruction_indexFunction::instruction_index
- ::instruction_metadataFunction::instruction_metadata
- ::instruction_operandsFunction::instruction_operands
- ::instruction_operationFunction::instruction_operation
- ::instruction_resultsFunction::instruction_results
- ::nameFunction::name
- ::parametersFunction::parameters
- ::printFunction::print
- ::protocolFunction::protocol
- ::run_mandatory_cleanupFunction::run_mandatory_cleanup
- ::signatureFunction::signature
- ::stack_object_alignmentFunction::stack_object_alignment
- ::stack_object_sizeFunction::stack_object_size
- ::stack_objectsFunction::stack_objects
- ::value_countFunction::value_count
- ::value_indexFunction::value_index
- ::value_typeFunction::value_type
- ::verifyFunction::verify
T
FunctionBuilder
- ::block_parametersFunctionBuilder::block_parameters
- ::branchFunctionBuilder::branch
- ::create_blockFunctionBuilder::create_block
- ::create_stack_objectFunctionBuilder::create_stack_object
- ::current_blockFunctionBuilder::current_block
- ::emitFunctionBuilder::emit
- ::emit_with_metadataFunctionBuilder::emit_with_metadata
- ::entry_blockFunctionBuilder::entry_block
- ::finishFunctionBuilder::finish
- ::jumpFunctionBuilder::jump
- ::newFunctionBuilder::new
- ::noreturn_callFunctionBuilder::noreturn_call
- ::noreturn_call_with_metadataFunctionBuilder::noreturn_call_with_metadata
- ::parametersFunctionBuilder::parameters
- ::return_FunctionBuilder::return_
- ::set_terminator_sourceFunctionBuilder::set_terminator_source
- ::switchFunctionBuilder::switch
- ::switch_to_blockFunctionBuilder::switch_to_block
- ::tail_callFunctionBuilder::tail_call
- ::tail_call_with_metadataFunctionBuilder::tail_call_with_metadata
- ::trapFunctionBuilder::trap
T
Instruction
T
InstructionMetadata
- ::emptyInstructionMetadata::empty
- ::newInstructionMetadata::new
T
IntBinaryOp
T
IntComparison
T
IntOverflowOp
T
IntUnaryOp
T
IntegerType
T
LoadExtension
T
LoadSpec
- ::newLoadSpec::new
T
MemoryEffect
T
Operation
- ::semanticsOperation::semantics
T
OperationSemantics
- ::must_preserve_if_unusedOperationSemantics::must_preserve_if_unused
- ::pureOperationSemantics::pure
T
ReferenceComparison
T
SafepointKind
T
SemanticCall
- ::newSemanticCall::new
T
Signature
- ::newSignature::new
T
Signedness
T
SourceLocation
- ::newSourceLocation::new
T
StackMapMetadata
- ::newStackMapMetadata::new
T
StackObject
T
StoreSpec
- ::newStoreSpec::new
T
SwitchCase
T
Terminator
T
TerminatorMetadata
- ::emptyTerminatorMetadata::empty
- ::newTerminatorMetadata::new
T
TerminatorRecord
T
TrapReason
T
Value
T
ValueType
T
VectorBitwiseOp
T
VectorConversionOp
T
VectorFloatBinaryOp
T
VectorFloatComparison
T
VectorFloatUnaryOp
T
VectorHalf
T
VectorIntBinaryOp
T
VectorIntComparison
T
VectorIntShiftOp
T
VectorIntUnaryOp
T
VectorLane
T
VectorLoadKind
T
VectorLoadSpec
- ::newVectorLoadSpec::new
T
VectorOp
T
VectorPredicateOp
T
VectorRelaxedOp
T
VectorStoreLaneSpec
- ::newVectorStoreLaneSpec::new

README

Milky2018/machv/vcode does not have a README file

#
SafepointKind

using @Milky2018/machv { type SafepointKind }

#
ValueType

source

using @Milky2018/machv { type ValueType }

Exact target-neutral value types carried by semantic MachV SSA values.

Ptr64 is an untraced address or opaque handle. GcRef64 is a nullable managed reference and must be reported as a root at GC safepoints.

#
AllocationVerifyError

source

pub suberror AllocationVerifyError {
  SelectedFailure(cause~ : VCodeVerifyError)
  SourceMismatch
  MissingValueLocation(value~ : Value)
  ForeignLocation(value~ : Value)
  LocationClassMismatch(value~ : Value)
  MissingOperandLocation(instruction~ : Instruction, operand~ : Int)
  OperandClassMismatch(instruction~ : Instruction, operand~ : Int)
  RegisterConstraintViolation(instruction~ : Instruction, operand~ : Int)
  FixedConstraintViolation(instruction~ : Instruction, operand~ : Int)
  TiedConstraintViolation(instruction~ : Instruction, operand~ : Int)
  Interference(left~ : Value, right~ : Value, location~ : Location)
  ClobberViolation(instruction~ : Instruction, value~ : Value)
  InvalidStackSlotLayout(slot~ : StackSlot)
  InvalidEdit(index~ : Int)
  MissingReload(instruction~ : Instruction, operand~ : Int)
  InvalidEdgeMove(index~ : Int)
  MissingSafepointRoot(instruction~ : Instruction, value~ : Value)
  UnexpectedSafepointRoot(instruction~ : Instruction, value~ : Value)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for AllocationVerifyError

#
CallTransferError

source

pub suberror CallTransferError {
  InvalidSourceClass(index~ : Int)
  ForeignSourceStack(index~ : Int)
  InvalidSourceStackType(index~ : Int, expected~ : @Milky2018/machv.ValueType
ValueType, actual~ : @Milky2018/machv.ValueType
ValueType)
  InvalidSourceStackLayout(index~ : Int)
  InvalidDestinationClass(index~ : Int)
  InvalidStackOffset(index~ : Int, offset~ : Int)
  InvalidOutgoingStackRange(start~ : Int, size~ : Int)
  OutgoingStackDestinationOutOfRange(index~ : Int, offset~ : Int)
  DuplicateRegisterDestination(index~ : Int, register~ : PhysicalReg)
  OverlappingStackDestination(first~ : Int, second~ : Int)
  ProtectedLocationOverwrite(index~ : Int, location~ : Location)
  MoveResolutionFailed(cause~ : MoveResolveError)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
EmissionVerifyError

source

pub suberror EmissionVerifyError {
  FrameFailure(cause~ : FrameVerifyError)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for EmissionVerifyError

#
FrameVerifyError

source

pub suberror FrameVerifyError {
  AllocationFailure(cause~ : AllocationVerifyError)
  SourceMismatch
  InvalidFrameSize(size~ : Int)
  InvalidFrameAlignment(alignment~ : Int)
  MissingStackSlot(slot~ : StackSlot)
  MisalignedStackSlot(slot~ : StackSlot)
  OverlappingStackSlots(left~ : StackSlot, right~ : StackSlot)
  StackSlotOutOfFrame(slot~ : StackSlot)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for FrameVerifyError

#
MoveResolveError

source

pub suberror MoveResolveError {
  MissingScratch(class~ : RegClass)
  InvalidScratch(reg~ : PhysicalReg, expected~ : RegClass)
  NoSafeCycleScratch(class~ : RegClass)
  BrokenCycle
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for MoveResolveError

#
VCodeBuildError

source

pub suberror VCodeBuildError {
  InvalidParameter(index~ : Int)
  InvalidBlockParameter(block~ : Block, index~ : Int)
  ForeignBlock(block~ : Block)
  ForeignValue(value~ : Value)
  InvalidOperandConstraint
  DuplicateTerminator(block~ : Block)
  BlockAlreadyTerminated(block~ : Block)
  InvalidLayout
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for VCodeBuildError

#
VCodeVerifyError

source

pub suberror VCodeVerifyError {
  EmptyFunction
  MissingTerminator(block~ : Block)
  ForeignValue(instruction~ : Instruction, value~ : Value)
  ForeignBlock(instruction~ : Instruction, block~ : Block)
  InvalidEdgeArity(instruction~ : Instruction, block~ : Block)
  EdgeClassMismatch(instruction~ : Instruction, block~ : Block, index~ : Int)
  InvalidTie(instruction~ : Instruction, operand~ : Int, tied_to~ : Int)
  FixedRegisterClassMismatch(instruction~ : Instruction, operand~ : Int)
  InvalidOperandPreference(instruction~ : Instruction, operand~ : Int)
  DuplicateClobber(instruction~ : Instruction, reg~ : PhysicalReg)
  InvalidSafepointRoot(instruction~ : Instruction, value~ : Value)
  InvalidStackMap(instruction~ : Instruction)
  UnreachableBlock(block~ : Block)
  UseBeforeDefinition(instruction~ : Instruction, value~ : Value)
  DefinitionDoesNotDominate(instruction~ : Instruction, value~ : Value)
  InvalidLayout
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for VCodeVerifyError

#
Allocation

source

pub struct Allocation {
  // private fields
}

#
Allocation::add_edit

source

fn Allocation::add_edit(self : Allocation, edit : Edit) -> Bool

#
Allocation::add_safepoint_root

source

fn Allocation::add_safepoint_root(self : Allocation, instruction : Instruction, value : Value, location : Location) -> Bool

#
Allocation::assign_operand

source

fn Allocation::assign_operand(self : Allocation, instruction : Instruction, operand_index : Int, reg : PhysicalReg) -> Bool

#
Allocation::assign_operand_location

source

fn Allocation::assign_operand_location(self : Allocation, instruction : Instruction, operand_index : Int, location : Location) -> Bool

#
Allocation::assign_value

source

fn Allocation::assign_value(self : Allocation, value : Value, location : Location) -> Bool

#
Allocation::create_stack_slot

source

fn Allocation::create_stack_slot(self : Allocation, ty : @Milky2018/machv.ValueType
ValueType, size : Int, alignment : Int) -> StackSlot

#
Allocation::edits

source

fn Allocation::edits(self : Allocation) -> Array[Edit]

#
Allocation::edits_at

source

fn Allocation::edits_at(self : Allocation, instruction : Instruction, placement : PointPlacement) -> ArrayView[Edit]

Returns the allocation edits scheduled at one instruction point.

The returned view is read-only and remains valid while this allocation is not mutated. Target emitters should query this index instead of scanning edits() for every instruction.

#
Allocation::for_function

source

fn[Inst] Allocation::for_function(function : Function[Inst]) -> Allocation

#
Allocation::operand_location

source

fn Allocation::operand_location(self : Allocation, instruction : Instruction, operand_index : Int) -> Location?

#
Allocation::safepoint_roots

source

fn Allocation::safepoint_roots(self : Allocation, instruction : Instruction) -> Array[(Value, Location)]

#
Allocation::source_instruction_count

source

fn Allocation::source_instruction_count(self : Allocation) -> Int

#
Allocation::stack_slot_alignment

source

fn Allocation::stack_slot_alignment(self : Allocation, slot : StackSlot) -> Int?

#
Allocation::stack_slot_at

source

fn Allocation::stack_slot_at(self : Allocation, index : Int) -> StackSlot?

#
Allocation::stack_slot_count

source

fn Allocation::stack_slot_count(self : Allocation) -> Int

#
Allocation::stack_slot_size

source

fn Allocation::stack_slot_size(self : Allocation, slot : StackSlot) -> Int?

#
Allocation::stack_slot_type

source

fn Allocation::stack_slot_type(self : Allocation, slot : StackSlot) -> @Milky2018/machv.ValueType
ValueType?

#
Allocation::statistics

source

fn Allocation::statistics(self : Allocation) -> AllocationStatistics

#
Allocation::summary

source

fn Allocation::summary(self : Allocation) -> String

#
Allocation::value_location

source

fn Allocation::value_location(self : Allocation, value : Value) -> Location?

Return the value's default transfer home.

A verified segmented allocation may keep the newest value in an instruction- or edge-specific location until an edit returns it here.

#
AllocationStatistics

source

pub struct AllocationStatistics {
  spill_slots : Int
  spills : Int
  reloads : Int
  reg_moves : Int
  spill_to_spill : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Read-only summary of the transfers introduced by register allocation.

#
Block

source

pub struct Block {
  // private fields
}

impl Eq for Block

impl Show for Block

impl Debug for Block

#
Builder

source

pub struct Builder[Inst] {
  // private fields
}

#
Builder::append_body

source

fn[Inst] Builder::append_body(self : Builder[Inst], block : Block, inst : Inst, inputs : Array[Input], outputs : Array[Output], clobbers : Array[PhysicalReg], metadata : InstructionMetadata) -> (Instruction, Array[Value]) raise VCodeBuildError

#
Builder::block_parameter

source

fn[Inst] Builder::block_parameter(self : Builder[Inst], block : Block, index : Int) -> Value raise VCodeBuildError

#
Builder::create_block

source

fn[Inst] Builder::create_block(self : Builder[Inst], parameter_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Block

#
Builder::entry_block

source

fn[Inst] Builder::entry_block(self : Builder[Inst]) -> Block

#
Builder::finish

source

fn[Inst] Builder::finish(self : Builder[Inst]) -> Function[Inst]

#
Builder::new

source

fn[Inst] Builder::new(name : String, parameter_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Builder[Inst]

#
Builder::new_with_protocol

source

fn[Inst] Builder::new_with_protocol(name : String, protocol : @Milky2018/machv.CallProtocol
CallProtocol, parameter_types : Array[@Milky2018/machv.ValueType
ValueType], result_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Builder[Inst]

#
Builder::new_with_results

source

fn[Inst] Builder::new_with_results(name : String, parameter_types : Array[@Milky2018/machv.ValueType
ValueType], result_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Builder[Inst]

#
Builder::parameter

source

fn[Inst] Builder::parameter(self : Builder[Inst], index : Int) -> Value raise VCodeBuildError

#
Builder::set_terminator

source

fn[Inst] Builder::set_terminator(self : Builder[Inst], block : Block, inst : Inst, inputs : Array[Input], successors : Array[Edge], clobbers : Array[PhysicalReg], metadata : InstructionMetadata) -> Instruction raise VCodeBuildError

#
CallTransfer

source

pub struct CallTransfer {
  // private fields
}

One allocated source and its physical destination in a target call layout.

#
CallTransfer::to_register

source

fn CallTransfer::to_register(ty : @Milky2018/machv.ValueType
ValueType, source : Location, destination : PhysicalReg) -> CallTransfer

#
CallTransfer::to_stack

source

fn CallTransfer::to_stack(ty : @Milky2018/machv.ValueType
ValueType, source : Location, offset : Int) -> CallTransfer

#
CallTransferPlan

source

pub struct CallTransferPlan {
  stack_transfers : Array[StackArgumentTransfer]
  register_moves : Array[ParallelMove]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
Edge

source

pub struct Edge {
  target : Block
  arguments : Array[Value]
}

#
Edge::new

source

fn Edge::new(target : Block, arguments : Array[Value]) -> Edge

#
Edit

source

pub struct Edit {
  point : ProgramPoint?
  kind : EditKind
}

#
Edit::edge_move

source

fn Edit::edge_move(source : Block, successor_index : Int, value : Value, from : Location, to : Location) -> Edit

#
Edit::kind

source

fn Edit::kind(self : Edit) -> EditKind

#
Edit::point

source

fn Edit::point(self : Edit) -> ProgramPoint?

#
Edit::register_move

source

fn Edit::register_move(point : ProgramPoint, value : Value, from : PhysicalReg, to : PhysicalReg) -> Edit

#
Edit::reload

source

fn Edit::reload(point : ProgramPoint, value : Value, slot : StackSlot, reg : PhysicalReg) -> Edit

#
Edit::spill

source

fn Edit::spill(point : ProgramPoint, value : Value, reg : PhysicalReg, slot : StackSlot) -> Edit

#
EditKind

source

pub(all) enum EditKind {
  Spill(value~ : Value, reg~ : PhysicalReg, slot~ : StackSlot)
  Reload(value~ : Value, slot~ : StackSlot, reg~ : PhysicalReg)
  Move(value~ : Value, from~ : PhysicalReg, to~ : PhysicalReg)
  EdgeMove(source~ : Block, successor_index~ : Int, value~ : Value, from~ : Location, to~ : Location)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
FrameLayout

source

pub struct FrameLayout {
  // private fields
}

#
FrameLayout::alignment

source

fn FrameLayout::alignment(self : FrameLayout) -> Int

#
FrameLayout::frame_size

source

fn FrameLayout::frame_size(self : FrameLayout) -> Int

#
FrameLayout::new

source

fn[Inst] FrameLayout::new(function : Function[Inst], allocation : Allocation, frame_size : Int, alignment : Int) -> FrameLayout

#
FrameLayout::place_slot

source

fn FrameLayout::place_slot(self : FrameLayout, slot : StackSlot, offset : Int) -> Bool

#
FrameLayout::slot_offset

source

fn FrameLayout::slot_offset(self : FrameLayout, slot : StackSlot) -> Int?

#
Function

source

pub struct Function[Inst] {
  // private fields
}

#
Function::after

source

fn[Inst] Function::after(self : Function[Inst], instruction : Instruction) -> ProgramPoint?

#
Function::before

source

fn[Inst] Function::before(self : Function[Inst], instruction : Instruction) -> ProgramPoint?

#
Function::block_at

source

fn[Inst] Function::block_at(self : Function[Inst], index : Int) -> Block?

#
Function::block_body

source

fn[Inst] Function::block_body(self : Function[Inst], block : Block) -> Array[Instruction]

#
Function::block_count

source

fn[Inst] Function::block_count(self : Function[Inst]) -> Int

#
Function::block_index

source

fn[Inst] Function::block_index(self : Function[Inst], block : Block) -> Int?

#
Function::block_parameters

source

fn[Inst] Function::block_parameters(self : Function[Inst], block : Block) -> Array[Value]

#
Function::block_terminator

source

fn[Inst] Function::block_terminator(self : Function[Inst], block : Block) -> Instruction?

#
Function::entry_block

source

fn[Inst] Function::entry_block(self : Function[Inst]) -> Block

#
Function::instruction

source

fn[Inst] Function::instruction(self : Function[Inst], instruction : Instruction) -> Inst?

#
Function::instruction_at

source

fn[Inst] Function::instruction_at(self : Function[Inst], index : Int) -> Instruction?

#
Function::instruction_clobber_at

source

fn[Inst] Function::instruction_clobber_at(self : Function[Inst], instruction : Instruction, index : Int) -> PhysicalReg?

#
Function::instruction_clobber_count

source

fn[Inst] Function::instruction_clobber_count(self : Function[Inst], instruction : Instruction) -> Int

#
Function::instruction_clobbers

source

fn[Inst] Function::instruction_clobbers(self : Function[Inst], instruction : Instruction) -> Array[PhysicalReg]

#
Function::instruction_count

source

fn[Inst] Function::instruction_count(self : Function[Inst]) -> Int

#
Function::instruction_index

source

fn[Inst] Function::instruction_index(self : Function[Inst], instruction : Instruction) -> Int?

#
Function::instruction_is_terminator

source

fn[Inst] Function::instruction_is_terminator(self : Function[Inst], instruction : Instruction) -> Bool

#
Function::instruction_metadata

source

fn[Inst] Function::instruction_metadata(self : Function[Inst], instruction : Instruction) -> InstructionMetadata?

#
Function::instruction_operand_at

source

fn[Inst] Function::instruction_operand_at(self : Function[Inst], instruction : Instruction, index : Int) -> Operand?

#
Function::instruction_operand_count

source

fn[Inst] Function::instruction_operand_count(self : Function[Inst], instruction : Instruction) -> Int

#
Function::instruction_operands

source

fn[Inst] Function::instruction_operands(self : Function[Inst], instruction : Instruction) -> Array[Operand]

#
Function::instruction_results

source

fn[Inst] Function::instruction_results(self : Function[Inst], instruction : Instruction) -> Array[Value]

#
Function::instruction_successor_at

source

fn[Inst] Function::instruction_successor_at(self : Function[Inst], instruction : Instruction, index : Int) -> Edge?

#
Function::instruction_successor_count

source

fn[Inst] Function::instruction_successor_count(self : Function[Inst], instruction : Instruction) -> Int

#
Function::instruction_successors

source

fn[Inst] Function::instruction_successors(self : Function[Inst], instruction : Instruction) -> Array[Edge]

#
Function::layout

source

fn[Inst] Function::layout(self : Function[Inst]) -> Array[Block]

#
Function::name

source

fn[Inst] Function::name(self : Function[Inst]) -> String

#
Function::parameter_at

source

fn[Inst] Function::parameter_at(self : Function[Inst], index : Int) -> Value?

#
Function::parameter_count

source

fn[Inst] Function::parameter_count(self : Function[Inst]) -> Int

#
Function::program_point_instruction

source

fn[Inst] Function::program_point_instruction(self : Function[Inst], point : ProgramPoint) -> Instruction?

#
Function::protocol

source

fn[Inst] Function::protocol(self : Function[Inst]) -> @Milky2018/machv.CallProtocol
CallProtocol

#
Function::result_types

source

fn[Inst] Function::result_types(self : Function[Inst]) -> Array[@Milky2018/machv.ValueType
ValueType]

#
Function::set_layout

source

fn[Inst] Function::set_layout(self : Function[Inst], layout : Array[Block]) -> Unit raise VCodeBuildError

#
Function::summary

source

fn[Inst : @moonbitlang/core/debug.Debug
Debug] Function::summary(self : Function[Inst]) -> String

#
Function::value_at

source

fn[Inst] Function::value_at(self : Function[Inst], index : Int) -> Value?

#
Function::value_count

source

fn[Inst] Function::value_count(self : Function[Inst]) -> Int

#
Function::value_index

source

fn[Inst] Function::value_index(self : Function[Inst], value : Value) -> Int?

#
Function::value_type

source

fn[Inst] Function::value_type(self : Function[Inst], value : Value) -> @Milky2018/machv.ValueType
ValueType?

#
Input

source

pub struct Input {
  value : Value
  constraint : OperandConstraint
  preference : PhysicalReg?
  timing : OperandTiming
}

#
Input::any

source

fn Input::any(value : Value) -> Input

#
Input::any_location

source

fn Input::any_location(value : Value) -> Input

Keep an input in its allocated register or spill slot. This is intended for target operations, such as ABI argument setup, whose emitter can consume a stack-resident value directly instead of requiring every input in a register at the same program point.

#
Input::fixed

source

fn Input::fixed(value : Value, reg : PhysicalReg) -> Input

#
Input::with_preference

source

fn Input::with_preference(self : Input, preference : PhysicalReg) -> Input

Prefer a physical register without making it an allocation constraint.

#
Input::with_timing

source

fn Input::with_timing(self : Input, timing : OperandTiming) -> Input

#
Instruction

source

pub struct Instruction {
  // private fields
}

impl Eq for Instruction

impl Show for Instruction

impl Debug for Instruction

#
InstructionMetadata

source

pub struct InstructionMetadata {
  source : @Milky2018/machv.SourceLocation
SourceLocation?
  trap : @Milky2018/machv.TrapReason
TrapReason?
  safepoint : @Milky2018/machv.SafepointKind
SafepointKind?
  live_gc_roots : Array[Value]
  symbol : SymbolReference?
  stack_map : @Milky2018/machv.StackMapMetadata
StackMapMetadata?
}

#
InstructionMetadata::empty

source

fn InstructionMetadata::empty() -> InstructionMetadata

#
InstructionMetadata::new

source

fn InstructionMetadata::new(source? : @Milky2018/machv.SourceLocation
SourceLocation, trap? : @Milky2018/machv.TrapReason
TrapReason, safepoint? : @Milky2018/machv.SafepointKind
SafepointKind, live_gc_roots? : Array[Value], symbol? : SymbolReference, stack_map? : @Milky2018/machv.StackMapMetadata
StackMapMetadata) -> InstructionMetadata

#
InstructionMetadata::safepoint

source

fn InstructionMetadata::safepoint(live_gc_roots : Array[Value]) -> InstructionMetadata

#
Location

source

pub(all) enum Location {
  Register(PhysicalReg)
  Stack(StackSlot)
} derive(Eq)

impl Debug for Location

#
Operand

source

pub struct Operand {
  value : Value
  role : OperandRole
  constraint : OperandConstraint
  preference : PhysicalReg?
  timing : OperandTiming
  tie_id : Int
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
OperandConstraint

source

pub(all) enum OperandConstraint {
  Any
  AnyLocation
  Fixed(PhysicalReg)
  TiedTo(Int)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
OperandRole

source

pub(all) enum OperandRole {
  Use
  Def
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
OperandTiming

source

pub(all) enum OperandTiming {
  Early
  Late
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
Output

source

pub struct Output {
  ty : @Milky2018/machv.ValueType
ValueType
  constraint : OperandConstraint
  preference : PhysicalReg?
  timing : OperandTiming
}

#
Output::any

source

fn Output::any(ty : @Milky2018/machv.ValueType
ValueType) -> Output

#
Output::any_location

source

fn Output::any_location(ty : @Milky2018/machv.ValueType
ValueType) -> Output

Materialize the result directly in its stable register or stack home. This is intended for target ABI pseudos whose emitter owns the transfer from an implicit incoming location.

#
Output::fixed

source

fn Output::fixed(ty : @Milky2018/machv.ValueType
ValueType, reg : PhysicalReg) -> Output

#
Output::tied

source

fn Output::tied(ty : @Milky2018/machv.ValueType
ValueType, operand_index : Int) -> Output

#
Output::with_preference

source

fn Output::with_preference(self : Output, preference : PhysicalReg) -> Output

Prefer a physical register without making it an allocation constraint.

#
Output::with_timing

source

fn Output::with_timing(self : Output, timing : OperandTiming) -> Output

#
ParallelMove

source

pub struct ParallelMove {
  ty : @Milky2018/machv.ValueType
ValueType
  from : Location
  to : Location
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
ParallelMove::new

source

fn ParallelMove::new(ty : @Milky2018/machv.ValueType
ValueType, from : Location, to : Location) -> ParallelMove

#
PhysicalReg

source

pub struct PhysicalReg {
  id : Int
  class : RegClass
} derive(Eq)

impl Debug for PhysicalReg

#
PhysicalReg::new

source

fn PhysicalReg::new(id : Int, class : RegClass) -> PhysicalReg

#
PointPlacement

source

pub(all) enum PointPlacement {
  Before
  After
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
ProgramPoint

source

pub struct ProgramPoint {
  // private fields
}

impl Eq for ProgramPoint

impl Debug for ProgramPoint

#
ProgramPoint::instruction

source

fn ProgramPoint::instruction(self : ProgramPoint) -> Instruction

#
ProgramPoint::placement

source

fn ProgramPoint::placement(self : ProgramPoint) -> PointPlacement

#
RegClass

source

pub(all) enum RegClass {
  Int
  FpVector
} derive(Eq, Hash, @moonbitlang/core/debug.Debug
Debug)

#
ResolvedCallTransferPlan

source

pub struct ResolvedCallTransferPlan {
  stack_transfers : Array[StackArgumentTransfer]
  register_moves : ResolvedMovePlan
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
ResolvedMovePlan

source

pub struct ResolvedMovePlan {
  steps : Array[ResolvedMoveStep]
  requires_emergency : Bool
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
ResolvedMoveStep

source

pub(all) enum ResolvedMoveStep {
  Transfer(ParallelMove)
  SpillScratchToEmergency(ty~ : @Milky2018/machv.ValueType
ValueType, scratch~ : PhysicalReg)
  ReloadScratchFromEmergency(ty~ : @Milky2018/machv.ValueType
ValueType, scratch~ : PhysicalReg)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
StackArgumentTransfer

source

pub struct StackArgumentTransfer {
  ty : @Milky2018/machv.ValueType
ValueType
  source : Location
  offset : Int
  scratch : PhysicalReg?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
StackSlot

source

pub struct StackSlot {
  // private fields
}

impl Eq for StackSlot

impl Debug for StackSlot

#
SymbolReference

source

pub(all) enum SymbolReference {
  Code(@Milky2018/machv.CodeSymbol
CodeSymbol)
  External(@Milky2018/machv.ExternalSymbol
ExternalSymbol)
  Data(@Milky2018/machv.DataSymbol
DataSymbol)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
TargetCompileEvent

source

pub(all) enum TargetCompileEvent {
  RegallocStarted
  RegallocPhaseStarted(String)
  RegallocPhasesFinished
  RegallocFinished(AllocationStatistics)
  FramePlanningStarted
  FramePlanningFinished
  EmissionStarted
  EmissionFinished
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Target-compilation boundaries exposed to an embedding-owned observer.

The observer must not mutate compiler inputs from inside the callback.

#
Value

source

pub struct Value {
  // private fields
}

impl Eq for Value

impl Show for Value

impl Debug for Value

#
plan_call_transfers

source

fn plan_call_transfers(allocation : Allocation, transfers : Array[CallTransfer], outgoing_stack_start : Int, outgoing_stack_size : Int, scratch_int : Array[PhysicalReg], scratch_fp : Array[PhysicalReg], protected_locations : Array[Location]) -> CallTransferPlan raise CallTransferError

#
plan_parallel_moves

source

fn plan_parallel_moves(moves : Array[ParallelMove], scratch_int : PhysicalReg, scratch_fp : PhysicalReg) -> ResolvedMovePlan raise MoveResolveError

#
plan_resolved_call_transfers

source

fn plan_resolved_call_transfers(allocation : Allocation, transfers : Array[CallTransfer], outgoing_stack_start : Int, outgoing_stack_size : Int, stack_scratch_int : Array[PhysicalReg], stack_scratch_fp : Array[PhysicalReg], move_scratch_int : PhysicalReg, move_scratch_fp : PhysicalReg, protected_locations : Array[Location]) -> ResolvedCallTransferPlan raise CallTransferError

#
reg_class_for_value_type

source

fn reg_class_for_value_type(ty : @Milky2018/machv.ValueType
ValueType) -> RegClass

#
resolve_parallel_moves

source

fn resolve_parallel_moves(moves : Array[ParallelMove], scratch_int : Array[PhysicalReg], scratch_fp : Array[PhysicalReg]) -> Array[ParallelMove] raise MoveResolveError

#
verify_allocated

source

fn[Inst] verify_allocated(function : Function[Inst], allocation : Allocation) -> Unit raise AllocationVerifyError

#
verify_allocation_invariants

source

fn[Inst] verify_allocation_invariants(function : Function[Inst], allocation : Allocation) -> Unit raise AllocationVerifyError

Verifies allocation-specific invariants for VCode that has already passed verify_selected. The caller must not mutate function between the two checks.

#
verify_emission_input

source

fn[Inst] verify_emission_input(function : Function[Inst], allocation : Allocation, frame : FrameLayout) -> Unit raise EmissionVerifyError

#
verify_framed

source

fn[Inst] verify_framed(function : Function[Inst], allocation : Allocation, frame : FrameLayout) -> Unit raise FrameVerifyError

#
verify_selected

source

fn[Inst] verify_selected(function : Function[Inst]) -> Unit raise VCodeVerifyError

Source Files

code_object
→
vcode
→
README
E
MachVVerifyError
T
AccessWidth
T
AtomicRmwOp
T
AtomicSpec
- ::newAtomicSpec::new
T
Block
T
CallBehavior
- ::conservativeCallBehavior::conservative
- ::newCallBehavior::new
- ::semanticsCallBehavior::semantics
T
CallProtocol
T
Callee
T
CleanupStats
T
CodeSymbol
- ::newCodeSymbol::new
T
ConversionMode
T
ConversionOp
T
DataSymbol
- ::newDataSymbol::new
T
Edge
T
Endianness
T
EnvironmentField
- ::newEnvironmentField::new
T
EnvironmentFieldStability
T
EnvironmentFieldUseGroup
T
EnvironmentFieldUseRegion
T
ExternalSymbol
- ::newExternalSymbol::new
T
FloatBinaryOp
T
FloatComparison
T
FloatTernaryOp
T
FloatType
T
FloatUnaryOp
T
Function
- ::block_countFunction::block_count
- ::block_indexFunction::block_index
- ::block_instructionsFunction::block_instructions
- ::block_parametersFunction::block_parameters
- ::block_terminatorFunction::block_terminator
- ::blocksFunction::blocks
- ::blocks_in_cfg_orderFunction::blocks_in_cfg_order
- ::environment_field_use_groupsFunction::environment_field_use_groups
- ::instruction_countFunction::instruction_count
- ::instruction_indexFunction::instruction_index
- ::instruction_metadataFunction::instruction_metadata
- ::instruction_operandsFunction::instruction_operands
- ::instruction_operationFunction::instruction_operation
- ::instruction_resultsFunction::instruction_results
- ::nameFunction::name
- ::parametersFunction::parameters
- ::printFunction::print
- ::protocolFunction::protocol
- ::run_mandatory_cleanupFunction::run_mandatory_cleanup
- ::signatureFunction::signature
- ::stack_object_alignmentFunction::stack_object_alignment
- ::stack_object_sizeFunction::stack_object_size
- ::stack_objectsFunction::stack_objects
- ::value_countFunction::value_count
- ::value_indexFunction::value_index
- ::value_typeFunction::value_type
- ::verifyFunction::verify
T
FunctionBuilder
- ::block_parametersFunctionBuilder::block_parameters
- ::branchFunctionBuilder::branch
- ::create_blockFunctionBuilder::create_block
- ::create_stack_objectFunctionBuilder::create_stack_object
- ::current_blockFunctionBuilder::current_block
- ::emitFunctionBuilder::emit
- ::emit_with_metadataFunctionBuilder::emit_with_metadata
- ::entry_blockFunctionBuilder::entry_block
- ::finishFunctionBuilder::finish
- ::jumpFunctionBuilder::jump
- ::newFunctionBuilder::new
- ::noreturn_callFunctionBuilder::noreturn_call
- ::noreturn_call_with_metadataFunctionBuilder::noreturn_call_with_metadata
- ::parametersFunctionBuilder::parameters
- ::return_FunctionBuilder::return_
- ::set_terminator_sourceFunctionBuilder::set_terminator_source
- ::switchFunctionBuilder::switch
- ::switch_to_blockFunctionBuilder::switch_to_block
- ::tail_callFunctionBuilder::tail_call
- ::tail_call_with_metadataFunctionBuilder::tail_call_with_metadata
- ::trapFunctionBuilder::trap
T
Instruction
T
InstructionMetadata
- ::emptyInstructionMetadata::empty
- ::newInstructionMetadata::new
T
IntBinaryOp
T
IntComparison
T
IntOverflowOp
T
IntUnaryOp
T
IntegerType
T
LoadExtension
T
LoadSpec
- ::newLoadSpec::new
T
MemoryEffect
T
Operation
- ::semanticsOperation::semantics
T
OperationSemantics
- ::must_preserve_if_unusedOperationSemantics::must_preserve_if_unused
- ::pureOperationSemantics::pure
T
ReferenceComparison
T
SafepointKind
T
SemanticCall
- ::newSemanticCall::new
T
Signature
- ::newSignature::new
T
Signedness
T
SourceLocation
- ::newSourceLocation::new
T
StackMapMetadata
- ::newStackMapMetadata::new
T
StackObject
T
StoreSpec
- ::newStoreSpec::new
T
SwitchCase
T
Terminator
T
TerminatorMetadata
- ::emptyTerminatorMetadata::empty
- ::newTerminatorMetadata::new
T
TerminatorRecord
T
TrapReason
T
Value
T
ValueType
T
VectorBitwiseOp
T
VectorConversionOp
T
VectorFloatBinaryOp
T
VectorFloatComparison
T
VectorFloatUnaryOp
T
VectorHalf
T
VectorIntBinaryOp
T
VectorIntComparison
T
VectorIntShiftOp
T
VectorIntUnaryOp
T
VectorLane
T
VectorLoadKind
T
VectorLoadSpec
- ::newVectorLoadSpec::new
T
VectorOp
T
VectorPredicateOp
T
VectorRelaxedOp
T
VectorStoreLaneSpec
- ::newVectorStoreLaneSpec::new

Site source Report issue Packages Build queue Skills Statistics

#SafepointKind

#ValueType

#AllocationVerifyError

#CallTransferError

#EmissionVerifyError

#FrameVerifyError

#MoveResolveError

#VCodeBuildError

#VCodeVerifyError

#Allocation

#Allocation::add_edit

#Allocation::add_safepoint_root

#Allocation::assign_operand

#Allocation::assign_operand_location

#Allocation::assign_value

#Allocation::create_stack_slot

#Allocation::edits

#Allocation::edits_at

#Allocation::for_function

#Allocation::operand_location

#Allocation::safepoint_roots

#Allocation::source_instruction_count

#Allocation::stack_slot_alignment

#Allocation::stack_slot_at

#Allocation::stack_slot_count

#Allocation::stack_slot_size

#Allocation::stack_slot_type

#Allocation::statistics

#Allocation::summary

#Allocation::value_location

#AllocationStatistics

#Block

#Builder

#Builder::append_body

#Builder::block_parameter

#Builder::create_block

#Builder::entry_block

#Builder::finish

#Builder::new

#Builder::new_with_protocol

#Builder::new_with_results

#Builder::parameter

#Builder::set_terminator

#CallTransfer

#CallTransfer::to_register

#CallTransfer::to_stack

#CallTransferPlan

#Edge

#Edge::new

#Edit

#Edit::edge_move

#Edit::kind

#Edit::point

#Edit::register_move

#Edit::reload

#Edit::spill

#EditKind

#FrameLayout

#FrameLayout::alignment

#FrameLayout::frame_size

#FrameLayout::new

#FrameLayout::place_slot

#FrameLayout::slot_offset

#Function

#Function::after

#Function::before

#Function::block_at

#Function::block_body

#Function::block_count

#Function::block_index

#Function::block_parameters

#Function::block_terminator

#Function::entry_block

#Function::instruction

#Function::instruction_at

#Function::instruction_clobber_at

#Function::instruction_clobber_count

#Function::instruction_clobbers

#Function::instruction_count

#Function::instruction_index

#
SafepointKind

#
ValueType

#
AllocationVerifyError

#
CallTransferError

#
EmissionVerifyError

#
FrameVerifyError

#
MoveResolveError

#
VCodeBuildError

#
VCodeVerifyError

#
Allocation

#
Allocation::add_edit

#
Allocation::add_safepoint_root

#
Allocation::assign_operand

#
Allocation::assign_operand_location

#
Allocation::assign_value

#
Allocation::create_stack_slot

#
Allocation::edits

#
Allocation::edits_at

#
Allocation::for_function

#
Allocation::operand_location

#
Allocation::safepoint_roots

#
Allocation::source_instruction_count

#
Allocation::stack_slot_alignment

#
Allocation::stack_slot_at

#
Allocation::stack_slot_count

#
Allocation::stack_slot_size

#
Allocation::stack_slot_type

#
Allocation::statistics

#
Allocation::summary

#
Allocation::value_location

#
AllocationStatistics

#
Block

#
Builder

#
Builder::append_body

#
Builder::block_parameter

#
Builder::create_block

#
Builder::entry_block

#
Builder::finish

#
Builder::new

#
Builder::new_with_protocol

#
Builder::new_with_results

#
Builder::parameter

#
Builder::set_terminator

#
CallTransfer

#
CallTransfer::to_register

#
CallTransfer::to_stack

#
CallTransferPlan

#
Edge

#
Edge::new

#
Edit

#
Edit::edge_move

#
Edit::kind

#
Edit::point

#
Edit::register_move

#
Edit::reload

#
Edit::spill

#
EditKind

#
FrameLayout

#
FrameLayout::alignment

#
FrameLayout::frame_size

#
FrameLayout::new

#
FrameLayout::place_slot

#
FrameLayout::slot_offset

#
Function

#
Function::after

#
Function::before

#
Function::block_at

#
Function::block_body

#
Function::block_count

#
Function::block_index

#
Function::block_parameters

#
Function::block_terminator

#
Function::entry_block

#
Function::instruction

#
Function::instruction_at

#
Function::instruction_clobber_at

#
Function::instruction_clobber_count

#
Function::instruction_clobbers

#
Function::instruction_count

#
Function::instruction_index