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