45 lines · plain
1; RUN: llc -O0 -verify-machineinstrs -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; Make sure SPIRV operation function calls for generic_cast_to_ptr_explicit are lowered correctly.5 6; CHECK: %[[#Char:]] = OpTypeInt 8 07; CHECK: %[[#GenericPtr:]] = OpTypePointer Generic %[[#Char]]8; CHECK: %[[#GlobalPtr:]] = OpTypePointer CrossWorkgroup %[[#Char]]9; CHECK: %[[#LocalPtr:]] = OpTypePointer Workgroup %[[#Char]]10; CHECK: %[[#PrivatePtr:]] = OpTypePointer Function %[[#Char]]11 12; CHECK: OpFunction %[[#GlobalPtr]]13; CHECK-NEXT: %[[#Arg:]] = OpFunctionParameter %[[#GenericPtr]]14; CHECK-NEXT: OpLabel15; CHECK-NEXT: OpGenericCastToPtrExplicit %[[#GlobalPtr]] %[[#Arg]] CrossWorkgroup16define ptr addrspace(1) @test_to_global(ptr addrspace(4) noundef %ptr) {17entry:18 %cast = call spir_func noundef ptr addrspace(1) @llvm.spv.generic.cast.to.ptr.explicit.p1(ptr addrspace(4) noundef %ptr)19 ret ptr addrspace(1) %cast20}21 22; CHECK: OpFunction %[[#LocalPtr]]23; CHECK-NEXT: %[[#Arg:]] = OpFunctionParameter %[[#GenericPtr]]24; CHECK-NEXT: OpLabel25; CHECK-NEXT: OpGenericCastToPtrExplicit %[[#LocalPtr]] %[[#Arg]] Workgroup26define ptr addrspace(3) @test_to_local(ptr addrspace(4) noundef %ptr) {27entry:28 %cast = call spir_func noundef ptr addrspace(3) @llvm.spv.generic.cast.to.ptr.explicit.p3(ptr addrspace(4) noundef %ptr)29 ret ptr addrspace(3) %cast30}31 32; CHECK: OpFunction %[[#PrivatePtr]]33; CHECK-NEXT: %[[#Arg:]] = OpFunctionParameter %[[#GenericPtr]]34; CHECK-NEXT: OpLabel35; CHECK-NEXT: OpGenericCastToPtrExplicit %[[#PrivatePtr]] %[[#Arg]] Function36define ptr @test_to_private(ptr addrspace(4) noundef %ptr) {37entry:38 %cast = call spir_func noundef ptr @llvm.spv.generic.cast.to.ptr.explicit.p0(ptr addrspace(4) noundef %ptr)39 ret ptr %cast40}41 42declare noundef ptr @llvm.spv.generic.cast.to.ptr.explicit.p0(ptr addrspace(4))43declare noundef ptr addrspace(1) @llvm.spv.generic.cast.to.ptr.explicit.p1(ptr addrspace(4))44declare noundef ptr addrspace(3) @llvm.spv.generic.cast.to.ptr.explicit.p3(ptr addrspace(4))45