Home | History | Annotate | Download | only in FileCheck 
      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
    305