LLVM 17.0.0git
|
#include "llvm/Transforms/Scalar/LoopLoadElimination.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/BlockFrequencyInfo.h"
#include "llvm/Analysis/GlobalsModRef.h"
#include "llvm/Analysis/LazyBlockFrequencyInfo.h"
#include "llvm/Analysis/LoopAccessAnalysis.h"
#include "llvm/Analysis/LoopAnalysisManager.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ProfileSummaryInfo.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/Analysis/TargetTransformInfo.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Value.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Scalar.h"
#include "llvm/Transforms/Utils.h"
#include "llvm/Transforms/Utils/LoopSimplify.h"
#include "llvm/Transforms/Utils/LoopVersioning.h"
#include "llvm/Transforms/Utils/ScalarEvolutionExpander.h"
#include "llvm/Transforms/Utils/SizeOpts.h"
#include <algorithm>
#include <cassert>
#include <forward_list>
#include <tuple>
#include <utility>
Go to the source code of this file.
Macros | |
#define | LLE_OPTION "loop-load-elim" |
#define | DEBUG_TYPE LLE_OPTION |
Functions | |
STATISTIC (NumLoopLoadEliminted, "Number of loads eliminated by LLE") | |
static bool | doesStoreDominatesAllLatches (BasicBlock *StoreBlock, Loop *L, DominatorTree *DT) |
Check if the store dominates all latches, so as long as there is no intervening store this value will be loaded in the next iteration. | |
static bool | isLoadConditional (LoadInst *Load, Loop *L) |
Return true if the load is not executed on all paths in the loop. | |
static bool | eliminateLoadsAcrossLoops (Function &F, LoopInfo &LI, DominatorTree &DT, BlockFrequencyInfo *BFI, ProfileSummaryInfo *PSI, ScalarEvolution *SE, AssumptionCache *AC, LoopAccessInfoManager &LAIs) |
Variables | |
static cl::opt< unsigned > | CheckPerElim ("runtime-check-per-loop-load-elim", cl::Hidden, cl::desc("Max number of memchecks allowed per eliminated load on average"), cl::init(1)) |
static cl::opt< unsigned > | LoadElimSCEVCheckThreshold ("loop-load-elimination-scev-check-threshold", cl::init(8), cl::Hidden, cl::desc("The maximum number of SCEV checks allowed for Loop " "Load Elimination")) |
#define DEBUG_TYPE LLE_OPTION |
Definition at line 70 of file LoopLoadElimination.cpp.
#define LLE_OPTION "loop-load-elim" |
Definition at line 69 of file LoopLoadElimination.cpp.
|
static |
Check if the store dominates all latches, so as long as there is no intervening store this value will be loaded in the next iteration.
Definition at line 145 of file LoopLoadElimination.cpp.
References llvm::all_of(), and llvm::DominatorTree::dominates().
|
static |
Definition at line 624 of file LoopLoadElimination.cpp.
References llvm::LoopAccessInfoManager::clear(), llvm::depth_first(), llvm::LoopAccessInfoManager::getInfo(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::simplifyLoop().
Referenced by llvm::LoopLoadEliminationPass::run().
Return true if the load is not executed on all paths in the loop.
Definition at line 155 of file LoopLoadElimination.cpp.
STATISTIC | ( | NumLoopLoadEliminted | , |
"Number of loads eliminated by LLE" | |||
) |
|
static |
|
static |