mlir/test/mlir-tblgen/expect-symbol.td

   1 // RUN: not mlir-tblgen -gen-rewriters -I %S/../../include %s 2>&1 | FileCheck %s
   2
   3 include "mlir/IR/OpBase.td"
   4
   5 def Test_Dialect : Dialect {
   6   let name = "test";
   7 }
   8
   9 def OpA : Op<Test_Dialect, "a"> {
  10   let arguments = (ins I32Attr:$attr);
  11 }
  12 def OpB : Op<Test_Dialect, "b"> {
  13   let arguments = (ins I32Attr:$attr);
  14 }
  15
  16 def : Pat<(OpA $attr), (OpB $attr),
  17           // CHECK: operands to additional constraints can only be symbol references
  18           [(Constraint<CPred<"$0->getValue() == $1">> $attr, 42)]>;