69 lines · plain
1// RUN: mlir-translate -no-implicit-module -test-spirv-roundtrip -split-input-file %s | FileCheck %s2 3// RUN: %if spirv-tools %{ rm -rf %t %}4// RUN: %if spirv-tools %{ mkdir %t %}5// RUN: %if spirv-tools %{ mlir-translate --no-implicit-module --serialize-spirv --split-input-file --spirv-save-validation-files-with-prefix=%t/module %s %}6// RUN: %if spirv-tools %{ spirv-val %t %}7 8// CHECK: spirv.GlobalVariable @var0 bind(1, 0) : !spirv.ptr<f32, Input>9// CHECK-NEXT: spirv.GlobalVariable @var1 bind(0, 1) : !spirv.ptr<f32, Output>10// CHECK-NEXT: spirv.GlobalVariable @var2 built_in("GlobalInvocationId") : !spirv.ptr<vector<3xi32>, Input>11// CHECK-NEXT: spirv.GlobalVariable @var3 built_in("GlobalInvocationId") : !spirv.ptr<vector<3xi32>, Input>12 13spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage], []> {14 spirv.GlobalVariable @var0 bind(1, 0) : !spirv.ptr<f32, Input>15 spirv.GlobalVariable @var1 bind(0, 1) : !spirv.ptr<f32, Output>16 spirv.GlobalVariable @var2 {built_in = "GlobalInvocationId"} : !spirv.ptr<vector<3xi32>, Input>17 spirv.GlobalVariable @var3 built_in("GlobalInvocationId") : !spirv.ptr<vector<3xi32>, Input>18}19 20// -----21 22spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage, Int8], []> {23 // CHECK: spirv.SpecConstant @sc = 1 : i824 // CHECK-NEXT: spirv.GlobalVariable @var initializer(@sc) : !spirv.ptr<i8, Uniform>25 spirv.SpecConstant @sc = 1 : i826 27 spirv.GlobalVariable @var initializer(@sc) : !spirv.ptr<i8, Uniform>28}29 30// -----31 32spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage, Int8], []> {33 // CHECK: spirv.SpecConstantComposite @scc (@sc0, @sc1, @sc2) : !spirv.array<3 x i8>34 // CHECK-NEXT: spirv.GlobalVariable @var initializer(@scc) : !spirv.ptr<!spirv.array<3 x i8>, Uniform>35 spirv.SpecConstant @sc0 = 1 : i836 spirv.SpecConstant @sc1 = 2 : i837 spirv.SpecConstant @sc2 = 3 : i838 39 spirv.SpecConstantComposite @scc (@sc0, @sc1, @sc2) : !spirv.array<3 x i8>40 41 spirv.GlobalVariable @var initializer(@scc) : !spirv.ptr<!spirv.array<3 x i8>, Uniform>42}43 44// -----45 46spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage], []> {47 spirv.GlobalVariable @globalInvocationID built_in("GlobalInvocationId") : !spirv.ptr<vector<3xi32>, Input>48 spirv.func @foo() "None" {49 // CHECK: %[[ADDR:.*]] = spirv.mlir.addressof @globalInvocationID : !spirv.ptr<vector<3xi32>, Input>50 %0 = spirv.mlir.addressof @globalInvocationID : !spirv.ptr<vector<3xi32>, Input>51 %1 = spirv.Constant 0: i3252 // CHECK: spirv.AccessChain %[[ADDR]]53 %2 = spirv.AccessChain %0[%1] : !spirv.ptr<vector<3xi32>, Input>, i32 -> !spirv.ptr<i32, Input>54 spirv.Return55 }56}57 58// -----59 60spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage], []> {61 // CHECK: linkage_attributes = #spirv.linkage_attributes<linkage_name = "outSideGlobalVar1", linkage_type = <Import>>62 spirv.GlobalVariable @var1 {63 linkage_attributes=#spirv.linkage_attributes<64 linkage_name="outSideGlobalVar1", 65 linkage_type=<Import>66 >67 } : !spirv.ptr<f32, Private>68}69