mlir/test/IR/test-op-property-predicates.mlir

   1 // RUN: mlir-opt -split-input-file -verify-diagnostics %s
   2
   3 test.op_with_property_predicates <{
   4   scalar = 1 : i64,
   5   optional = [2 : i64],
   6   defaulted = 3 : i64,
   7   more_constrained = 4 : i64,
   8   array = [],
   9   non_empty_unconstrained = [5: i64],
  10   non_empty_constrained = [6 : i64],
  11   non_empty_optional = [[7 : i64]],
  12   unconstrained = 8 : i64}>
  13
  14 // -----
  15
  16 test.op_with_property_predicates <{
  17   scalar = 1 : i64,
  18   more_constrained = 4 : i64,
  19   array = [],
  20   non_empty_unconstrained = [5: i64],
  21   non_empty_constrained = [6 : i64],
  22   unconstrained = 8 : i64}>
  23
  24 // -----
  25
  26 // expected-error @+1 {{'test.op_with_property_predicates' op property 'scalar' failed to satisfy constraint: non-negative int64_t}}
  27 test.op_with_property_predicates <{
  28   scalar = -1 : i64,
  29   optional = [2 : i64],
  30   defaulted = 3 : i64,
  31   more_constrained = 4 : i64,
  32   array = [],
  33   non_empty_unconstrained = [5: i64],
  34   non_empty_constrained = [6 : i64],
  35   non_empty_optional = [[7 : i64]],
  36   unconstrained = 8 : i64}>
  37
  38 // -----
  39
  40 // expected-error @+1 {{'test.op_with_property_predicates' op property 'optional' failed to satisfy constraint: optional non-negative int64_t}}
  41 test.op_with_property_predicates <{
  42   scalar = 1 : i64,
  43   optional = [-1 : i64],
  44   defaulted = 3 : i64,
  45   more_constrained = 4 : i64,
  46   array = [],
  47   non_empty_unconstrained = [5: i64],
  48   non_empty_constrained = [6 : i64],
  49   non_empty_optional = [[7 : i64]],
  50   unconstrained = 8 : i64}>
  51
  52 // -----
  53
  54 // expected-error @+1 {{'test.op_with_property_predicates' op property 'defaulted' failed to satisfy constraint: non-negative int64_t}}
  55 test.op_with_property_predicates <{
  56   scalar = 1 : i64,
  57   optional = [2 : i64],
  58   defaulted = -1 : i64,
  59   more_constrained = 4 : i64,
  60   array = [],
  61   non_empty_unconstrained = [5: i64],
  62   non_empty_constrained = [6 : i64],
  63   non_empty_optional = [[7 : i64]],
  64   unconstrained = 8 : i64}>
  65
  66 // -----
  67
  68 // expected-error @+1 {{'test.op_with_property_predicates' op property 'more_constrained' failed to satisfy constraint: between 0 and 5}}
  69 test.op_with_property_predicates <{
  70   scalar = 1 : i64,
  71   optional = [2 : i64],
  72   defaulted = 3 : i64,
  73   more_constrained = 100 : i64,
  74   array = [],
  75   non_empty_unconstrained = [5: i64],
  76   non_empty_constrained = [6 : i64],
  77   non_empty_optional = [[7 : i64]],
  78   unconstrained = 8 : i64}>
  79
  80 // -----
  81
  82 // expected-error @+1 {{'test.op_with_property_predicates' op property 'array' failed to satisfy constraint: array of non-negative int64_t}}
  83 test.op_with_property_predicates <{
  84   scalar = 1 : i64,
  85   optional = [2 : i64],
  86   defaulted = 3 : i64,
  87   more_constrained = 4 : i64,
  88   array = [-1 : i64],
  89   non_empty_unconstrained = [5: i64],
  90   non_empty_constrained = [6 : i64],
  91   non_empty_optional = [[7 : i64]],
  92   unconstrained = 8 : i64}>
  93
  94 // -----
  95
  96 // expected-error @+1 {{'test.op_with_property_predicates' op property 'non_empty_unconstrained' failed to satisfy constraint: non-empty array of int64_t}}
  97 test.op_with_property_predicates <{
  98   scalar = 1 : i64,
  99   optional = [2 : i64],
 100   defaulted = 3 : i64,
 101   more_constrained = 4 : i64,
 102   array = [],
 103   non_empty_unconstrained = [],
 104   non_empty_constrained = [6 : i64],
 105   non_empty_optional = [[7 : i64]],
 106   unconstrained = 8 : i64}>
 107
 108 // -----
 109
 110 // expected-error @+1 {{'test.op_with_property_predicates' op property 'non_empty_constrained' failed to satisfy constraint: non-empty array of non-negative int64_t}}
 111 test.op_with_property_predicates <{
 112   scalar = 1 : i64,
 113   optional = [2 : i64],
 114   defaulted = 3 : i64,
 115   more_constrained = 4 : i64,
 116   array = [],
 117   non_empty_unconstrained = [5: i64],
 118   non_empty_constrained = [],
 119   non_empty_optional = [[7 : i64]],
 120   unconstrained = 8 : i64}>
 121
 122 // -----
 123
 124 // expected-error @+1 {{'test.op_with_property_predicates' op property 'non_empty_constrained' failed to satisfy constraint: non-empty array of non-negative int64_t}}
 125 test.op_with_property_predicates <{
 126   scalar = 1 : i64,
 127   optional = [2 : i64],
 128   defaulted = 3 : i64,
 129   more_constrained = 4 : i64,
 130   array = [],
 131   non_empty_unconstrained = [5: i64],
 132   non_empty_constrained = [-1 : i64],
 133   non_empty_optional = [[7 : i64]],
 134   unconstrained = 8 : i64}>
 135
 136 // -----
 137
 138 // expected-error @+1 {{'test.op_with_property_predicates' op property 'non_empty_optional' failed to satisfy constraint: optional non-empty array of non-negative int64_t}}
 139 test.op_with_property_predicates <{
 140   scalar = 1 : i64,
 141   optional = [2 : i64],
 142   defaulted = 3 : i64,
 143   more_constrained = 4 : i64,
 144   array = [],
 145   non_empty_unconstrained = [5: i64],
 146   non_empty_constrained = [6 : i64],
 147   non_empty_optional = [[]],
 148   unconstrained = 8 : i64}>