• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1;---------------------------------------------------------------------
2; RUN: FileCheck -input-file %s %s -check-prefix=NotSearchEnd
3
4The search range for the NOTs used to end at the start of the match range for
5the first DAG in the following DAG group.  Now it ends at the start of the
6match range for the entire following DAG group.
7
8__NotSearchEnd
9x0
10x1
11
12y1
13foobar
14y0
15
16z2
17foobar
18z1
19foobar
20z0
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
38The start of the search range for the second or later DAG group used to be
39different for its first DAG than its other DAGs.  For the first DAG, it was
40the start of the permitted range for the preceding DAG group, and there was a
41reordering complaint if the match range was in the first DAG group's match
42range.  For the other DAGs, it was the end of the match range for the
43preceding DAG group, so reordering detection wasn't possible.  Now, the
44first DAG behaves like the others, and so reordering detection is no longer
45implemented.  As a result, matches that used to produce the reordering
46complaint are now skipped, permitting later matches to succeed.
47
48__Dag2SearchStart
49y0
50y1
51x0
52y0
53y1
54x1
55
56z1
57z0
58y1
59z1
60z0
61y0
62
63z0
64z1
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