mlir/test/Dialect/SPIRV/Serialization/terminator.mlir

   1 // RUN: mlir-translate -test-spirv-roundtrip %s | FileCheck %s
   2
   3 spv.module Logical GLSL450 requires #spv.vce<v1.0, [Shader], []> {
   4   // CHECK-LABEL: @ret
   5   spv.func @ret() -> () "None" {
   6     // CHECK: spv.Return
   7     spv.Return
   8   }
   9
  10   // CHECK-LABEL: @ret_val
  11   spv.func @ret_val() -> (i32) "None" {
  12     %0 = spv.Variable : !spv.ptr<i32, Function>
  13     %1 = spv.Load "Function" %0 : i32
  14     // CHECK: spv.ReturnValue {{.*}} : i32
  15     spv.ReturnValue %1 : i32
  16   }
  17
  18   // CHECK-LABEL: @unreachable
  19   spv.func @unreachable() "None" {
  20     spv.Return
  21   // CHECK-NOT: ^bb
  22   ^bb1:
  23     // Unreachable blocks will be dropped during serialization.
  24     // CHECK-NOT: spv.Unreachable
  25     spv.Unreachable
  26   }
  27 }