#include "llvm/Transforms/Scalar/LoopInstSimplify.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/LoopIterator.h"
#include "llvm/Analysis/LoopPass.h"
#include "llvm/Analysis/MemorySSA.h"
#include "llvm/Analysis/MemorySSAUpdater.h"
#include "llvm/Analysis/TargetLibraryInfo.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/PassManager.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Casting.h"
#include "llvm/Transforms/Scalar.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/LoopUtils.h"
#include <optional>
#include <utility>

Macros
#define	DEBUG_TYPE "loop-instsimplify"

Functions
	STATISTIC (NumSimplified, "Number of redundant instructions simplified")

static bool	simplifyLoopInst (Loop &L, DominatorTree &DT, LoopInfo &LI, AssumptionCache &AC, const TargetLibraryInfo &TLI, MemorySSAUpdater *MSSAU)

	INITIALIZE_PASS_BEGIN (LoopInstSimplifyLegacyPass, "loop-instsimplify", "Simplify instructions in loops", false, false) INITIALIZE_PASS_END(LoopInstSimplifyLegacyPass

Variables
loop	instsimplify

loop Simplify instructions in	loops

loop Simplify instructions in	false

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "loop-instsimplify"

Definition at line 43 of file LoopInstSimplify.cpp.

Function Documentation

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	LoopInstSimplifyLegacyPass	,
		"loop-instsimplify"	,
		"Simplify instructions in loops"	,
		false	,
		false
	)

◆ simplifyLoopInst()

static bool simplifyLoopInst	(	Loop &	L,
		DominatorTree &	DT,
		LoopInfo &	LI,
		AssumptionCache &	AC,
		const TargetLibraryInfo &	TLI,
		MemorySSAUpdater *	MSSAU
	)

static

Definition at line 47 of file LoopInstSimplify.cpp.

References assert(), llvm::SmallPtrSetImplBase::clear(), llvm::SmallVectorImpl< T >::clear(), llvm::SmallPtrSetImpl< PtrType >::count(), DL, llvm::SmallPtrSetImplBase::empty(), llvm::SmallVectorBase< Size_T >::empty(), llvm::MemorySSA::getMemoryAccess(), llvm::MemorySSAUpdater::getMemorySSA(), llvm::SimplifyQuery::getWithInstruction(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::isInstructionTriviallyDead(), llvm::DominatorTree::isReachableFromEntry(), llvm::make_early_inc_range(), llvm::LoopBlocksRPO::perform(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::RecursivelyDeleteTriviallyDeadInstructions(), llvm::LoopInfo::replacementPreservesLCSSAForm(), llvm::simplifyInstruction(), std::swap(), llvm::MemorySSA::verifyMemorySSA(), and llvm::VerifyMemorySSA.

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

◆ STATISTIC()

STATISTIC	(	NumSimplified	,
		"Number of redundant instructions simplified"
	)

Variable Documentation

◆ false

loop Simplify instructions in false

Definition at line 244 of file LoopInstSimplify.cpp.

◆ instsimplify

loop instsimplify

Definition at line 243 of file LoopInstSimplify.cpp.

◆ loops

loop Simplify instructions in loops