LLVM
15.0.0git
|
#include "llvm/Analysis/MustExecute.h"
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Analysis/CFG.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/Passes.h"
#include "llvm/Analysis/PostDominators.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/AssemblyAnnotationWriter.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/FormattedStream.h"
#include "llvm/Support/raw_ostream.h"
Go to the source code of this file.
Macros | |
#define | DEBUG_TYPE "must-execute" |
Functions | |
static bool | CanProveNotTakenFirstIteration (const BasicBlock *ExitBlock, const DominatorTree *DT, const Loop *CurLoop) |
Return true if we can prove that the given ExitBlock is not reached on the first iteration of the given loop. More... | |
static void | collectTransitivePredecessors (const Loop *CurLoop, const BasicBlock *BB, SmallPtrSetImpl< const BasicBlock * > &Predecessors) |
Collect all blocks from CurLoop which lie on all possible paths from the header of CurLoop (inclusive) to BB (exclusive) into the set Predecessors . More... | |
INITIALIZE_PASS_BEGIN (MustExecutePrinter, "print-mustexecute", "Instructions which execute on loop entry", false, true) INITIALIZE_PASS_END(MustExecutePrinter | |
INITIALIZE_PASS_BEGIN (MustBeExecutedContextPrinter, "print-must-be-executed-contexts", "print the must-be-executed-context for all instructions", false, true) INITIALIZE_PASS_END(MustBeExecutedContextPrinter | |
static bool | isMustExecuteIn (const Instruction &I, Loop *L, DominatorTree *DT) |
static bool | maybeEndlessLoop (const Loop &L) |
Return true if L might be an endless loop. More... | |
template<typename K , typename V , typename FnTy , typename... ArgsTy> | |
static V | getOrCreateCachedOptional (K Key, DenseMap< K, Optional< V >> &Map, FnTy &&Fn, ArgsTy &&... args) |
Lookup Key in Map and return the result, potentially after initializing the optional through Fn (args ). More... | |
Variables | |
mustexecute | |
print Instructions which execute on loop | entry |
print Instructions which execute on loop | false |
print must be executed | contexts |
print must be executed print the must be executed context for all | instructions |
#define DEBUG_TYPE "must-execute" |
Definition at line 29 of file MustExecute.cpp.
|
static |
Return true if we can prove that the given ExitBlock is not reached on the first iteration of the given loop.
That is, the backedge of the loop must be executed before the ExitBlock is executed in any dynamic execution trace.
Definition at line 116 of file MustExecute.cpp.
References assert(), Cond, llvm::LoopBase< BlockT, LoopT >::contains(), DL, llvm::Module::getDataLayout(), llvm::LoopBase< BlockT, LoopT >::getHeader(), llvm::LoopBase< BlockT, LoopT >::getLoopPreheader(), llvm::BasicBlock::getModule(), llvm::BasicBlock::getSinglePredecessor(), LHS, RHS, and llvm::simplifyCmpInst().
Referenced by llvm::LoopSafetyInfo::allLoopPathsLeadToBlock().
|
static |
Collect all blocks from CurLoop
which lie on all possible paths from the header of CurLoop
(inclusive) to BB (exclusive) into the set Predecessors
.
If BB
is the header, Predecessors
will be empty.
Definition at line 159 of file MustExecute.cpp.
References assert(), BB, llvm::LoopBase< BlockT, LoopT >::contains(), llvm::SmallPtrSetImplBase::empty(), llvm::LoopBase< BlockT, LoopT >::getHeader(), llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::SmallVectorImpl< T >::pop_back_val(), and llvm::predecessors().
Referenced by llvm::LoopSafetyInfo::allLoopPathsLeadToBlock(), and llvm::ICFLoopSafetyInfo::doesNotWriteMemoryBefore().
|
static |
Lookup Key
in Map
and return the result, potentially after initializing the optional through Fn
(args
).
Definition at line 491 of file MustExecute.cpp.
References llvm::Optional< T >::getValue().
Referenced by llvm::MustBeExecutedContextExplorer::findForwardJoinPoint().
INITIALIZE_PASS_BEGIN | ( | MustBeExecutedContextPrinter | , |
"print-must-be-executed-contexts" | , | ||
"print the must-be-executed-context for all instructions" | , | ||
false | , | ||
true | |||
) |
INITIALIZE_PASS_BEGIN | ( | MustExecutePrinter | , |
"print-mustexecute" | , | ||
"Instructions which execute on loop entry" | , | ||
false | , | ||
true | |||
) |
|
static |
Definition at line 397 of file MustExecute.cpp.
References llvm::SimpleLoopSafetyInfo::computeLoopSafetyInfo(), I, llvm::SimpleLoopSafetyInfo::isGuaranteedToExecute(), and llvm::isGuaranteedToExecuteForEveryIteration().
Return true if L
might be an endless loop.
Definition at line 471 of file MustExecute.cpp.
References llvm::LoopBase< BlockT, LoopT >::getHeader(), llvm::BasicBlock::getParent(), and llvm::Function::hasFnAttribute().
Referenced by llvm::MustBeExecutedContextExplorer::findForwardJoinPoint().
Definition at line 351 of file MustExecute.cpp.
print Instructions which execute on loop entry |
Definition at line 336 of file MustExecute.cpp.
Referenced by abort_gzip(), bar(), llvm::RegionBase< RegionTraits< Function > >::contains(), foo(), llvm::ImutAVLFactory< ImutInfo >::getCanonicalTree(), llvm::RegionBase< RegionTraits< Function > >::getEnteringBlock(), llvm::RegionNodeBase< RegionTraits< Function > >::getEntry(), llvm::object::ExportDirectoryEntryRef::getExportRVA(), llvm::RegionNodeBase< RegionTraits< Function > >::isSubRegion(), and llvm::RegionBase< RegionTraits< Function > >::replaceEntry().
Definition at line 336 of file MustExecute.cpp.
Definition at line 352 of file MustExecute.cpp.
Referenced by llvm::coro::buildCoroutineFrame(), collectFrameAllocas(), and sinkLifetimeStartMarkers().
print mustexecute |
Definition at line 335 of file MustExecute.cpp.