test/FileCheck/check-dag-not-dag.txt

   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