1// RUN: mlir-translate -test-spirv-roundtrip -split-input-file %s | FileCheck %s
2
3// CHECK:      spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
4// CHECK-NEXT:   spv.func @foo() "Inline" {
5// CHECK-NEXT:     spv.Return
6// CHECK-NEXT:   }
7// CHECK-NEXT: }
8
9spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
10  spv.func @foo() -> () "Inline" {
11     spv.Return
12  }
13}
14
15// -----
16
17// CHECK: v1.5
18spv.module Logical GLSL450 requires #spv.vce<v1.5, [Shader], []> {
19}
20
21// -----
22
23// CHECK: [Shader, Float16]
24spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader, Float16], []> {
25}
26
27// -----
28
29// CHECK: [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]
30spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]> {
31}
32
33