Delinearization.cpp File Reference

#include "llvm/Analysis/Delinearization.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/ScalarEvolutionDivision.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/PassManager.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"

Go to the source code of this file.

Macros
#define	DL_NAME   "delinearize"
#define	DEBUG_TYPE   DL_NAME

Functions
static bool	containsUndefs (const SCEV *S)
static bool	findArrayDimensionsRec (ScalarEvolution &SE, SmallVectorImpl< const SCEV * > &Terms, SmallVectorImpl< const SCEV * > &Sizes)
static bool	containsParameters (SmallVectorImpl< const SCEV * > &Terms)
static int	numberOfTerms (const SCEV *S)
static const SCEV *	removeConstantFactors (ScalarEvolution &SE, const SCEV *T)
static std::optional< APInt >	tryIntoAPInt (const SCEV *S)
static bool	collectConstantAbsSteps (ScalarEvolution &SE, const SCEV *Expr, SmallVectorImpl< uint64_t > &Steps, uint64_t ElementSize)
	Collects the absolute values of constant steps for all induction variables.
static bool	isKnownNonNegative (ScalarEvolution *SE, const SCEV *S, const Value *Ptr)
static bool	isKnownLessThan (ScalarEvolution *SE, const SCEV *S, const SCEV *Size)
	Compare to see if S is less than Size, using.

Variables
static cl::opt< bool >	UseFixedSizeArrayHeuristic ("delinearize-use-fixed-size-array-heuristic", cl::init(false), cl::Hidden, cl::desc("When printing analysis, use the heuristic for fixed-size arrays " "if the default delinearizetion fails."))

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   DL_NAME

Definition at line 34 of file Delinearization.cpp.

DL_NAME

#define DL_NAME   "delinearize"

Definition at line 33 of file Delinearization.cpp.

Function Documentation

collectConstantAbsSteps()

bool collectConstantAbsSteps ( ScalarEvolution & SE, const SCEV * Expr, SmallVectorImpl< uint64_t > & Steps, uint64_t ElementSize )

static

Collects the absolute values of constant steps for all induction variables.

Returns true if we can prove that all step recurrences are constants and Expr is divisible by ElementSize. Each step recurrence is stored in Steps after divided by ElementSize.

Definition at line 498 of file Delinearization.cpp.

References collectConstantAbsSteps(), llvm::dyn_cast(), llvm::SCEVAddRecExpr::getStart(), llvm::SCEVAddRecExpr::getStepRecurrence(), llvm::SCEVAddRecExpr::isAffine(), Mod, llvm::SmallVectorTemplateBase< T, bool >::push_back(), tryIntoAPInt(), llvm::APInt::tryZExtValue(), and llvm::APInt::udivrem().

Referenced by collectConstantAbsSteps(), and llvm::findFixedSizeArrayDimensions().

containsParameters()

bool containsParameters ( SmallVectorImpl< const SCEV * > & Terms )

inlinestatic

Definition at line 248 of file Delinearization.cpp.

References llvm::isa(), llvm::SCEVExprContains(), and T.

Referenced by llvm::findArrayDimensions().

containsUndefs()

bool containsUndefs ( const SCEV * S )

inlinestatic

Definition at line 42 of file Delinearization.cpp.

References llvm::dyn_cast(), llvm::isa(), and llvm::SCEVExprContains().

findArrayDimensionsRec()

bool findArrayDimensionsRec ( ScalarEvolution & SE, SmallVectorImpl< const SCEV * > & Terms, SmallVectorImpl< const SCEV * > & Sizes )

static

Definition at line 203 of file Delinearization.cpp.

References llvm::SCEVDivision::divide(), llvm::dyn_cast(), E(), llvm::erase_if(), findArrayDimensionsRec(), llvm::ScalarEvolution::getMulExpr(), llvm::isa(), llvm::Last, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::SmallVectorTemplateCommon< T, typename >::size().

Referenced by llvm::findArrayDimensions(), and findArrayDimensionsRec().

isKnownLessThan()

bool isKnownLessThan ( ScalarEvolution * SE, const SCEV * S, const SCEV * Size )

static

Compare to see if S is less than Size, using.

isKnownNegative(S - Size)

with some extra checking if S is an AddRec and we can prove less-than using the loop bounds.

Definition at line 695 of file Delinearization.cpp.

References llvm::dyn_cast(), llvm::SCEVAddRecExpr::evaluateAtIteration(), llvm::ScalarEvolution::getBackedgeTakenCount(), llvm::SCEVAddRecExpr::getLoop(), llvm::ScalarEvolution::getMinusSCEV(), llvm::SCEVAddRecExpr::getStart(), llvm::SCEVAddRecExpr::getStepRecurrence(), llvm::ScalarEvolution::getTruncateOrZeroExtend(), llvm::SCEV::getType(), llvm::ScalarEvolution::hasLoopInvariantBackedgeTakenCount(), llvm::SCEVNAryExpr::hasNoSignedWrap(), llvm::isa(), llvm::SCEVAddRecExpr::isAffine(), llvm::ScalarEvolution::isKnownNegative(), llvm::ScalarEvolution::isKnownNonNegative(), llvm::ScalarEvolution::isKnownNonPositive(), Size, and T.

Referenced by llvm::validateDelinearizationResult().

isKnownNonNegative()

bool isKnownNonNegative ( ScalarEvolution * SE, const SCEV * S, const Value * Ptr )

static

Definition at line 669 of file Delinearization.cpp.

References llvm::dyn_cast(), and llvm::ScalarEvolution::isKnownNonNegative().

numberOfTerms()

int numberOfTerms ( const SCEV * S )

inlinestatic

Definition at line 257 of file Delinearization.cpp.

References llvm::dyn_cast().

Referenced by llvm::findArrayDimensions().

removeConstantFactors()

const SCEV * removeConstantFactors ( ScalarEvolution & SE, const SCEV * T )

static

Definition at line 263 of file Delinearization.cpp.

References llvm::dyn_cast(), llvm::ScalarEvolution::getMulExpr(), llvm::isa(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and T.

Referenced by llvm::findArrayDimensions().

tryIntoAPInt()

std::optional< APInt > tryIntoAPInt ( const SCEV * S )

static

Definition at line 488 of file Delinearization.cpp.

References llvm::dyn_cast().

Referenced by collectConstantAbsSteps(), and llvm::findFixedSizeArrayDimensions().

Variable Documentation

UseFixedSizeArrayHeuristic

cl::opt< bool > UseFixedSizeArrayHeuristic("delinearize-use-fixed-size-array-heuristic", cl::init(false), cl::Hidden, cl::desc("When printing analysis, use the heuristic for fixed-size arrays " "if the default delinearizetion fails.")) ( "delinearize-use-fixed-size-array-heuristic" , cl::init(false) , cl::Hidden , cl::desc("When printing analysis, use the heuristic for fixed-size arrays " "if the default delinearizetion fails.")  )

static