1 ;--------------------------------------------------------------------- 2 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 3 ; RUN: -check-prefix=IdentPat 4 ; RUN: FileCheck -input-file %s %s -check-prefix=IdentPat 5 6 __IdentPat 7 add r10, r1, r2 8 add r11, r3, r4 9 mul r5, r10, r11 10 __IdentPat 11 12 ; IdentPat: {{^}}__IdentPat 13 ; IdentPat-DAG: {{^}}add [[REG1:r[0-9]+]], {{r[0-9]+}}, {{r[0-9]+}} 14 ; IdentPat-DAG: {{^}}add [[REG2:r[0-9]+]], {{r[0-9]+}}, {{r[0-9]+}} 15 ; IdentPat: {{^}}mul r5, [[REG1]], [[REG2]] 16 ; IdentPat: {{^}}__IdentPat 17 18 ;--------------------------------------------------------------------- 19 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 20 ; RUN: -check-prefix=IdentPatNot 21 ; RUN: FileCheck -input-file %s %s -check-prefix=IdentPatNot 22 23 __IdentPatNot 24 add r11, r1, r2 25 xor r12, r1, r2 26 add r10, r3, r4 27 mul r5, r10, r11 28 __IdentPatNot 29 30 ; IdentPatNot: {{^}}__IdentPatNot 31 ; IdentPatNot-DAG: {{^}}add {{r[0-9]+}}, {{r[0-9]+}}, {{r[0-9]+}} 32 ; IdentPatNot-DAG: {{^}}add {{r[0-9]+}}, {{r[0-9]+}}, {{r[0-9]+}} 33 ; IdentPatNot-NOT: {{^}}xor 34 ; IdentPatNot-DAG: {{^}}mul r5, r10, r11 35 ; IdentPatNot: {{^}}__IdentPatNot 36 37 ;--------------------------------------------------------------------- 38 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 39 ; RUN: -check-prefix=IdentPatVarDiff 40 ; RUN: FileCheck -input-file %s %s -check-prefix=IdentPatVarDiff 41 42 __IdentPatVarDiff 43 call void @foo(), !dbg !0 44 call void @bar(), !dbg !1 45 !1 = !DILocation(line: 1, 46 !0 = !DILocation(line: 1, 47 __IdentPatVarDiff 48 49 ; IdentPatVarDiff: {{^}}__IdentPatVarDiff 50 ; IdentPatVarDiff: {{^}}call void @foo(), !dbg [[DBG0:![0-9]+]] 51 ; IdentPatVarDiff: {{^}}call void @bar(), !dbg [[DBG1:![0-9]+]] 52 ; IdentPatVarDiff-DAG: {{^}}[[DBG0]] = !DILocation(line: 1, 53 ; IdentPatVarDiff-DAG: {{^}}[[DBG1]] = !DILocation(line: 1, 54 ; IdentPatVarDiff: {{^}}__IdentPatVarDiff 55 56 ;--------------------------------------------------------------------- 57 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 58 ; RUN: -check-prefix=IdentPatVarSame 59 ; RUN: not FileCheck -input-file %s %s -check-prefix=IdentPatVarSame 60 61 __IdentPatVarSame 62 call void @foo(), !dbg !0 63 call void @bar(), !dbg !0 64 !1 = !DILocation(line: 1, 65 !0 = !DILocation(line: 1, 66 __IdentPatVarSame 67 68 ; IdentPatVarSame: {{^}}__IdentPatVarSame 69 ; IdentPatVarSame: {{^}}call void @foo(), !dbg [[DBG0:![0-9]+]] 70 ; IdentPatVarSame: {{^}}call void @bar(), !dbg [[DBG1:![0-9]+]] 71 ; IdentPatVarSame-DAG: {{^}}[[DBG0]] = !DILocation(line: 1, 72 ; IdentPatVarSame-DAG: {{^}}[[DBG1]] = !DILocation(line: 1, 73 ; IdentPatVarSame: {{^}}__IdentPatVarSame 74 75 ;--------------------------------------------------------------------- 76 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 77 ; RUN: -check-prefix=SupSubSet 78 ; RUN: not FileCheck -input-file %s %s -check-prefix=SupSubSet 79 80 __SupSubSet 81 store i64 8, i64* %a 82 store i64 4, i64* %a 83 store i64 4, i64* %b 84 store i64 8, i64* %b 85 __SupSubSet 86 87 ; SupSubSet: {{^}}__SupSubSet 88 ; SupSubSet-DAG: {{^}}store i64 {{4|8}}, i64* %a 89 ; SupSubSet-DAG: {{^}}store i64 4, i64* %a 90 ; SupSubSet-DAG: {{^}}store i64 {{4|8}}, i64* %b 91 ; SupSubSet-DAG: {{^}}store i64 4, i64* %b 92 ; SupSubSet: {{^}}__SupSubSet 93 94 ;--------------------------------------------------------------------- 95 ; RUN: FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 96 ; RUN: -check-prefix=SubSupSet 97 ; RUN: FileCheck -input-file %s %s -check-prefix=SubSupSet 98 99 __SubSupSet 100 store i64 8, i64* %a 101 store i64 4, i64* %a 102 store i64 4, i64* %b 103 store i64 8, i64* %b 104 __SubSupSet 105 106 ; SubSupSet: {{^}}__SubSupSet 107 ; SubSupSet-DAG: {{^}}store i64 4, i64* %a 108 ; SubSupSet-DAG: {{^}}store i64 {{4|8}}, i64* %a 109 ; SubSupSet-DAG: {{^}}store i64 4, i64* %b 110 ; SubSupSet-DAG: {{^}}store i64 {{4|8}}, i64* %b 111 ; SubSupSet: {{^}}__SubSupSet 112 113 ;--------------------------------------------------------------------- 114 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 115 ; RUN: -check-prefixes=WrongNumReps 116 ; RUN: not FileCheck -input-file %s %s -check-prefixes=WrongNumReps 117 ; 118 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 119 ; RUN: -check-prefixes=WrongNumReps,WrongNumReps2 120 ; RUN: FileCheck -input-file %s %s \ 121 ; RUN: -check-prefixes=WrongNumReps,WrongNumReps2 122 ; 123 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 124 ; RUN: -check-prefixes=WrongNumReps,WrongNumReps2,WrongNumReps3 125 ; RUN: not FileCheck -input-file %s %s \ 126 ; RUN: -check-prefixes=WrongNumReps,WrongNumReps2,WrongNumReps3 127 128 __WrongNumReps 129 0: task_begin 130 1: task_begin 131 0: barrier_begin 132 1: barrier_begin 133 __WrongNumReps 134 135 ; WrongNumReps: {{^}}__WrongNumReps 136 ; WrongNumReps-DAG: {{^}}[[THID:[0-9]+]]: task_begin 137 ; WrongNumReps-DAG: {{^}}[[THID]]: barrier_begin 138 ; WrongNumReps2-DAG: {{^}}[[THID:[0-9]+]]: task_begin 139 ; WrongNumReps2-DAG: {{^}}[[THID]]: barrier_begin 140 ; WrongNumReps3-DAG: {{^}}[[THID:[0-9]+]]: task_begin 141 ; WrongNumReps3-DAG: {{^}}[[THID]]: barrier_begin 142 ; WrongNumReps-NEXT: {{^}}__WrongNumReps 143 144 ;--------------------------------------------------------------------- 145 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 146 ; RUN: -check-prefix=SameSimple 147 ; RUN: FileCheck -input-file %s %s -check-prefix=SameSimple 148 149 __SameSimple 150 (<foo><bar><foo>) 151 __SameSimple 152 153 ; SameSimple: {{^}}__SameSimple 154 ; SameSimple: {{^}}( 155 ; SameSimple-DAG: <foo> 156 ; SameSimple-DAG: <foo> 157 ; SameSimple-DAG: <bar> 158 ; SameSimple-NOT: <foo> 159 ; SameSimple-SAME: ){{$}} 160 ; SameSimple: {{^}}__SameSimple 161 162 ;--------------------------------------------------------------------- 163 ; RUN: not FileCheck -allow-deprecated-dag-overlap -input-file %s %s \ 164 ; RUN: -check-prefix=DagNotDag 165 ; RUN: FileCheck -input-file %s %s -check-prefix=DagNotDag 166 167 Assume we have DAGs, NOTs, DAGs, NOTs, and then DAGs. Let X, Y, and Z be 168 the DAG groups such that the leading DAGs are x, y, and z. y won't match 169 overlaps with matches from: 170 171 1. X. Otherwise, we used to get a spurious reordering complaint (back 172 when reordering complaints on DAG-NOT-DAG were still implemented). 173 2. Y, because y is in Y. To prevent these overlaps, the implementation must be 174 careful not to drop y's match from the previous matches list when it drops 175 matches from X to save search time. 176 3. z. This follows by applying rule #1 for z instead of y. 177 178 __DagNotDag 179 abcdefgh 180 abcd 181 efgh 182 183 abcd 184 ab 185 cd 186 187 abcd 188 cd 189 ab 190 __DagNotDag 191 192 ; DagNotDag: {{^}}__DagNotDag 193 ; 194 ; X: 195 ; x:DagNotDag-DAG: {{^}}abcdefgh 196 ; DagNotDag-DAG: {{^}}abcd 197 ; DagNotDag-DAG: efgh{{$}} 198 ; 199 ; Reordering complaint if rule #1 is broken. 200 ; DagNotDag-NOT: abcd 201 ; DagNotDag-NOT: efgh 202 ; 203 ; Y: 204 ; y:DagNotDag-DAG: {{^}}abcd 205 ; DagNotDag-DAG: {{^}}ab 206 ; DagNotDag-DAG: cd{{$}} 207 ; 208 ; Matches if rule #2 is broken. 209 ; DagNotDag-NOT: ab 210 ; DagNotDag-NOT: cd 211 ; 212 ; Z: 213 ; z:DagNotDag-DAG: {{^}}abcd 214 ; DagNotDag-DAG: {{^}}ab 215 ; DagNotDag-DAG: cd{{$}} 216 ; 217 ; Matches if rule #3 is broken. 218 ; DagNotDag-NOT: {{^}}ab 219 ; DagNotDag-NOT: {{^}}cd 220 ; 221 ; DagNotDag: {{^}}__DagNotDag 222
