Milky2018/milkir/native/adapter

README
U
InstId
- ::equalVerifyError::equal
- ::not_equalVerifyError::not_equal
- ::outputVerifyError::output
- ::to_reprVerifyError::to_repr
- ::to_stringVerifyError::to_string
- ::unverifiable_instructionVerifyError::unverifiable_instruction
- ::equalAliasRegion::equal
- ::hashAliasRegion::hash
- ::hash_combineAliasRegion::hash_combine
- ::not_equalAliasRegion::not_equal
- ::to_reprAliasRegion::to_repr
- ::equalAtomicMemoryOp::equal
- ::hashAtomicMemoryOp::hash
- ::hash_combineAtomicMemoryOp::hash_combine
- ::not_equalAtomicMemoryOp::not_equal
- ::to_reprAtomicMemoryOp::to_repr
- ::equalAtomicRmwOp::equal
- ::hashAtomicRmwOp::hash
- ::hash_combineAtomicRmwOp::hash_combine
- ::not_equalAtomicRmwOp::not_equal
- ::to_reprAtomicRmwOp::to_repr
- ::append_instBlock::append_inst
- ::clear_instructions_for_moveBlock::clear_instructions_for_move
- ::instruction_countBlock::instruction_count
- ::instruction_idsBlock::instruction_ids
- ::retain_instruction_idsBlock::retain_instruction_ids
- ::set_instructionsBlock::set_instructions
- ::set_terminatorBlock::set_terminator
- ::take_inst_atBlock::take_inst_at
- ::to_reprBlock::to_repr
- ::buildCFG::build
- ::compute_dominanceCFG::compute_dominance
- ::compute_dominatorsCFG::compute_dominators
- ::dominatesCFG::dominates
- ::find_back_edgesCFG::find_back_edges
- ::find_loopsCFG::find_loops
- ::get_loop_preheaderCFG::get_loop_preheader
- ::get_predecessorsCFG::get_predecessors
- ::get_successorsCFG::get_successors
- ::is_entry_or_unreachableCFG::is_entry_or_unreachable
- ::is_exit_blockCFG::is_exit_block
- ::is_validCFG::is_valid
- ::postorderCFG::postorder
- ::reverse_postorderCFG::reverse_postorder
- ::to_dotCFG::to_dot
- ::to_reprCFG::to_repr
- ::equalCallOp::equal
- ::hashCallOp::hash
- ::hash_combineCallOp::hash_combine
- ::not_equalCallOp::not_equal
- ::to_reprCallOp::to_repr
- ::equalContextField::equal
- ::hashContextField::hash
- ::hash_combineContextField::hash_combine
- ::newContextField::new
- ::not_equalContextField::not_equal
- ::to_reprContextField::to_repr
- ::equalConversionOp::equal
- ::hashConversionOp::hash
- ::hash_combineConversionOp::hash_combine
- ::not_equalConversionOp::not_equal
- ::to_reprConversionOp::to_repr
- ::dominatesDominance::dominates
- ::ExtOpExtOp::ExtOp
- ::equalExtOp::equal
- ::hashExtOp::hash
- ::hash_combineExtOp::hash_combine
- ::matches_descriptorExtOp::matches_descriptor
- ::not_equalExtOp::not_equal
- ::to_reprExtOp::to_repr
- ::ExtOpDescriptorExtOpDescriptor::ExtOpDescriptor
- ::accepts_immediate_countExtOpDescriptor::accepts_immediate_count
- ::equalExtOpDescriptor::equal
- ::expected_immediate_countExtOpDescriptor::expected_immediate_count
- ::hashExtOpDescriptor::hash
- ::hash_combineExtOpDescriptor::hash_combine
- ::not_equalExtOpDescriptor::not_equal
- ::to_reprExtOpDescriptor::to_repr
- ::with_immediate_rangeExtOpDescriptor::with_immediate_range
- ::to_reprExtensionInstView::to_repr
- ::ExternalSymbolExternalSymbol::ExternalSymbol
- ::equalExternalSymbol::equal
- ::hashExternalSymbol::hash
- ::hash_combineExternalSymbol::hash_combine
- ::not_equalExternalSymbol::not_equal
- ::to_reprExternalSymbol::to_repr
- ::equalFloatBinaryOp::equal
- ::hashFloatBinaryOp::hash
- ::hash_combineFloatBinaryOp::hash_combine
- ::not_equalFloatBinaryOp::not_equal
- ::to_reprFloatBinaryOp::to_repr
- ::equalFloatCC::equal
- ::hashFloatCC::hash
- ::hash_combineFloatCC::hash_combine
- ::not_equalFloatCC::not_equal
- ::to_reprFloatCC::to_repr
- ::equalFloatUnaryOp::equal
- ::hashFloatUnaryOp::hash
- ::hash_combineFloatUnaryOp::hash_combine
- ::not_equalFloatUnaryOp::not_equal
- ::to_reprFloatUnaryOp::to_repr
- ::add_paramFunction::add_param
- ::add_resultFunction::add_result
- ::block_instruction_atFunction::block_instruction_at
- ::block_instruction_idsFunction::block_instruction_ids
- ::declare_external_symbolFunction::declare_external_symbol
- ::declare_global_valueFunction::declare_global_value
- ::defining_instFunction::defining_inst
- ::discard_instFunction::discard_inst
- ::global_value_dataFunction::global_value_data
- ::instruction_by_idFunction::instruction_by_id
- ::new_blockFunction::new_block
- ::new_block0Function::new_block0
- ::new_emptyFunction::new_empty
- ::new_instFunction::new_inst
- ::new_valueFunction::new_value
- ::paramFunction::param
- ::printFunction::print
- ::retain_block_paramsFunction::retain_block_params
- ::retain_blocksFunction::retain_blocks
- ::signatureFunction::signature
- ::to_reprFunction::to_repr
- ::verifyFunction::verify
- ::verify_coreFunction::verify_core
- ::verify_with_dialect_validatorFunction::verify_with_dialect_validator
- ::with_signatureFunction::with_signature
- ::FunctionBuilderFunctionBuilder::FunctionBuilder
- ::add_block_paramFunctionBuilder::add_block_param
- ::add_paramFunctionBuilder::add_param
- ::add_resultFunctionBuilder::add_result
- ::append_block_params_for_function_paramsFunctionBuilder::append_block_params_for_function_params
- ::append_block_params_for_function_returnsFunctionBuilder::append_block_params_for_function_returns
- ::atomic_compare_exchangeFunctionBuilder::atomic_compare_exchange
- ::atomic_fenceFunctionBuilder::atomic_fence
- ::atomic_loadFunctionBuilder::atomic_load
- ::atomic_rmwFunctionBuilder::atomic_rmw
- ::atomic_storeFunctionBuilder::atomic_store
- ::bandFunctionBuilder::band
- ::bitcastFunctionBuilder::bitcast
- ::block_paramsFunctionBuilder::block_params
- ::bnotFunctionBuilder::bnot
- ::borFunctionBuilder::bor
- ::br_tableFunctionBuilder::br_table
- ::branchFunctionBuilder::branch
- ::brnzFunctionBuilder::brnz
- ::brzFunctionBuilder::brz
- ::bxorFunctionBuilder::bxor
- ::call_pointerFunctionBuilder::call_pointer
- ::call_symbolFunctionBuilder::call_symbol
- ::call_symbol_multiFunctionBuilder::call_symbol_multi
- ::clzFunctionBuilder::clz
- ::copyFunctionBuilder::copy
- ::create_blockFunctionBuilder::create_block
- ::ctzFunctionBuilder::ctz
- ::current_blockFunctionBuilder::current_block
- ::emit_ext_instFunctionBuilder::emit_ext_inst
- ::emit_instFunctionBuilder::emit_inst
- ::emit_multi_ext_instFunctionBuilder::emit_multi_ext_inst
- ::emit_multi_instFunctionBuilder::emit_multi_inst
- ::emit_void_ext_instFunctionBuilder::emit_void_ext_inst
- ::emit_void_instFunctionBuilder::emit_void_inst
- ::fabsFunctionBuilder::fabs
- ::faddFunctionBuilder::fadd
- ::fceilFunctionBuilder::fceil
- ::fcmpFunctionBuilder::fcmp
- ::fconst_f32FunctionBuilder::fconst_f32
- ::fconst_f64FunctionBuilder::fconst_f64
- ::fcvt_to_sintFunctionBuilder::fcvt_to_sint
- ::fcvt_to_sint_satFunctionBuilder::fcvt_to_sint_sat
- ::fcvt_to_uintFunctionBuilder::fcvt_to_uint
- ::fcvt_to_uint_satFunctionBuilder::fcvt_to_uint_sat
- ::fdemoteFunctionBuilder::fdemote
- ::fdivFunctionBuilder::fdiv
- ::ffloorFunctionBuilder::ffloor
- ::finalizeFunctionBuilder::finalize
- ::fmaxFunctionBuilder::fmax
- ::fminFunctionBuilder::fmin
- ::fmulFunctionBuilder::fmul
- ::fnearestFunctionBuilder::fnearest
- ::fnegFunctionBuilder::fneg
- ::fpromoteFunctionBuilder::fpromote
- ::fsqrtFunctionBuilder::fsqrt
- ::fsubFunctionBuilder::fsub
- ::ftruncFunctionBuilder::ftrunc
- ::get_const_valueFunctionBuilder::get_const_value
- ::get_functionFunctionBuilder::get_function
- ::global_valueFunctionBuilder::global_value
- ::iaddFunctionBuilder::iadd
- ::icmpFunctionBuilder::icmp
- ::icmp_eqFunctionBuilder::icmp_eq
- ::icmp_neFunctionBuilder::icmp_ne
- ::icmp_sgeFunctionBuilder::icmp_sge
- ::icmp_sgtFunctionBuilder::icmp_sgt
- ::icmp_sleFunctionBuilder::icmp_sle
- ::icmp_sltFunctionBuilder::icmp_slt
- ::icmp_ugeFunctionBuilder::icmp_uge
- ::icmp_ugtFunctionBuilder::icmp_ugt
- ::icmp_uleFunctionBuilder::icmp_ule
- ::icmp_ultFunctionBuilder::icmp_ult
- ::iconstFunctionBuilder::iconst
- ::iconst_i32FunctionBuilder::iconst_i32
- ::iconst_i64FunctionBuilder::iconst_i64
- ::imulFunctionBuilder::imul
- ::ireduceFunctionBuilder::ireduce
- ::ishlFunctionBuilder::ishl
- ::isubFunctionBuilder::isub
- ::jumpFunctionBuilder::jump
- ::load_ptrFunctionBuilder::load_ptr
- ::load_ptr_narrowFunctionBuilder::load_ptr_narrow
- ::popcntFunctionBuilder::popcnt
- ::printFunctionBuilder::print
- ::return_FunctionBuilder::return_
- ::rotlFunctionBuilder::rotl
- ::rotrFunctionBuilder::rotr
- ::sdivFunctionBuilder::sdiv
- ::selectFunctionBuilder::select
- ::sextendFunctionBuilder::sextend
- ::sextend16FunctionBuilder::sextend16
- ::sextend32FunctionBuilder::sextend32
- ::sextend8FunctionBuilder::sextend8
- ::sint_to_fcvtFunctionBuilder::sint_to_fcvt
- ::smulhFunctionBuilder::smulh
- ::sremFunctionBuilder::srem
- ::sshrFunctionBuilder::sshr
- ::store_ptrFunctionBuilder::store_ptr
- ::store_ptr_narrowFunctionBuilder::store_ptr_narrow
- ::switch_to_blockFunctionBuilder::switch_to_block
- ::trapFunctionBuilder::trap
- ::udivFunctionBuilder::udiv
- ::uextendFunctionBuilder::uextend
- ::uint_to_fcvtFunctionBuilder::uint_to_fcvt
- ::umulhFunctionBuilder::umulh
- ::uremFunctionBuilder::urem
- ::ushrFunctionBuilder::ushr
- ::v128_andFunctionBuilder::v128_and
- ::v128_andnotFunctionBuilder::v128_andnot
- ::v128_anytrueFunctionBuilder::v128_anytrue
- ::v128_bitselectFunctionBuilder::v128_bitselect
- ::v128_constFunctionBuilder::v128_const
- ::v128_extract16sFunctionBuilder::v128_extract16s
- ::v128_extract16uFunctionBuilder::v128_extract16u
- ::v128_extract32FunctionBuilder::v128_extract32
- ::v128_extract64FunctionBuilder::v128_extract64
- ::v128_extract8sFunctionBuilder::v128_extract8s
- ::v128_extract8uFunctionBuilder::v128_extract8u
- ::v128_extract_f32FunctionBuilder::v128_extract_f32
- ::v128_extract_f64FunctionBuilder::v128_extract_f64
- ::v128_load_lane_with_addrFunctionBuilder::v128_load_lane_with_addr
- ::v128_load_with_addrFunctionBuilder::v128_load_with_addr
- ::v128_notFunctionBuilder::v128_not
- ::v128_orFunctionBuilder::v128_or
- ::v128_replace16FunctionBuilder::v128_replace16
- ::v128_replace32FunctionBuilder::v128_replace32
- ::v128_replace64FunctionBuilder::v128_replace64
- ::v128_replace8FunctionBuilder::v128_replace8
- ::v128_replace_f32FunctionBuilder::v128_replace_f32
- ::v128_replace_f64FunctionBuilder::v128_replace_f64
- ::v128_shuffleFunctionBuilder::v128_shuffle
- ::v128_splat16FunctionBuilder::v128_splat16
- ::v128_splat32FunctionBuilder::v128_splat32
- ::v128_splat64FunctionBuilder::v128_splat64
- ::v128_splat8FunctionBuilder::v128_splat8
- ::v128_splat_f32FunctionBuilder::v128_splat_f32
- ::v128_splat_f64FunctionBuilder::v128_splat_f64
- ::v128_store_lane_with_addrFunctionBuilder::v128_store_lane_with_addr
- ::v128_swizzleFunctionBuilder::v128_swizzle
- ::v128_xorFunctionBuilder::v128_xor
- ::equalGlobalValue::equal
- ::hashGlobalValue::hash
- ::hash_combineGlobalValue::hash_combine
- ::not_equalGlobalValue::not_equal
- ::to_reprGlobalValue::to_repr
- ::context_fieldGlobalValueData::context_field
- ::equalGlobalValueData::equal
- ::hashGlobalValueData::hash
- ::hash_combineGlobalValueData::hash_combine
- ::not_equalGlobalValueData::not_equal
- ::to_reprGlobalValueData::to_repr
- ::equalGlobalValueStability::equal
- ::hashGlobalValueStability::hash
- ::hash_combineGlobalValueStability::hash_combine
- ::not_equalGlobalValueStability::not_equal
- ::to_reprGlobalValueStability::to_repr
- ::add_metadataInst::add_metadata
- ::all_resultsInst::all_results
- ::equalInst::equal
- ::first_resultInst::first_result
- ::hashInst::hash
- ::hash_combineInst::hash_combine
- ::not_equalInst::not_equal
- ::set_opcodeInst::set_opcode
- ::to_reprInst::to_repr
- ::equalIntBinaryOp::equal
- ::hashIntBinaryOp::hash
- ::hash_combineIntBinaryOp::hash_combine
- ::not_equalIntBinaryOp::not_equal
- ::to_reprIntBinaryOp::to_repr
- ::equalIntCC::equal
- ::hashIntCC::hash
- ::hash_combineIntCC::hash_combine
- ::not_equalIntCC::not_equal
- ::to_reprIntCC::to_repr
- ::equalIntUnaryOp::equal
- ::hashIntUnaryOp::hash
- ::hash_combineIntUnaryOp::hash_combine
- ::not_equalIntUnaryOp::not_equal
- ::to_reprIntUnaryOp::to_repr
- ::containsLoop::contains
- ::to_reprLoop::to_repr
- ::equalMemoryOp::equal
- ::hashMemoryOp::hash
- ::hash_combineMemoryOp::hash_combine
- ::not_equalMemoryOp::not_equal
- ::to_reprMemoryOp::to_repr
- ::equalMetadata::equal
- ::not_equalMetadata::not_equal
- ::to_reprMetadata::to_repr
- ::equalOpcode::equal
- ::hashOpcode::hash
- ::hash_combineOpcode::hash_combine
- ::not_equalOpcode::not_equal
- ::outputOpcode::output
- ::to_reprOpcode::to_repr
- ::to_stringOpcode::to_string
- ::equalScalarOp::equal
- ::hashScalarOp::hash
- ::hash_combineScalarOp::hash_combine
- ::not_equalScalarOp::not_equal
- ::to_reprScalarOp::to_repr
- ::SignatureSignature::Signature
- ::equalSignature::equal
- ::hashSignature::hash
- ::hash_combineSignature::hash_combine
- ::not_equalSignature::not_equal
- ::to_reprSignature::to_repr
- ::targetsTerminator::targets
- ::to_reprTerminator::to_repr
- ::equalType::equal
- ::hashType::hash
- ::hash_combineType::hash_combine
- ::not_equalType::not_equal
- ::outputType::output
- ::to_reprType::to_repr
- ::to_stringType::to_string
- ::equalValue::equal
- ::hashValue::hash
- ::hash_combineValue::hash_combine
- ::not_equalValue::not_equal
- ::to_reprValue::to_repr
- ::equalVectorBitwiseOp::equal
- ::hashVectorBitwiseOp::hash
- ::hash_combineVectorBitwiseOp::hash_combine
- ::not_equalVectorBitwiseOp::not_equal
- ::to_reprVectorBitwiseOp::to_repr
- ::equalVectorConversionOp::equal
- ::hashVectorConversionOp::hash
- ::hash_combineVectorConversionOp::hash_combine
- ::not_equalVectorConversionOp::not_equal
- ::to_reprVectorConversionOp::to_repr
- ::equalVectorExtension::equal
- ::hashVectorExtension::hash
- ::hash_combineVectorExtension::hash_combine
- ::not_equalVectorExtension::not_equal
- ::to_reprVectorExtension::to_repr
- ::equalVectorFloatBinaryOp::equal
- ::hashVectorFloatBinaryOp::hash
- ::hash_combineVectorFloatBinaryOp::hash_combine
- ::not_equalVectorFloatBinaryOp::not_equal
- ::to_reprVectorFloatBinaryOp::to_repr
- ::equalVectorFloatCompareOp::equal
- ::hashVectorFloatCompareOp::hash
- ::hash_combineVectorFloatCompareOp::hash_combine
- ::not_equalVectorFloatCompareOp::not_equal
- ::to_reprVectorFloatCompareOp::to_repr
- ::equalVectorFloatLane::equal
- ::hashVectorFloatLane::hash
- ::hash_combineVectorFloatLane::hash_combine
- ::not_equalVectorFloatLane::not_equal
- ::to_reprVectorFloatLane::to_repr
- ::equalVectorFloatUnaryOp::equal
- ::hashVectorFloatUnaryOp::hash
- ::hash_combineVectorFloatUnaryOp::hash_combine
- ::not_equalVectorFloatUnaryOp::not_equal
- ::to_reprVectorFloatUnaryOp::to_repr
- ::equalVectorFmaOp::equal
- ::hashVectorFmaOp::hash
- ::hash_combineVectorFmaOp::hash_combine
- ::not_equalVectorFmaOp::not_equal
- ::to_reprVectorFmaOp::to_repr
- ::equalVectorHalf::equal
- ::hashVectorHalf::hash
- ::hash_combineVectorHalf::hash_combine
- ::not_equalVectorHalf::not_equal
- ::to_reprVectorHalf::to_repr
- ::equalVectorIntBinaryOp::equal
- ::hashVectorIntBinaryOp::hash
- ::hash_combineVectorIntBinaryOp::hash_combine
- ::not_equalVectorIntBinaryOp::not_equal
- ::to_reprVectorIntBinaryOp::to_repr
- ::equalVectorIntCompareOp::equal
- ::hashVectorIntCompareOp::hash
- ::hash_combineVectorIntCompareOp::hash_combine
- ::not_equalVectorIntCompareOp::not_equal
- ::to_reprVectorIntCompareOp::to_repr
- ::equalVectorIntLane::equal
- ::hashVectorIntLane::hash
- ::hash_combineVectorIntLane::hash_combine
- ::not_equalVectorIntLane::not_equal
- ::to_reprVectorIntLane::to_repr
- ::equalVectorIntShiftOp::equal
- ::hashVectorIntShiftOp::hash
- ::hash_combineVectorIntShiftOp::hash_combine
- ::not_equalVectorIntShiftOp::not_equal
- ::to_reprVectorIntShiftOp::to_repr
- ::equalVectorIntUnaryOp::equal
- ::hashVectorIntUnaryOp::hash
- ::hash_combineVectorIntUnaryOp::hash_combine
- ::not_equalVectorIntUnaryOp::not_equal
- ::to_reprVectorIntUnaryOp::to_repr
- ::equalVectorLane::equal
- ::hashVectorLane::hash
- ::hash_combineVectorLane::hash_combine
- ::not_equalVectorLane::not_equal
- ::to_reprVectorLane::to_repr
- ::equalVectorMemoryOp::equal
- ::hashVectorMemoryOp::hash
- ::hash_combineVectorMemoryOp::hash_combine
- ::not_equalVectorMemoryOp::not_equal
- ::to_reprVectorMemoryOp::to_repr
- ::equalVectorOp::equal
- ::hashVectorOp::hash
- ::hash_combineVectorOp::hash_combine
- ::not_equalVectorOp::not_equal
- ::to_reprVectorOp::to_repr
- ::equalVectorPredicateOp::equal
- ::hashVectorPredicateOp::hash
- ::hash_combineVectorPredicateOp::hash_combine
- ::not_equalVectorPredicateOp::not_equal
- ::to_reprVectorPredicateOp::to_repr
- ::equalVectorRelaxedOp::equal
- ::hashVectorRelaxedOp::hash
- ::hash_combineVectorRelaxedOp::hash_combine
- ::not_equalVectorRelaxedOp::not_equal
- ::to_reprVectorRelaxedOp::to_repr
- ::equalVectorSignedness::equal
- ::hashVectorSignedness::hash
- ::hash_combineVectorSignedness::hash_combine
- ::not_equalVectorSignedness::not_equal
- ::to_reprVectorSignedness::to_repr
V
build_dominator_tree
V
visit_dominator_tree

