mlir/test/IR/print-empty-attr-or-type.mlir

   1 // RUN: mlir-opt %s | mlir-opt | FileCheck %s
   2
   3 func.func @test(%arg0 : !test.optional_value_type, %arg1 : !test.optional_value_type<3>) {
   4   // CHECK: test.format_maybe_empty_type %{{.*}} : !test.optional_value_type
   5   test.format_maybe_empty_type %arg0 : !test.optional_value_type
   6   // CHECK: test.format_maybe_empty_type %{{.*}} : <3>
   7   test.format_maybe_empty_type %arg1 : !test.optional_value_type<3>
   8   return
   9 }