Struct BlockMergingPass 

pub struct BlockMergingPass {
    pub max_iterations: usize,
}

Built-in SSA optimization passes from the compiler module.

All generic SSA transformation passes: value propagation, control flow recovery, dead code elimination, strength reduction, loop optimization, and more. Pass that eliminates trampoline blocks and coalesces single-edge pairs.

Delegates to crate::passes::blockmerge::run. The iteration cap controls how many fixpoint iterations the inner loop runs.

Modification scope

ModificationScope::CfgModifying — can change block predecessors, successors, and remove blocks.

Fields

max_iterations: usize

Maximum number of fixpoint iterations for the inner merge loop.

Implementations

impl BlockMergingPass

pub fn new(max_iterations: usize) -> BlockMergingPass

Creates a new block-merging pass with the given iteration cap.

Trait Implementations

impl Clone for BlockMergingPass

fn clone(&self) -> BlockMergingPass

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BlockMergingPass

impl Debug for BlockMergingPass

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for BlockMergingPass

fn default() -> BlockMergingPass

Returns the “default value” for a type.

impl<T, H> SsaPass<T, H> for BlockMergingPass

where T: Target, <T as Target>::MethodRef: Send + Sync, H: SsaPassHost<T>,

fn name(&self) -> &'static str

Returns a unique short name for logging and debugging.

fn description(&self) -> &'static str

Returns a human-readable description of the pass.

fn repairs_ssa(&self) -> bool

Returns whether the pass performs its own SSA boundary repair.

fn run_on_method( &self, ssa: &mut SsaFunction<T>, method: &<T as Target>::MethodRef, host: &H, ) -> Result<bool, Error>

Run the pass on a single method’s SSA.

fn should_run(&self, _method: &<T as Target>::MethodRef, _host: &H) -> bool

Determines whether this pass should run on a specific method.

fn run_global(&self, _host: &H) -> Result<bool, Error>

Run the pass on the entire program (interprocedural passes).

fn is_global(&self) -> bool

Returns whether this pass operates globally (across all methods).

fn initialize(&mut self, _host: &H) -> Result<(), Error>

Called once before the pass runs in a phase.

fn finalize(&mut self, _host: &H) -> Result<(), Error>

Called once after the pass completes in a phase.

fn modification_scope(&self) -> ModificationScope

Declares the extent of modifications this pass makes.

fn provides(&self) -> &[<T as Target>::Capability]

Returns the capabilities this pass provides after execution.

fn requires(&self) -> &[<T as Target>::Capability]

Returns the capabilities this pass requires before it can run.

fn reads_peer_ssa(&self) -> bool

Returns whether this pass reads other methods’ SSA during run_on_method.

fn requires_full_scan(&self) -> bool

Returns whether this pass requires a full scan of all methods every iteration.

fn fallback_layer(&self) -> usize

Returns the fallback execution layer for this pass.