46 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.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], []> {9// CHECK-NEXT: spirv.func @foo() "Inline" {10// CHECK-NEXT: spirv.Return11// CHECK-NEXT: }12// CHECK-NEXT: spirv.EntryPoint "Vertex" @foo13// CHECK-NEXT: }14 15spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], []> {16 spirv.func @foo() -> () "Inline" {17 spirv.Return18 }19 spirv.EntryPoint "Vertex" @foo20}21 22// -----23 24// CHECK: v1.525spirv.module Logical GLSL450 requires #spirv.vce<v1.5, [Shader, Linkage], []> {26}27 28// -----29 30// CHECK: v1.631spirv.module Logical GLSL450 requires #spirv.vce<v1.6, [Shader, Linkage], []> {32}33 34// -----35 36// CHECK: [Shader, Float16, Linkage]37spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Float16, Linkage], []> {38}39 40// -----41 42// CHECK: [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]43spirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader, Linkage], [SPV_KHR_float_controls, SPV_KHR_subgroup_vote]> {44}45 46