Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Hoist
Candidate - A candidate expression ready to be hoisted to a preheader.
- LICM
Analysis Cache - LICM
Cache Entry - LICM
Config - Configuration knobs for the LICM pass.
- LICM
Constant Folding Helper - LICM
DepGraph - LICM
Dominator Tree - LICM
Heuristics - LICM heuristics configuration for LICMPassV2.
- LICM
Liveness Info - LICM
Pass - The main Loop Invariant Code Motion pass.
- LICM
Pass Config - LICM
Pass Registry - LICM
Pass Stats - LICM
Pass V2 - Version 2 of the LICM pass with heuristic control.
- LICM
Profile Data - Profiling data used to guide LICM decisions.
- LICM
Report - Statistics produced by a single LICM run.
- LICM
Worklist - Licm
Candidate Registry - LICM candidate registry
- Licm
Code Stats - LICM code stats
- Licm
Config Ext - LICM pass config (extended)
- Licm
Diag Sink - Licm
ExtEmit Stats - LICM emit stats
- Licm
ExtId Gen - LICM id generator
- Licm
ExtProfiler - LICM profiler
- Licm
ExtSource Buffer - LICM source buffer
- Licm
Feature Flags - LICM feature flags
- Licm
Hoist Candidate - LICM hoistable expression
- Licm
Loop Analysis - LICM loop analysis result
- Licm
Pass Builder - LICM pass builder
- Licm
Pass Summary - LICM pass summary
- Licm
Preheader Builder - LICM preheader builder
- Licm
Preheader Map - LICM preheader map
- Licm
Result Map - LICM result map
- Licm
Scheduler - LICM scheduler (ordering of hoisted instructions)
- Licm
Sink Candidate - LICM sink candidate (for loop exit sinking)
- Licm
Stats Ext - LICM pass statistics (extended)
- Licm
Version - LICM versioning (for speculative hoisting)
- Loop
Body Analysis - LICM loop body analysis result
- Loop
Body Complexity - Measures the “complexity” of a loop body to guide hoisting aggressiveness.
- Loop
Info Builder - LICM loop info builder
- Loop
Info Summary - LICM loop info summary
- Loop
Invariant Expr - A let-binding inside a loop whose value is loop-invariant.
- Loop
Level Id - Loop level (nesting depth)
- Loop
Nest - LICM loop nest (for perfectly nested loops)
- Loop
Nest Info - Loop nest information aggregated from a set of loop structures.
- Loop
Node - Loop tree node
- Loop
Preheader - Loop preheader (block before loop)
- Loop
Structure - Identifies a loop in the LCNF control-flow graph.
- Loop
Tree - Loop tree
- Loop
Version - Represents a versioned loop: an if-then-else where each branch has a specialized loop copy optimized for a specific condition.
- Loop
Versioning Config - Configuration for loop versioning.
- Preheader
Block - A synthetic block that is prepended before a loop to receive hoisted code.
- Redundant
Load Info - Identifies load-like operations (projections, field reads) that are redundant because the same value has already been loaded earlier in the same scope.
Enums§
- Invariant
Pattern - Recognizes structural patterns in let-values that are always loop-invariant.
- LICM
Pass Phase - LICM
Phase - A named phase in a LICM-centric optimization pipeline.
- Licm
Diag Level - LICM diagnostic
Functions§
- materialize_
preheader - Materialize a preheader block by wrapping an inner expression with the let bindings from the preheader.
- topo_
sort_ candidates - Topologically sort hoist candidates so that producers come before consumers (i.e., if candidate B uses the variable defined by A, A must appear first).