llvm/test/FileCheck/check-dag-overlap-torture.txt

   1 ;---------------------------------------------------------------------
   2 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
   3 ; RUN:               -check-prefix=EndAfterEnd
   4 ; RUN: FileCheck -input-file %s %s -check-prefix=EndAfterEnd
   5
   6 new match end after old match end
   7
   8 __EndAfterEnd
   9 (abc<mno>xyz)
  10 (abc<mno>xyz)
  11 (abc<mno>xyz  >xyz)
  12 (abc<mno>xyz  no>xyz)
  13 (abc<mno>xyz  <mno>xyz)
  14 (abc<mno>xyz  c<mno>xyz)
  15 (abc<mno>xyz  abc<mno>xyz)
  16 __EndAfterEnd
  17
  18 ; EndAfterEnd:      __EndAfterEnd
  19
  20 ; EndAfterEnd:      {{^}}(
  21 ; EndAfterEnd-DAG:  <mno>
  22 ; EndAfterEnd-DAG:  yz
  23 ; EndAfterEnd-NOT:  {{.}}
  24 ; EndAfterEnd-SAME: ){{$}}
  25
  26 ; EndAfterEnd:      {{^}}(
  27 ; EndAfterEnd-DAG:  <mno>
  28 ; EndAfterEnd-DAG:  xyz
  29 ; EndAfterEnd-NOT:  {{.}}
  30 ; EndAfterEnd-SAME: ){{$}}
  31
  32 ; EndAfterEnd:      {{^}}(
  33 ; EndAfterEnd-DAG:  <mno>
  34 ; EndAfterEnd-DAG:  >xyz
  35 ; EndAfterEnd-NOT:  {{.}}
  36 ; EndAfterEnd-SAME: ){{$}}
  37
  38 ; EndAfterEnd:      {{^}}(
  39 ; EndAfterEnd-DAG:  <mno>
  40 ; EndAfterEnd-DAG:  no>xyz
  41 ; EndAfterEnd-NOT:  {{.}}
  42 ; EndAfterEnd-SAME: ){{$}}
  43
  44 ; EndAfterEnd:      {{^}}(
  45 ; EndAfterEnd-DAG:  <mno>
  46 ; EndAfterEnd-DAG:  <mno>xyz
  47 ; EndAfterEnd-NOT:  {{.}}
  48 ; EndAfterEnd-SAME: ){{$}}
  49
  50 ; EndAfterEnd:      {{^}}(
  51 ; EndAfterEnd-DAG:  <mno>
  52 ; EndAfterEnd-DAG:  c<mno>xyz
  53 ; EndAfterEnd-NOT:  {{.}}
  54 ; EndAfterEnd-SAME: ){{$}}
  55
  56 ; EndAfterEnd:      {{^}}(
  57 ; EndAfterEnd-DAG:  <mno>
  58 ; EndAfterEnd-DAG:  abc<mno>xyz
  59 ; EndAfterEnd-NOT:  {{.}}
  60 ; EndAfterEnd-SAME: ){{$}}
  61
  62 ; EndAfterEnd:      __EndAfterEnd
  63
  64 ;---------------------------------------------------------------------
  65 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
  66 ; RUN:               -check-prefix=EndRightAfterEnd
  67 ; RUN: FileCheck -input-file %s %s -check-prefix=EndRightAfterEnd
  68
  69 new match end right after old match end
  70
  71 __EndRightAfterEnd
  72 (abc<mno>xyz)
  73 (abc<mno>xyz  >x)
  74 (abc<mno>xyz  no>x)
  75 (abc<mno>xyz  <mno>x)
  76 (abc<mno>xyz  c<mno>x)
  77 (abc<mno>xyz  abc<mno>x)
  78 __EndRightAfterEnd
  79
  80 ; EndRightAfterEnd:      __EndRightAfterEnd
  81
  82 ; EndRightAfterEnd:      {{^}}(
  83 ; EndRightAfterEnd-DAG:  <mno>
  84 ; EndRightAfterEnd-DAG:  x
  85 ; EndRightAfterEnd-NOT:  {{.}}
  86 ; EndRightAfterEnd-SAME: yz){{$}}
  87
  88 ; EndRightAfterEnd:      {{^}}(
  89 ; EndRightAfterEnd-DAG:  <mno>
  90 ; EndRightAfterEnd-DAG:  >x
  91 ; EndRightAfterEnd-NOT:  {{.}}
  92 ; EndRightAfterEnd-SAME: ){{$}}
  93
  94 ; EndRightAfterEnd:      {{^}}(
  95 ; EndRightAfterEnd-DAG:  <mno>
  96 ; EndRightAfterEnd-DAG:  no>x
  97 ; EndRightAfterEnd-NOT:  {{.}}
  98 ; EndRightAfterEnd-SAME: ){{$}}
  99
 100 ; EndRightAfterEnd:      {{^}}(
 101 ; EndRightAfterEnd-DAG:  <mno>
 102 ; EndRightAfterEnd-DAG:  <mno>x
 103 ; EndRightAfterEnd-NOT:  {{.}}
 104 ; EndRightAfterEnd-SAME: ){{$}}
 105
 106 ; EndRightAfterEnd:      {{^}}(
 107 ; EndRightAfterEnd-DAG:  <mno>
 108 ; EndRightAfterEnd-DAG:  c<mno>x
 109 ; EndRightAfterEnd-NOT:  {{.}}
 110 ; EndRightAfterEnd-SAME: ){{$}}
 111
 112 ; EndRightAfterEnd:      {{^}}(
 113 ; EndRightAfterEnd-DAG:  <mno>
 114 ; EndRightAfterEnd-DAG:  abc<mno>x
 115 ; EndRightAfterEnd-NOT:  {{.}}
 116 ; EndRightAfterEnd-SAME: ){{$}}
 117
 118 ; EndRightAfterEnd:      __EndRightAfterEnd
 119
 120 ;---------------------------------------------------------------------
 121 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
 122 ; RUN:               -check-prefix=EndAtEnd
 123 ; RUN: FileCheck -input-file %s %s -check-prefix=EndAtEnd
 124
 125 new match end at old match end
 126
 127 __EndAtEnd
 128 (abc<mno>xyz  >)
 129 (abc<mno>xyz  no>)
 130 (abc<mno>xyz  <mno>)
 131 (abc<mno>xyz  c<mno>)
 132 (abc<mno>xyz  abc<mno>)
 133 __EndAtEnd
 134
 135 ; EndAtEnd:      __EndAtEnd
 136
 137 ; EndAtEnd:      {{^}}(
 138 ; EndAtEnd-DAG:  <mno>
 139 ; EndAtEnd-DAG:  >
 140 ; EndAtEnd-NOT:  {{.}}
 141 ; EndAtEnd-SAME: ){{$}}
 142
 143 ; EndAtEnd:      {{^}}(
 144 ; EndAtEnd-DAG:  <mno>
 145 ; EndAtEnd-DAG:  no>
 146 ; EndAtEnd-NOT:  {{.}}
 147 ; EndAtEnd-SAME: ){{$}}
 148
 149 ; EndAtEnd:      {{^}}(
 150 ; EndAtEnd-DAG:  <mno>
 151 ; EndAtEnd-DAG:  <mno>
 152 ; EndAtEnd-NOT:  {{.}}
 153 ; EndAtEnd-SAME: ){{$}}
 154
 155 ; EndAtEnd:      {{^}}(
 156 ; EndAtEnd-DAG:  <mno>
 157 ; EndAtEnd-DAG:  c<mno>
 158 ; EndAtEnd-NOT:  {{.}}
 159 ; EndAtEnd-SAME: ){{$}}
 160
 161 ; EndAtEnd:      {{^}}(
 162 ; EndAtEnd-DAG:  <mno>
 163 ; EndAtEnd-DAG:  abc<mno>
 164 ; EndAtEnd-NOT:  {{.}}
 165 ; EndAtEnd-SAME: ){{$}}
 166
 167 ; EndAtEnd:      __EndAtEnd
 168
 169 ;---------------------------------------------------------------------
 170 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
 171 ; RUN:               -check-prefix=EndWithin
 172 ; RUN: FileCheck -input-file %s %s -check-prefix=EndWithin
 173
 174 new match end within old match
 175
 176 __EndWithin
 177 (abc<mno>xyz  m)
 178 (abc<mno>xyz  <m)
 179 (abc<mno>xyz  c<m)
 180 (abc<mno>xyz  abc<m)
 181 __EndWithin
 182
 183 ; EndWithin:      __EndWithin
 184
 185 ; EndWithin:      {{^}}(
 186 ; EndWithin-DAG:  <mno>
 187 ; EndWithin-DAG:  m
 188 ; EndWithin-NOT:  {{.}}
 189 ; EndWithin-SAME: ){{$}}
 190
 191 ; EndWithin:      {{^}}(
 192 ; EndWithin-DAG:  <mno>
 193 ; EndWithin-DAG:  <m
 194 ; EndWithin-NOT:  {{.}}
 195 ; EndWithin-SAME: ){{$}}
 196
 197 ; EndWithin:      {{^}}(
 198 ; EndWithin-DAG:  <mno>
 199 ; EndWithin-DAG:  c<m
 200 ; EndWithin-NOT:  {{.}}
 201 ; EndWithin-SAME: ){{$}}
 202
 203 ; EndWithin:      {{^}}(
 204 ; EndWithin-DAG:  <mno>
 205 ; EndWithin-DAG:  abc<m
 206 ; EndWithin-NOT:  {{.}}
 207 ; EndWithin-SAME: ){{$}}
 208
 209 ; EndWithin:      __EndWithin
 210
 211 ;---------------------------------------------------------------------
 212 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
 213 ; RUN:               -check-prefix=EndRightAfterStart
 214 ; RUN: FileCheck -input-file %s %s -check-prefix=EndRightAfterStart
 215
 216 new match end right after old match start
 217
 218 __EndRightAfterStart
 219 (abc<mno>xyz  <)
 220 (abc<mno>xyz  c<)
 221 (abc<mno>xyz  abc<)
 222 __EndRightAfterStart
 223
 224 ; EndRightAfterStart:      __EndRightAfterStart
 225
 226 ; EndRightAfterStart:      {{^}}(
 227 ; EndRightAfterStart-DAG:  <mno>
 228 ; EndRightAfterStart-DAG:  <
 229 ; EndRightAfterStart-NOT:  {{.}}
 230 ; EndRightAfterStart-SAME: ){{$}}
 231
 232 ; EndRightAfterStart:      {{^}}(
 233 ; EndRightAfterStart-DAG:  <mno>
 234 ; EndRightAfterStart-DAG:  c<
 235 ; EndRightAfterStart-NOT:  {{.}}
 236 ; EndRightAfterStart-SAME: ){{$}}
 237
 238 ; EndRightAfterStart:      {{^}}(
 239 ; EndRightAfterStart-DAG:  <mno>
 240 ; EndRightAfterStart-DAG:  abc<
 241 ; EndRightAfterStart-NOT:  {{.}}
 242 ; EndRightAfterStart-SAME: ){{$}}
 243
 244 ; EndRightAfterStart:      __EndRightAfterStart
 245
 246 ;---------------------------------------------------------------------
 247 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
 248 ; RUN:           -check-prefix=EndAtStart
 249 ; RUN: FileCheck -input-file %s %s -check-prefix=EndAtStart
 250
 251 new match end at old match start
 252
 253 __EndAtStart
 254 (abc<mno>xyz)
 255 (abc<mno>xyz)
 256 __EndAtStart
 257
 258 ; EndAtStart:      __EndAtStart
 259
 260 ; EndAtStart:      {{^}}(
 261 ; EndAtStart-DAG:  <mno>
 262 ; EndAtStart-DAG:  c
 263 ; EndAtStart-DAG:  xyz
 264 ; EndAtStart-NOT:  {{.}}
 265 ; EndAtStart-SAME: ){{$}}
 266
 267 ; EndAtStart:      {{^}}(
 268 ; EndAtStart-DAG:  <mno>
 269 ; EndAtStart-DAG:  abc
 270 ; EndAtStart-DAG:  xyz
 271 ; EndAtStart-NOT:  {{.}}
 272 ; EndAtStart-SAME: ){{$}}
 273
 274 ; EndAtStart:      __EndAtStart
 275
 276 ;---------------------------------------------------------------------
 277 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \
 278 ; RUN:           -check-prefix=EndBeforeStart
 279 ; RUN: FileCheck -input-file %s %s -check-prefix=EndBeforeStart
 280
 281 new match end before old match start
 282
 283 __EndBeforeStart
 284 (abc<mno>xyz)
 285 (abc<mno>xyz)
 286 __EndBeforeStart
 287
 288 ; EndBeforeStart:      __EndBeforeStart
 289
 290 ; EndBeforeStart:      {{^}}(
 291 ; EndBeforeStart-DAG:  <mno>
 292 ; EndBeforeStart-DAG:  b
 293 ; EndBeforeStart-DAG:  xyz
 294 ; EndBeforeStart-NOT:  {{.}}
 295 ; EndBeforeStart-SAME: ){{$}}
 296
 297 ; EndBeforeStart:      {{^}}(
 298 ; EndBeforeStart-DAG:  <mno>
 299 ; EndBeforeStart-DAG:  ab
 300 ; EndBeforeStart-DAG:  xyz
 301 ; EndBeforeStart-NOT:  {{.}}
 302 ; EndBeforeStart-SAME: ){{$}}
 303
 304 ; EndBeforeStart:      __EndBeforeStart