1// RUN: mlir-translate -test-spirv-roundtrip -split-input-file %s | FileCheck %s
2
3// CHECK:      spv.globalVariable @var0 bind(1, 0) : !spv.ptr<f32, Input>
4// CHECK-NEXT: spv.globalVariable @var1 bind(0, 1) : !spv.ptr<f32, Output>
5// CHECK-NEXT: spv.globalVariable @var2 built_in("GlobalInvocationId") : !spv.ptr<vector<3xi32>, Input>
6// CHECK-NEXT: spv.globalVariable @var3 built_in("GlobalInvocationId") : !spv.ptr<vector<3xi32>, Input>
7
8spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
9  spv.globalVariable @var0 bind(1, 0) : !spv.ptr<f32, Input>
10  spv.globalVariable @var1 bind(0, 1) : !spv.ptr<f32, Output>
11  spv.globalVariable @var2 {built_in = "GlobalInvocationId"} : !spv.ptr<vector<3xi32>, Input>
12  spv.globalVariable @var3 built_in("GlobalInvocationId") : !spv.ptr<vector<3xi32>, Input>
13}
14
15// -----
16
17spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
18  // CHECK:         spv.globalVariable @var1 : !spv.ptr<f32, Input>
19  // CHECK-NEXT:    spv.globalVariable @var2 initializer(@var1) bind(1, 0) : !spv.ptr<f32, Input>
20  spv.globalVariable @var1 : !spv.ptr<f32, Input>
21  spv.globalVariable @var2 initializer(@var1) bind(1, 0) : !spv.ptr<f32, Input>
22}
23
24// -----
25
26spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
27  spv.globalVariable @globalInvocationID built_in("GlobalInvocationId") : !spv.ptr<vector<3xi32>, Input>
28  spv.func @foo() "None" {
29    // CHECK: %[[ADDR:.*]] = spv.mlir.addressof @globalInvocationID : !spv.ptr<vector<3xi32>, Input>
30    %0 = spv.mlir.addressof @globalInvocationID : !spv.ptr<vector<3xi32>, Input>
31    %1 = spv.constant 0: i32
32    // CHECK: spv.AccessChain %[[ADDR]]
33    %2 = spv.AccessChain %0[%1] : !spv.ptr<vector<3xi32>, Input>, i32
34    spv.Return
35  }
36}
37