Uses Batcher’s odd-even merge network to sort power-of-two wires.
Sort two halves with the same network.
Merge alternating subsequences recursively.
Compare neighboring wires at each merge stage.