zzheng added a comment. This test case reproduce the problem (infinite compile time) define i64 @f6(i64 %x, i64 %y) { entry: %tmp1 = add i64 %y, -2147483648 ; <i64> [#uses=1] ret i64 %tmp1 } Repository: rL LLVM https://reviews.llvm.org/D30829