• Jason Ekstrand's avatar
    nir/repair_ssa: Repair dominance for unreachable blocks · a3268599
    Jason Ekstrand authored
    NIR currently assumes that unreachable blocks are trivially dominated by
    everything.  However, when considering well-formed SSA, there is no path
    from any block to an unreachable block.  Therefore, we can break any
    use-def chains where the use is in an unreachable block.  This removes
    any dependencies on code created by uses in unreachable blocks and lets
    DCE do a better job of cleaning it up.
    
    Cc: mesa-stable@lists.freedesktop.org
    Reviewed-by: Caio Marcelo de Oliveira Filho's avatarCaio Marcelo de Oliveira Filho <caio.oliveira@intel.com>
    a3268599
nir_repair_ssa.c 5.3 KB