Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(124)

Unified Diff: src/compiler/register-allocator.cc

Issue 2321113002: [turbofan] Introduces another DCHECK in the register allocator. (Closed)
Patch Set: Created 4 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: src/compiler/register-allocator.cc
diff --git a/src/compiler/register-allocator.cc b/src/compiler/register-allocator.cc
index 9b01c1515f24cdbcde0e3e4be560b435a69ee56d..6e62b3ad96853f7b64ff821c2c9e9126ff3bac98 100644
--- a/src/compiler/register-allocator.cc
+++ b/src/compiler/register-allocator.cc
@@ -1114,6 +1114,10 @@ void TopLevelLiveRange::AddUseInterval(LifetimePosition start,
interval->set_next(first_interval_);
first_interval_ = interval;
} else {
+ // Order of instruction's processing (see ProcessInstructions) guarantees
+ // that each new use interval either precedes, intersects with or touches
+ // the last added interval.
+ DCHECK(start <= first_interval_->end());
first_interval_->set_start(Min(start, first_interval_->start()));
first_interval_->set_end(Max(end, first_interval_->end()));
}
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698