From 73b326ea1c1a58a5017f33286e511e1aa020de1c Mon Sep 17 00:00:00 2001 From: Mingyao Yang Date: Tue, 12 Sep 2017 14:42:29 -0700 Subject: Add a DCHECK for BCE. A MonotonicValueRange should only be assigned for a loop header phi. Test: host run-test. Change-Id: Idd990670f5449c6b6b9c4a162522e960c34902de --- compiler/optimizing/bounds_check_elimination.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/optimizing/bounds_check_elimination.cc') diff --git a/compiler/optimizing/bounds_check_elimination.cc b/compiler/optimizing/bounds_check_elimination.cc index 6b832da2bb..a170734ff2 100644 --- a/compiler/optimizing/bounds_check_elimination.cc +++ b/compiler/optimizing/bounds_check_elimination.cc @@ -596,6 +596,7 @@ class BCEVisitor : public HGraphVisitor { // Helper method to assign a new range to an instruction in given basic block. void AssignRange(HBasicBlock* basic_block, HInstruction* instruction, ValueRange* range) { + DCHECK(!range->IsMonotonicValueRange() || instruction->IsLoopHeaderPhi()); GetValueRangeMap(basic_block)->Overwrite(instruction->GetId(), range); } -- cgit v1.2.3-59-g8ed1b