mooncakes.io

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