diff --git a/compiler/optimizing/superblock_cloner.cc b/compiler/optimizing/superblock_cloner.cc
index b968491..b46d193 100644
--- a/compiler/optimizing/superblock_cloner.cc
+++ b/compiler/optimizing/superblock_cloner.cc
@@ -193,7 +193,7 @@
   // 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,