Module transform 

Optimization and transformation passes for the Solar compiler.

Structs

AdcePass

Function pass for aggressive dead-code elimination.

AdceStats

Statistics for aggressive dead-code elimination.

AggressiveDeadCodeEliminator

Aggressive dead-code eliminator.

CfgSimplifier

CFG simplification pass for a single function.

CfgSimplifyPass

Function pass for CFG simplification.

CfgSimplifyStats

Statistics from CFG simplification.

CheckElimPass

Function pass adapter for range-based overflow-check elimination.

CheckElimStats

Statistics from check elimination.

CheckEliminator

Range-based overflow-check eliminator.

CommonSubexprEliminator

Common Subexpression Elimination pass.

CsePass

Function pass for local common subexpression elimination.

DcePass

Function pass for dead code elimination.

DceStats

Statistics for a DCE run.

DeadCodeEliminator

Dead Code Elimination pass.

DeadFunctionEliminator

Dead function elimination pass for a module.

FramePromotionStats

Statistics for one frame promotion run.

FrameSlotPromoter

Promotes non-escaping compiler-local slots to SSA values.

FrameSlotPromotionPass

Function pass for internal-frame scalar promotion.

FunctionDcePass

Module pass for dead internal function elimination.

FunctionInlineInfo

Analysis result for a function’s inlineability.

GlobalValueNumberer

Congruence-class global value numbering pass.

GvnPass

Function pass for congruence-class global value numbering.

IndVarSimplifier

Performs conservative induction-variable strength reduction.

IndVarSimplifyPass

Function pass for induction-variable simplification and strength reduction.

IndVarSimplifyStats

Statistics from induction-variable simplification.

InlineAnalyzer

Analyzes functions for inlining opportunities.

InlineConfig

Configuration for function inlining.

InlinePass

Module pass for metadata-backed MIR inlining.

InlineStats

Statistics about inlining performed.

InstSimplifier

Local MIR instruction simplification pass.

InstSimplifyPass

Function pass for local instruction simplification.

JumpThreader

Jump threading optimization pass.

JumpThreadingPass

Function pass for jump threading.

JumpThreadingStats

Statistics from jump threading optimization.

LicmPass

Function pass for loop-invariant code motion.

LoadPrePass

Function pass for load PRE.

LoadPreStats

Statistics for load PRE.

LoadRedundancyEliminator

Dataflow-based redundancy eliminator for memory-dependent reads.

LoopCanonicalizePass

Function pass for loop canonicalization.

LoopCanonicalizeStats

Statistics from loop canonicalization.

LoopCanonicalizer

Canonicalizes natural loops into a form expected by loop optimizers.

LoopOptConfig

Loop optimization pass configuration.

LoopOptStats

Statistics from loop optimization.

LoopOptimizer

Loop optimizer.

MemoryDsePass

Function pass for local dead memory-store elimination.

MemoryStoreEliminator

Local dead memory optimization pass.

MirInlineConfig

Configuration for MIR-level internal-call inlining.

MirInlineStats

Statistics for MIR-level inlining.

MirInliner

Module-level MIR internal-call inliner.

PartialRedundancyEliminator

Partial redundancy eliminator for pure expressions.

PrePass

Function pass for pure expression PRE.

PreStats

Statistics for pure expression PRE.

PromotedSlotSummary

Per-slot information produced by frame-slot promotion.

PureEvalPass

Function pass for bounded pure MIR evaluation.

PureEvalStats

Statistics from bounded pure evaluation.

PureEvaluator

Bounded pure MIR evaluator.

SccpPass

Sparse Conditional Constant Propagation pass.

SccpStats

SCCP statistics.

SccpTransformPass

Function pass adapter for sparse conditional constant propagation.

StorageDsePass

Function pass for local dead storage-store elimination.

StorageLoadCse

Local storage load CSE pass.

StorageLoadCsePass

Function pass for straight-line storage-load CSE.

StoragePromotionStats

Statistics from storage scalar promotion.

StorageScalarPromoter

Promotes loop-carried storage values to memory-backed scalars.

StorageScalarPromotionPass

Function pass for loop-carried storage scalar promotion.

StorageStoreEliminator

Local dead storage-store elimination pass.

Enums

InlineDecision

Inlining decision for a function.

OptLevel

Optimization level for the compiler.

PromotedSlot

A compiler-owned memory slot promoted to SSA.

Functions

simplify_cfg

Runs all CFG simplification passes on a function.

simplify_module_cfg

Runs all CFG simplification passes on a module.