Without reviewing this code already in detail, I think this is very valuable. Specifically, it might allow us to (better) optimize the himeono benchmark (http://accc.riken.jp/2444.htm), which is also available in our test suite: ./SingleSource/Benchmarks/Misc/himenobmtxpa.c http://reviews.llvm.org/D5190