36 lines · plain
1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefixes=CHECK-SPIRV2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; CHECK-SPIRV-DAG: %[[#Char:]] = OpTypeInt 8 05; CHECK-SPIRV-DAG: %[[#GlobalCharPtr:]] = OpTypePointer CrossWorkgroup %[[#Char]]6; CHECK-SPIRV-DAG: %[[#LocalCharPtr:]] = OpTypePointer Workgroup %[[#Char]]7; CHECK-SPIRV-DAG: %[[#GenericCharPtr:]] = OpTypePointer Generic %[[#Char]]8; CHECK-SPIRV: OpFunction9; CHECK-SPIRV: %[[#Arg1:]] = OpFunctionParameter %[[#GlobalCharPtr]]10; CHECK-SPIRV: %[[#Ptr1:]] = OpPtrCastToGeneric %[[#GenericCharPtr]] %[[#Arg1]]11; CHECK-SPIRV: OpGenericCastToPtr %[[#LocalCharPtr]] %[[#Ptr1]]12; CHECK-SPIRV: OpFunctionEnd13; CHECK-SPIRV: OpFunction14; CHECK-SPIRV: %[[#Arg2:]] = OpFunctionParameter %[[#GlobalCharPtr]]15; CHECK-SPIRV: %[[#Ptr2:]] = OpPtrCastToGeneric %[[#GenericCharPtr]] %[[#Arg2]]16; CHECK-SPIRV: OpGenericCastToPtr %[[#LocalCharPtr]] %[[#Ptr2]]17; CHECK-SPIRV: OpFunctionEnd18 19@G_p = global ptr addrspace(3) null20@G_p2 = global ptr addrspace(3) null21 22define spir_kernel void @foo(ptr addrspace(1) %arg) {23entry:24 %p = addrspacecast ptr addrspace(1) %arg to ptr addrspace(3)25 store ptr addrspace(3) %p, ptr @G_p26 ret void27}28 29define spir_kernel void @bar(ptr addrspace(1) %arg) {30entry:31 %p1 = addrspacecast ptr addrspace(1) %arg to ptr addrspace(4)32 %p2 = addrspacecast ptr addrspace(4) %p1 to ptr addrspace(3)33 store ptr addrspace(3) %p2, ptr @G_p234 ret void35}36