diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2013-10-16 14:16:19 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2013-10-16 14:16:19 +0000 |
| commit | 72a3ee742296aa68fda0118d0e1fa649be756938 (patch) | |
| tree | fc567bd5984b78fd0a03772ea7af2c051e6c52f9 /test | |
| parent | 3386d252579ea00d0fc26a3ba7874bec25ce4516 (diff) | |
| download | llvm-72a3ee742296aa68fda0118d0e1fa649be756938.tar.gz llvm-72a3ee742296aa68fda0118d0e1fa649be756938.tar.bz2 llvm-72a3ee742296aa68fda0118d0e1fa649be756938.tar.xz | |
DAGCombiner: Don't fold xor into not if getNOT would introduce an illegal constant.
This happens e.g. with <2 x i64> -1 on x86_32. It cannot be generated directly
because i64 is illegal. It would be nice if getNOT would handle this
transparently, but I don't see a way to generate a legal constant there right
now. Fixes PR17487.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@192795 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/xor.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/CodeGen/X86/xor.ll b/test/CodeGen/X86/xor.ll index b56ce0f52c..be2ea525b1 100644 --- a/test/CodeGen/X86/xor.ll +++ b/test/CodeGen/X86/xor.ll @@ -165,3 +165,17 @@ define <4 x i32> @test10(<4 x i32> %a) nounwind { ; X32-LABEL: test10: ; X32: andnps } + +define i32 @PR17487(i1 %tobool) { + %tmp = insertelement <2 x i1> undef, i1 %tobool, i32 1 + %tmp1 = zext <2 x i1> %tmp to <2 x i64> + %tmp2 = xor <2 x i64> %tmp1, <i64 1, i64 1> + %tmp3 = extractelement <2 x i64> %tmp2, i32 1 + %add = add nsw i64 0, %tmp3 + %cmp6 = icmp ne i64 %add, 1 + %conv7 = zext i1 %cmp6 to i32 + ret i32 %conv7 + +; X64-LABEL: PR17487: +; X64: andn +} |