diff options
author | Duncan Sands <baldrick@free.fr> | 2010-11-07 16:12:23 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2010-11-07 16:12:23 +0000 |
commit | 1ac7c9979a2d723ff4649ffad58df02732872a5f (patch) | |
tree | 76d668b4d76a61b22618b2b8d47ad89ecffea961 /lib/Target/README.txt | |
parent | e25e1ef48b029795fd03be13791e5d19834bd503 (diff) | |
download | llvm-1ac7c9979a2d723ff4649ffad58df02732872a5f.tar.gz llvm-1ac7c9979a2d723ff4649ffad58df02732872a5f.tar.bz2 llvm-1ac7c9979a2d723ff4649ffad58df02732872a5f.tar.xz |
Fix a README item: when doing a comparison with the result
of a select instruction, see if doing the compare with the
true and false values of the select gives the same result.
If so, that can be used as the value of the comparison.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118378 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Target/README.txt')
-rw-r--r-- | lib/Target/README.txt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/Target/README.txt b/lib/Target/README.txt index 55c08173d2..e63df536ae 100644 --- a/lib/Target/README.txt +++ b/lib/Target/README.txt @@ -1963,15 +1963,3 @@ bb3: ; preds = %entry ret i32 %b } //===---------------------------------------------------------------------===// -We should fold this code into "ret i1 false" since neither %zero nor %one can -ever be null pointers. - -define i1 @foo(i1 %cond) { - %zero = alloca i32 - %one = alloca i32 - - %ptr = select i1 %cond, i32* %zero, i32* %one - %isnull = icmp eq i32* %ptr, null - ret i1 %isnull -} -//===---------------------------------------------------------------------===// |