LoopSplitUtilsPass.cpp File Reference

#include "llvm/Transforms/Utils/LoopSplitUtilsPass.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Analysis/ScalarEvolutionPatternMatch.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Utils/LoopSplitUtils.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "loop-split-utils"

Functions
static bool	splitLoop (Loop *L, ScalarEvolution &SE, DominatorTree &DT, LoopInfo &LI)
	Build the partition list for L from the command-line split offsets and run the transform.

Variables
static cl::list< unsigned >	SplitPoints ("loop-split-points", cl::desc("Iteration offsets (relative to the induction start) " "at which to split each loop"), cl::CommaSeparated)
static cl::list< unsigned >	UnguardedPartitions ("loop-split-unguarded", cl::desc("Partition indices whose entry guard is omitted (the caller " "guarantees they run at least one iteration)"), cl::CommaSeparated)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "loop-split-utils"

Definition at line 32 of file LoopSplitUtilsPass.cpp.

Function Documentation

splitLoop()

bool splitLoop ( Loop * L, ScalarEvolution & SE, DominatorTree & DT, LoopInfo & LI )

static

Build the partition list for L from the command-line split offsets and run the transform.

Returns true if the loop was split.

Definition at line 48 of file LoopSplitUtilsPass.cpp.

References llvm::LoopSplitUtils::addPartition(), llvm::LoopSplitUtils::avoidPartitionGuard(), llvm::cast(), llvm::dbgs(), DEBUG_TYPE, llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getBackedgeTakenCount(), llvm::ScalarEvolution::getConstant(), llvm::LoopSplitUtils::getInductionVariable(), llvm::ScalarEvolution::getMinusSCEV(), llvm::LoopSplitUtils::getNumPartitions(), llvm::ScalarEvolution::getOne(), llvm::LoopSplitUtils::getPartitionValue(), llvm::ScalarEvolution::getSCEV(), llvm::ScalarEvolution::getTruncateExpr(), llvm::SCEV::getType(), I, llvm::APInt::isAllOnes(), llvm::LoopSplitUtils::isLegal(), LLVM_DEBUG, llvm::SCEVPatternMatch::m_SCEV(), llvm::SCEVPatternMatch::m_scev_AffineAddRec(), llvm::SCEVPatternMatch::m_scev_APInt(), llvm::SCEVPatternMatch::match(), N, llvm::Offset, P, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LoopSplitUtils::split(), SplitPoints, and UnguardedPartitions.

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

Variable Documentation

SplitPoints

cl::list< unsigned > SplitPoints("loop-split-points", cl::desc("Iteration offsets (relative to the induction start) " "at which to split each loop"), cl::CommaSeparated) ( "loop-split-points" , cl::desc("Iteration offsets (relative to the induction start) " "at which to split each loop") , cl::CommaSeparated  )

static

Referenced by llvm::LoopSplitUtilsPass::run(), and splitLoop().

UnguardedPartitions

cl::list< unsigned > UnguardedPartitions("loop-split-unguarded", cl::desc("Partition indices whose entry guard is omitted (the caller " "guarantees they run at least one iteration)"), cl::CommaSeparated) ( "loop-split-unguarded" , cl::desc("Partition indices whose entry guard is omitted (the caller " "guarantees they run at least one iteration)") , cl::CommaSeparated  )

static

Referenced by splitLoop().