[j-o-m]

I find the real question: are all 16,000 of those lines require to implement the optimization? How much of that is dealing with LLVM’s internal representation and the varying complexity of LLVM’s other internal structure?

[loeg]

What would it mean to implement the optimization without dealing with LLVM's internal structure? Optimizations don't exist in a vacuum.