SjoerdMeijer added a comment. Was just thinking though that we probably need some negative tests where we expect the rewrite not to happen? Because e.g. the sequence has all even values except one value, if that makes sense. Repository: rL LLVM https://reviews.llvm.org/D43903