VPTransformState holds information passed down when "executing" a VPlan, needed for generating the output IR. More...

#include "Transforms/Vectorize/VPlan.h"

Classes
struct	CFGState
	Hold state information used when constructing the CFG of the output IR, traversing the VPBasicBlocks and generating corresponding IR BasicBlocks. More...

struct	DataState

Public Member Functions
	VPTransformState (ElementCount VF, unsigned UF, LoopInfo LI, DominatorTree DT, IRBuilderBase &Builder, InnerLoopVectorizer ILV, VPlan Plan, LLVMContext &Ctx)

Value *	get (VPValue *Def, unsigned Part, bool IsScalar=false)
	Get the generated vector Value for a given VPValue `Def` and a given `Part` if `IsScalar` is false, otherwise return the generated scalar for `Part`.

Value *	get (VPValue *Def, const VPIteration &Instance)
	Get the generated Value for a given VPValue and given Part and Lane.

bool	hasVectorValue (VPValue *Def, unsigned Part)

bool	hasScalarValue (VPValue *Def, VPIteration Instance)

void	set (VPValue Def, Value V, unsigned Part, bool IsScalar=false)
	Set the generated vector Value for a given VPValue and a given Part, if `IsScalar` is false.

void	reset (VPValue Def, Value V, unsigned Part)
	Reset an existing vector value for `Def` and a given `Part`.

void	set (VPValue Def, Value V, const VPIteration &Instance)
	Set the generated scalar `V` for `Def` and the given `Instance`.

void	reset (VPValue Def, Value V, const VPIteration &Instance)
	Reset an existing scalar value for `Def` and a given `Instance`.

void	addNewMetadata (Instruction To, const Instruction Orig)
	Add additional metadata to `To` that was not present on `Orig`.

void	addMetadata (Value To, Instruction From)
	Add metadata from one instruction to another.

void	setDebugLocFrom (DebugLoc DL)
	Set the debug location in the builder using the debug location `DL`.

void	packScalarIntoVectorValue (VPValue *Def, const VPIteration &Instance)
	Construct the vector value of a scalarized value `V` one lane at a time.

Public Attributes
ElementCount	VF
	The chosen Vectorization and Unroll Factors of the loop being vectorized.

unsigned	UF

std::optional< VPIteration >	Instance
	Hold the indices to generate specific scalar instructions.

struct llvm::VPTransformState::DataState	Data

struct llvm::VPTransformState::CFGState	CFG

LoopInfo *	LI
	Hold a pointer to LoopInfo to register new basic blocks in the loop.

IRBuilderBase &	Builder
	Hold a reference to the IRBuilder used to generate output IR code.

InnerLoopVectorizer *	ILV
	Hold a pointer to InnerLoopVectorizer to reuse its IR generation methods.

VPlan *	Plan
	Pointer to the VPlan code is generated for.

Loop *	CurrentVectorLoop = nullptr
	The loop object for the current parent region, or nullptr.

LoopVersioning *	LVer = nullptr
	LoopVersioning.

DenseMap< const SCEV , Value >	ExpandedSCEVs
	Map SCEVs to their expanded values.

VPTypeAnalysis	TypeAnalysis
	VPlan-based type analysis.

Detailed Description

VPTransformState holds information passed down when "executing" a VPlan, needed for generating the output IR.

Definition at line 255 of file VPlan.h.

Constructor & Destructor Documentation

◆ VPTransformState()

VPTransformState::VPTransformState	(	ElementCount	VF,
		unsigned	UF,
		LoopInfo *	LI,
		DominatorTree *	DT,
		IRBuilderBase &	Builder,
		InnerLoopVectorizer *	ILV,
		VPlan *	Plan,
		LLVMContext &	Ctx
	)

Definition at line 224 of file VPlan.cpp.

Member Function Documentation

◆ addMetadata()

void VPTransformState::addMetadata	(	Value *	To,
		Instruction *	From
	)

Add metadata from one instruction to another.

This includes both the original MDs from From and additional ones (

See also: addNewMetadata). Use this for newly created instructions in the vector loop.

Definition at line 374 of file VPlan.cpp.

References addNewMetadata(), From, and llvm::propagateMetadata().

Referenced by llvm::VPWidenRecipe::execute(), llvm::VPWidenCastRecipe::execute(), llvm::VPWidenCallRecipe::execute(), llvm::VPWidenSelectRecipe::execute(), llvm::VPWidenGEPRecipe::execute(), llvm::VPWidenIntOrFpInductionRecipe::execute(), llvm::VPWidenLoadRecipe::execute(), llvm::VPWidenLoadEVLRecipe::execute(), llvm::VPWidenStoreRecipe::execute(), and llvm::VPWidenStoreEVLRecipe::execute().

◆ addNewMetadata()

void VPTransformState::addNewMetadata	(	Instruction *	To,
		const Instruction *	Orig
	)

Add additional metadata to To that was not present on Orig.

Currently this is used to add the noalias annotations based on the inserted memchecks. Use this for instructions that are cloned into the vector loop.

Definition at line 366 of file VPlan.cpp.

References llvm::LoopVersioning::annotateInstWithNoAlias(), and LVer.

Referenced by addMetadata(), and llvm::InnerLoopVectorizer::scalarizeInstruction().