search for: 4705364f

My 5 cent, since i've been recently working on instcombine a bit. First of all, I do acknowledge and recognize the problem at hand - the IR is not getting fully optimized. I think that should be solved. As it is evident, LLVM is quite modular, there are separate passes. This is good. It allows to test things separately. Unfortunately, that is also bad, because there are always these things

> On May 8, 2018, at 9:50 AM, Daniel Berlin via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > 1. The reassociate pass that exists right now was *originally* (AFAIK) written to enable CSE/GVN to do better. Agreed. The original mindset included a (naive) belief that going with a canonical form was better than teaching redundancy elimination to handle abstractions (as a matter