samparker added a comment. The piece, that I know, is missing is checking whether we're not creating nested LE loops - which we want to avoid. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D67404/new/ https://reviews.llvm.org/D67404