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/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/IR/PrintPasses.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Typedefs
using	Direction = Loop::LoopBounds::Direction

Functions
static Value *	findFinalIVValue (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, true >	VerifyLoopInfoX ("verify-loop-info", cl::location(VerifyLoopInfo), cl::Hidden, cl::desc("Verify loop info (time consuming)"))
static const char *	LLVMLoopMustProgress = "llvm.loop.mustprogress"
	loops
Natural Loop	Information
Natural Loop	true

Typedef Documentation

Direction

using Direction = Loop::LoopBounds::Direction

Definition at line 231 of file LoopInfo.cpp.

Function Documentation

findFinalIVValue()

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 185 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	)

References INITIALIZE_PASS_DEPENDENCY.

isBlockInLCSSAForm()

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

static

Definition at line 432 of file LoopInfo.cpp.

References llvm::cast(), llvm::dyn_cast(), llvm::ilist_detail::node_parent_access< NodeTy, ParentTy >::getParent(), I, llvm::DominatorTree::isReachableFromEntry(), and P.

Referenced by llvm::Loop::isLCSSAForm(), and llvm::Loop::isRecursivelyLCSSAForm().

Variable Documentation

Information

Natural Loop Information

Definition at line 1219 of file LoopInfo.cpp.

LLVMLoopMustProgress

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

static

Definition at line 1156 of file LoopInfo.cpp.

Referenced by llvm::hasMustProgress().

loops

loops

Definition at line 1219 of file LoopInfo.cpp.

true

Natural Loop true

Definition at line 1220 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