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/nodes.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'compiler/optimizing/nodes.h') diff --git a/compiler/optimizing/nodes.h b/compiler/optimizing/nodes.h index fd3a2757ab..42f03a0bc7 100644 --- a/compiler/optimizing/nodes.h +++ b/compiler/optimizing/nodes.h @@ -6828,7 +6828,7 @@ class HLoadClass final : public HInstruction { klass_(klass) { // Referrers class should not need access check. We never inline unverified // methods so we can't possibly end up in this situation. - DCHECK(!is_referrers_class || !needs_access_check); + DCHECK_IMPLIES(is_referrers_class, !needs_access_check); SetPackedField( is_referrers_class ? LoadKind::kReferrersClass : LoadKind::kRuntimeCall); @@ -8261,7 +8261,7 @@ class MoveOperands : public ArenaObject { } bool IsEliminated() const { - DCHECK(!source_.IsInvalid() || destination_.IsInvalid()); + DCHECK_IMPLIES(source_.IsInvalid(), destination_.IsInvalid()); return source_.IsInvalid(); } -- cgit v1.2.3-59-g8ed1b