@@ -239,7 +239,9 @@ void Dependencies::assert_common_2(DepType dept,
239
239
}
240
240
}
241
241
} else {
242
- if (note_dep_seen (dept, x0) && note_dep_seen (dept, x1)) {
242
+ bool dep_seen_x0 = note_dep_seen (dept, x0); // records x0 for future queries
243
+ bool dep_seen_x1 = note_dep_seen (dept, x1); // records x1 for future queries
244
+ if (dep_seen_x0 && dep_seen_x1) {
243
245
// look in this bucket for redundant assertions
244
246
const int stride = 2 ;
245
247
for (int i = deps->length (); (i -= stride) >= 0 ; ) {
@@ -266,7 +268,10 @@ void Dependencies::assert_common_4(DepType dept,
266
268
GrowableArray<ciBaseObject*>* deps = _deps[dept];
267
269
268
270
// see if the same (or a similar) dep is already recorded
269
- if (note_dep_seen (dept, x1) && note_dep_seen (dept, x2) && note_dep_seen (dept, x3)) {
271
+ bool dep_seen_x1 = note_dep_seen (dept, x1); // records x1 for future queries
272
+ bool dep_seen_x2 = note_dep_seen (dept, x2); // records x2 for future queries
273
+ bool dep_seen_x3 = note_dep_seen (dept, x3); // records x3 for future queries
274
+ if (dep_seen_x1 && dep_seen_x2 && dep_seen_x3) {
270
275
// look in this bucket for redundant assertions
271
276
const int stride = 4 ;
272
277
for (int i = deps->length (); (i -= stride) >= 0 ; ) {
@@ -339,7 +344,9 @@ void Dependencies::assert_common_2(DepType dept,
339
344
}
340
345
}
341
346
} else {
342
- if (note_dep_seen (dept, x0) && note_dep_seen (dept, x1)) {
347
+ bool dep_seen_x0 = note_dep_seen (dept, x0); // records x0 for future queries
348
+ bool dep_seen_x1 = note_dep_seen (dept, x1); // records x1 for future queries
349
+ if (dep_seen_x0 && dep_seen_x1) {
343
350
// look in this bucket for redundant assertions
344
351
const int stride = 2 ;
345
352
for (int i = deps->length (); (i -= stride) >= 0 ; ) {
0 commit comments