dberlin added a comment. Errr, outside of an irrelevant store, it generates literally the same output and jump threading result as: https://reviews.llvm.org/rL317768 So i don't see how one is buggy but the other isn't. https://reviews.llvm.org/D39835