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