LLVM  14.0.0git
Macros | Functions | Variables
MustExecute.cpp File Reference
#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/DataLayout.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/FormattedStream.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for MustExecute.cpp:

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

print 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
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "must-execute"

Definition at line 32 of file MustExecute.cpp.

Function Documentation

◆ CanProveNotTakenFirstIteration()

static bool CanProveNotTakenFirstIteration ( const BasicBlock ExitBlock,
const DominatorTree DT,
const Loop CurLoop 
)
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 119 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(), and llvm::SimplifyCmpInst().

Referenced by llvm::LoopSafetyInfo::allLoopPathsLeadToBlock().

◆ collectTransitivePredecessors()

static void collectTransitivePredecessors ( const Loop CurLoop,
const BasicBlock BB,
SmallPtrSetImpl< const BasicBlock * > &  Predecessors 
)
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 162 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().

◆ getOrCreateCachedOptional()

template<typename K , typename V , typename FnTy , typename... ArgsTy>
static V getOrCreateCachedOptional ( Key,
DenseMap< K, Optional< V >> &  Map,
FnTy &&  Fn,
ArgsTy &&...  args 
)
static

Lookup Key in Map and return the result, potentially after initializing the optional through Fn(args).

Definition at line 494 of file MustExecute.cpp.

References llvm::Optional< T >::getValue(), and llvm::Optional< T >::hasValue().

Referenced by llvm::MustBeExecutedContextExplorer::findForwardJoinPoint().

◆ INITIALIZE_PASS_BEGIN() [1/2]

INITIALIZE_PASS_BEGIN ( MustBeExecutedContextPrinter  ,
"print-must-be-executed-contexts ,
"print the must-be-executed-context for all instructions ,
false  ,
true   
)

◆ INITIALIZE_PASS_BEGIN() [2/2]

INITIALIZE_PASS_BEGIN ( MustExecutePrinter  ,
"print-mustexecute ,
"Instructions which execute on loop entry ,
false  ,
true   
)

◆ isMustExecuteIn()

static bool isMustExecuteIn ( const Instruction I,
Loop L,
DominatorTree DT 
)
static

◆ maybeEndlessLoop()

static bool maybeEndlessLoop ( const Loop L)
static

Variable Documentation

◆ contexts

print must be executed contexts

Definition at line 354 of file MustExecute.cpp.

◆ entry

print Instructions which execute on loop entry

◆ false

print must be executed print the must be executed context for all false

Definition at line 339 of file MustExecute.cpp.

◆ instructions

print must be executed print the must be executed context for all instructions

◆ mustexecute

print mustexecute

Definition at line 338 of file MustExecute.cpp.