diff options
| -rw-r--r-- | llvm/lib/Target/README.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/llvm/lib/Target/README.txt b/llvm/lib/Target/README.txt index c9561660b1c..ec5c412765f 100644 --- a/llvm/lib/Target/README.txt +++ b/llvm/lib/Target/README.txt @@ -2065,3 +2065,14 @@ 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 +} + +//===---------------------------------------------------------------------===// |
