xref: /llvm-project/clang/test/CodeGenOpenCL/vector_literals.cl (revision 38fffa630ee80163dc65e759392ad29798905679) 
1// RUN: %clang_cc1 -emit-llvm %s -o - -O0 | FileCheck %s
2// RUN: %clang_cc1 -emit-llvm %s -o - -cl-std=clc++ -O0 | FileCheck %s
3
4typedef __attribute__((ext_vector_type(2))) int int2;
5typedef __attribute__((ext_vector_type(3))) int int3;
6typedef __attribute__((ext_vector_type(4)))  int int4;
7typedef __attribute__((ext_vector_type(8)))  int int8;
8typedef __attribute__((ext_vector_type(4))) float float4;
9
10__constant const int4 c1 = (int4)(1, 2, ((int2)(3)));
11// CHECK: constant <4 x i32> <i32 1, i32 2, i32 3, i32 3>
12
13__constant const int4 c2 = (int4)(1, 2, ((int2)(3, 4)));
14// CHECK: constant <4 x i32> <i32 1, i32 2, i32 3, i32 4>
15
16void vector_literals_valid() {
17  //CHECK: insertelement <4 x i32> <i32 1, i32 2, i32 poison, i32 poison>, i32 %{{.+}}, i32 2
18  //CHECK: insertelement <4 x i32> %{{.+}}, i32 %{{.+}}, i32 3
19  int4 a_1_1_1_1 = (int4)(1, 2, c1.s2, c2.s3);
20
21  //CHECK: store <2 x i32> <i32 1, i32 2>, ptr
22  //CHECK: shufflevector <2 x i32> %{{[0-9]+}}, <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
23  //CHECK: shufflevector <4 x i32> %{{.+}}, <4 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
24  //CHECK: insertelement <4 x i32> %{{.+}}, i32 3, i32 2
25  //CHECK: insertelement <4 x i32> %{{.+}}, i32 4, i32 3
26  int4 a_2_1_1 = (int4)((int2)(1, 2), 3, 4);
27
28  //CHECK: store <2 x i32> <i32 2, i32 3>, ptr
29  //CHECK: shufflevector <2 x i32> %{{[0-9]+}}, <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
30  //CHECK: shufflevector <4 x i32> <i32 1, i32 poison, i32 poison, i32 poison>, <4 x i32> %{{.+}}, <4 x i32> <i32 0, i32 4, i32 5, i32 poison>
31  //CHECK: insertelement <4 x i32> %{{.+}}, i32 4, i32 3
32  int4 a_1_2_1 = (int4)(1, (int2)(2, 3), 4);
33
34  //CHECK: store <2 x i32> <i32 3, i32 4>, ptr
35  //CHECK: shufflevector <2 x i32> %{{[0-9]+}}, <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
36  //CHECK: shufflevector <4 x i32> <i32 1, i32 2, i32 poison, i32 poison>, <4 x i32> %{{.+}}, <4 x i32> <i32 0, i32 1, i32 4, i32 5>
37  int4 a_1_1_2 = (int4)(1, 2, (int2)(3, 4));
38
39  //CHECK: store <2 x i32> <i32 1, i32 2>, ptr
40  //CHECK: shufflevector <2 x i32> %{{[0-9]+}}, <2 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
41  //CHECK: shufflevector <4 x i32> %{{.+}}, <4 x i32> poison, <4 x i32> <i32 0, i32 1, i32 poison, i32 poison>
42  //CHECK: shufflevector <4 x i32> %{{.+}}, <4 x i32> <i32 3, i32 3, i32 undef, i32 undef>, <4 x i32> <i32 0, i32 1, i32 4, i32 5>
43  int4 a_2_2 = (int4)((int2)(1, 2), (int2)(3));
44
45  //CHECK: store <4 x i32> <i32 2, i32 3, i32 4, i32 undef>, ptr
46  //CHECK: shufflevector <4 x i32> %{{.+}}, <4 x i32> poison, <3 x i32> <i32 0, i32 1, i32 2>
47  //CHECK: shufflevector <3 x i32> %{{.+}}, <3 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison>
48  //CHECK: shufflevector <4 x i32> <i32 1, i32 poison, i32 poison, i32 poison>, <4 x i32> %{{.+}}, <4 x i32> <i32 0, i32 4, i32 5, i32 6>
49  int4 a_1_3 = (int4)(1, (int3)(2, 3, 4));
50
51  //CHECK: store <4 x i32> splat (i32 1), ptr %a
52  int4 a = (int4)(1);
53
54  //CHECK: load <4 x i32>, ptr %a
55  //CHECK: shufflevector <4 x i32> %{{[0-9]+}}, <4 x i32> poison, <2 x i32> <i32 0, i32 1>
56  //CHECK: shufflevector <2 x i32> %{{[0-9]+}}, <2 x i32> poison, <8 x i32> <i32 0, i32 1, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>
57  //CHECK: shufflevector <8 x i32> <i32 1, i32 2, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison, i32 poison>, <8 x i32> %{{.+}}, <8 x i32> <i32 0, i32 1, i32 8, i32 9, i32 poison, i32 poison, i32 poison, i32 poison>
58  //CHECK: load <4 x i32>, ptr %a
59  //CHECK: shufflevector <4 x i32> %{{[0-9]+}}, <4 x i32> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
60  //CHECK: shufflevector <8 x i32> %{{.+}}, <8 x i32> %{{.+}}, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>
61  int8 b = (int8)(1, 2, a.xy, a);
62
63  //CHECK: store <4 x float> splat (float 1.000000e+00), ptr %V2
64  float4 V2 = (float4)(1);
65}
66
67void vector_literals_with_cast() {
68  // CHECK-LABEL: vector_literals_with_cast
69  // CHECK: store <2 x i32> <i32 12, i32 34>, ptr
70  // CHECK: extractelement <2 x i32> %{{[0-9]+}}, i{{[0-9]+}} 0
71  unsigned int withCast = ((int2)((int2)(12, 34))).s0;
72}
73