"""
:class:`DeadCodeEliminator` is a dead code elimination transform:
it only basic blocks with no predecessors as well as unused
instructions without side effects.
"""

from .. import ir

class DeadCodeEliminator:
    def __init__(self, engine):
        self.engine = engine

    def process(self, functions):
        for func in functions:
            self.process_function(func)

    def process_function(self, func):
        modified = True
        while modified:
            modified = False
            for block in list(func.basic_blocks):
                if not any(block.predecessors()) and block != func.entry():
                    self.remove_block(block)
                    modified = True

        modified = True
        while modified:
            modified = False
            for insn in func.instructions():
                # Note that GetLocal is treated as an impure operation:
                # the local access validator has to observe it to emit
                # a diagnostic for reads of uninitialized locals, and
                # it also has to run after the interleaver, but interleaver
                # doesn't like to work with IR before DCE.
                if isinstance(insn, (ir.Phi, ir.Alloc, ir.GetAttr, ir.GetElem, ir.Coerce,
                                     ir.Arith, ir.Compare, ir.Select, ir.Quote, ir.Closure,
                                     ir.Offset)) \
                        and not any(insn.uses):
                    insn.erase()
                    modified = True

    def remove_block(self, block):
        # block.uses are updated while iterating
        for use in set(block.uses):
            if isinstance(use, ir.Phi):
                use.remove_incoming_block(block)
                if not any(use.operands):
                    self.remove_instruction(use)
            elif isinstance(use, ir.SetLocal):
                # setlocal %env, %block is only used for lowering finally
                use.erase()
            else:
                assert False

        block.erase()

    def remove_instruction(self, insn):
        for use in set(insn.uses):
            if isinstance(use, ir.Phi):
                use.remove_incoming_value(insn)
                if not any(use.operands):
                    self.remove_instruction(use)
            else:
                assert False

        insn.erase()