git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122603
91177308-0d34-0410-b5e6-
96231b3b80d8
}
//===---------------------------------------------------------------------===//
}
//===---------------------------------------------------------------------===//
+
+This compare could fold to false:
+
+define i1 @g(i32 a) nounwind readnone {
+ %add = shl i32 %a, 1
+ %mul = shl i32 %a, 1
+ %cmp = icmp ugt i32 %add, %mul
+ ret i1 %cmp
+}
+
+//===---------------------------------------------------------------------===//