mlir/test/mlir-pdll/Parser/rewrite-failure.pdll

   1 // RUN: not mlir-pdll %s -split-input-file 2>&1 | FileCheck %s
   2
   3 //===----------------------------------------------------------------------===//
   4 // Rewrite Structure
   5 //===----------------------------------------------------------------------===//
   6
   7 // CHECK: expected identifier name
   8 Rewrite {}
   9
  10 // -----
  11
  12 // CHECK: :6:9: error: `Foo` has already been defined
  13 // CHECK: :5:9: note: see previous definition here
  14 Rewrite Foo();
  15 Rewrite Foo();
  16
  17 // -----
  18
  19 Rewrite Foo() -> Value {
  20   // CHECK: `return` terminated the `Rewrite` body, but found trailing statements afterwards
  21   return _: Value;
  22   return _: Value;
  23 }
  24
  25 // -----
  26
  27 // CHECK: missing return in a `Rewrite` expected to return `Value`
  28 Rewrite Foo() -> Value {
  29   let value: Value;
  30 }
  31
  32 // -----
  33
  34 // CHECK: missing return in a `Rewrite` expected to return `Value`
  35 Rewrite Foo() -> Value => erase op<my_dialect.foo>;
  36
  37 // -----
  38
  39 // CHECK: unable to convert expression of type `Op<my_dialect.foo>` to the expected type of `Attr`
  40 Rewrite Foo() -> Attr => op<my_dialect.foo>;
  41
  42 // -----
  43
  44 // CHECK: expected `Rewrite` lambda body to contain a single expression or an operation rewrite statement; such as `erase`, `replace`, or `rewrite`
  45 Rewrite Foo() => let foo = op<my_dialect.foo>;
  46
  47 // -----
  48
  49 Constraint ValueConstraint(value: Value);
  50
  51 // CHECK: unable to invoke `Constraint` within a rewrite section
  52 Rewrite Foo(value: Value) {
  53   ValueConstraint(value);
  54 }
  55
  56 // -----
  57
  58 Rewrite Bar();
  59
  60 // CHECK: `Bar` has already been defined
  61 Rewrite Foo() {
  62   Rewrite Bar() {};
  63 }
  64
  65 // -----
  66
  67 //===----------------------------------------------------------------------===//
  68 // Arguments
  69 //===----------------------------------------------------------------------===//
  70
  71 // CHECK: expected `(` to start argument list
  72 Rewrite Foo {}
  73
  74 // -----
  75
  76 // CHECK: expected identifier argument name
  77 Rewrite Foo(10{}
  78
  79 // -----
  80
  81 // CHECK: expected `:` before argument constraint
  82 Rewrite Foo(arg{}
  83
  84 // -----
  85
  86 // CHECK: inline `Attr`, `Value`, and `ValueRange` type constraints are not permitted on arguments or results
  87 Rewrite Foo(arg: Value<type>){}
  88
  89 // -----
  90
  91 // CHECK: expected `)` to end argument list
  92 Rewrite Foo(arg: Value{}
  93
  94 // -----
  95
  96 //===----------------------------------------------------------------------===//
  97 // Results
  98 //===----------------------------------------------------------------------===//
  99
 100 // CHECK: expected identifier constraint
 101 Rewrite Foo() -> {}
 102
 103 // -----
 104
 105 // CHECK: cannot create a single-element tuple with an element label
 106 Rewrite Foo() -> result: Value;
 107
 108 // -----
 109
 110 // CHECK: cannot create a single-element tuple with an element label
 111 Rewrite Foo() -> (result: Value);
 112
 113 // -----
 114
 115 // CHECK: expected identifier constraint
 116 Rewrite Foo() -> ();
 117
 118 // -----
 119
 120 // CHECK: expected `:` before result constraint
 121 Rewrite Foo() -> (result{};
 122
 123 // -----
 124
 125 // CHECK: expected `)` to end result list
 126 Rewrite Foo() -> (Op{};
 127
 128 // -----
 129
 130 // CHECK: inline `Attr`, `Value`, and `ValueRange` type constraints are not permitted on arguments or results
 131 Rewrite Foo() -> Value<type>){}
 132
 133 // -----
 134
 135 //===----------------------------------------------------------------------===//
 136 // Native Rewrites
 137 //===----------------------------------------------------------------------===//
 138
 139 Pattern {
 140   // CHECK: external declarations must be declared in global scope
 141   Rewrite ExternalConstraint();
 142 }
 143
 144 // -----
 145
 146 // CHECK: expected `;` after native declaration
 147 Rewrite Foo() [{}]