diff options
| author | Duncan Sands <baldrick@free.fr> | 2011-01-01 20:08:02 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2011-01-01 20:08:02 +0000 |
| commit | 124708d9b47cc53cb11d8bfed75b241b6eec86d4 (patch) | |
| tree | 95ef296ccd7d1bb64578c83de682eef3f1eff188 /lib/Target/README.txt | |
| parent | a64cbf067d6315522d13b606774bbadb4e328d1b (diff) | |
| download | llvm-124708d9b47cc53cb11d8bfed75b241b6eec86d4.tar.gz llvm-124708d9b47cc53cb11d8bfed75b241b6eec86d4.tar.bz2 llvm-124708d9b47cc53cb11d8bfed75b241b6eec86d4.tar.xz | |
Revert commit 122654 at the request of Chris, who reckons that instsimplify
is the wrong hammer for this nail, and is probably right.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@122661 91177308-0d34-0410-b5e6-96231b3b80d8
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 +} + +//===---------------------------------------------------------------------===// |