diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-12-28 18:45:02 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-12-28 18:45:02 +0000 |
| commit | 1dc5db2bebef06a94244bcd8e4415b85766c07a7 (patch) | |
| tree | ceecaea6c5b74b17336adc5285b9a713ed2e3db2 | |
| parent | fe024d0a624404ada11fb330e7360abc5f88742e (diff) | |
add a note from llvmdev
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122603 91177308-0d34-0410-b5e6-96231b3b80d8
| -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 +} + +//===---------------------------------------------------------------------===// |