🥮 mooncakes.io

    jtenner/starshine/passes does not have a README file

    ApplyCompilerFactsResult

    source

    CompilerFactIndex

    source
    pub struct CompilerFactIndex {
      facts : 
    OptimizationFactsSec
      functions : 
    HashMap    [UInt, 
    FunctionFacts    ]
      bodies : 
    HashMap    [UInt, 
    FunctionBodyFacts    ]
      values : 
    HashMap    [
    ValueSite    , 
    ValueFacts    ]
      calls : 
    HashMap    [
    CodeSite    , 
    CallSiteFacts    ]
      signatures : 
    HashMap    [UInt, 
    SignatureFacts    ]
      types : 
    HashMap    [UInt, 
    TypeFacts    ]
      globals : 
    HashMap    [UInt, 
    GlobalFacts    ]
      tables : 
    HashMap    [UInt, 
    TableFacts    ]
    } derive(
    Debug    )

    Read-only, nonserialized index built once per optimization invocation.

    CompilerFactIndex::allocation_facts

    source

    CompilerFactIndex::body_facts

    source

    CompilerFactIndex::call_facts

    source

    CompilerFactIndex::compiler_fact_exact_call_target

    source

    CompilerFactIndex::function_facts

    source

    CompilerFactIndex::global_facts

    source

    CompilerFactIndex::hints_for_function

    source

    CompilerFactIndex::hints_for_site

    source

    CompilerFactIndex::new

    source

    CompilerFactIndex::signature_facts

    source

    CompilerFactIndex::table_facts

    source

    CompilerFactIndex::type_facts

    source

    CompilerFactIndex::value_facts

    source

    CompilerFactMaterializationStats

    source
    pub struct CompilerFactMaterializationStats {
      fact_sections_seen : Int
      function_bodies_with_facts : Int
      function_facts_seen : Int
      signature_facts_seen : Int
      type_facts_seen : Int
      global_facts_seen : Int
      table_facts_seen : Int
      value_facts_seen : Int
      relation_facts_seen : Int
      call_facts_seen : Int
      branch_facts_seen : Int
      loop_facts_seen : Int
      allocation_facts_seen : Int
      access_facts_seen : Int
      numeric_operation_facts_seen : Int
      hint_facts_seen : Int
      trusted_assertion_facts : Int
      hint_only_facts : Int
      candidate_rewrites : Int
      exact_call_target_facts_seen : Int
      exact_call_target_facts_accepted : Int
      call_ref_converted : Int
      return_call_ref_converted : Int
      integer_comparisons_folded : Int
      integer_zero_checks_folded : Int
      reference_null_checks_folded : Int
      structurally_incompatible_rejected : Int
      stale_or_unresolved_sites : Int
      type_mismatches : Int
      invalid_referenced_indices : Int
      unsupported_versions : Int
      malformed_or_impossible_facts : Int
      facts_blocked_by_trust : Int
      valid_facts_without_rewrite : Int
      ignored_untrusted_assertions : Int
    } derive(Eq, 
    Debug    )

    CompilerFactMaterializationStats::new

    source

    CompilerFactUsePolicy

    source
    pub enum CompilerFactUsePolicy {
      IgnoreFacts
      HintsOnly
      TrustAssertions
    } derive(Eq, 
    Debug    )

    Optimizer-local policy. This is deliberately not serialized in Wasm.

    CompilerFactUsePolicy::hints_only

    source

    CompilerFactUsePolicy::ignore

    source

    CompilerFactUsePolicy::trust_assertions

    source

    FlattenFlatnessReport

    source
    pub(all) struct FlattenFlatnessReport {
      rich_operand_count : Int
      value_control_count : Int
      local_tee_count : Int
      control_local_set_count : Int
      body_value_flow_count : Int
      unsupported_count : Int
    } derive(Eq, 
    Debug    )

    Analysis-only summary of Binaryen Flat IR contract violations in one HOT function.

    FlattenFlatnessReport::empty

    source

    FlattenFlatnessReport::is_flat

    source
    fn FlattenFlatnessReport::is_flat(self : FlattenFlatnessReport) -> Bool

    H2LDominanceOrder

    source
    type H2LDominanceOrder

    HotPassContext

    source
    pub struct HotPassContext {
      descriptor : 
    HotPassDescriptor
      cache : 
    HotAnalysisCache
      verify_policy : HotPipelineVerifyPolicy
      closed_world : Bool
      traps_never_happen : Bool
      ignore_implicit_traps : Bool
      fast_math : Bool
      optimize_level : Int
      shrink_level : Int
      trace : (String) -> Unit
      perf : HotPerfSession?
      module_ctx : 
    HotModuleContext    ?
      // private fields
    }

    HotPassContext::new

    source
    fn HotPassContext::new(descriptor : 
    HotPassDescriptor    , cache : 
    HotAnalysisCache    , verify_policy : HotPipelineVerifyPolicy, closed_world : Bool, trace : (String) -> Unit, traps_never_happen? : Bool, ignore_implicit_traps? : Bool, fast_math? : Bool, perf? : HotPerfSession?, module_ctx? : 
    HotModuleContext    ?, optimize_level? : Int, shrink_level? : Int) -> HotPassContext

    HotPassRegistryCategory

    source
    pub enum HotPassRegistryCategory {
      HotPass
      ModulePass
      BoundaryOnly
      Removed
      Preset
    } derive(Eq, 
    Debug    )

    HotPassRegistryCategory::boundary_only

    source

    HotPassRegistryCategory::hot_pass

    source

    HotPassRegistryCategory::module_pass

    source

    HotPassRegistryCategory::preset

    source

    HotPassRegistryCategory::removed

    source

    HotPassRegistryEntry

    source
    pub struct HotPassRegistryEntry {
      name : String
      summary : String
      category : HotPassRegistryCategory
      descriptor : 
    HotPassDescriptor    ?
      expanded_passes : Array[String]
    } derive(Eq, 
    Debug    )

    HotPassResult

    source
    pub struct HotPassResult {
      changed : Bool
    } derive(Eq, 
    Debug    )

    HotPassResult::changed

    source
    fn HotPassResult::changed() -> HotPassResult

    HotPassResult::unchanged

    source
    fn HotPassResult::unchanged() -> HotPassResult

    HotPerfCounters

    source
    pub struct HotPerfCounters {
      node_allocs : Int
      child_span_allocs : Int
      side_table_allocs : Int
      region_splices : Int
      cfg_builds : Int
      dataflow_builds : Int
      traversal_visits : Int
    } derive(Eq, 
    Debug    )

    HotPerfCounters::new

    source
    fn HotPerfCounters::new(node_allocs? : Int, child_span_allocs? : Int, side_table_allocs? : Int, region_splices? : Int, cfg_builds? : Int, dataflow_builds? : Int, traversal_visits? : Int) -> HotPerfCounters

    HotPerfDumpOptions

    source
    pub struct HotPerfDumpOptions {
      hot_func : Bool
      cfg : Bool
    } derive(Eq, 
    Debug    )

    HotPerfDumpOptions::new

    source
    fn HotPerfDumpOptions::new(hot_func? : Bool, cfg? : Bool) -> HotPerfDumpOptions

    HotPerfHotSnapshot

    source
    pub struct HotPerfHotSnapshot {
      node_count : Int
      child_span_count : Int
      side_table_count : Int
    } derive(Eq, 
    Debug    )

    HotPerfHotSnapshot::empty

    source

    HotPerfSession

    source
    pub struct HotPerfSession {
      enabled : Bool
      trace : (String) -> Unit
      trace_timings : Bool
      trace_checkpoints : Bool
      trace_counters : Bool
      dump_options : HotPerfDumpOptions
      counters : HotPerfCounters
      timer_totals : Array[(String, UInt64)]
      timer_indices : 
    HashMap    [String, Int]
    }

    HotPerfSession::new

    source
    fn HotPerfSession::new(enabled? : Bool, trace? : (String) -> Unit, trace_timings? : Bool, trace_checkpoints? : Bool, trace_counters? : Bool, dump_options? : HotPerfDumpOptions) -> HotPerfSession

    HotPipelineOptions

    source
    pub struct HotPipelineOptions {
      verify_policy : HotPipelineVerifyPolicy
      validate_final_module : Bool
      closed_world : Bool
      traps_never_happen : Bool
      ignore_implicit_traps : Bool
      zero_filled_memory : Bool
      fast_math : Bool
      compiler_fact_policy : CompilerFactUsePolicy
      optimize_level : Int
      shrink_level : Int
      inlining_always_inline_max_size : Int
      inlining_one_caller_inline_max_size : Int
      inlining_flexible_inline_max_size : Int
      inlining_max_combined_binary_size : Int
      inlining_allow_functions_with_loops : Bool
      inlining_partial_inlining_ifs : Int
      stack_function_passes : Bool
      trace_enabled : Bool
      trace : (String) -> Unit
      perf : HotPerfSession?
      // private fields
    }

    HotPipelineOptions::new

    source
    fn HotPipelineOptions::new(verify_policy? : HotPipelineVerifyPolicy, validate_final_module? : Bool, closed_world? : Bool, traps_never_happen? : Bool, ignore_implicit_traps? : Bool, zero_filled_memory? : Bool, fast_math? : Bool, compiler_fact_policy? : CompilerFactUsePolicy, optimize_level? : Int, shrink_level? : Int, inlining_always_inline_max_size? : Int, inlining_one_caller_inline_max_size? : Int, inlining_flexible_inline_max_size? : Int, inlining_max_combined_binary_size? : Int, inlining_allow_functions_with_loops? : Bool, inlining_partial_inlining_ifs? : Int, stack_function_passes? : Bool, trace? : (String) -> Unit?, perf? : HotPerfSession?) -> HotPipelineOptions

    HotPipelineVerifyPolicy

    source
    pub enum HotPipelineVerifyPolicy {
      FinalModuleOnly
      AfterEachPass
    } derive(Eq, 
    Debug    )

    HotPipelineVerifyPolicy::after_each_pass

    source

    HotPipelineVerifyPolicy::final_module_only

    source

    HotPipelineVerifyTarget

    source

    HotTupleOptimizationAnalysis

    source
    type HotTupleOptimizationAnalysis derive(Eq, 
    Debug    )

    HotTupleOptimizationCopyConsumers

    source
    type HotTupleOptimizationCopyConsumers

    HotTupleOptimizationDropOnlyElisionFacts

    source
    type HotTupleOptimizationDropOnlyElisionFacts derive(Eq, 
    Debug    )

    HotTupleOptimizationGroup

    source
    type HotTupleOptimizationGroup derive(Eq, 
    Debug    )

    HotTupleOptimizationQuerySummary

    source
    type HotTupleOptimizationQuerySummary derive(Eq, 
    Debug    )

    HotTupleOptimizationRewriteCleanupPlan

    source
    type HotTupleOptimizationRewriteCleanupPlan derive(Eq, 
    Debug    )

    HotTupleOptimizationRootSlot

    source
    type HotTupleOptimizationRootSlot derive(Eq, 
    Debug    )

    HotTupleOptimizationSeedCollection

    source
    type HotTupleOptimizationSeedCollection derive(Eq, 
    Debug    )

    SsaFullGetDecision

    source
    pub(all) enum SsaFullGetDecision {
      Retarget(Int)
      MaterializeDefault
      Merge(Int)
      KeepCanonical
    } derive(Eq, 
    Debug    )

    SsaFullGetRewrite

    source
    pub(all) struct SsaFullGetRewrite {
      get_id : Int
      original_local : Int
      decision : SsaFullGetDecision
    } derive(Eq, 
    Debug    )

    SsaFullMergeGetRewrite

    source
    pub(all) struct SsaFullMergeGetRewrite {
      get_id : Int
      original_local : Int
      merge_local : Int
      inputs : Array[SsaFullMergeInput]
    } derive(Eq, 
    Debug    )

    SsaFullMergeInput

    source
    pub(all) enum SsaFullMergeInput {
      ExplicitWrite(Int)
      ParamEntry(Int)
      DefaultEntry(Int)
    } derive(Eq, 
    Debug    )

    SsaFullRewritePlan

    source
    pub(all) struct SsaFullRewritePlan {
      write_rewrites : Array[SsaFullWriteRewrite]
      get_rewrites : Array[SsaFullGetRewrite]
      merge_gets : Array[SsaFullMergeGetRewrite]
    } derive(Eq, 
    Debug    )

    SsaFullWriteDecision

    source
    pub(all) enum SsaFullWriteDecision {
      Freshen(Int)
      KeepCanonical
    } derive(Eq, 
    Debug    )

    SsaFullWriteRewrite

    source
    pub(all) struct SsaFullWriteRewrite {
      write_id : Int
      original_local : Int
      decision : SsaFullWriteDecision
    } derive(Eq, 
    Debug    )

    SsaNoMergeGetDecision

    source
    pub(all) enum SsaNoMergeGetDecision {
      Retarget(Int)
      MaterializeDefault
      KeepCanonical
    } derive(Eq, 
    Debug    )

    Planned local-get action for Binaryen-style ssa-nomerge rewriting.

    SsaNoMergeGetRewrite

    source
    pub(all) struct SsaNoMergeGetRewrite {
      get_id : Int
      original_local : Int
      decision : SsaNoMergeGetDecision
    } derive(Eq, 
    Debug    )

    Analysis-only get rewrite entry. This does not mutate the function.

    SsaNoMergeRewritePlan

    source
    pub(all) struct SsaNoMergeRewritePlan {
      write_rewrites : Array[SsaNoMergeWriteRewrite]
      get_rewrites : Array[SsaNoMergeGetRewrite]
    } derive(Eq, 
    Debug    )

    Analysis-only no-merge rewrite plan built from HotLocalGraph facts.

    SsaNoMergeWriteDecision

    source
    pub(all) enum SsaNoMergeWriteDecision {
      Freshen(Int)
      KeepCanonical
    } derive(Eq, 
    Debug    )

    Planned local-write action for Binaryen-style ssa-nomerge rewriting.

    SsaNoMergeWriteRewrite

    source
    pub(all) struct SsaNoMergeWriteRewrite {
      write_id : Int
      original_local : Int
      influenced_gets : Array[Int]
      decision : SsaNoMergeWriteDecision
    } derive(Eq, 
    Debug    )

    Analysis-only write rewrite entry. This does not mutate the function.

    apply_compiler_facts

    source
    fn apply_compiler_facts(module_ : 
    Module    , policy : CompilerFactUsePolicy) -> Result[ApplyCompilerFactsResult, String]

    avoid_reinterprets_run_module_pass

    source
    fn avoid_reinterprets_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    avoid_reinterprets_summary

    source
    fn avoid_reinterprets_summary() -> String

    coalesce_locals_run_module_pass

    source
    fn coalesce_locals_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    coalesce_locals_summary

    source
    fn coalesce_locals_summary() -> String

    code_folding_descriptor

    source

    code_folding_run

    source

    code_folding_summary

    source
    fn code_folding_summary() -> String

    code_pushing_descriptor

    source

    code_pushing_summary

    source
    fn code_pushing_summary() -> String

    dae_optimizing_summary

    source
    fn dae_optimizing_summary() -> String

    dae_run_module_pass

    source
    fn dae_run_module_pass(mod_ : 
    Module    , optimize? : Bool, trace? : (String) -> Unit?) -> 
    Module

    dae_summary

    source
    fn dae_summary() -> String

    dead_code_elimination_descriptor

    source
    fn dead_code_elimination_descriptor() -> 
    HotPassDescriptor

    dead_code_elimination_summary

    source
    fn dead_code_elimination_summary() -> String

    default_function_optimization_passes

    source
    fn default_function_optimization_passes(optimize_level : Int, shrink_level : Int) -> Array[String]

    default_function_optimization_passes_for_module

    source
    fn default_function_optimization_passes_for_module(mod_ : 
    Module    , optimize_level : Int, shrink_level : Int) -> Array[String]

    dfe_run_module_pass

    source

    dfe_summary

    source
    fn dfe_summary() -> String

    die_run_module_pass

    source

    die_run_module_pass_assume_stable_bindings

    source
    fn die_run_module_pass_assume_stable_bindings(mod_ : 
    Module    ) -> 
    Module

    Merge repeated function imports only when the caller guarantees that every repeated module/component lookup is side-effect-free and resolves, after embedding conversion, to the same WebAssembly function identity.

    die_summary

    source
    fn die_summary() -> String

    flatten_classify_hot

    source

    Classify the current HOT function without mutating it.

    flatten_descriptor

    source

    flatten_run

    source

    flatten_summary

    source
    fn flatten_summary() -> String

    global_refining_run_module_pass

    source
    fn global_refining_run_module_pass(mod_ : 
    Module    , closed_world? : Bool) -> 
    Module

    global_refining_summary

    source
    fn global_refining_summary() -> String

    global_struct_inference_desc_cast_run_module_pass

    source
    fn global_struct_inference_desc_cast_run_module_pass(mod_ : 
    Module    , closed_world : Bool) -> 
    Module

    global_struct_inference_desc_cast_summary

    source
    fn global_struct_inference_desc_cast_summary() -> String

    global_struct_inference_run_module_pass

    source
    fn global_struct_inference_run_module_pass(mod_ : 
    Module    , closed_world : Bool) -> 
    Module

    global_struct_inference_summary

    source
    fn global_struct_inference_summary() -> String

    heap2local_descriptor

    source

    heap2local_run

    source

    heap2local_summary

    source
    fn heap2local_summary() -> String

    heap_store_optimization_descriptor

    source
    fn heap_store_optimization_descriptor() -> 
    HotPassDescriptor

    heap_store_optimization_summary

    source
    fn heap_store_optimization_summary() -> String

    hot_pass_run

    source
    fn hot_pass_run(ctx : HotPassContext, func : 
    HotFunc    ) -> Result[HotPassResult, String]

    inline_main_run_module_pass

    source

    inline_main_summary

    source
    fn inline_main_summary() -> String

    inlining_nested_function_pipeline_passes

    source
    fn inlining_nested_function_pipeline_passes(optimize_level : Int, shrink_level : Int) -> Array[String]

    inlining_optimizing_summary

    source
    fn inlining_optimizing_summary() -> String

    inlining_run_module_pass

    source
    fn inlining_run_module_pass(mod_ : 
    Module    , optimize? : Bool, trace? : (String) -> Unit?, pass_name? : String, optimize_level? : Int, shrink_level? : Int, always_inline_max_size? : Int, one_caller_inline_max_size? : Int, flexible_inline_max_size? : Int, max_combined_binary_size? : Int, allow_functions_with_loops? : Bool, partial_inlining_ifs? : Int) -> 
    Module

    inlining_summary

    source
    fn inlining_summary() -> String

    local_cse_descriptor

    source

    local_cse_run

    source

    local_cse_run_module_pass

    source

    local_cse_summary

    source
    fn local_cse_summary() -> String

    local_subtyping_run_module_pass

    source
    fn local_subtyping_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    local_subtyping_summary

    source
    fn local_subtyping_summary() -> String

    memory_packing_run_module_pass

    source
    fn memory_packing_run_module_pass(mod_ : 
    Module    , traps_never_happen? : Bool, zero_filled_memory? : Bool) -> 
    Module

    memory_packing_summary

    source
    fn memory_packing_summary() -> String

    merge_blocks_descriptor

    source

    merge_blocks_summary

    source
    fn merge_blocks_summary() -> String

    merge_locals_descriptor

    source

    merge_locals_summary

    source
    fn merge_locals_summary() -> String

    merge_similar_functions_run_module_pass

    source
    fn merge_similar_functions_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    merge_similar_functions_summary

    source
    fn merge_similar_functions_summary() -> String

    no_full_inline_summary

    source
    fn no_full_inline_summary() -> String

    no_inline_copy_policy_annotations

    source
    fn no_inline_copy_policy_annotations(mod_ : 
    Module    , source_idx : UInt, target_idx : UInt) -> 
    Module

    no_inline_pass_pattern

    source
    fn no_inline_pass_pattern(flag : String) -> (String, String)?

    no_inline_summary

    source
    fn no_inline_summary() -> String

    no_partial_inline_summary

    source
    fn no_partial_inline_summary() -> String

    o4z_canonicalize_final_size_candidate

    source
    fn o4z_canonicalize_final_size_candidate(mod_ : 
    Module    ) -> 
    Module

    o4z_canonicalize_final_size_candidate_with_changed

    source
    fn o4z_canonicalize_final_size_candidate_with_changed(mod_ : 
    Module    ) -> (
    Module    , Bool)

    o4z_canonicalize_final_size_ifs_stateful_candidate

    source
    fn o4z_canonicalize_final_size_ifs_stateful_candidate(mod_ : 
    Module    ) -> 
    Module

    o4z_canonicalize_final_size_store_carries

    source
    fn o4z_canonicalize_final_size_store_carries(mod_ : 
    Module    ) -> 
    Module

    o4z_outline_similar_size_functions

    source
    fn o4z_outline_similar_size_functions(mod_ : 
    Module    ) -> 
    Module

    o4z_prune_final_size_unreferenced_globals

    source
    fn o4z_prune_final_size_unreferenced_globals(mod_ : 
    Module    ) -> 
    Module

    o4z_restore_optimized_primes_variadic_pack_funcs

    source
    fn o4z_restore_optimized_primes_variadic_pack_funcs(original : 
    Module    , candidate : 
    Module    ) -> 
    Module

    o4z_size_candidate_has_observable_assemblyscript_memory

    source
    fn o4z_size_candidate_has_observable_assemblyscript_memory(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_observable_assemblyscript_run

    source
    fn o4z_size_candidate_has_observable_assemblyscript_run(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_observable_assemblyscript_startup

    source
    fn o4z_size_candidate_has_observable_assemblyscript_startup(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_optimized_primes_variadic_pack_runtime

    source
    fn o4z_size_candidate_has_optimized_primes_variadic_pack_runtime(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_root_default_local_copy

    source
    fn o4z_size_candidate_has_root_default_local_copy(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_small_dense_i64_mul

    source
    fn o4z_size_candidate_has_small_dense_i64_mul(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_stack_carried_simd_trunc_global_write

    source
    fn o4z_size_candidate_has_stack_carried_simd_trunc_global_write(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_stateful_emscripten_main_runtime

    source
    fn o4z_size_candidate_has_stateful_emscripten_main_runtime(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_unobservable_atomic_fence

    source
    fn o4z_size_candidate_has_unobservable_atomic_fence(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_unreferenced_defined_global

    source
    fn o4z_size_candidate_has_unreferenced_defined_global(mod_ : 
    Module    ) -> Bool

    o4z_size_candidate_has_unsafe_emscripten_main_runtime

    source
    fn o4z_size_candidate_has_unsafe_emscripten_main_runtime(mod_ : 
    Module    ) -> Bool

    once_reduction_run_module_pass

    source

    once_reduction_summary

    source
    fn once_reduction_summary() -> String

    optimize_casts_descriptor

    source

    optimize_casts_run

    source
    fn optimize_casts_run(ctx : HotPassContext, func : 
    HotFunc    ) -> HotPassResult

    optimize_casts_summary

    source
    fn optimize_casts_summary() -> String

    optimize_instructions_descriptor

    source
    fn optimize_instructions_descriptor() -> 
    HotPassDescriptor

    optimize_instructions_summary

    source
    fn optimize_instructions_summary() -> String

    optimize_preset_passes

    source
    fn optimize_preset_passes(options : HotPipelineOptions) -> Array[String]

    pass_compute_label_used

    source

    pass_delete_detached_nodes

    source
    fn pass_delete_detached_nodes(ctx : HotPassContext, func : 
    HotFunc    , node_ids : Array[Int]) -> Unit

    pass_label_is_used

    source
    fn pass_label_is_used(label_id : Int, label_used : 
    BitSet    ) -> Bool

    pass_mark_mutated

    source
    fn pass_mark_mutated(ctx : HotPassContext, func : 
    HotFunc    ) -> Unit

    pass_node_is_unused

    source
    fn pass_node_is_unused(ctx : HotPassContext, func : 
    HotFunc    , node_id : Int) -> Bool

    pass_node_use_count

    source
    fn pass_node_use_count(ctx : HotPassContext, func : 
    HotFunc    , node_id : Int) -> Int

    pass_prepare_requirements

    source
    fn pass_prepare_requirements(ctx : HotPassContext, func : 
    HotFunc    ) -> Unit

    pass_raw_collapse_trailing_unreachable_run

    source

    pass_raw_dropped_block_has_unreachable_tail

    source
    fn pass_raw_dropped_block_has_unreachable_tail(instr : 
    Instruction    ) -> Bool

    pass_raw_instr_is_branch_control

    source
    fn pass_raw_instr_is_branch_control(instr : 
    Instruction    ) -> Bool

    pass_raw_instrs_end_in_unreachable

    source
    fn pass_raw_instrs_end_in_unreachable(instrs : Array[
    Instruction    ]) -> Bool

    pass_raw_instrs_have_branch_control

    source
    fn pass_raw_instrs_have_branch_control(instrs : Array[
    Instruction    ]) -> Bool

    pass_raw_remove_dropped_unreachable_debris

    source
    fn pass_raw_remove_dropped_unreachable_debris(instrs : Array[
    Instruction    ]) -> (Array[
    Instruction    ], Bool)

    pass_raw_void_block_can_inline_before_unreachable

    source
    fn pass_raw_void_block_can_inline_before_unreachable(instr : 
    Instruction    ) -> Bool

    pass_registry_all

    source
    fn pass_registry_all() -> Array[HotPassRegistryEntry]

    pass_registry_category

    source
    fn pass_registry_category(name : String) -> HotPassRegistryCategory?

    pass_registry_expanded_names_for_module

    source
    fn pass_registry_expanded_names_for_module(mod_ : 
    Module    , options : HotPipelineOptions, requested_passes : Array[String]) -> Result[Array[String], String]

    pass_registry_fixed_point_cleanup_sequence

    source
    fn pass_registry_fixed_point_cleanup_sequence() -> Array[String]

    pass_registry_help_entries

    source
    fn pass_registry_help_entries() -> Array[HotPassRegistryEntry]

    pass_registry_lookup

    source
    fn pass_registry_lookup(name : String) -> HotPassRegistryEntry?

    pass_registry_random_executable_sequence

    source
    fn pass_registry_random_executable_sequence(profile : String, seed : UInt64) -> Array[String]

    pass_replace_node

    source
    fn pass_replace_node(ctx : HotPassContext, func : 
    HotFunc    , node_id : Int, new_node : 
    HotNode    , preserve_value_order? : Bool) -> Unit

    pass_require_cfg

    source

    pass_require_dom

    source

    pass_require_effects

    source

    pass_require_liveness

    source

    pass_require_loop_info

    source

    pass_require_orders

    source

    pass_require_postdom

    source

    pass_require_ssa

    source

    pass_require_use_def

    source

    pass_rewrite_structured_instr

    source

    pass_splice_region

    source
    fn pass_splice_region(ctx : HotPassContext, func : 
    HotFunc    , region_ref : 
    HotRegionRef    , idx : Int, remove_count : Int, node_ids : Array[Int]) -> Array[Int]

    pass_test_capture_trace

    source
    fn pass_test_capture_trace(text : String, requested_passes : Array[String]) -> Result[Array[String], String]

    pass_test_lift_first_func

    source
    fn pass_test_lift_first_func(text : String) -> 
    HotFunc

    pass_test_module_from_wat

    source
    fn pass_test_module_from_wat(text : String) -> 
    Module

    pass_test_run_pipeline

    source
    fn pass_test_run_pipeline(text : String, requested_passes : Array[String], options? : HotPipelineOptions) -> Result[
    Module    , String]

    pass_verify_before_after

    source
    fn pass_verify_before_after(ctx : HotPassContext, func : 
    HotFunc    ) -> Result[Unit, String]

    perf_count_cfg_build

    source
    fn perf_count_cfg_build(session : HotPerfSession, count? : Int) -> Unit

    perf_count_child_span_alloc

    source
    fn perf_count_child_span_alloc(session : HotPerfSession, count? : Int) -> Unit

    perf_count_dataflow_build

    source
    fn perf_count_dataflow_build(session : HotPerfSession, name : String, count? : Int) -> Unit

    perf_count_hot_alloc_delta

    source
    fn perf_count_hot_alloc_delta(session : HotPerfSession, before : HotPerfHotSnapshot, after : HotPerfHotSnapshot) -> Unit

    perf_count_node_alloc

    source
    fn perf_count_node_alloc(session : HotPerfSession, count? : Int) -> Unit

    perf_count_region_splice

    source
    fn perf_count_region_splice(session : HotPerfSession, count? : Int) -> Unit

    perf_count_side_table_alloc

    source
    fn perf_count_side_table_alloc(session : HotPerfSession, count? : Int) -> Unit

    perf_count_traversal_visit

    source
    fn perf_count_traversal_visit(session : HotPerfSession, count? : Int) -> Unit

    perf_counters

    source
    fn perf_counters(session : HotPerfSession) -> HotPerfCounters

    perf_dump_cfg

    source
    fn perf_dump_cfg(session : HotPerfSession, cfg : 
    HotCfg    , label : String) -> Unit

    perf_dump_hot_func

    source
    fn perf_dump_hot_func(session : HotPerfSession, func : 
    HotFunc    , label : String) -> Unit

    perf_emit_counters

    source
    fn perf_emit_counters(session : HotPerfSession, label : String) -> Unit

    perf_snapshot_hot_func

    source
    fn perf_snapshot_hot_func(func : 
    HotFunc    ) -> HotPerfHotSnapshot

    perf_start_timer

    source
    fn perf_start_timer(session : HotPerfSession, name : String) -> UInt64

    perf_stop_timer

    source
    fn perf_stop_timer(session : HotPerfSession, name : String, start_us : UInt64) -> Unit

    perf_validation_checkpoint

    source
    fn perf_validation_checkpoint(session : HotPerfSession, name : String) -> Unit

    pick_load_signs_descriptor

    source

    pick_load_signs_summary

    source
    fn pick_load_signs_summary() -> String

    pipeline_trace_hook

    source
    fn pipeline_trace_hook(trace : (String) -> Unit, pass_name : String, event : String, payload? : String) -> Unit

    pipeline_verify_checkpoint

    source
    fn pipeline_verify_checkpoint(policy : HotPipelineVerifyPolicy, label : String, target : HotPipelineVerifyTarget) -> Result[Unit, String]

    precompute_descriptor

    source

    precompute_propagate_descriptor

    source
    fn precompute_propagate_descriptor() -> 
    HotPassDescriptor

    precompute_propagate_run

    source
    fn precompute_propagate_run(ctx : HotPassContext, func : 
    HotFunc    ) -> HotPassResult

    precompute_propagate_summary

    source
    fn precompute_propagate_summary() -> String

    precompute_summary

    source
    fn precompute_summary() -> String

    propagate_globals_globally_run_module_pass

    source
    fn propagate_globals_globally_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    propagate_globals_globally_summary

    source
    fn propagate_globals_globally_summary() -> String

    remove_unused_brs_descriptor

    source

    remove_unused_brs_summary

    source
    fn remove_unused_brs_summary() -> String

    remove_unused_names_descriptor

    source
    fn remove_unused_names_descriptor() -> 
    HotPassDescriptor

    remove_unused_names_summary

    source
    fn remove_unused_names_summary() -> String

    reorder_globals_run_module_pass

    source
    fn reorder_globals_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    reorder_globals_run_module_pass_always

    source
    fn reorder_globals_run_module_pass_always(mod_ : 
    Module    ) -> 
    Module

    reorder_globals_summary

    source
    fn reorder_globals_summary() -> String

    reorder_locals_run_module_pass

    source

    reorder_locals_summary

    source
    fn reorder_locals_summary() -> String

    rse_descriptor

    source

    rse_summary

    source
    fn rse_summary() -> String

    rume_extract_functions

    source

    rume_nonfunction_summary

    source
    fn rume_nonfunction_summary() -> String

    rume_run_host_roots_module_pass

    source
    fn rume_run_host_roots_module_pass(mod_ : 
    Module    , roots : Array[String]) -> Result[
    Module    , String]

    Apply the application's exact export roots as the final mutating transform. Preserve exposed function names/identity relative to this input module.

    rume_run_module_pass

    source
    fn rume_run_module_pass(mod_ : 
    Module    , traps_never_happen? : Bool, closed_world? : Bool) -> 
    Module

    rume_run_nonfunction_module_pass

    source
    fn rume_run_nonfunction_module_pass(mod_ : 
    Module    , traps_never_happen? : Bool, closed_world? : Bool) -> 
    Module

    rume_summary

    source
    fn rume_summary() -> String

    run_hot_pipeline

    source
    fn run_hot_pipeline(mod_ : 
    Module    , options : HotPipelineOptions, requested_passes : Array[String]) -> Result[
    Module    , String]

    run_hot_pipeline_debug_dump_enabled

    source
    fn run_hot_pipeline_debug_dump_enabled(options : HotPipelineOptions, func_idx : 
    FuncIdx    , descriptor_name : String) -> Bool

    shrink_preset_passes

    source
    fn shrink_preset_passes(options : HotPipelineOptions) -> Array[String]

    simplify_globals_optimizing_summary

    source
    fn simplify_globals_optimizing_summary() -> String

    simplify_locals_descriptor

    source

    simplify_locals_nonesting_descriptor

    source
    fn simplify_locals_nonesting_descriptor() -> 
    HotPassDescriptor

    simplify_locals_nonesting_summary

    source
    fn simplify_locals_nonesting_summary() -> String

    simplify_locals_nostructure_descriptor

    source
    fn simplify_locals_nostructure_descriptor() -> 
    HotPassDescriptor

    simplify_locals_nostructure_exact_slot_passes

    source
    fn simplify_locals_nostructure_exact_slot_passes() -> Array[String]

    simplify_locals_nostructure_summary

    source
    fn simplify_locals_nostructure_summary() -> String

    simplify_locals_notee_descriptor

    source
    fn simplify_locals_notee_descriptor() -> 
    HotPassDescriptor

    simplify_locals_notee_nostructure_descriptor

    source
    fn simplify_locals_notee_nostructure_descriptor() -> 
    HotPassDescriptor

    simplify_locals_notee_nostructure_exact_neighborhood_ready

    source
    fn simplify_locals_notee_nostructure_exact_neighborhood_ready() -> Bool

    simplify_locals_notee_nostructure_summary

    source
    fn simplify_locals_notee_nostructure_summary() -> String

    simplify_locals_notee_summary

    source
    fn simplify_locals_notee_summary() -> String

    simplify_locals_summary

    source
    fn simplify_locals_summary() -> String

    ssa_full_build_merge_rewrite_plan

    source

    ssa_full_descriptor

    source

    ssa_full_summary

    source
    fn ssa_full_summary() -> String

    ssa_nomerge_build_rewrite_plan

    source

    Build the analysis-only no-merge rewrite plan from LocalGraph facts.

    ssa_nomerge_descriptor

    source

    ssa_nomerge_loop_carried_canonical_writes

    source
    fn ssa_nomerge_loop_carried_canonical_writes(func : 
    HotFunc    ) -> 
    BitSet

    ssa_nomerge_summary

    source
    fn ssa_nomerge_summary() -> String

    string_gathering_run_module_pass

    source
    fn string_gathering_run_module_pass(mod_ : 
    Module    ) -> 
    Module

    string_gathering_summary

    source
    fn string_gathering_summary() -> String

    strip_debug_run_module_pass

    source

    strip_debug_summary

    source
    fn strip_debug_summary() -> String

    tuple_optimization_descriptor

    source
    fn tuple_optimization_descriptor() -> 
    HotPassDescriptor

    tuple_optimization_exact_slot_prereqs_ready

    source
    fn tuple_optimization_exact_slot_prereqs_ready() -> Bool

    tuple_optimization_summary

    source
    fn tuple_optimization_summary() -> String

    untee_run_module_pass

    source

    untee_summary

    source
    fn untee_summary() -> String

    Source Files

    Powered by MoonBit

    Site sourceReport issueModulesSkillsCLIBuild queueStatistics

    © 2026 mooncakes.io