2002-09-08 20:59:35 +02:00
|
|
|
//===-- BasicBlock.cpp - Implement BasicBlock related methods -------------===//
|
2005-04-22 01:48:37 +02:00
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2005-04-22 01:48:37 +02:00
|
|
|
//
|
2003-10-20 21:43:21 +02:00
|
|
|
//===----------------------------------------------------------------------===//
|
2001-06-06 22:29:01 +02:00
|
|
|
//
|
2013-01-02 10:10:48 +01:00
|
|
|
// This file implements the BasicBlock class for the IR library.
|
2001-06-06 22:29:01 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2013-01-02 12:36:10 +01:00
|
|
|
#include "llvm/IR/BasicBlock.h"
|
2012-12-03 17:50:05 +01:00
|
|
|
#include "SymbolTableListTraitsImpl.h"
|
|
|
|
#include "llvm/ADT/STLExtras.h"
|
2014-03-04 12:45:46 +01:00
|
|
|
#include "llvm/IR/CFG.h"
|
2013-01-02 12:36:10 +01:00
|
|
|
#include "llvm/IR/Constants.h"
|
|
|
|
#include "llvm/IR/Instructions.h"
|
|
|
|
#include "llvm/IR/IntrinsicInst.h"
|
|
|
|
#include "llvm/IR/LLVMContext.h"
|
|
|
|
#include "llvm/IR/Type.h"
|
2002-06-25 18:13:24 +02:00
|
|
|
#include <algorithm>
|
2015-10-07 01:24:35 +02:00
|
|
|
|
2003-11-21 17:52:05 +01:00
|
|
|
using namespace llvm;
|
|
|
|
|
2009-03-07 13:33:24 +01:00
|
|
|
ValueSymbolTable *BasicBlock::getValueSymbolTable() {
|
|
|
|
if (Function *F = getParent())
|
2016-09-17 08:00:02 +02:00
|
|
|
return F->getValueSymbolTable();
|
2014-04-09 08:08:46 +02:00
|
|
|
return nullptr;
|
2007-04-17 05:26:42 +02:00
|
|
|
}
|
|
|
|
|
2009-07-22 02:24:57 +02:00
|
|
|
LLVMContext &BasicBlock::getContext() const {
|
|
|
|
return getType()->getContext();
|
2009-07-06 00:41:43 +02:00
|
|
|
}
|
|
|
|
|
2002-06-25 18:13:24 +02:00
|
|
|
// Explicit instantiation of SymbolTableListTraits since some of the methods
|
|
|
|
// are not in the public header file...
|
2015-10-07 22:05:10 +02:00
|
|
|
template class llvm::SymbolTableListTraits<Instruction>;
|
2002-06-25 18:13:24 +02:00
|
|
|
|
2009-08-13 23:58:54 +02:00
|
|
|
BasicBlock::BasicBlock(LLVMContext &C, const Twine &Name, Function *NewParent,
|
2008-04-25 18:53:59 +02:00
|
|
|
BasicBlock *InsertBefore)
|
2014-04-09 08:08:46 +02:00
|
|
|
: Value(Type::getLabelTy(C), Value::BasicBlockVal), Parent(nullptr) {
|
2002-09-26 07:03:22 +02:00
|
|
|
|
2014-08-01 23:22:04 +02:00
|
|
|
if (NewParent)
|
|
|
|
insertInto(NewParent, InsertBefore);
|
|
|
|
else
|
|
|
|
assert(!InsertBefore &&
|
2004-02-04 04:57:50 +01:00
|
|
|
"Cannot insert block before another block with no function!");
|
2011-08-10 01:12:56 +02:00
|
|
|
|
2007-02-12 06:18:08 +01:00
|
|
|
setName(Name);
|
2002-09-26 07:03:22 +02:00
|
|
|
}
|
|
|
|
|
2014-08-01 23:22:04 +02:00
|
|
|
void BasicBlock::insertInto(Function *NewParent, BasicBlock *InsertBefore) {
|
|
|
|
assert(NewParent && "Expected a parent");
|
|
|
|
assert(!Parent && "Already has a parent");
|
|
|
|
|
|
|
|
if (InsertBefore)
|
2015-10-09 01:49:46 +02:00
|
|
|
NewParent->getBasicBlockList().insert(InsertBefore->getIterator(), this);
|
2014-08-01 23:22:04 +02:00
|
|
|
else
|
|
|
|
NewParent->getBasicBlockList().push_back(this);
|
|
|
|
}
|
2011-04-11 01:18:04 +02:00
|
|
|
|
2007-12-10 03:14:30 +01:00
|
|
|
BasicBlock::~BasicBlock() {
|
2009-10-30 23:39:36 +01:00
|
|
|
// If the address of the block is taken and it is being deleted (e.g. because
|
|
|
|
// it is dead), this means that there is either a dangling constant expr
|
|
|
|
// hanging off the block, or an undefined use of the block (source code
|
|
|
|
// expecting the address of a label to keep the block alive even though there
|
|
|
|
// is no indirect branch). Handle these cases by zapping the BlockAddress
|
2009-11-01 02:27:45 +01:00
|
|
|
// nodes. There are no other possible uses at this point.
|
2009-10-30 23:39:36 +01:00
|
|
|
if (hasAddressTaken()) {
|
|
|
|
assert(!use_empty() && "There should be at least one blockaddress!");
|
2009-11-01 02:27:45 +01:00
|
|
|
Constant *Replacement =
|
|
|
|
ConstantInt::get(llvm::Type::getInt32Ty(getContext()), 1);
|
2009-10-30 23:39:36 +01:00
|
|
|
while (!use_empty()) {
|
2014-03-09 04:16:01 +01:00
|
|
|
BlockAddress *BA = cast<BlockAddress>(user_back());
|
2009-11-01 02:27:45 +01:00
|
|
|
BA->replaceAllUsesWith(ConstantExpr::getIntToPtr(Replacement,
|
|
|
|
BA->getType()));
|
2009-10-30 23:39:36 +01:00
|
|
|
BA->destroyConstant();
|
|
|
|
}
|
|
|
|
}
|
2011-08-10 01:12:56 +02:00
|
|
|
|
2014-04-15 08:32:26 +02:00
|
|
|
assert(getParent() == nullptr && "BasicBlock still linked into the program!");
|
2007-12-10 03:14:30 +01:00
|
|
|
dropAllReferences();
|
|
|
|
InstList.clear();
|
2001-06-06 22:29:01 +02:00
|
|
|
}
|
|
|
|
|
2002-09-06 23:33:15 +02:00
|
|
|
void BasicBlock::setParent(Function *parent) {
|
2007-04-17 05:26:42 +02:00
|
|
|
// Set Parent=parent, updating instruction symtab entries as appropriate.
|
|
|
|
InstList.setSymTabObject(&Parent, parent);
|
2002-09-06 23:33:15 +02:00
|
|
|
}
|
|
|
|
|
2018-04-19 11:48:07 +02:00
|
|
|
iterator_range<filter_iterator<BasicBlock::const_iterator,
|
|
|
|
std::function<bool(const Instruction &)>>>
|
|
|
|
BasicBlock::instructionsWithoutDebug() const {
|
|
|
|
std::function<bool(const Instruction &)> Fn = [](const Instruction &I) {
|
|
|
|
return !isa<DbgInfoIntrinsic>(I);
|
|
|
|
};
|
|
|
|
return make_filter_range(*this, Fn);
|
|
|
|
}
|
|
|
|
|
|
|
|
iterator_range<filter_iterator<BasicBlock::iterator,
|
|
|
|
std::function<bool(Instruction &)>>>
|
|
|
|
BasicBlock::instructionsWithoutDebug() {
|
|
|
|
std::function<bool(Instruction &)> Fn = [](Instruction &I) {
|
|
|
|
return !isa<DbgInfoIntrinsic>(I);
|
|
|
|
};
|
|
|
|
return make_filter_range(*this, Fn);
|
|
|
|
}
|
|
|
|
|
2004-10-12 00:21:39 +02:00
|
|
|
void BasicBlock::removeFromParent() {
|
2015-10-09 01:49:46 +02:00
|
|
|
getParent()->getBasicBlockList().remove(getIterator());
|
2004-10-12 00:21:39 +02:00
|
|
|
}
|
|
|
|
|
2015-04-03 03:20:33 +02:00
|
|
|
iplist<BasicBlock>::iterator BasicBlock::eraseFromParent() {
|
2015-10-09 01:49:46 +02:00
|
|
|
return getParent()->getBasicBlockList().erase(getIterator());
|
2004-10-12 00:21:39 +02:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// Unlink this basic block from its current function and
|
2006-09-23 06:03:45 +02:00
|
|
|
/// insert it into the function that MovePos lives in, right before MovePos.
|
2005-08-13 00:14:06 +02:00
|
|
|
void BasicBlock::moveBefore(BasicBlock *MovePos) {
|
2015-10-09 01:49:46 +02:00
|
|
|
MovePos->getParent()->getBasicBlockList().splice(
|
|
|
|
MovePos->getIterator(), getParent()->getBasicBlockList(), getIterator());
|
2005-08-13 00:14:06 +02:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// Unlink this basic block from its current function and
|
2006-09-23 06:03:45 +02:00
|
|
|
/// insert it into the function that MovePos lives in, right after MovePos.
|
|
|
|
void BasicBlock::moveAfter(BasicBlock *MovePos) {
|
2015-10-09 01:49:46 +02:00
|
|
|
MovePos->getParent()->getBasicBlockList().splice(
|
|
|
|
++MovePos->getIterator(), getParent()->getBasicBlockList(),
|
|
|
|
getIterator());
|
2006-09-23 06:03:45 +02:00
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const Module *BasicBlock::getModule() const {
|
2015-05-26 23:03:23 +02:00
|
|
|
return getParent()->getParent();
|
|
|
|
}
|
|
|
|
|
2018-10-15 12:42:50 +02:00
|
|
|
const Instruction *BasicBlock::getTerminator() const {
|
|
|
|
if (InstList.empty() || !InstList.back().isTerminator())
|
|
|
|
return nullptr;
|
|
|
|
return &InstList.back();
|
2001-06-06 22:29:01 +02:00
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const CallInst *BasicBlock::getTerminatingMustTailCall() const {
|
2014-08-12 02:05:15 +02:00
|
|
|
if (InstList.empty())
|
|
|
|
return nullptr;
|
2017-03-27 04:38:17 +02:00
|
|
|
const ReturnInst *RI = dyn_cast<ReturnInst>(&InstList.back());
|
2014-08-12 02:05:15 +02:00
|
|
|
if (!RI || RI == &InstList.front())
|
|
|
|
return nullptr;
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const Instruction *Prev = RI->getPrevNode();
|
2014-08-12 02:05:15 +02:00
|
|
|
if (!Prev)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
if (Value *RV = RI->getReturnValue()) {
|
|
|
|
if (RV != Prev)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
// Look through the optional bitcast.
|
|
|
|
if (auto *BI = dyn_cast<BitCastInst>(Prev)) {
|
|
|
|
RV = BI->getOperand(0);
|
|
|
|
Prev = BI->getPrevNode();
|
|
|
|
if (!Prev || RV != Prev)
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (auto *CI = dyn_cast<CallInst>(Prev)) {
|
|
|
|
if (CI->isMustTailCall())
|
|
|
|
return CI;
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const CallInst *BasicBlock::getTerminatingDeoptimizeCall() const {
|
Introduce @llvm.experimental.deoptimize
Summary:
This intrinsic, together with deoptimization operand bundles, allow
frontends to express transfer of control and frame-local state from
one (typically more specialized, hence faster) version of a function
into another (typically more generic, hence slower) version.
In languages with a fully integrated managed runtime this intrinsic can
be used to implement "uncommon trap" like functionality. In unmanaged
languages like C and C++, this intrinsic can be used to represent the
slow paths of specialized functions.
Note: this change does not address how `@llvm.experimental_deoptimize`
is lowered. That will be done in a later change.
Reviewers: chandlerc, rnk, atrick, reames
Subscribers: llvm-commits, kmod, mjacob, maksfb, mcrosier, JosephTremoulet
Differential Revision: http://reviews.llvm.org/D17732
llvm-svn: 263281
2016-03-11 20:08:34 +01:00
|
|
|
if (InstList.empty())
|
|
|
|
return nullptr;
|
|
|
|
auto *RI = dyn_cast<ReturnInst>(&InstList.back());
|
|
|
|
if (!RI || RI == &InstList.front())
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
if (auto *CI = dyn_cast_or_null<CallInst>(RI->getPrevNode()))
|
|
|
|
if (Function *F = CI->getCalledFunction())
|
|
|
|
if (F->getIntrinsicID() == Intrinsic::experimental_deoptimize)
|
|
|
|
return CI;
|
|
|
|
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const Instruction* BasicBlock::getFirstNonPHI() const {
|
|
|
|
for (const Instruction &I : *this)
|
2015-07-07 20:49:41 +02:00
|
|
|
if (!isa<PHINode>(I))
|
|
|
|
return &I;
|
|
|
|
return nullptr;
|
2006-06-08 17:46:18 +02:00
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const Instruction* BasicBlock::getFirstNonPHIOrDbg() const {
|
|
|
|
for (const Instruction &I : *this)
|
2015-07-07 20:49:41 +02:00
|
|
|
if (!isa<PHINode>(I) && !isa<DbgInfoIntrinsic>(I))
|
|
|
|
return &I;
|
|
|
|
return nullptr;
|
2010-04-02 23:49:27 +02:00
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const Instruction* BasicBlock::getFirstNonPHIOrDbgOrLifetime() const {
|
|
|
|
for (const Instruction &I : *this) {
|
2015-07-07 20:49:41 +02:00
|
|
|
if (isa<PHINode>(I) || isa<DbgInfoIntrinsic>(I))
|
2011-06-30 22:14:24 +02:00
|
|
|
continue;
|
|
|
|
|
2018-12-21 22:49:40 +01:00
|
|
|
if (I.isLifetimeStartOrEnd())
|
|
|
|
continue;
|
2015-07-07 20:49:41 +02:00
|
|
|
|
|
|
|
return &I;
|
2011-06-30 22:14:24 +02:00
|
|
|
}
|
2015-07-07 20:49:41 +02:00
|
|
|
return nullptr;
|
2011-06-30 22:14:24 +02:00
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
BasicBlock::const_iterator BasicBlock::getFirstInsertionPt() const {
|
|
|
|
const Instruction *FirstNonPHI = getFirstNonPHI();
|
2015-07-07 20:49:41 +02:00
|
|
|
if (!FirstNonPHI)
|
|
|
|
return end();
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const_iterator InsertPt = FirstNonPHI->getIterator();
|
2015-07-31 19:58:14 +02:00
|
|
|
if (InsertPt->isEHPad()) ++InsertPt;
|
2011-08-16 22:42:52 +02:00
|
|
|
return InsertPt;
|
|
|
|
}
|
|
|
|
|
2001-06-06 22:29:01 +02:00
|
|
|
void BasicBlock::dropAllReferences() {
|
2016-06-26 16:10:56 +02:00
|
|
|
for (Instruction &I : *this)
|
|
|
|
I.dropAllReferences();
|
2001-06-06 22:29:01 +02:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// If this basic block has a single predecessor block,
|
2005-02-24 03:37:26 +01:00
|
|
|
/// return the block, otherwise return a null pointer.
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *BasicBlock::getSinglePredecessor() const {
|
|
|
|
const_pred_iterator PI = pred_begin(this), E = pred_end(this);
|
2014-04-09 08:08:46 +02:00
|
|
|
if (PI == E) return nullptr; // No preds.
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *ThePred = *PI;
|
2005-02-24 03:37:26 +01:00
|
|
|
++PI;
|
2014-04-09 08:08:46 +02:00
|
|
|
return (PI == E) ? ThePred : nullptr /*multiple preds*/;
|
2005-02-24 03:37:26 +01:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// If this basic block has a unique predecessor block,
|
2008-12-11 11:36:07 +01:00
|
|
|
/// return the block, otherwise return a null pointer.
|
2011-08-10 01:12:56 +02:00
|
|
|
/// Note that unique predecessor doesn't mean single edge, there can be
|
|
|
|
/// multiple edges from the unique predecessor to this block (for example
|
2008-12-11 12:44:49 +01:00
|
|
|
/// a switch statement with multiple cases having the same destination).
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *BasicBlock::getUniquePredecessor() const {
|
|
|
|
const_pred_iterator PI = pred_begin(this), E = pred_end(this);
|
2014-04-09 08:08:46 +02:00
|
|
|
if (PI == E) return nullptr; // No preds.
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *PredBB = *PI;
|
2008-12-11 11:36:07 +01:00
|
|
|
++PI;
|
|
|
|
for (;PI != E; ++PI) {
|
|
|
|
if (*PI != PredBB)
|
2014-04-09 08:08:46 +02:00
|
|
|
return nullptr;
|
2008-12-11 12:44:49 +01:00
|
|
|
// The same predecessor appears multiple times in the predecessor list.
|
|
|
|
// This is OK.
|
2008-12-11 11:36:07 +01:00
|
|
|
}
|
|
|
|
return PredBB;
|
|
|
|
}
|
|
|
|
|
2018-11-19 20:54:27 +01:00
|
|
|
bool BasicBlock::hasNPredecessors(unsigned N) const {
|
|
|
|
return hasNItems(pred_begin(this), pred_end(this), N);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool BasicBlock::hasNPredecessorsOrMore(unsigned N) const {
|
|
|
|
return hasNItemsOrMore(pred_begin(this), pred_end(this), N);
|
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *BasicBlock::getSingleSuccessor() const {
|
|
|
|
succ_const_iterator SI = succ_begin(this), E = succ_end(this);
|
2015-05-15 19:54:48 +02:00
|
|
|
if (SI == E) return nullptr; // no successors
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *TheSucc = *SI;
|
2015-05-15 19:54:48 +02:00
|
|
|
++SI;
|
|
|
|
return (SI == E) ? TheSucc : nullptr /* multiple successors */;
|
|
|
|
}
|
|
|
|
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *BasicBlock::getUniqueSuccessor() const {
|
|
|
|
succ_const_iterator SI = succ_begin(this), E = succ_end(this);
|
2015-10-07 01:24:35 +02:00
|
|
|
if (SI == E) return nullptr; // No successors
|
2017-03-27 04:38:17 +02:00
|
|
|
const BasicBlock *SuccBB = *SI;
|
Add a pass for inserting safepoints into (nearly) arbitrary IR
This pass is responsible for figuring out where to place call safepoints and safepoint polls. It doesn't actually make the relocations explicit; that's the job of the RewriteStatepointsForGC pass (http://reviews.llvm.org/D6975).
Note that this code is not yet finalized. Its moving in tree for incremental development, but further cleanup is needed and will happen over the next few days. It is not yet part of the standard pass order.
Planned changes in the near future:
- I plan on restructuring the statepoint rewrite to use the functions add to the IRBuilder a while back.
- In the current pass, the function "gc.safepoint_poll" is treated specially but is not an intrinsic. I plan to make identifying the poll function a property of the GCStrategy at some point in the near future.
- As follow on patches, I will be separating a collection of test cases we have out of tree and submitting them upstream.
- It's not explicit in the code, but these two patches are introducing a new state for a statepoint which looks a lot like a patchpoint. There's no a transient form which doesn't yet have the relocations explicitly represented, but does prevent reordering of memory operations. Once this is in, I need to update actually make this explicit by reserving the 'unused' argument of the statepoint as a flag, updating the docs, and making the code explicitly check for such a thing. This wasn't really planned, but once I split the two passes - which was done for other reasons - the intermediate state fell out. Just reminds us once again that we need to merge statepoints and patchpoints at some point in the not that distant future.
Future directions planned:
- Identifying more cases where a backedge safepoint isn't required to ensure timely execution of a safepoint poll.
- Tweaking the insertion process to generate easier to optimize IR. (For example, investigating making SplitBackedge) the default.
- Adding opt-in flags for a GCStrategy to use this pass. Once done, add this pass to the actual pass ordering.
Differential Revision: http://reviews.llvm.org/D6981
llvm-svn: 228090
2015-02-04 01:37:33 +01:00
|
|
|
++SI;
|
|
|
|
for (;SI != E; ++SI) {
|
|
|
|
if (*SI != SuccBB)
|
2015-10-07 01:24:35 +02:00
|
|
|
return nullptr;
|
Add a pass for inserting safepoints into (nearly) arbitrary IR
This pass is responsible for figuring out where to place call safepoints and safepoint polls. It doesn't actually make the relocations explicit; that's the job of the RewriteStatepointsForGC pass (http://reviews.llvm.org/D6975).
Note that this code is not yet finalized. Its moving in tree for incremental development, but further cleanup is needed and will happen over the next few days. It is not yet part of the standard pass order.
Planned changes in the near future:
- I plan on restructuring the statepoint rewrite to use the functions add to the IRBuilder a while back.
- In the current pass, the function "gc.safepoint_poll" is treated specially but is not an intrinsic. I plan to make identifying the poll function a property of the GCStrategy at some point in the near future.
- As follow on patches, I will be separating a collection of test cases we have out of tree and submitting them upstream.
- It's not explicit in the code, but these two patches are introducing a new state for a statepoint which looks a lot like a patchpoint. There's no a transient form which doesn't yet have the relocations explicitly represented, but does prevent reordering of memory operations. Once this is in, I need to update actually make this explicit by reserving the 'unused' argument of the statepoint as a flag, updating the docs, and making the code explicitly check for such a thing. This wasn't really planned, but once I split the two passes - which was done for other reasons - the intermediate state fell out. Just reminds us once again that we need to merge statepoints and patchpoints at some point in the not that distant future.
Future directions planned:
- Identifying more cases where a backedge safepoint isn't required to ensure timely execution of a safepoint poll.
- Tweaking the insertion process to generate easier to optimize IR. (For example, investigating making SplitBackedge) the default.
- Adding opt-in flags for a GCStrategy to use this pass. Once done, add this pass to the actual pass ordering.
Differential Revision: http://reviews.llvm.org/D6981
llvm-svn: 228090
2015-02-04 01:37:33 +01:00
|
|
|
// The same successor appears multiple times in the successor list.
|
|
|
|
// This is OK.
|
|
|
|
}
|
|
|
|
return SuccBB;
|
|
|
|
}
|
|
|
|
|
2017-05-26 05:10:00 +02:00
|
|
|
iterator_range<BasicBlock::phi_iterator> BasicBlock::phis() {
|
2017-12-29 20:25:53 +01:00
|
|
|
PHINode *P = empty() ? nullptr : dyn_cast<PHINode>(&*begin());
|
|
|
|
return make_range<phi_iterator>(P, nullptr);
|
2017-05-26 05:10:00 +02:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// This method is used to notify a BasicBlock that the
|
2005-04-21 18:06:03 +02:00
|
|
|
/// specified Predecessor of the block is no longer able to reach it. This is
|
2005-04-22 01:48:37 +02:00
|
|
|
/// actually not used to update the Predecessor list, but is actually used to
|
2005-04-21 18:06:03 +02:00
|
|
|
/// update the PHI nodes that reside in the block. Note that this should be
|
|
|
|
/// called while the predecessor still refers to this block.
|
|
|
|
///
|
2005-04-12 20:52:14 +02:00
|
|
|
void BasicBlock::removePredecessor(BasicBlock *Pred,
|
2019-02-12 08:09:29 +01:00
|
|
|
bool KeepOneInputPHIs) {
|
2005-02-23 17:53:04 +01:00
|
|
|
assert((hasNUsesOrMore(16)||// Reduce cost of this assertion for complex CFGs.
|
2005-02-23 08:09:08 +01:00
|
|
|
find(pred_begin(this), pred_end(this), Pred) != pred_end(this)) &&
|
2005-04-23 23:38:35 +02:00
|
|
|
"removePredecessor: BB is not a predecessor!");
|
2005-02-23 08:09:08 +01:00
|
|
|
|
2004-12-11 23:10:29 +01:00
|
|
|
if (InstList.empty()) return;
|
2004-07-06 19:44:17 +02:00
|
|
|
PHINode *APN = dyn_cast<PHINode>(&front());
|
|
|
|
if (!APN) return; // Quick exit.
|
2001-06-29 07:25:23 +02:00
|
|
|
|
|
|
|
// If there are exactly two predecessors, then we want to nuke the PHI nodes
|
2004-07-06 19:44:17 +02:00
|
|
|
// altogether. However, we cannot do this, if this in this case:
|
2002-05-21 21:52:49 +02:00
|
|
|
//
|
|
|
|
// Loop:
|
|
|
|
// %x = phi [X, Loop]
|
|
|
|
// %x2 = add %x, 1 ;; This would become %x2 = add %x2, 1
|
|
|
|
// br Loop ;; %x2 does not dominate all uses
|
|
|
|
//
|
|
|
|
// This is because the PHI node input is actually taken from the predecessor
|
2005-04-22 01:48:37 +02:00
|
|
|
// basic block. The only case this can happen is with a self loop, so we
|
2002-05-21 21:52:49 +02:00
|
|
|
// check for this case explicitly now.
|
2005-04-22 01:48:37 +02:00
|
|
|
//
|
2004-07-06 19:44:17 +02:00
|
|
|
unsigned max_idx = APN->getNumIncomingValues();
|
2001-06-29 07:25:23 +02:00
|
|
|
assert(max_idx != 0 && "PHI Node in block with 0 predecessors!?!?!");
|
2002-05-21 21:52:49 +02:00
|
|
|
if (max_idx == 2) {
|
2004-07-06 19:44:17 +02:00
|
|
|
BasicBlock *Other = APN->getIncomingBlock(APN->getIncomingBlock(0) == Pred);
|
2002-05-21 21:52:49 +02:00
|
|
|
|
|
|
|
// Disable PHI elimination!
|
|
|
|
if (this == Other) max_idx = 3;
|
|
|
|
}
|
|
|
|
|
2005-04-12 20:52:14 +02:00
|
|
|
// <= Two predecessors BEFORE I remove one?
|
2019-02-12 08:09:29 +01:00
|
|
|
if (max_idx <= 2 && !KeepOneInputPHIs) {
|
2001-10-02 05:41:24 +02:00
|
|
|
// Yup, loop through and nuke the PHI nodes
|
2002-06-25 18:13:24 +02:00
|
|
|
while (PHINode *PN = dyn_cast<PHINode>(&front())) {
|
2005-04-12 20:52:14 +02:00
|
|
|
// Remove the predecessor first.
|
2019-02-12 08:09:29 +01:00
|
|
|
PN->removeIncomingValue(Pred, !KeepOneInputPHIs);
|
2001-06-29 07:25:23 +02:00
|
|
|
|
|
|
|
// If the PHI _HAD_ two uses, replace PHI node with its now *single* value
|
2002-10-08 23:36:34 +02:00
|
|
|
if (max_idx == 2) {
|
2011-06-20 16:18:48 +02:00
|
|
|
if (PN->getIncomingValue(0) != PN)
|
|
|
|
PN->replaceAllUsesWith(PN->getIncomingValue(0));
|
2003-04-26 01:14:19 +02:00
|
|
|
else
|
|
|
|
// We are left with an infinite loop with no entries: kill the PHI.
|
2009-07-31 01:03:37 +02:00
|
|
|
PN->replaceAllUsesWith(UndefValue::get(PN->getType()));
|
2002-10-08 23:36:34 +02:00
|
|
|
getInstList().pop_front(); // Remove the PHI node
|
|
|
|
}
|
|
|
|
|
|
|
|
// If the PHI node already only had one entry, it got deleted by
|
|
|
|
// removeIncomingValue.
|
2001-06-29 07:25:23 +02:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// Okay, now we know that we need to remove predecessor #pred_idx from all
|
|
|
|
// PHI nodes. Iterate over each PHI node fixing them up
|
2004-06-05 02:11:27 +02:00
|
|
|
PHINode *PN;
|
2005-08-05 17:34:10 +02:00
|
|
|
for (iterator II = begin(); (PN = dyn_cast<PHINode>(II)); ) {
|
|
|
|
++II;
|
2008-04-25 18:53:59 +02:00
|
|
|
PN->removeIncomingValue(Pred, false);
|
2005-08-05 01:24:19 +02:00
|
|
|
// If all incoming values to the Phi are the same, we can replace the Phi
|
|
|
|
// with that value.
|
2014-04-09 08:08:46 +02:00
|
|
|
Value* PNV = nullptr;
|
2019-02-12 08:09:29 +01:00
|
|
|
if (!KeepOneInputPHIs && (PNV = PN->hasConstantValue()))
|
2010-11-17 11:23:23 +01:00
|
|
|
if (PNV != PN) {
|
|
|
|
PN->replaceAllUsesWith(PNV);
|
|
|
|
PN->eraseFromParent();
|
|
|
|
}
|
2005-08-05 01:24:19 +02:00
|
|
|
}
|
2001-06-29 07:25:23 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-07-31 19:58:14 +02:00
|
|
|
bool BasicBlock::canSplitPredecessors() const {
|
|
|
|
const Instruction *FirstNonPHI = getFirstNonPHI();
|
|
|
|
if (isa<LandingPadInst>(FirstNonPHI))
|
|
|
|
return true;
|
|
|
|
// This is perhaps a little conservative because constructs like
|
|
|
|
// CleanupBlockInst are pretty easy to split. However, SplitBlockPredecessors
|
|
|
|
// cannot handle such things just yet.
|
|
|
|
if (FirstNonPHI->isEHPad())
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
2001-06-06 22:29:01 +02:00
|
|
|
|
2017-06-23 01:27:16 +02:00
|
|
|
bool BasicBlock::isLegalToHoistInto() const {
|
|
|
|
auto *Term = getTerminator();
|
|
|
|
// No terminator means the block is under construction.
|
|
|
|
if (!Term)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// If the block has no successors, there can be no instructions to hoist.
|
|
|
|
assert(Term->getNumSuccessors() > 0);
|
|
|
|
|
|
|
|
// Instructions should not be hoisted across exception handling boundaries.
|
2018-08-26 10:56:42 +02:00
|
|
|
return !Term->isExceptionalTerminator();
|
2017-06-23 01:27:16 +02:00
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// This splits a basic block into two at the specified
|
2005-04-21 18:04:49 +02:00
|
|
|
/// instruction. Note that all instructions BEFORE the specified iterator stay
|
2005-04-22 01:48:37 +02:00
|
|
|
/// as part of the original basic block, an unconditional branch is added to
|
2005-04-21 18:04:49 +02:00
|
|
|
/// the new BB, and the rest of the instructions in the BB are moved to the new
|
|
|
|
/// BB, including the old terminator. This invalidates the iterator.
|
|
|
|
///
|
2005-04-22 01:48:37 +02:00
|
|
|
/// Note that this only works on well formed basic blocks (must have a
|
2005-04-21 18:04:49 +02:00
|
|
|
/// terminator), and 'I' must not be the end of instruction list (which would
|
|
|
|
/// cause a degenerate basic block to be formed, having a terminator inside of
|
2005-04-22 01:48:37 +02:00
|
|
|
/// the basic block).
|
2005-04-21 18:04:49 +02:00
|
|
|
///
|
2009-07-25 06:41:11 +02:00
|
|
|
BasicBlock *BasicBlock::splitBasicBlock(iterator I, const Twine &BBName) {
|
2001-06-06 22:29:01 +02:00
|
|
|
assert(getTerminator() && "Can't use splitBasicBlock on degenerate BB!");
|
2005-04-22 01:48:37 +02:00
|
|
|
assert(I != InstList.end() &&
|
2005-04-23 23:38:35 +02:00
|
|
|
"Trying to get me to create degenerate basic block!");
|
2001-06-06 22:29:01 +02:00
|
|
|
|
2016-02-21 20:52:15 +01:00
|
|
|
BasicBlock *New = BasicBlock::Create(getContext(), BBName, getParent(),
|
|
|
|
this->getNextNode());
|
2001-06-06 22:29:01 +02:00
|
|
|
|
2015-06-11 20:25:54 +02:00
|
|
|
// Save DebugLoc of split point before invalidating iterator.
|
|
|
|
DebugLoc Loc = I->getDebugLoc();
|
2004-02-04 00:11:21 +01:00
|
|
|
// Move all of the specified instructions from the original basic block into
|
|
|
|
// the new basic block.
|
|
|
|
New->getInstList().splice(New->end(), this->getInstList(), I, end());
|
2001-06-06 22:29:01 +02:00
|
|
|
|
|
|
|
// Add a branch instruction to the newly formed basic block.
|
2015-06-11 20:25:54 +02:00
|
|
|
BranchInst *BI = BranchInst::Create(New, this);
|
|
|
|
BI->setDebugLoc(Loc);
|
2002-02-25 01:35:07 +01:00
|
|
|
|
|
|
|
// Now we must loop through all of the successors of the New block (which
|
|
|
|
// _were_ the successors of the 'this' block), and update any PHI nodes in
|
|
|
|
// successors. If there were PHI nodes in the successors, then they need to
|
2019-05-05 20:59:45 +02:00
|
|
|
// know that incoming branches will be from New, not from Old (this).
|
2002-02-25 01:35:07 +01:00
|
|
|
//
|
2019-05-05 20:59:45 +02:00
|
|
|
New->replaceSuccessorsPhiUsesWith(this, New);
|
2001-06-06 22:29:01 +02:00
|
|
|
return New;
|
|
|
|
}
|
2009-10-29 01:09:08 +01:00
|
|
|
|
2019-05-05 20:59:39 +02:00
|
|
|
void BasicBlock::replacePhiUsesWith(BasicBlock *Old, BasicBlock *New) {
|
|
|
|
// N.B. This might not be a complete BasicBlock, so don't assume
|
|
|
|
// that it ends with a non-phi instruction.
|
|
|
|
for (iterator II = begin(), IE = end(); II != IE; ++II) {
|
|
|
|
PHINode *PN = dyn_cast<PHINode>(II);
|
|
|
|
if (!PN)
|
|
|
|
break;
|
|
|
|
PN->replaceIncomingBlockWith(Old, New);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-05-05 20:59:45 +02:00
|
|
|
void BasicBlock::replaceSuccessorsPhiUsesWith(BasicBlock *Old,
|
|
|
|
BasicBlock *New) {
|
2018-10-15 12:04:59 +02:00
|
|
|
Instruction *TI = getTerminator();
|
2011-06-23 11:09:15 +02:00
|
|
|
if (!TI)
|
|
|
|
// Cope with being called on a BasicBlock that doesn't have a terminator
|
|
|
|
// yet. Clang's CodeGenFunction::EmitReturnBlock() likes to do this.
|
|
|
|
return;
|
2019-05-05 20:59:45 +02:00
|
|
|
llvm::for_each(successors(TI), [Old, New](BasicBlock *Succ) {
|
|
|
|
Succ->replacePhiUsesWith(Old, New);
|
2019-05-05 20:59:39 +02:00
|
|
|
});
|
2011-06-23 11:09:15 +02:00
|
|
|
}
|
2011-08-12 22:24:12 +02:00
|
|
|
|
2019-05-05 20:59:45 +02:00
|
|
|
void BasicBlock::replaceSuccessorsPhiUsesWith(BasicBlock *New) {
|
|
|
|
this->replaceSuccessorsPhiUsesWith(this, New);
|
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// Return true if this basic block is a landing pad. I.e., it's
|
2011-08-12 22:24:12 +02:00
|
|
|
/// the destination of the 'unwind' edge of an invoke instruction.
|
|
|
|
bool BasicBlock::isLandingPad() const {
|
|
|
|
return isa<LandingPadInst>(getFirstNonPHI());
|
|
|
|
}
|
|
|
|
|
2015-02-27 19:07:41 +01:00
|
|
|
/// Return the landingpad instruction associated with the landing pad.
|
2012-01-31 01:26:24 +01:00
|
|
|
const LandingPadInst *BasicBlock::getLandingPadInst() const {
|
|
|
|
return dyn_cast<LandingPadInst>(getFirstNonPHI());
|
|
|
|
}
|
2017-11-02 23:26:51 +01:00
|
|
|
|
|
|
|
Optional<uint64_t> BasicBlock::getIrrLoopHeaderWeight() const {
|
2018-10-15 12:04:59 +02:00
|
|
|
const Instruction *TI = getTerminator();
|
2017-11-02 23:26:51 +01:00
|
|
|
if (MDNode *MDIrrLoopHeader =
|
|
|
|
TI->getMetadata(LLVMContext::MD_irr_loop)) {
|
|
|
|
MDString *MDName = cast<MDString>(MDIrrLoopHeader->getOperand(0));
|
|
|
|
if (MDName->getString().equals("loop_header_weight")) {
|
|
|
|
auto *CI = mdconst::extract<ConstantInt>(MDIrrLoopHeader->getOperand(1));
|
|
|
|
return Optional<uint64_t>(CI->getValue().getZExtValue());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Optional<uint64_t>();
|
|
|
|
}
|
2018-06-20 01:42:17 +02:00
|
|
|
|
2018-06-26 23:16:59 +02:00
|
|
|
BasicBlock::iterator llvm::skipDebugIntrinsics(BasicBlock::iterator It) {
|
2018-06-20 01:42:17 +02:00
|
|
|
while (isa<DbgInfoIntrinsic>(It))
|
|
|
|
++It;
|
|
|
|
return It;
|
|
|
|
}
|