LLVM 19.0.0git
Typedefs | Functions | Variables
LoopInfo.cpp File Reference
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/Analysis/IVDescriptors.h"
#include "llvm/Analysis/LoopIterator.h"
#include "llvm/Analysis/LoopNestAnalysis.h"
#include "llvm/Analysis/MemorySSA.h"
#include "llvm/Analysis/MemorySSAUpdater.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/Config/llvm-config.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/PrintPasses.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/GenericLoopInfoImpl.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Typedefs

using Direction = Loop::LoopBounds::Direction
 

Functions

static ValuefindFinalIVValue (const Loop &L, const PHINode &IndVar, const Instruction &StepInst)
 Return the final value of the loop induction variable if found.
 
static bool isBlockInLCSSAForm (const Loop &L, const BasicBlock &BB, const DominatorTree &DT, bool IgnoreTokens)
 
 INITIALIZE_PASS_BEGIN (LoopInfoWrapperPass, "loops", "Natural Loop Information", true, true) INITIALIZE_PASS_END(LoopInfoWrapperPass
 

Variables

static cl::opt< bool, trueVerifyLoopInfoX ("verify-loop-info", cl::location(VerifyLoopInfo), cl::Hidden, cl::desc("Verify loop info (time consuming)"))
 
static const charLLVMLoopMustProgress = "llvm.loop.mustprogress"
 
 loops
 
Natural Loop Information
 
Natural Loop true
 

Typedef Documentation

◆ Direction

Definition at line 230 of file LoopInfo.cpp.

Function Documentation

◆ findFinalIVValue()

static Value * findFinalIVValue ( const Loop L,
const PHINode IndVar,
const Instruction StepInst 
)
static

Return the final value of the loop induction variable if found.

Definition at line 184 of file LoopInfo.cpp.

References llvm::User::getOperand().

Referenced by llvm::Loop::LoopBounds::getBounds().

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN ( LoopInfoWrapperPass  ,
"loops"  ,
"Natural Loop Information"  ,
true  ,
true   
)

◆ isBlockInLCSSAForm()

static bool isBlockInLCSSAForm ( const Loop L,
const BasicBlock BB,
const DominatorTree DT,
bool  IgnoreTokens 
)
static

Variable Documentation

◆ Information

Natural Loop Information

Definition at line 1177 of file LoopInfo.cpp.

◆ LLVMLoopMustProgress

const char* LLVMLoopMustProgress = "llvm.loop.mustprogress"
static

Definition at line 1112 of file LoopInfo.cpp.

Referenced by llvm::hasMustProgress().

◆ loops

loops

Definition at line 1177 of file LoopInfo.cpp.

◆ true

Natural Loop true

Definition at line 1178 of file LoopInfo.cpp.

◆ VerifyLoopInfoX

cl::opt< bool, true > VerifyLoopInfoX("verify-loop-info", cl::location(VerifyLoopInfo), cl::Hidden, cl::desc("Verify loop info (time consuming)")) ( "verify-loop-info"  ,
cl::location(VerifyLoopInfo)  ,
cl::Hidden  ,
cl::desc("Verify loop info (time consuming)")   
)
static