Milky2018/milkir/native/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 native lowering construction, and structured control-flow builders. It does not expose mutable native lowering storage, target instructions, or ABI details.

InstructionContext::block_parameters

source

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

InstructionContext::branch

source

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

InstructionContext::create_block

source

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

InstructionContext::create_stack_object

source

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

InstructionContext::emit

source

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

InstructionContext::emit_call

source

fn InstructionContext::emit_call(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value], result_types : Array[@Milky2018/vcode/native_types.ValueType
ValueType]) -> Array[@Milky2018/vcode/native_lowering.Value
Value]

InstructionContext::emit_call_without_roots

source

fn InstructionContext::emit_call_without_roots(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value], result_types : Array[@Milky2018/vcode/native_types.ValueType
ValueType]) -> Array[@Milky2018/vcode/native_lowering.Value
Value]

InstructionContext::environment

source

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

InstructionContext::finish_call

source

fn InstructionContext::finish_call(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value]) -> Unit

InstructionContext::finish_call_without_roots

source

fn InstructionContext::finish_call_without_roots(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value]) -> Unit

InstructionContext::finish_operation

source

fn InstructionContext::finish_operation(self : InstructionContext, operation : @Milky2018/vcode/native_lowering.Operation
Operation, operands : Array[@Milky2018/vcode/native_lowering.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/vcode/native_lowering.Value
Value]) -> Unit

InstructionContext::function_result_types

source

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

InstructionContext::jump

source

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

InstructionContext::new

source

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

InstructionContext::noreturn_call

source

fn InstructionContext::noreturn_call(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value]) -> Unit

InstructionContext::operand_types

source

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

InstructionContext::operands

source

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

InstructionContext::result_types

source

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

InstructionContext::set_trap_terminator

source

fn InstructionContext::set_trap_terminator(self : InstructionContext, reason : @Milky2018/vcode/native_types.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/vcode/native_types.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/vcode/native_lowering.Block
Block) -> Unit

InstructionContext::tail_call

source

fn InstructionContext::tail_call(self : InstructionContext, call : @Milky2018/vcode/native_types.NativeCall
NativeCall, operands : Array[@Milky2018/vcode/native_lowering.Value
Value]) -> Unit

InstructionContext::terminates_block

source

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

InstructionContext::trap

source

fn InstructionContext::trap(self : InstructionContext, reason : @Milky2018/vcode/native_types.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