llvm/test/CodeGen/SPIRV/var-uniform-const.ll

   1 ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   2 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   3
   4 ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV
   5 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
   6
   7 ; CHECK-SPIRV-DAG: %[[#Char:]] = OpTypeInt 8 0
   8 ; CHECK-SPIRV-DAG: %[[#Long:]] = OpTypeInt 64 0
   9 ; CHECK-SPIRV-DAG: %[[#Int:]] = OpTypeInt 32 0
  10 ; CHECK-SPIRV-DAG: %[[#Size3:]] = OpConstant %[[#Int]] 3
  11 ; CHECK-SPIRV-DAG: %[[#Arr3:]] = OpTypeArray %[[#Char]] %[[#Size3]]
  12 ; CHECK-SPIRV-DAG: %[[#Size16:]] = OpConstant %[[#Int]] 16
  13 ; CHECK-SPIRV-DAG: %[[#Arr16:]] = OpTypeArray %[[#Char]] %[[#Size16]]
  14 ; CHECK-SPIRV-DAG: %[[#Const3:]] = OpConstant %[[#Long]] 3
  15 ; CHECK-SPIRV-DAG: %[[#One:]] = OpConstant %[[#Char]] 1
  16 ; CHECK-SPIRV-DAG: %[[#One3:]] = OpConstantComposite %[[#Arr3]] %[[#One]] %[[#One]] %[[#One]]
  17 ; CHECK-SPIRV-DAG: %[[#Zero3:]] = OpConstantNull %[[#Arr3]]
  18 ; CHECK-SPIRV-DAG: %[[#Const16:]] = OpConstant %[[#Long]] 16
  19 ; CHECK-SPIRV-DAG: %[[#One16:]] = OpConstantComposite %[[#Arr16]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]] %[[#One]]
  20 ; CHECK-SPIRV-DAG: %[[#Zero16:]] = OpConstantNull %[[#Arr16]]
  21
  22 ; The first set of functions.
  23 ; CHECK-SPIRV-DAG: %[[#PtrArr3:]] = OpTypePointer UniformConstant %[[#Arr3]]
  24 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#One3]]
  25 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#Zero3]]
  26 ; CHECK-SPIRV-DAG: %[[#PtrArr16:]] = OpTypePointer UniformConstant %[[#Arr16]]
  27 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#One16]]
  28 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#Zero16]]
  29
  30 ; The second set of functions.
  31 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#One3]]
  32 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr3]] UniformConstant %[[#Zero3]]
  33 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#One16]]
  34 ; CHECK-SPIRV-DAG: OpVariable %[[#PtrArr16]] UniformConstant %[[#Zero16]]
  35
  36 %Vec3 = type { <3 x i8> }
  37 %Vec16 = type { <16 x i8> }
  38
  39 ; CHECK-SPIRV: OpFunction
  40 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 4
  41 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 4
  42 ; CHECK-SPIRV: OpFunctionEnd
  43 define spir_kernel void @foo(ptr addrspace(1) noundef align 16 %arg) {
  44   %a1 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 1
  45   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 3, i1 false)
  46   %a2 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 1
  47   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 3, i1 false)
  48   ret void
  49 }
  50
  51 ; CHECK-SPIRV: OpFunction
  52 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 4
  53 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 4
  54 ; CHECK-SPIRV: OpFunctionEnd
  55 define spir_kernel void @bar(ptr addrspace(1) noundef align 16 %arg) {
  56   %a1 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 1
  57   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 16, i1 false)
  58   %a2 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 1
  59   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 16, i1 false)
  60   ret void
  61 }
  62
  63 ; CHECK-SPIRV: OpFunction
  64 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 4
  65 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const3]] Aligned 4
  66 ; CHECK-SPIRV: OpFunctionEnd
  67 define spir_kernel void @foo_2(ptr addrspace(1) noundef align 16 %arg) {
  68   %a1 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 1
  69   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 3, i1 false)
  70   %a2 = getelementptr inbounds %Vec3, ptr addrspace(1) %arg, i64 1
  71   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 3, i1 false)
  72   ret void
  73 }
  74
  75 ; CHECK-SPIRV: OpFunction
  76 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 4
  77 ; CHECK-SPIRV: OpCopyMemorySized %[[#]] %[[#]] %[[#Const16]] Aligned 4
  78 ; CHECK-SPIRV: OpFunctionEnd
  79 define spir_kernel void @bar_2(ptr addrspace(1) noundef align 16 %arg) {
  80   %a1 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 1
  81   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a1, i8 0, i64 16, i1 false)
  82   %a2 = getelementptr inbounds %Vec16, ptr addrspace(1) %arg, i64 1
  83   call void @llvm.memset.p1.i64(ptr addrspace(1) align 4 %a2, i8 1, i64 16, i1 false)
  84   ret void
  85 }
  86
  87 declare void @llvm.memset.p1.i64(ptr addrspace(1) nocapture writeonly, i8, i64, i1 immarg)