1 ; RUN: llc -verify-machineinstrs -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
2 ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}
4 ; CHECK-DAG: %[[#VOID:]] = OpTypeVoid
5 ; CHECK-DAG: %[[#INT32:]] = OpTypeInt 32 0
6 ; CHECK-DAG: %[[#STRUCT1:]] = OpTypeStruct %[[#INT32]]
7 ; CHECK-DAG: %[[#CONST:]] = OpConstant %[[#INT32]] 7
8 ; CHECK-DAG: %[[#ARRAY:]] = OpTypeArray %[[#STRUCT1]] %[[#CONST]]
9 ; CHECK-DAG: %[[#STRUCT2:]] = OpTypeStruct %[[#ARRAY]]
10 ; CHECK-DAG: %[[#PTR:]] = OpTypePointer Function %[[#STRUCT2]]
12 ; CHECK: %[[#FUNC:]] = OpTypeFunction %[[#VOID]] %[[#PTR]]
13 ; CHECK: %[[#]] = OpFunction %[[#VOID]] None %[[#FUNC]]
14 ; CHECK: %[[#]] = OpFunctionParameter %[[#PTR]]
16 %struct.S = type { i32 }
17 %struct.__wrapper_class = type { [7 x %struct.S] }
19 define spir_kernel void @foo(ptr noundef byval(%struct.__wrapper_class) align 4 %_arg_Arr) {