dberlin added a comment. This seems very similar to what n-ary reassociate wants to do, I'd like to understand why we shouldn't do it there? (where it seems to fit perfectly) Repository: rL LLVM https://reviews.llvm.org/D39340