Skip to main content

all_outputs_dead

revmc_codegen::bytecode::passes::dead_store_elim

Function all_outputs_dead 

Source 
fn all_outputs_dead(
    live: &BitVec,
    opcode: u8,
    h_before: usize,
    inp: usize,
    out: usize,
    imm: Option<DecodedImm>,
) -> bool
Expand description

Returns true if all positions actually written by the instruction are dead.

Stack shuffles need special handling because their stack_io arities include pass-through slots (e.g. SWAP15 reports stack_io(16,16) but only writes 2 positions). All other opcodes use a generic check over their output range.