LLVM 20.0.0git
|
The group of interleaved loads/stores sharing the same stride and close to each other. More...
#include "llvm/Analysis/VectorUtils.h"
Public Member Functions | |
InterleaveGroup (uint32_t Factor, bool Reverse, Align Alignment) | |
InterleaveGroup (InstTy *Instr, int32_t Stride, Align Alignment) | |
bool | isReverse () const |
uint32_t | getFactor () const |
Align | getAlign () const |
uint32_t | getNumMembers () const |
bool | insertMember (InstTy *Instr, int32_t Index, Align NewAlign) |
Try to insert a new member Instr with index Index and alignment NewAlign . | |
InstTy * | getMember (uint32_t Index) const |
Get the member with the given index Index . | |
uint32_t | getIndex (const InstTy *Instr) const |
Get the index for the given member. | |
InstTy * | getInsertPos () const |
void | setInsertPos (InstTy *Inst) |
void | addMetadata (InstTy *NewInst) const |
Add metadata (e.g. | |
bool | requiresScalarEpilogue () const |
Returns true if this Group requires a scalar iteration to handle gaps. | |
void | addMetadata (Instruction *NewInst) const |
The group of interleaved loads/stores sharing the same stride and close to each other.
Each member in this group has an index starting from 0, and the largest index should be less than interleaved factor, which is equal to the absolute value of the access's stride.
E.g. An interleaved load group of factor 4: for (unsigned i = 0; i < 1024; i+=4) { a = A[i]; // Member of index 0 b = A[i+1]; // Member of index 1 d = A[i+3]; // Member of index 3 ... }
An interleaved store group of factor 4: for (unsigned i = 0; i < 1024; i+=4) { ... A[i] = a; // Member of index 0 A[i+1] = b; // Member of index 1 A[i+2] = c; // Member of index 2 A[i+3] = d; // Member of index 3 }
Note: the interleaved load group could have gaps (missing members), but the interleaved store group doesn't allow gaps.
Definition at line 488 of file VectorUtils.h.
|
inline |
Definition at line 490 of file VectorUtils.h.
References llvm::Reverse.
|
inline |
Definition at line 494 of file VectorUtils.h.
References assert().
void llvm::InterleaveGroup< Instruction >::addMetadata | ( | Instruction * | NewInst | ) | const |
Definition at line 1638 of file VectorUtils.cpp.
References llvm::propagateMetadata().
void InterleaveGroup::addMetadata | ( | InstTy * | NewInst | ) | const |
Add metadata (e.g.
alias info) from the instructions in this group to NewInst
.
FIXME: this function currently does not add noalias metadata a'la addNewMedata. To do that we need to compute the intersection of the noalias info from all members.
Definition at line 1632 of file VectorUtils.cpp.
References llvm_unreachable.
Referenced by llvm::VPInterleaveRecipe::execute().
|
inline |
Definition at line 505 of file VectorUtils.h.
Referenced by llvm::VPInterleaveRecipe::execute().
|
inline |
|
inline |
Get the index for the given member.
Unlike the key in the member map, the index starts from 0.
Definition at line 565 of file VectorUtils.h.
References I, and llvm_unreachable.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().
|
inline |
Definition at line 574 of file VectorUtils.h.
Referenced by llvm::VPInterleaveRecipe::execute(), llvm::VPInterleaveRecipe::getInsertPos(), and llvm::LoopVectorizationCostModel::setWideningDecision().
|
inline |
Get the member with the given index Index
.
Definition at line 558 of file VectorUtils.h.
References Index, and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::lookup().
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving(), llvm::createBitMaskForGaps(), llvm::VPInterleaveRecipe::execute(), llvm::InterleaveGroup< InstTy >::requiresScalarEpilogue(), and llvm::LoopVectorizationCostModel::setWideningDecision().
|
inline |
Definition at line 506 of file VectorUtils.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::size().
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving(), llvm::createBitMaskForGaps(), and llvm::LoopVectorizationCostModel::setWideningDecision().
|
inline |
Try to insert a new member Instr
with index Index
and alignment NewAlign
.
The index is related to the leader and it could be negative if it is the new leader.
Definition at line 513 of file VectorUtils.h.
References llvm::checkedAdd(), llvm::checkedSub(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::contains(), and Index.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().
|
inline |
Definition at line 503 of file VectorUtils.h.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving(), llvm::createBitMaskForGaps(), llvm::VPInterleaveRecipe::execute(), and llvm::InterleaveGroup< InstTy >::requiresScalarEpilogue().
|
inline |
Returns true if this Group requires a scalar iteration to handle gaps.
Definition at line 586 of file VectorUtils.h.
References assert(), llvm::InterleaveGroup< InstTy >::getFactor(), llvm::InterleaveGroup< InstTy >::getMember(), and llvm::InterleaveGroup< InstTy >::isReverse().
|
inline |
Definition at line 575 of file VectorUtils.h.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().