mooncakes.io

README

Milky2018/milkir_machv/adapter does not have a README file

#
InstructionContext

type InstructionContext

Safe semantic-construction seam used by MilkIR dialect adapters.

The context exposes only verified operands, explicit environment values, target-neutral MachV construction, and structured control-flow builders. It does not expose mutable MachV storage, target instructions, or ABI details.

#
InstructionContext::block_parameters

source

fn InstructionContext::block_parameters(self : InstructionContext, block : @Milky2018/machv.Block
Block) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::branch

source

fn InstructionContext::branch(self : InstructionContext, condition : @Milky2018/machv.Value
Value, true_target : @Milky2018/machv.Block
Block, true_arguments : Array[@Milky2018/machv.Value
Value], false_target : @Milky2018/machv.Block
Block, false_arguments : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::create_block

source

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

#
InstructionContext::create_stack_object

source

fn InstructionContext::create_stack_object(self : InstructionContext, size : Int, alignment : Int) -> @Milky2018/machv.StackObject
StackObject

#
InstructionContext::emit

source

fn InstructionContext::emit(self : InstructionContext, operation : @Milky2018/machv.Operation
Operation, operands : Array[@Milky2018/machv.Value
Value], result_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::emit_call

source

fn InstructionContext::emit_call(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value], result_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::emit_call_without_roots

source

fn InstructionContext::emit_call_without_roots(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value], result_types : Array[@Milky2018/machv.ValueType
ValueType]) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::environment

source

fn InstructionContext::environment(self : InstructionContext) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::finish_call

source

fn InstructionContext::finish_call(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::finish_call_without_roots

source

fn InstructionContext::finish_call_without_roots(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::finish_operation

source

fn InstructionContext::finish_operation(self : InstructionContext, operation : @Milky2018/machv.Operation
Operation, operands : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::finish_void

source

fn InstructionContext::finish_void(self : InstructionContext) -> Unit

#
InstructionContext::forward_results

source

fn InstructionContext::forward_results(self : InstructionContext, values : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::function_result_types

source

fn InstructionContext::function_result_types(self : InstructionContext) -> Array[@Milky2018/machv.ValueType
ValueType]

#
InstructionContext::jump

source

fn InstructionContext::jump(self : InstructionContext, target : @Milky2018/machv.Block
Block, arguments : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::new

source

fn InstructionContext::new(builder : @Milky2018/machv.FunctionBuilder
FunctionBuilder, operands : Array[@Milky2018/machv.Value
Value], operand_types : Array[@Milky2018/machv.ValueType
ValueType], result_types : Array[@Milky2018/machv.ValueType
ValueType], function_result_types : Array[@Milky2018/machv.ValueType
ValueType], environment : Array[@Milky2018/machv.Value
Value], source : @Milky2018/machv.SourceLocation
SourceLocation?, live_gc_roots : Array[@Milky2018/machv.Value
Value], complete : (Array[@Milky2018/machv.Value
Value]) -> Unit) -> InstructionContext

#
InstructionContext::noreturn_call

source

fn InstructionContext::noreturn_call(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::operand_types

source

fn InstructionContext::operand_types(self : InstructionContext) -> Array[@Milky2018/machv.ValueType
ValueType]

#
InstructionContext::operands

source

fn InstructionContext::operands(self : InstructionContext) -> Array[@Milky2018/machv.Value
Value]

#
InstructionContext::result_types

source

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

#
InstructionContext::set_trap_terminator

source

fn InstructionContext::set_trap_terminator(self : InstructionContext, reason : @Milky2018/machv.TrapReason
TrapReason) -> Unit

Terminate an adapter-created side block without completing the source dialect instruction. The adapter must switch to a continuation block and complete the instruction there.

#
InstructionContext::source

source

fn InstructionContext::source(self : InstructionContext) -> @Milky2018/machv.SourceLocation
SourceLocation?

#
InstructionContext::status

source

fn InstructionContext::status(self : InstructionContext) -> String?

#
InstructionContext::switch_to_block

source

fn InstructionContext::switch_to_block(self : InstructionContext, block : @Milky2018/machv.Block
Block) -> Unit

#
InstructionContext::tail_call

source

fn InstructionContext::tail_call(self : InstructionContext, call : @Milky2018/machv.SemanticCall
SemanticCall, operands : Array[@Milky2018/machv.Value
Value]) -> Unit

#
InstructionContext::terminates_block

source

fn InstructionContext::terminates_block(self : InstructionContext) -> Bool

#
InstructionContext::trap

source

fn InstructionContext::trap(self : InstructionContext, reason : @Milky2018/machv.TrapReason
TrapReason) -> Unit

Source Files

context.mbt

Site source Report issue Packages Build queue Skills Statistics

#InstructionContext

#InstructionContext::block_parameters

#InstructionContext::branch

#InstructionContext::create_block

#InstructionContext::create_stack_object

#InstructionContext::emit

#InstructionContext::emit_call

#InstructionContext::emit_call_without_roots

#InstructionContext::environment

#InstructionContext::finish_call

#InstructionContext::finish_call_without_roots

#InstructionContext::finish_operation

#InstructionContext::finish_void

#InstructionContext::forward_results

#InstructionContext::function_result_types

#InstructionContext::jump

#InstructionContext::new

#InstructionContext::noreturn_call

#InstructionContext::operand_types

#InstructionContext::operands

#InstructionContext::result_types

#InstructionContext::set_trap_terminator

#InstructionContext::source

#InstructionContext::status

#InstructionContext::switch_to_block

#InstructionContext::tail_call

#InstructionContext::terminates_block

#InstructionContext::trap

Source Files

#
InstructionContext

#
InstructionContext::block_parameters

#
InstructionContext::branch

#
InstructionContext::create_block

#
InstructionContext::create_stack_object

#
InstructionContext::emit

#
InstructionContext::emit_call

#
InstructionContext::emit_call_without_roots

#
InstructionContext::environment

#
InstructionContext::finish_call

#
InstructionContext::finish_call_without_roots

#
InstructionContext::finish_operation

#
InstructionContext::finish_void

#
InstructionContext::forward_results

#
InstructionContext::function_result_types

#
InstructionContext::jump

#
InstructionContext::new

#
InstructionContext::noreturn_call

#
InstructionContext::operand_types

#
InstructionContext::operands

#
InstructionContext::result_types

#
InstructionContext::set_trap_terminator

#
InstructionContext::source

#
InstructionContext::status

#
InstructionContext::switch_to_block

#
InstructionContext::tail_call

#
InstructionContext::terminates_block

#
InstructionContext::trap