45 lines · plain
1; Check that bitcast for pointers implies that the address spaces must match.2 3; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s --spirv-ext=+SPV_INTEL_usm_storage_classes -o - | FileCheck %s4; TODO: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s --spirv-ext=+SPV_INTEL_usm_storage_classes -o - -filetype=obj | spirv-val %}5 6; CHECK: Capability USMStorageClassesINTEL7; CHECK: OpExtension "SPV_INTEL_usm_storage_classes"8; CHECK-DAG: OpName %[[#Bar:]] "bar"9; CHECK-DAG: %[[#Void:]] = OpTypeVoid10; CHECK-DAG: %[[#Char:]] = OpTypeInt 8 011; CHECK-DAG: %[[#GenPtrChar:]] = OpTypePointer Generic %[[#Char]]12; CHECK-DAG: %[[#AtDevice:]] = OpTypePointer DeviceOnlyINTEL %[[#Char]]13; CHECK-DAG: %[[#AtHost:]] = OpTypePointer HostOnlyINTEL %[[#Char]]14; CHECK-DAG: %[[#PtrVarHost:]] = OpTypePointer Function %[[#AtHost]]15; CHECK-DAG: %[[#PtrVarDevice:]] = OpTypePointer Function %[[#AtDevice]]16; CHECK: OpFunction17; CHECK: %[[#VarDevice:]] = OpVariable %[[#PtrVarDevice]] Function18; CHECK: %[[#VarHost:]] = OpVariable %[[#PtrVarHost]] Function19; CHECK: %[[#LoadedDevice:]] = OpLoad %[[#AtDevice]] %[[#VarDevice]]20; CHECK: %[[#CastedFromDevice:]] = OpPtrCastToGeneric %[[#GenPtrChar]] %[[#LoadedDevice]]21; CHECK: OpFunctionCall %[[#Void]] %[[#Bar]] %[[#CastedFromDevice]]22; CHECK: %[[#LoadedHost:]] = OpLoad %[[#AtHost]] %[[#VarHost]]23; CHECK: %[[#CastedFromHost:]] = OpPtrCastToGeneric %[[#GenPtrChar]] %[[#LoadedHost]]24; CHECK: OpFunctionCall %[[#Void]] %[[#Bar]] %[[#CastedFromHost]]25 26define spir_func void @foo() {27entry:28 %device_var = alloca ptr addrspace(5)29 %host_var = alloca ptr addrspace(6)30 %p1 = load ptr addrspace(5), ptr %device_var31 %p2 = addrspacecast ptr addrspace(5) %p1 to ptr addrspace(4)32 call spir_func void @bar(ptr addrspace(4) %p2)33 %p3 = load ptr addrspace(6), ptr %host_var34 %p4 = addrspacecast ptr addrspace(6) %p3 to ptr addrspace(4)35 call spir_func void @bar(ptr addrspace(4) %p4)36 ret void37}38 39define spir_func void @bar(ptr addrspace(4) %data) {40entry:41 %data.addr = alloca ptr addrspace(4)42 store ptr addrspace(4) %data, ptr %data.addr43 ret void44}45