7926b0c71f12c8793fb397bcca8e104e61c2d1b4
[opencl/llvm.git] / test / CodeGen / X86 / vselect-avx.ll
1 ; RUN: llc %s -o - -mattr=+avx | FileCheck %s
2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
3 target triple = "x86_64-apple-macosx"
5 ; For this test we used to optimize the <i1 true, i1 false, i1 false, i1 true>
6 ; mask into <i32 2147483648, i32 0, i32 0, i32 2147483648> because we thought
7 ; we would lower that into a blend where only the high bit is relevant.
8 ; However, since the whole mask is constant, this is simplified incorrectly
9 ; by the generic code, because it was expecting -1 in place of 2147483648.
10
11 ; The problem does not occur without AVX, because vselect of v4i32 is not legal
12 ; nor custom.
13 ;
14 ; <rdar://problem/18675020>
16 ; CHECK-LABEL: test:
17 ; CHECK: vmovdqa {{.*#+}} xmm0 = [65535,0,0,65535]
18 ; CHECK: vmovdqa {{.*#+}} xmm2 = [65533,124,125,14807]
19 ; CHECK: ret
20 define void @test(<4 x i16>* %a, <4 x i16>* %b) {
21 body:
22   %predphi = select <4 x i1> <i1 true, i1 false, i1 false, i1 true>, <4 x i16> <i16 -3, i16 545, i16 4385, i16 14807>, <4 x i16> <i16 123, i16 124, i16 125, i16 127>
23   %predphi42 = select <4 x i1> <i1 true, i1 false, i1 false, i1 true>, <4 x i16> <i16 -1, i16 -1, i16 -1, i16 -1>, <4 x i16> zeroinitializer
24   store <4 x i16> %predphi, <4 x i16>* %a, align 8
25   store <4 x i16> %predphi42, <4 x i16>* %b, align 8
26   ret void
27 }