EarlyCSE does this now (and GVN always did it).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122960 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Target/README.txt b/lib/Target/README.txt
index d83cd8bb963cf4ae46ebe29087324901baf4d21b..29bd10949e58a5a3b1b836653b26fcb4a4753ba4 100644 (file)
--- a/lib/Target/README.txt
+++ b/lib/Target/README.txt
@@ -2009,17 +2009,6 @@ entry:
 
 //===---------------------------------------------------------------------===//
 
-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
-}
-
-//===---------------------------------------------------------------------===//
-
 This code (from Benchmarks/Dhrystone/dry.c):
 
 define i32 @Func1(i32, i32) nounwind readnone optsize ssp {