1 files changed, 18 insertions, 0 deletions
diff --git a/mlir/test/mlir-tblgen/expect-symbol.td b/mlir/test/mlir-tblgen/expect-symbol.td
new file mode 100644
index 00000000000..657c9f8ce02
--- /dev/null
+++ b/mlir/test/mlir-tblgen/expect-symbol.td
@@ -0,0 +1,18 @@
+// RUN: (mlir-tblgen -gen-rewriters -I %S/../../include %s 2>&1 || true) | FileCheck %s
+
+include "mlir/IR/OpBase.td"
+
+def Test_Dialect : Dialect {
+  let name = "test";
+}
+
+def OpA : Op<Test_Dialect, "a"> {
+  let arguments = (ins I32Attr:$attr);
+}
+def OpB : Op<Test_Dialect, "b"> {
+  let arguments = (ins I32Attr:$attr);
+}
+
+def : Pat<(OpA $attr), (OpB $attr),
+          // CHECK: operands to additional constraints can only be symbol references
+          [(Constraint<CPred<"$0->getValue() == $1">> $attr, 42)]>;