1*41f3b83fSChristian Ulmann// RUN: mlir-opt -convert-spirv-to-llvm %s | FileCheck %s 2b5c24c24SGeorge Mitenkov 3b5c24c24SGeorge Mitenkov//===----------------------------------------------------------------------===// 45ab6ef75SJakub Kuderski// spirv.module 5b5c24c24SGeorge Mitenkov//===----------------------------------------------------------------------===// 6b5c24c24SGeorge Mitenkov 7b5c24c24SGeorge Mitenkov// CHECK: module 85ab6ef75SJakub Kuderskispirv.module Logical GLSL450 {} 9b5c24c24SGeorge Mitenkov 1089eed79cSGeorge Mitenkov// CHECK: module @foo 115ab6ef75SJakub Kuderskispirv.module @foo Logical GLSL450 {} 1289eed79cSGeorge Mitenkov 13b5c24c24SGeorge Mitenkov// CHECK: module 14ce82530cSJakub Kuderskispirv.module Logical GLSL450 requires #spirv.vce<v1.0, [Shader], [SPV_KHR_16bit_storage]> {} 15b5c24c24SGeorge Mitenkov 16b5c24c24SGeorge Mitenkov// CHECK: module 175ab6ef75SJakub Kuderskispirv.module Logical GLSL450 { 18b5c24c24SGeorge Mitenkov // CHECK-LABEL: llvm.func @empty() 195ab6ef75SJakub Kuderski spirv.func @empty() -> () "None" { 20b5c24c24SGeorge Mitenkov // CHECK: llvm.return 215ab6ef75SJakub Kuderski spirv.Return 22b5c24c24SGeorge Mitenkov } 23b5c24c24SGeorge Mitenkov} 24