98 lines · plain
1; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s5; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-DAG: %[[#TyEvent:]] = OpTypeEvent8; CHECK-DAG: %[[#TyStruct:]] = OpTypeStruct %[[#TyEvent]]9; CHECK-DAG: %[[#ConstEvent:]] = OpConstantNull %[[#TyEvent]]10; CHECK-DAG: %[[#TyEventPtr:]] = OpTypePointer Function %[[#TyEvent]]11; CHECK-DAG: %[[#TyEventPtrGen:]] = OpTypePointer Generic %[[#TyEvent]]12; CHECK-DAG: %[[#TyStructPtr:]] = OpTypePointer Function %[[#TyStruct]]13; CHECK-DAG: %[[#TyChar:]] = OpTypeInt 8 014; CHECK-DAG: %[[#TyV4:]] = OpTypeVector %[[#TyChar]] 415; CHECK-DAG: %[[#TyStructV4:]] = OpTypeStruct %[[#TyV4]]16; CHECK-DAG: %[[#TyPtrSV4_CW:]] = OpTypePointer CrossWorkgroup %[[#TyStructV4]]17; CHECK-DAG: %[[#TyPtrV4_W:]] = OpTypePointer Workgroup %[[#TyV4]]18; CHECK-DAG: %[[#TyPtrV4_CW:]] = OpTypePointer CrossWorkgroup %[[#TyV4]]19; CHECK-DAG: %[[#TyHalf:]] = OpTypeFloat 1620; CHECK-DAG: %[[#TyHalfV2:]] = OpTypeVector %[[#TyHalf]] 221; CHECK-DAG: %[[#TyHalfV2_W:]] = OpTypePointer Workgroup %[[#TyHalfV2]]22; CHECK-DAG: %[[#TyHalfV2_CW:]] = OpTypePointer CrossWorkgroup %[[#TyHalfV2]]23 24; Check correct translation of __spirv_GroupAsyncCopy and target("spirv.Event") zeroinitializer25 26; CHECK: OpFunction27; CHECK: %[[#HalfA1:]] = OpFunctionParameter %[[#TyHalfV2_W:]]28; CHECK: %[[#HalfA2:]] = OpFunctionParameter %[[#TyHalfV2_CW:]]29; CHECK: OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#HalfA1]] %[[#HalfA2]] %[[#]] %[[#]] %[[#ConstEvent]]30; CHECK: OpFunctionEnd31 32%StructEvent = type { target("spirv.Event") }33 34@G_r = global target("spirv.Event") poison35 36define spir_kernel void @test_half(ptr addrspace(3) %_arg1, ptr addrspace(1) %_arg2) {37entry:38 %r = tail call spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS3Dv2_DF16_PU3AS1KS_mm9ocl_event(i32 2, ptr addrspace(3) %_arg1, ptr addrspace(1) %_arg2, i64 16, i64 10, target("spirv.Event") zeroinitializer)39 store target("spirv.Event") %r, ptr @G_r40 ret void41}42 43declare dso_local spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS3Dv2_DF16_PU3AS1KS_mm9ocl_event(i32 noundef, ptr addrspace(3) noundef, ptr addrspace(1) noundef, i64 noundef, i64 noundef, target("spirv.Event"))44 45; CHECK: OpFunction46; CHECK: OpFunctionParameter47; CHECK: %[[#Src:]] = OpFunctionParameter48; CHECK: %[[#EventVar:]] = OpVariable %[[#TyEventPtr]] Function49; CHECK: %[[#Dest:]] = OpInBoundsPtrAccessChain50; CHECK: %[[#CopyRes:]] = OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#Dest]] %[[#Src]] %[[#]] %[[#]] %[[#ConstEvent]]51; CHECK: OpStore %[[#EventVar]] %[[#CopyRes]]52; CHECK: OpFunctionEnd53 54define spir_kernel void @foo(ptr addrspace(1) %_arg_out_ptr, ptr addrspace(3) %_arg_local_acc) {55entry:56 %var = alloca %StructEvent57 %dev_event.i.sroa.0 = alloca target("spirv.Event")58 %add.ptr.i26 = getelementptr inbounds i32, ptr addrspace(1) %_arg_out_ptr, i64 059 %call3.i = tail call spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS1iPU3AS3Kimm9ocl_event(i32 2, ptr addrspace(1) %add.ptr.i26, ptr addrspace(3) %_arg_local_acc, i64 16, i64 10, target("spirv.Event") zeroinitializer)60 store target("spirv.Event") %call3.i, ptr %dev_event.i.sroa.061 ret void62}63 64declare dso_local spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS1iPU3AS3Kimm9ocl_event(i32, ptr addrspace(1), ptr addrspace(3), i64, i64, target("spirv.Event"))65 66; Check correct type inference when calling __spirv_GroupAsyncCopy:67; we expect that the Backend is able to deduce a type of the %_arg_Local68; given facts that it's possible to deduce a type of the %_arg69; and %_arg_Local and %_arg are source/destination arguments in OpGroupAsyncCopy70 71; CHECK: OpFunction72; CHECK: %[[#BarArg1:]] = OpFunctionParameter %[[#TyPtrV4_W]]73; CHECK: %[[#BarArg2:]] = OpFunctionParameter %[[#TyPtrSV4_CW]]74; CHECK: %[[#EventVarBar:]] = OpVariable %[[#TyStructPtr]] Function75; CHECK: %[[#EventVarBarCasted2:]] = OpBitcast %[[#TyEventPtr]] %[[#EventVarBar]]76; CHECK: %[[#ResBar:]] = OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#BarArg1]] %[[#]] %[[#]] %[[#]] %[[#ConstEvent]]77; CHECK: %[[#EventVarBarCasted:]] = OpBitcast %[[#TyEventPtr]] %[[#EventVarBar]]78; CHECK: OpStore %[[#EventVarBarCasted]] %[[#ResBar]]79; CHECK: %[[#EventVarBarGen:]] = OpPtrCastToGeneric %[[#TyEventPtrGen]] %[[#EventVarBarCasted2]]80; CHECK: OpGroupWaitEvents %[[#]] %[[#]] %[[#EventVarBarGen]]81; CHECK: OpFunctionEnd82 83%Vec4 = type { <4 x i8> }84 85define spir_kernel void @bar(ptr addrspace(3) %_arg_Local, ptr addrspace(1) readonly %_arg) {86entry:87 %E1 = alloca %StructEvent88 %srcptr = getelementptr inbounds %Vec4, ptr addrspace(1) %_arg, i64 089 %r1 = tail call spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS3Dv4_aPU3AS1KS_mm9ocl_event(i32 2, ptr addrspace(3) %_arg_Local, ptr addrspace(1) %srcptr, i64 16, i64 10, target("spirv.Event") zeroinitializer)90 store target("spirv.Event") %r1, ptr %E191 %E.ascast.i = addrspacecast ptr %E1 to ptr addrspace(4)92 call spir_func void @_Z23__spirv_GroupWaitEventsjiP9ocl_event(i32 2, i32 1, ptr addrspace(4) %E.ascast.i)93 ret void94}95 96declare dso_local spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS3Dv4_aPU3AS1KS_mm9ocl_event(i32, ptr addrspace(3), ptr addrspace(1), i64, i64, target("spirv.Event"))97declare dso_local spir_func void @_Z23__spirv_GroupWaitEventsjiP9ocl_event(i32, i32, ptr addrspace(4))98