UnifyLoopExits.cpp File Reference

#include "llvm/Transforms/Utils/UnifyLoopExits.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/Analysis/DomTreeUpdater.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Dominators.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Transforms/Utils.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/ControlFlowUtils.h"

Go to the source code of this file.

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.

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, SmallVectorImpl< BasicBlock * > &Incoming, BasicBlock *LoopExitBlock)
static bool	unifyLoopExits (DominatorTree &DT, LoopInfo &LI, Loop *L)
static bool	runImpl (LoopInfo &LI, DominatorTree &DT)

Variables
static cl::opt< unsigned >	MaxBooleansInControlFlowHub ("max-booleans-in-control-flow-hub", cl::init(32), cl::Hidden, cl::desc("Set the maximum number of outgoing blocks for using a boolean " "value to record the exiting block in the ControlFlowHub."))
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 31 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, SmallVectorImpl< BasicBlock * > &  Incoming, BasicBlock *  LoopExitBlock  )

static

Definition at line 89 of file UnifyLoopExits.cpp.

References llvm::PHINode::Create(), llvm::dbgs(), llvm::DominatorTree::dominates(), llvm::PoisonValue::get(), I, II, and LLVM_DEBUG.

Referenced by unifyLoopExits().

runImpl()

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

static

Definition at line 200 of file UnifyLoopExits.cpp.

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

unifyLoopExits()

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

static

Definition at line 144 of file UnifyLoopExits.cpp.

References llvm::ControlFlowHub::addBranch(), assert(), llvm::dbgs(), llvm::ControlFlowHub::finalize(), G, llvm::Value::getName(), LLVM_DEBUG, MaxBooleansInControlFlowHub, restoreSSA(), llvm::LoopInfoBase< BlockT, LoopT >::verify(), and llvm::DominatorTreeBase< NodeT, IsPostDom >::verify().

Referenced by runImpl().

Variable Documentation

block

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

Definition at line 70 of file UnifyLoopExits.cpp.

Referenced by _rpmalloc_aligned_reallocate(), _rpmalloc_allocate_from_heap_fallback(), _rpmalloc_deallocate_defer_small_or_medium(), _rpmalloc_deallocate_direct_small_or_medium(), _rpmalloc_reallocate(), _rpmalloc_span_finalize(), _rpmalloc_span_initialize_new(), llvm::SPIRV::ConvergenceRegionAnalyzer::analyze(), llvm::BCBlockRAII::BCBlockRAII(), blake3_compress_in_place(), blake3_compress_in_place_avx512(), blake3_compress_in_place_portable(), blake3_compress_in_place_sse2(), blake3_compress_in_place_sse41(), blake3_compress_xof(), blake3_compress_xof_avx512(), blake3_compress_xof_portable(), blake3_compress_xof_sse2(), blake3_compress_xof_sse41(), blake3_hash16_avx512(), blake3_hash4_avx512(), blake3_hash4_sse2(), blake3_hash4_sse41(), blake3_hash8_avx2(), blake3_hash8_avx512(), compress_pre(), free_list_pop(), llvm::GCOVBlock::getCyclesCount(), llvm::GenericUniformityAnalysisImpl< ContextT >::initialize(), LLVMSetSuccessor(), make_output(), parent_output(), llvm::GenericUniformityAnalysisImpl< ContextT >::print(), llvm::GCOVFile::readGCDA(), rpaligned_calloc(), and rpcalloc().

exits

unify loop exits

Definition at line 69 of file UnifyLoopExits.cpp.

false

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

Definition at line 71 of file UnifyLoopExits.cpp.

MaxBooleansInControlFlowHub

cl::opt< unsigned > MaxBooleansInControlFlowHub("max-booleans-in-control-flow-hub", cl::init(32), cl::Hidden, cl::desc("Set the maximum number of outgoing blocks for using a boolean " "value to record the exiting block in the ControlFlowHub.")) ( "max-booleans-in-control-flow-hub"  , cl::init(32)  , cl::Hidden  , cl::desc("Set the maximum number of outgoing blocks for using a boolean " "value to record the exiting block in the ControlFlowHub.")    )

static

Referenced by unifyLoopExits().