diff options
Diffstat (limited to 'lib/Target/README.txt')
| -rw-r--r-- | lib/Target/README.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/Target/README.txt b/lib/Target/README.txt index c9561660b1..ec5c412765 100644 --- a/lib/Target/README.txt +++ b/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 +} + +//===---------------------------------------------------------------------===// |