1// RUN: %clang_cc1 -triple spir-unknown-unknown -O1 -cl-std=CL2.0 -emit-llvm-bc -fdeclare-opencl-builtins -finclude-default-header %s -o %t.bc
2// RUN: llvm-spirv %t.bc -spirv-text -o - | FileCheck %s --check-prefix=CHECK-SPIRV
3// RUN: llvm-spirv %t.bc -o %t.spv
4// RUN: spirv-val %t.spv
5// RUN: llvm-spirv -r %t.spv -o %t.rev.bc
6// RUN: llvm-dis < %t.rev.bc | FileCheck %s --check-prefixes=CHECK-LLVM,CHECK-LLVM-OCL
7// RUN: llvm-spirv -r --spirv-target-env=SPV-IR %t.spv -o %t.rev.bc
8// RUN: llvm-dis < %t.rev.bc | FileCheck %s --check-prefixes=CHECK-LLVM,CHECK-LLVM-SPV
9// RUN: llvm-spirv %t.rev.bc -spirv-text -o - | FileCheck %s --check-prefix=CHECK-SPIRV
10
11// CHECK-SPIRV: 4 GenericCastToPtr
12
13// CHECK-LLVM-LABEL: @testGenericCastToPtrGlobal
14// CHECK-LLVM: %0 = addrspacecast <2 x i16> addrspace(4)* %a to <2 x i16> addrspace(1)*
15
16global short2 *testGenericCastToPtrGlobal(generic short2 *a) {
17  return (global short2 *)a;
18}
19
20// CHECK-SPIRV: 4 GenericCastToPtr
21
22// CHECK-LLVM-LABEL: @testGenericCastToPtrLocal
23// CHECK-LLVM: %0 = addrspacecast <2 x i16> addrspace(4)* %a to <2 x i16> addrspace(3)*
24
25local short2 *testGenericCastToPtrLocal(generic short2 *a) {
26  return (local short2 *)a;
27}
28
29// CHECK-SPIRV: 4 GenericCastToPtr
30
31// CHECK-LLVM-LABEL: @testGenericCastToPtrPrivate
32// CHECK-LLVM: %0 = addrspacecast <2 x i16> addrspace(4)* %a to <2 x i16>*
33
34private short2 *testGenericCastToPtrPrivate(generic short2 *a) {
35  return (private short2 *)a;
36}
37
38// CHECK-SPIRV: 5 GenericCastToPtrExplicit
39
40// CHECK-LLVM-LABEL: @testGenericCastToPtrExplicitGlobal
41// CHECK-LLVM: %[[VoidPtrCast:[0-9]+]] = bitcast <2 x i16> addrspace(4)* %a to i8 addrspace(4)*
42// CHECK-LLVM-NEXT: %[[AddrSpaceCast:[0-9]+]] = bitcast i8 addrspace(4)* %[[VoidPtrCast]] to i8 addrspace(4)*
43// CHECK-LLVM-OCL-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8 addrspace(1)* @__to_global(i8 addrspace(4)* %[[AddrSpaceCast]])
44// CHECK-LLVM-SPV-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8 addrspace(1)* @_Z41__spirv_GenericCastToPtrExplicit_ToGlobalPU3AS4ci(i8 addrspace(4)* %[[AddrSpaceCast]], i32
45// CHECK-LLVM: bitcast i8 addrspace(1)* %{{[0-9]+}} to <2 x i16> addrspace(1)*
46
47global short2 *testGenericCastToPtrExplicitGlobal(generic short2 *a) {
48  return to_global(a);
49}
50
51// CHECK-SPIRV: 5 GenericCastToPtrExplicit
52
53// CHECK-LLVM-LABEL: @testGenericCastToPtrExplicitLocal
54// CHECK-LLVM: %[[VoidPtrCast:[0-9]+]] = bitcast <2 x i16> addrspace(4)* %a to i8 addrspace(4)*
55// CHECK-LLVM-NEXT: %[[AddrSpaceCast:[0-9]+]] = bitcast i8 addrspace(4)* %[[VoidPtrCast]] to i8 addrspace(4)*
56// CHECK-LLVM-OCL-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8 addrspace(3)* @__to_local(i8 addrspace(4)* %[[AddrSpaceCast]])
57// CHECK-LLVM-SPV-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8 addrspace(3)* @_Z40__spirv_GenericCastToPtrExplicit_ToLocalPU3AS4ci(i8 addrspace(4)* %[[AddrSpaceCast]], i32
58// CHECK-LLVM: bitcast i8 addrspace(3)* %{{[0-9]+}} to <2 x i16> addrspace(3)*
59
60local short2 *testGenericCastToPtrExplicitLocal(generic short2 *a) {
61  return to_local(a);
62}
63
64// CHECK-SPIRV: 5 GenericCastToPtrExplicit
65
66// CHECK-LLVM-LABEL: @testGenericCastToPtrExplicitPrivate
67// CHECK-LLVM: %[[VoidPtrCast:[0-9]+]] = bitcast <2 x i16> addrspace(4)* %a to i8 addrspace(4)*
68// CHECK-LLVM-NEXT: %[[AddrSpaceCast:[0-9]+]] = bitcast i8 addrspace(4)* %[[VoidPtrCast]] to i8 addrspace(4)*
69// CHECK-LLVM-OCL-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8* @__to_private(i8 addrspace(4)* %[[AddrSpaceCast]])
70// CHECK-LLVM-SPV-NEXT: %{{[0-9a-zA-Z.]+}} = call spir_func i8* @_Z42__spirv_GenericCastToPtrExplicit_ToPrivatePU3AS4ci(i8 addrspace(4)* %[[AddrSpaceCast]], i32
71// CHECK-LLVM: bitcast i8* %{{[0-9]+}} to <2 x i16>*
72
73private short2 *testGenericCastToPtrExplicitPrivate(generic short2 *a) {
74  return to_private(a);
75}
76