mlir/test/Target/SPIRV/module.mlir

   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
   9 spirv.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
  18 spirv.module Logical GLSL450 requires #spirv.vce<v1.5, [Shader], []> {
  19 }
  20
  21 // -----
  22
  23 // CHECK: [Shader, Float16]
  24 spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Float16], []> {
  25 }
  26
  27 // -----
  28
  29 // CHECK: [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]
  30 spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]> {
  31 }
  32