From 872ec72de447b2803894e17253399a54a4c10e1f Mon Sep 17 00:00:00 2001 From: Santiago Aboy Solanes Date: Fri, 18 Feb 2022 14:10:25 +0000 Subject: Update compiler/ implications to use (D)CHECK_IMPLIES Follow-up to aosp/1988868 in which we added the (D)CHECK_IMPLIES macro. This CL uses it on compiler/ occurrences found by a regex. Test: art/test/testrunner/testrunner.py --host --64 --optimizing -b Change-Id: If63aed969bfb8b31d6fbbcb3bca2b04314c894b7 --- compiler/optimizing/superblock_cloner.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/optimizing/superblock_cloner.cc') diff --git a/compiler/optimizing/superblock_cloner.cc b/compiler/optimizing/superblock_cloner.cc index b9684917f1..b46d193541 100644 --- a/compiler/optimizing/superblock_cloner.cc +++ b/compiler/optimizing/superblock_cloner.cc @@ -193,7 +193,7 @@ void SuperblockCloner::RemapOrigInternalOrIncomingEdge(HBasicBlock* orig_block, // orig_block will be put at the end of the copy_succ's predecessors list; that corresponds // to the previously added phi inputs position. orig_block->ReplaceSuccessor(orig_succ, copy_succ); - DCHECK(!first_phi_met || copy_succ->GetPredecessors().size() == phi_input_count); + DCHECK_IMPLIES(first_phi_met, copy_succ->GetPredecessors().size() == phi_input_count); } void SuperblockCloner::AddCopyInternalEdge(HBasicBlock* orig_block, -- cgit v1.2.3-59-g8ed1b