check-dag-not-dag.txt 1.93 KB
;---------------------------------------------------------------------
; RUN: FileCheck -input-file %s %s -check-prefix=NotSearchEnd

The search range for the NOTs used to end at the start of the match range for
the first DAG in the following DAG group.  Now it ends at the start of the
match range for the entire following DAG group.

__NotSearchEnd
x0
x1

y1
foobar
y0

z2
foobar
z1
foobar
z0
__NotSearchEnd

; NotSearchEnd:     {{^}}__NotSearchEnd
; NotSearchEnd-DAG: {{^}}x0
; NotSearchEnd-DAG: {{^}}x1
; NotSearchEnd-NOT: {{^}}foobar
; NotSearchEnd-DAG: {{^}}y0
; NotSearchEnd-DAG: {{^}}y1
; NotSearchEnd-NOT: {{^}}foobar
; NotSearchEnd-DAG: {{^}}z0
; NotSearchEnd-DAG: {{^}}z1
; NotSearchEnd-DAG: {{^}}z2
; NotSearchEnd:     {{^}}__NotSearchEnd

;---------------------------------------------------------------------
; RUN: FileCheck -input-file %s %s -check-prefix=Dag2SearchStart

The start of the search range for the second or later DAG group used to be
different for its first DAG than its other DAGs.  For the first DAG, it was
the start of the permitted range for the preceding DAG group, and there was a
reordering complaint if the match range was in the first DAG group's match
range.  For the other DAGs, it was the end of the match range for the
preceding DAG group, so reordering detection wasn't possible.  Now, the
first DAG behaves like the others, and so reordering detection is no longer
implemented.  As a result, matches that used to produce the reordering
complaint are now skipped, permitting later matches to succeed.

__Dag2SearchStart
y0
y1
x0
y0
y1
x1

z1
z0
y1
z1
z0
y0

z0
z1
__Dag2SearchStart

; Dag2SearchStart:     {{^}}__Dag2SearchStart
; Dag2SearchStart-DAG: {{^}}x0
; Dag2SearchStart-DAG: {{^}}x1
; Dag2SearchStart-NOT: {{^}}foobar
; Dag2SearchStart-DAG: {{^}}y0
; Dag2SearchStart-DAG: {{^}}y1
; Dag2SearchStart-NOT: {{^}}foobar
; Dag2SearchStart-DAG: {{^}}z0
; Dag2SearchStart-DAG: {{^}}z1
; Dag2SearchStart:     {{^}}__Dag2SearchStart