aboutsummaryrefslogtreecommitdiff
path: root/mlir/test/IR/qualified-builtin.mlir
diff options
context:
space:
mode:
Diffstat (limited to 'mlir/test/IR/qualified-builtin.mlir')
-rw-r--r--mlir/test/IR/qualified-builtin.mlir11
1 files changed, 11 insertions, 0 deletions
diff --git a/mlir/test/IR/qualified-builtin.mlir b/mlir/test/IR/qualified-builtin.mlir
new file mode 100644
index 0000000..a2f9e63
--- /dev/null
+++ b/mlir/test/IR/qualified-builtin.mlir
@@ -0,0 +1,11 @@
+// RUN: mlir-opt %s | FileCheck %s
+
+// CHECK-LABEL: @test1
+// CHECK: -> tuple<>
+func.func private @test1() -> !builtin.tuple<>
+
+// CHECK-LABEL: @test2
+// CHECK: -> none
+func.func private @test2() -> !builtin.none
+
+