Home | History | Annotate | Download | only in FileCheck
      1 ;---------------------------------------------------------------------
      2 ; RUN: FileCheck -input-file %s %s -check-prefix=NotSearchEnd
      3 
      4 The search range for the NOTs used to end at the start of the match range for
      5 the first DAG in the following DAG group.  Now it ends at the start of the
      6 match range for the entire following DAG group.
      7 
      8 __NotSearchEnd
      9 x0
     10 x1
     11 
     12 y1
     13 foobar
     14 y0
     15 
     16 z2
     17 foobar
     18 z1
     19 foobar
     20 z0
     21 __NotSearchEnd
     22 
     23 ; NotSearchEnd:     {{^}}__NotSearchEnd
     24 ; NotSearchEnd-DAG: {{^}}x0
     25 ; NotSearchEnd-DAG: {{^}}x1
     26 ; NotSearchEnd-NOT: {{^}}foobar
     27 ; NotSearchEnd-DAG: {{^}}y0
     28 ; NotSearchEnd-DAG: {{^}}y1
     29 ; NotSearchEnd-NOT: {{^}}foobar
     30 ; NotSearchEnd-DAG: {{^}}z0
     31 ; NotSearchEnd-DAG: {{^}}z1
     32 ; NotSearchEnd-DAG: {{^}}z2
     33 ; NotSearchEnd:     {{^}}__NotSearchEnd
     34 
     35 ;---------------------------------------------------------------------
     36 ; RUN: FileCheck -input-file %s %s -check-prefix=Dag2SearchStart
     37 
     38 The start of the search range for the second or later DAG group used to be
     39 different for its first DAG than its other DAGs.  For the first DAG, it was
     40 the start of the permitted range for the preceding DAG group, and there was a
     41 reordering complaint if the match range was in the first DAG group's match
     42 range.  For the other DAGs, it was the end of the match range for the
     43 preceding DAG group, so reordering detection wasn't possible.  Now, the
     44 first DAG behaves like the others, and so reordering detection is no longer
     45 implemented.  As a result, matches that used to produce the reordering
     46 complaint are now skipped, permitting later matches to succeed.
     47 
     48 __Dag2SearchStart
     49 y0
     50 y1
     51 x0
     52 y0
     53 y1
     54 x1
     55 
     56 z1
     57 z0
     58 y1
     59 z1
     60 z0
     61 y0
     62 
     63 z0
     64 z1
     65 __Dag2SearchStart
     66 
     67 ; Dag2SearchStart:     {{^}}__Dag2SearchStart
     68 ; Dag2SearchStart-DAG: {{^}}x0
     69 ; Dag2SearchStart-DAG: {{^}}x1
     70 ; Dag2SearchStart-NOT: {{^}}foobar
     71 ; Dag2SearchStart-DAG: {{^}}y0
     72 ; Dag2SearchStart-DAG: {{^}}y1
     73 ; Dag2SearchStart-NOT: {{^}}foobar
     74 ; Dag2SearchStart-DAG: {{^}}z0
     75 ; Dag2SearchStart-DAG: {{^}}z1
     76 ; Dag2SearchStart:     {{^}}__Dag2SearchStart