llvm/test/CodeGen/SPIRV/transcoding/spirv-event-null.ll

   1 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
   2 ; 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 %s
   5 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   6
   7 ; CHECK-DAG: %[[#TyEvent:]] = OpTypeEvent
   8 ; 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 0
  14 ; CHECK-DAG: %[[#TyV4:]] = OpTypeVector %[[#TyChar]] 4
  15 ; CHECK-DAG: %[[#TyStructV4:]] = OpTypeStruct %[[#TyV4]]
  16 ; CHECK-DAG: %[[#TyPtrSV4_W:]] = OpTypePointer Workgroup %[[#TyStructV4]]
  17 ; CHECK-DAG: %[[#TyPtrSV4_CW:]] = OpTypePointer CrossWorkgroup %[[#TyStructV4]]
  18 ; CHECK-DAG: %[[#TyPtrV4_W:]] = OpTypePointer Workgroup %[[#TyV4]]
  19 ; CHECK-DAG: %[[#TyPtrV4_CW:]] = OpTypePointer CrossWorkgroup %[[#TyV4]]
  20
  21 ; Check correct translation of __spirv_GroupAsyncCopy and target("spirv.Event") zeroinitializer
  22
  23 ; CHECK: OpFunction
  24 ; CHECK: OpFunctionParameter
  25 ; CHECK: %[[#Src:]] = OpFunctionParameter
  26 ; CHECK: OpVariable %[[#TyStructPtr]] Function
  27 ; CHECK: %[[#EventVar:]] = OpVariable %[[#TyEventPtr]] Function
  28 ; CHECK: %[[#Dest:]] = OpInBoundsPtrAccessChain
  29 ; CHECK: %[[#CopyRes:]] = OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#Dest]] %[[#Src]] %[[#]] %[[#]] %[[#ConstEvent]]
  30 ; CHECK: OpStore %[[#EventVar]] %[[#CopyRes]]
  31 ; CHECK: OpFunctionEnd
  32
  33 %StructEvent = type { target("spirv.Event") }
  34
  35 define spir_kernel void @foo(ptr addrspace(1) %_arg_out_ptr, ptr addrspace(3) %_arg_local_acc) {
  36 entry:
  37   %var = alloca %StructEvent
  38   %dev_event.i.sroa.0 = alloca target("spirv.Event")
  39   %add.ptr.i26 = getelementptr inbounds i32, ptr addrspace(1) %_arg_out_ptr, i64 0
  40   %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)
  41   store target("spirv.Event") %call3.i, ptr %dev_event.i.sroa.0
  42   ret void
  43 }
  44
  45 declare dso_local spir_func target("spirv.Event") @_Z22__spirv_GroupAsyncCopyjPU3AS1iPU3AS3Kimm9ocl_event(i32, ptr addrspace(1), ptr addrspace(3), i64, i64, target("spirv.Event"))
  46
  47 ; Check correct type inference when calling __spirv_GroupAsyncCopy:
  48 ; we expect that the Backend is able to deduce a type of the %_arg_Local
  49 ; given facts that it's possible to deduce a type of the %_arg
  50 ; and %_arg_Local and %_arg are source/destination arguments in OpGroupAsyncCopy
  51
  52 ; CHECK: OpFunction
  53 ; CHECK: %[[#BarArg1:]] = OpFunctionParameter %[[#TyPtrSV4_W]]
  54 ; CHECK: %[[#BarArg2:]] = OpFunctionParameter %[[#TyPtrSV4_CW]]
  55 ; CHECK: %[[#EventVarBar:]] = OpVariable %[[#TyStructPtr]] Function
  56 ; CHECK: %[[#EventVarBarCasted2:]] = OpBitcast %[[#TyEventPtr]] %[[#EventVarBar]]
  57 ; CHECK: %[[#SrcBar:]] = OpInBoundsPtrAccessChain %[[#TyPtrSV4_CW]] %[[#BarArg2]] %[[#]]
  58 ; CHECK-DAG: %[[#BarArg1Casted:]] = OpBitcast %[[#TyPtrV4_W]] %[[#BarArg1]]
  59 ; CHECK-DAG: %[[#SrcBarCasted:]] = OpBitcast %[[#TyPtrV4_CW]] %[[#SrcBar]]
  60 ; CHECK: %[[#ResBar:]] = OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#BarArg1Casted]] %[[#SrcBarCasted]] %[[#]] %[[#]] %[[#ConstEvent]]
  61 ; CHECK: %[[#EventVarBarCasted:]] = OpBitcast %[[#TyEventPtr]] %[[#EventVarBar]]
  62 ; CHECK: OpStore %[[#EventVarBarCasted]] %[[#ResBar]]
  63 ; CHECK: %[[#EventVarBarGen:]] = OpPtrCastToGeneric %[[#TyEventPtrGen]] %[[#EventVarBarCasted2]]
  64 ; CHECK: OpGroupWaitEvents %[[#]] %[[#]] %[[#EventVarBarGen]]
  65 ; CHECK: OpFunctionEnd
  66
  67 ; CHECK2: OpFunction
  68 ; CHECK2: %[[#BarArg1:]] = OpFunctionParameter %[[#TyPtrSV4_W]]
  69 ; CHECK2: %[[#BarArg2:]] = OpFunctionParameter %[[#TyPtrSV4_CW]]
  70 ; CHECK2: %[[#EventVarBar:]] = OpVariable %[[#TyEventPtr]] Function
  71 ; CHECK2: %[[#SrcBar:]] = OpInBoundsPtrAccessChain %[[#TyPtrSV4_CW]] %[[#BarArg2]] %[[#]]
  72 ; CHECK2-DAG: %[[#BarArg1Casted:]] = OpBitcast %[[#TyPtrV4_W]] %[[#BarArg1]]
  73 ; CHECK2-DAG: %[[#SrcBarCasted:]] = OpBitcast %[[#TyPtrV4_CW]] %[[#SrcBar]]
  74 ; CHECK2: %[[#ResBar:]] = OpGroupAsyncCopy %[[#TyEvent]] %[[#]] %[[#BarArg1Casted]] %[[#SrcBarCasted]] %[[#]] %[[#]] %[[#ConstEvent]]
  75 ; CHECK2: OpStore %[[#EventVarBar]] %[[#ResBar]]
  76 ; CHECK2: %[[#EventVarBarGen:]] = OpPtrCastToGeneric %[[#TyEventPtrGen]] %[[#EventVarBar]]
  77 ; CHECK2: OpGroupWaitEvents %[[#]] %[[#]] %[[#EventVarBarGen]]
  78 ; CHECK2: OpFunctionEnd
  79
  80 %Vec4 = type { <4 x i8> }
  81
  82 define spir_kernel void @bar(ptr addrspace(3) %_arg_Local, ptr addrspace(1) readonly %_arg) {
  83 entry:
  84   %E1 = alloca %StructEvent
  85   %srcptr = getelementptr inbounds %Vec4, ptr addrspace(1) %_arg, i64 0
  86   %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)
  87   store target("spirv.Event") %r1, ptr %E1
  88   %E.ascast.i = addrspacecast ptr %E1 to ptr addrspace(4)
  89   call spir_func void @_Z23__spirv_GroupWaitEventsjiP9ocl_event(i32 2, i32 1, ptr addrspace(4) %E.ascast.i)
  90   ret void
  91 }
  92
  93 declare 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"))
  94 declare dso_local spir_func void @_Z23__spirv_GroupWaitEventsjiP9ocl_event(i32, i32, ptr addrspace(4))