diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2014-09-12 12:50:27 +0000 |
|---|---|---|
| committer | Stephen Hines <srhines@google.com> | 2014-09-12 10:09:12 -0700 |
| commit | 4acef6e4d7d7e6eeabf3a98da1d5e240489be71b (patch) | |
| tree | d9dd277618154a5e0e425fc02b48af07e7224da8 /test | |
| parent | fc712ff963549bd41c8a0e344cbdd91f4a3e265c (diff) | |
| download | external_llvm-4acef6e4d7d7e6eeabf3a98da1d5e240489be71b.zip external_llvm-4acef6e4d7d7e6eeabf3a98da1d5e240489be71b.tar.gz external_llvm-4acef6e4d7d7e6eeabf3a98da1d5e240489be71b.tar.bz2 | |
Legalizer: Use the scalar bit width when promoting bit counting instrs on
vectors.
e.g. when promoting ctlz from <2 x i32> to <2 x i64> we have to fixup
the result by 32 bits, not 64. PR20917.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@217671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/X86/vec_ctbits.ll | 51 |
1 files changed, 50 insertions, 1 deletions
diff --git a/test/CodeGen/X86/vec_ctbits.ll b/test/CodeGen/X86/vec_ctbits.ll index bddd535..0aa72b1 100644 --- a/test/CodeGen/X86/vec_ctbits.ll +++ b/test/CodeGen/X86/vec_ctbits.ll @@ -1,4 +1,4 @@ -; RUN: llc < %s -march=x86-64 +; RUN: llc < %s -march=x86-64 -mattr=+sse2 | FileCheck %s declare <2 x i64> @llvm.cttz.v2i64(<2 x i64>, i1) declare <2 x i64> @llvm.ctlz.v2i64(<2 x i64>, i1) @@ -7,12 +7,61 @@ declare <2 x i64> @llvm.ctpop.v2i64(<2 x i64>) define <2 x i64> @footz(<2 x i64> %a) nounwind { %c = call <2 x i64> @llvm.cttz.v2i64(<2 x i64> %a, i1 true) ret <2 x i64> %c + +; CHECK-LABEL: footz +; CHECK: bsfq +; CHECK: bsfq } define <2 x i64> @foolz(<2 x i64> %a) nounwind { %c = call <2 x i64> @llvm.ctlz.v2i64(<2 x i64> %a, i1 true) ret <2 x i64> %c + +; CHECK-LABEL: foolz +; CHECK: bsrq +; CHECK: xorq $63 +; CHECK: bsrq +; CHECK: xorq $63 } + define <2 x i64> @foopop(<2 x i64> %a) nounwind { %c = call <2 x i64> @llvm.ctpop.v2i64(<2 x i64> %a) ret <2 x i64> %c } + +declare <2 x i32> @llvm.cttz.v2i32(<2 x i32>, i1) +declare <2 x i32> @llvm.ctlz.v2i32(<2 x i32>, i1) +declare <2 x i32> @llvm.ctpop.v2i32(<2 x i32>) + +define <2 x i32> @promtz(<2 x i32> %a) nounwind { + %c = call <2 x i32> @llvm.cttz.v2i32(<2 x i32> %a, i1 false) + ret <2 x i32> %c + +; CHECK: .quad 4294967296 +; CHECK: .quad 4294967296 +; CHECK-LABEL: promtz +; CHECK: bsfq +; CHECK: cmov +; CHECK: bsfq +; CHECK: cmov +} +define <2 x i32> @promlz(<2 x i32> %a) nounwind { + %c = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %a, i1 false) + ret <2 x i32> %c + +; CHECK: .quad 4294967295 +; CHECK: .quad 4294967295 +; CHECK: .quad 32 +; CHECK: .quad 32 +; CHECK-LABEL: promlz +; CHECK: pand +; CHECK: bsrq +; CHECK: xorq $63 +; CHECK: bsrq +; CHECK: xorq $63 +; CHECK: psub +} + +define <2 x i32> @prompop(<2 x i32> %a) nounwind { + %c = call <2 x i32> @llvm.ctpop.v2i32(<2 x i32> %a) + ret <2 x i32> %c +} |