SamboyCoding / Cpp2IL / 30751767570

    public static void Run(MethodAnalysisContext method) => Run(method.ControlFlowGraph!);

        var defOf = BuildDefMap(cfg);

        var removedAny = false;

        foreach (var block in cfg.Blocks)

            if (block.BlockType != BlockType.TwoWay || block.Instructions.Count == 0)

            var terminator = block.Instructions[^1];

            if (terminator.OpCode != OpCode.ConditionalJump)

            if (terminator.Operands[0] is not Block target || !IsNullCheckThrowBlock(target))

            if (terminator.Operands[1] is not LocalVariable condition

                || !defOf.TryGetValue(condition, out var definition)

                || definition.OpCode != OpCode.CheckEqual

                || definition.Operands[2] is not Immediate { Value: 0 })

            terminator.OpCode = OpCode.Nop;

            terminator.SetOperands();

            block.Successors.Remove(target);

            target.Predecessors.Remove(block);

            block.CalculateBlockType();

            removedAny = true;

        if (!removedAny)

            return;

        foreach (var block in cfg.Blocks.ToList())

            if (block == cfg.EntryBlock || block.Predecessors.Count > 0 || !IsNullCheckThrowBlock(block))

            foreach (var successor in block.Successors)

                successor.Predecessors.Remove(block);

            block.Successors.Clear();

            cfg.Blocks.Remove(block);

        DeadCodeEliminator.Run(cfg);

    }

        var sawThrow = false;

        foreach (var instruction in block.Instructions)

            switch (instruction.OpCode)

                case OpCode.Return when sawThrow:

                case OpCode.Throw when instruction.Operands is [TypeAnalysisContext { FullName: "System.NullReferenceException" }]:

                    sawThrow = true;

                    continue;

                    return false;

        return sawThrow;

    }

        var defs = new Dictionary<LocalVariable, Instruction>();

        foreach (var instruction in cfg.Instructions)

            if (instruction.Destination is LocalVariable local)

                defs[local] = instruction;

        return defs;