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 %} 3 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]] 11 12; CHECK: %[[#FUNC:]] = OpTypeFunction %[[#VOID]] %[[#PTR]] 13; CHECK: %[[#]] = OpFunction %[[#VOID]] None %[[#FUNC]] 14; CHECK: %[[#]] = OpFunctionParameter %[[#PTR]] 15 16%struct.S = type { i32 } 17%struct.__wrapper_class = type { [7 x %struct.S] } 18 19define spir_kernel void @foo(ptr noundef byval(%struct.__wrapper_class) align 4 %_arg_Arr) { 20entry: 21 ret void 22} 23