SamboyCoding / Cpp2IL / 17101091060

        var cfg = method.ControlFlowGraph!;

        foreach (var block in cfg.Blocks)

            var phiInstructions = block.Instructions

                .Where(i => i.OpCode == OpCode.Phi)

                .ToList();

            if (phiInstructions.Count == 0) continue;

            foreach (var predecessor in block.Predecessors)

                if (predecessor.Instructions.Count == 0)

                predecessor.Instructions.RemoveAt(0);

                var moves = new List<Instruction>();

                foreach (var phi in phiInstructions)

                    var result = (LocalVariable)phi.Operands[0]!;

                    var sources = phi.Operands.Skip(1).Cast<LocalVariable>().ToList();

                    var predIndex = block.Predecessors.IndexOf(predecessor);

                    if (predIndex < 0 || predIndex >= sources.Count)

                    var source = sources[predIndex];

                    moves.Add(new Instruction(-1, OpCode.Move, result, source));

                if (predecessor.Instructions.Count == 0)

                    predecessor.Instructions = moves;

                    predecessor.Instructions.InsertRange(predecessor.Instructions.Count - (predecessor.Instructions.Count == 1 ? 1 : 2), moves);

            foreach (var instruction in block.Instructions)

                if (instruction.OpCode == OpCode.Phi)

                    instruction.OpCode = OpCode.Nop;

                    instruction.Operands = [];

        cfg.RemoveNops();

        cfg.RemoveEmptyBlocks();

    }