#include "llvm/Analysis/Delinearization.h"
#include "AnalysisOptions.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/Debug.h"
#include "llvm/Support/raw_ostream.h"

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.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE DL_NAME

Definition at line 32 of file Delinearization.cpp.

◆ DL_NAME

#define DL_NAME "delinearize"

Definition at line 31 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 488 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(), llvm::APInt::udivrem(), and uint64_t.