LLVM
15.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. More... | |
static bool | isLoadConditional (LoadInst *Load, Loop *L) |
Return true if the load is not executed on all paths in the loop. More... | |
static bool | eliminateLoadsAcrossLoops (Function &F, LoopInfo &LI, DominatorTree &DT, BlockFrequencyInfo *BFI, ProfileSummaryInfo *PSI, ScalarEvolution *SE, AssumptionCache *AC, function_ref< const LoopAccessInfo &(Loop &)> GetLAI) |
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")) |
static const char | LLE_name [] = "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 144 of file LoopLoadElimination.cpp.
References llvm::all_of(), llvm::DominatorTree::dominates(), and llvm::LoopBase< BlockT, LoopT >::getLoopLatches().
|
static |
Definition at line 609 of file LoopLoadElimination.cpp.
References llvm::AMDGPUISD::BFI, llvm::depth_first(), llvm::LoopBase< BlockT, LoopT >::getExitingBlock(), llvm::LoopBase< BlockT, LoopT >::isInnermost(), llvm::Loop::isRotatedForm(), 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 154 of file LoopLoadElimination.cpp.
References llvm::LoopBase< BlockT, LoopT >::getHeader(), and llvm::SPII::Load.
STATISTIC | ( | NumLoopLoadEliminted | , |
"Number of loads eliminated by LLE" | |||
) |
|
static |
|
static |
Definition at line 691 of file LoopLoadElimination.cpp.