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