UnifyLoopExits.cpp File Reference

#include "llvm/Transforms/Utils/UnifyLoopExits.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/IR/Dominators.h"
#include "llvm/InitializePasses.h"
#include "llvm/Transforms/Utils.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"

Include dependency graph for UnifyLoopExits.cpp:

Go to the source code of this file.

Namespaces
	llvm
	This file implements support for optimizing divisions by a constant.

Macros
#define	DEBUG_TYPE   "unify-loop-exits"

Functions
	INITIALIZE_PASS_BEGIN (UnifyLoopExitsLegacyPass, "unify-loop-exits", "Fixup each natural loop to have a single exit block", false, false) INITIALIZE_PASS_END(UnifyLoopExitsLegacyPass
unify loop Fixup each natural loop to have a single exit static false void	restoreSSA (const DominatorTree &DT, const Loop *L, const SetVector< BasicBlock * > &Incoming, BasicBlock *LoopExitBlock)
static bool	unifyLoopExits (DominatorTree &DT, LoopInfo &LI, Loop *L)
static bool	runImpl (LoopInfo &LI, DominatorTree &DT)

Variables
unify loop	exits
unify loop Fixup each natural loop to have a single exit	block
unify loop Fixup each natural loop to have a single exit	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "unify-loop-exits"

Definition at line 27 of file UnifyLoopExits.cpp.

Function Documentation

INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	UnifyLoopExitsLegacyPass	,
		"unify-loop-exits"	,
		"Fixup each natural loop to have a single exit block"	,
		false	,
		false
	)

restoreSSA()

unify loop Fixup each natural loop to have a single exit static false void restoreSSA ( const DominatorTree &  DT, const Loop *  L, const SetVector< BasicBlock * > &  Incoming, BasicBlock *  LoopExitBlock  )

static

Definition at line 83 of file UnifyLoopExits.cpp.

References BB, llvm::PHINode::Create(), llvm::dbgs(), llvm::tgtok::Def, llvm::UndefValue::get(), I, llvm::tgtok::In, and LLVM_DEBUG.

Referenced by unifyLoopExits().

runImpl()

static bool runImpl ( LoopInfo &  LI, DominatorTree &  DT  )

static

Definition at line 210 of file UnifyLoopExits.cpp.

References llvm::dbgs(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopDepth(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopsInPreorder(), LLVM_DEBUG, Loops, and unifyLoopExits().

Referenced by llvm::UnifyLoopExitsPass::run().

unifyLoopExits()

static bool unifyLoopExits ( DominatorTree &  DT, LoopInfo &  LI, Loop *  L  )

static

Definition at line 138 of file UnifyLoopExits.cpp.

References assert(), BB, llvm::LoopBase< BlockT, LoopT >::contains(), llvm::CreateControlFlowHub(), llvm::dbgs(), llvm::DomTreeUpdater::Eager, llvm::Sched::Fast, llvm::JumpTable::Full, G, llvm::LoopBase< BlockT, LoopT >::getExitingBlocks(), llvm::LoopInfoBase< BlockT, LoopT >::getLoopFor(), llvm::LoopBase< BlockT, LoopT >::getParentLoop(), llvm::SetVector< T, Vector, Set >::insert(), LLVM_DEBUG, restoreSSA(), S, llvm::successors(), llvm::DominatorTreeBase< NodeT, IsPostDom >::verify(), llvm::LoopInfoBase< BlockT, LoopT >::verify(), and llvm::LoopBase< BlockT, LoopT >::verifyLoop().

Referenced by runImpl().

Variable Documentation

block

unify loop Fixup each natural loop to have a single exit block

Definition at line 64 of file UnifyLoopExits.cpp.

exits

unify loop exits

Definition at line 63 of file UnifyLoopExits.cpp.

false

unify loop Fixup each natural loop to have a single exit false

Definition at line 65 of file UnifyLoopExits.cpp.