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