mehdi_amini accepted this revision. mehdi_amini added a comment. This revision is now accepted and ready to land. Just add a FIXME explaining that there is a correctness part and a compile-time perf part that should be split, and LGTM. https://reviews.llvm.org/D26076