1// RUN: %clang_cc1 %s -emit-llvm -o - -triple spir-unknown-unknown -fpreserve-vec3-type | FileCheck %s
2
3typedef char char3 __attribute__((ext_vector_type(3)));
4typedef short short3 __attribute__((ext_vector_type(3)));
5typedef double double2 __attribute__((ext_vector_type(2)));
6typedef float float3 __attribute__((ext_vector_type(3)));
7typedef float float4 __attribute__((ext_vector_type(4)));
8
9void kernel foo(global float3 *a, global float3 *b) {
10  // CHECK-LABEL: spir_kernel void @foo
11  // CHECK: %[[LOAD_A:.*]] = load <3 x float>, <3 x float> addrspace(1)* %a
12  // CHECK: store <3 x float> %[[LOAD_A]], <3 x float> addrspace(1)* %b
13  *b = *a;
14}
15
16void kernel float4_to_float3(global float3 *a, global float4 *b) {
17  // CHECK-LABEL: spir_kernel void @float4_to_float3
18  // CHECK: %[[LOAD_A:.*]] = load <4 x float>, <4 x float> addrspace(1)* %b, align 16
19  // CHECK: %[[ASTYPE:.*]] = shufflevector <4 x float> %[[LOAD_A]], <4 x float> poison, <3 x i32> <i32 0, i32 1, i32 2>
20  // CHECK: store <3 x float> %[[ASTYPE]], <3 x float> addrspace(1)* %a, align 16
21  *a = __builtin_astype(*b, float3);
22}
23
24void kernel float3_to_float4(global float3 *a, global float4 *b) {
25  // CHECK-LABEL: spir_kernel void @float3_to_float4
26  // CHECK: %[[LOAD_A:.*]] = load <3 x float>, <3 x float> addrspace(1)* %a, align 16
27  // CHECK: %[[ASTYPE:.*]] = shufflevector <3 x float> %[[LOAD_A]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef>
28  // CHECK: store <4 x float> %[[ASTYPE]], <4 x float> addrspace(1)* %b, align 16
29  *b = __builtin_astype(*a, float4);
30}
31
32void kernel float3_to_double2(global float3 *a, global double2 *b) {
33  // CHECK-LABEL: spir_kernel void @float3_to_double2
34  // CHECK: %[[LOAD_A:.*]] = load <3 x float>, <3 x float> addrspace(1)* %a, align 16
35  // CHECK: %[[ASTYPE:.*]] = shufflevector <3 x float> %[[LOAD_A]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef>
36  // CHECK: %[[OUT_BC:.*]] = bitcast <2 x double> addrspace(1)* %b to <4 x float> addrspace(1)*
37  // CHECK: store <4 x float> %[[ASTYPE]], <4 x float> addrspace(1)* %[[OUT_BC]], align 16
38  *b = __builtin_astype(*a, double2);
39}
40
41void from_char3(char3 a, global int *out) {
42  // CHECK-LABEL: void @from_char3
43  // CHECK: %[[ASTYPE:.*]] = shufflevector <3 x i8> %a, <3 x i8> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef>
44  // CHECK: %[[OUT_BC:.*]] = bitcast i32 addrspace(1)* %out to <4 x i8> addrspace(1)*
45  // CHECK: store <4 x i8> %[[ASTYPE]], <4 x i8> addrspace(1)* %[[OUT_BC]]
46  *out = __builtin_astype(a, int);
47}
48
49void from_short3(short3 a, global long *out) {
50  // CHECK-LABEL: void @from_short3
51  // CHECK: %[[ASTYPE:.*]] = shufflevector <3 x i16> %a, <3 x i16> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 undef>
52  // CHECK: %[[OUT_BC:.*]] = bitcast i64 addrspace(1)* %out to <4 x i16> addrspace(1)*
53  // CHECK: store <4 x i16> %[[ASTYPE]], <4 x i16> addrspace(1)* %[[OUT_BC]]
54  *out = __builtin_astype(a, long);
55}
56