diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-03-22 19:59:53 +0000 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2016-03-22 19:59:53 +0000 |
| commit | c6f5fe3d69db498e732f5056354cb1cf25c73ba3 (patch) | |
| tree | 4e122d3a586b721ccff298b4d56bfed074f5126a /llvm/test | |
| parent | b49a8a9dbbf7cf86293577e08746c219bb7d0de2 (diff) | |
| download | bcm5719-llvm-c6f5fe3d69db498e732f5056354cb1cf25c73ba3.tar.gz bcm5719-llvm-c6f5fe3d69db498e732f5056354cb1cf25c73ba3.zip | |
[SelectionDAG] Ensure constant folded legalized vector element types are compatible with the BUILD_VECTOR type
Found during fuzz testing - 32-bit x86 targets were legalizing a <2 x i1> compare result to <2 x i32> when <2 x i64> was expected.
llvm-svn: 264085
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/CodeGen/X86/widen_compare-1.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/widen_compare-1.ll b/llvm/test/CodeGen/X86/widen_compare-1.ll new file mode 100644 index 00000000000..8ea0db53a39 --- /dev/null +++ b/llvm/test/CodeGen/X86/widen_compare-1.ll @@ -0,0 +1,21 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=i686-unknown -mattr=+sse4.2 | FileCheck %s --check-prefix=X86 +; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse4.2 | FileCheck %s --check-prefix=X64 + +; compare v2i16 + +define <2 x i16> @compare_v2i64_to_v2i16(<2 x i16>* %src) nounwind { +; X86-LABEL: compare_v2i64_to_v2i16: +; X86: # BB#0: +; X86-NEXT: movaps {{.*#+}} xmm0 = [65535,0,65535,0] +; X86-NEXT: retl +; +; X64-LABEL: compare_v2i64_to_v2i16: +; X64: # BB#0: +; X64-NEXT: movaps {{.*#+}} xmm0 = [65535,65535] +; X64-NEXT: retq + %val = load <2 x i16>, <2 x i16>* %src, align 4 + %cmp = icmp uge <2 x i16> %val, %val + %sel = select <2 x i1> %cmp, <2 x i16> <i16 -1, i16 -1>, <2 x i16> zeroinitializer + ret <2 x i16> %sel +} |
