From 0d7d3a3c3255f9bafe37485d33262aa10ef8f29f Mon Sep 17 00:00:00 2001 From: Jatin Bhateja Date: Sun, 26 Nov 2017 02:01:01 +0000 Subject: [PATCH] [SCEV] NFC : Removing unnecessary check on outgoing branches of a branch instr. Summary: For a given loop, getLoopLatch returns a non-null value when a loop has only one latch block. In the modified context a check on both the outgoing branches of a terminator instruction (of latch) to same header is redundant. Reviewers: jbhateja Reviewed By: jbhateja Subscribers: sanjoy Differential Revision: https://reviews.llvm.org/D40460 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@318991 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/ScalarEvolution.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index d2a7a545733..53e216a5dc5 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -4092,8 +4092,7 @@ public: Value *BECond = nullptr; if (BasicBlock *Latch = L->getLoopLatch()) { BranchInst *BI = dyn_cast(Latch->getTerminator()); - if (BI && BI->isConditional() && - BI->getSuccessor(0) != BI->getSuccessor(1)) { + if (BI && BI->isConditional()) { BECond = BI->getCondition(); IsPosBECond = BI->getSuccessor(0) == L->getHeader(); } else { -- 2.50.1