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 4target triple = "spirv64-unknown-unknown" 5 6; CHECK-DAG: %[[#VOID:]] = OpTypeVoid 7; CHECK-DAG: %[[#INT32:]] = OpTypeInt 32 0 8; CHECK-DAG: %[[#STRUCT1:]] = OpTypeStruct %[[#INT32]] 9; CHECK-DAG: %[[#CONST:]] = OpConstant %[[#INT32]] 7 10; CHECK-DAG: %[[#ARRAY:]] = OpTypeArray %[[#STRUCT1]] %[[#CONST]] 11; CHECK-DAG: %[[#STRUCT2:]] = OpTypeStruct %[[#ARRAY]] 12; CHECK-DAG: %[[#PTR:]] = OpTypePointer Function %[[#STRUCT2]] 13 14; CHECK: %[[#FUNC:]] = OpTypeFunction %[[#VOID]] %[[#PTR]] 15; CHECK: %[[#]] = OpFunction %[[#VOID]] None %[[#FUNC]] 16; CHECK: %[[#]] = OpFunctionParameter %[[#PTR]] 17 18%struct.S = type { i32 } 19%struct.__wrapper_class = type { [7 x %struct.S] } 20 21define spir_kernel void @foo(ptr noundef byref(%struct.__wrapper_class) align 4 %_arg_Arr) { 22entry: 23 ret void 24} 25