1// RUN: mlir-opt -spirv-lower-abi-attrs -verify-diagnostics %s -o - | FileCheck %s
2
3module attributes {
4  spv.target_env = #spv.target_env<#spv.vce<v1.0, [Kernel, Addresses], []>, {}>
5} {
6  spv.module Physical64 OpenCL {
7    // CHECK-LABEL: spv.module
8    //       CHECK:   spv.func [[FN:@.*]]({{%.*}}: f32, {{%.*}}: !spv.ptr<!spv.struct<(!spv.array<12 x f32>)>, CrossWorkgroup>
9    //       CHECK:   spv.EntryPoint "Kernel" [[FN]]
10    //       CHECK:   spv.ExecutionMode [[FN]] "LocalSize", 32, 1, 1
11    spv.func @kernel(
12      %arg0: f32,
13      %arg1: !spv.ptr<!spv.struct<(!spv.array<12 x f32>)>, CrossWorkgroup>) "None"
14    attributes {spv.entry_point_abi = {local_size = dense<[32, 1, 1]> : vector<3xi32>}} {
15      spv.Return
16    }
17  }
18}
19