add tests

Author: VyacheslavLevytskyy

llvm/test/CodeGen/SPIRV/pointers/gep-types-1.ll

@@ -0,0 +1,42 @@
+; The goal of the test is to ensure that type inference doesn't break validity of the generated SPIR-V code.
+; The only pass criterion is that spirv-val considers output valid.
+
+; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
+; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
+
+; CHECK-DAG: %[[#Int:]] = OpTypeInt 32 0
+; CHECK-DAG: %[[#Char:]] = OpTypeInt 8 0
+; CHECK-DAG: %[[#PtrChar:]] = OpTypePointer Function %[[#Char]]
+; CHECK-DAG: %[[#PtrCharCW:]] = OpTypePointer CrossWorkgroup %[[#Char]]
+; CHECK-DAG: %[[#PtrCharGen:]] = OpTypePointer Generic %[[#Char]]
+; CHECK-DAG: %[[#Struct:]] = OpTypeStruct %[[#]] %[[#]] %[[#]]
+; CHECK-DAG: %[[#PtrInt:]] = OpTypePointer Function %[[#Int]]
+; CHECK-DAG: %[[#PtrPtrCharGen:]] = OpTypePointer Function %[[#PtrCharGen]]
+; CHECK-DAG: %[[#PtrStruct:]] = OpTypePointer Function %[[#Struct]]
+; CHECK: OpFunction
+; CHECK: %[[#Arg1:]] = OpFunctionParameter %[[#Int]]
+; CHECK: %[[#Arg2:]] = OpFunctionParameter %[[#PtrCharCW]]
+; CHECK: %[[#Kernel:]] = OpVariable %[[#PtrStruct]] Function
+; CHECK: %[[#IntKernel:]] = OpBitcast %[[#PtrInt]] %[[#Kernel]]
+; CHECK: OpStore %[[#IntKernel]] %[[#Arg1]]
+; CHECK: %[[#CharKernel:]] = OpBitcast %[[#PtrChar]] %[[#Kernel]]
+; CHECK: %[[#P:]] = OpInBoundsPtrAccessChain %[[#PtrChar]] %[[#CharKernel]] %[[#]]
+; CHECK: %[[#R0:]] = OpPtrCastToGeneric %[[#PtrCharGen]] %[[#Arg2]]
+; CHECK: %[[#P2:]] = OpBitcast %[[#PtrPtrCharGen]] %[[#P]]
+; CHECK: OpStore %[[#P2]] %[[#R0]]
+; CHECK: %[[#P3:]] = OpBitcast %[[#PtrPtrCharGen]] %[[#P]]
+; CHECK: %[[#]] = OpLoad %[[#PtrCharGen]] %[[#P3]]
+
+%"class.std::complex" = type { { double, double } }
+%class.anon = type { i32, ptr addrspace(4), [2 x [2 x %"class.std::complex"]] }
+
+define weak_odr dso_local spir_kernel void @foo(i32 noundef %_arg_N, ptr addrspace(1) noundef align 8 %_arg_p) {
+entry:
+  %Kernel = alloca %class.anon, align 8
+  store i32 %_arg_N, ptr %Kernel, align 8
+  %p = getelementptr inbounds i8, ptr %Kernel, i64 8
+  %r0 = addrspacecast ptr addrspace(1) %_arg_p to ptr addrspace(4)
+  store ptr addrspace(4) %r0, ptr %p, align 8
+  %r3 = load ptr addrspace(4), ptr %p, align 8
+  ret void
+}

llvm/test/CodeGen/SPIRV/pointers/gep-types-2.ll

@@ -0,0 +1,36 @@
+; The goal of the test is to ensure that type inference doesn't break validity of the generated SPIR-V code.
+; The only pass criterion is that spirv-val considers output valid.
+
+; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
+; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
+
+; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s
+; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}
+
+; CHECK: OpFunction
+
+%class.anon = type { i32, ptr addrspace(4)}
+
+define weak_odr dso_local spir_kernel void @foo(i32 noundef %_arg_N, i1 %fl) {
+entry:
+  %__SYCLKernel = alloca %class.anon, align 8
+  store i32 %_arg_N, ptr %__SYCLKernel, align 8
+  br label %arinit
+
+arinit:
+  %scevgep3 = getelementptr nuw i8, ptr %__SYCLKernel, i64 24
+  br label %for.cond.i
+
+for.cond.i:
+  %lsr.iv4 = phi ptr [ %scevgep5, %for.body.i ], [ %scevgep3, %arinit ]
+  br i1 %fl, label %for.body.i, label %exit
+
+for.body.i:
+  %scevgep6 = getelementptr i8, ptr %lsr.iv4, i64 -8
+  %_M_value.imag.i.i = load double, ptr %lsr.iv4, align 8
+  %scevgep5 = getelementptr i8, ptr %lsr.iv4, i64 32
+  br label %for.cond.i
+
+exit:
+  ret void
+}