| Joel E. Denny | 6fc21c2 | 2018-07-20 20:09:56 +0000 | [diff] [blame] | 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 |
