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 468 of file VectorUtils.h.
|
inline |
Definition at line 470 of file VectorUtils.h.
References llvm::Reverse.
|
inline |
Definition at line 474 of file VectorUtils.h.
References assert().
void llvm::InterleaveGroup< Instruction >::addMetadata | ( | Instruction * | NewInst | ) | const |
Definition at line 1538 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 1532 of file VectorUtils.cpp.
References llvm_unreachable.
Referenced by llvm::VPInterleaveRecipe::execute().
|
inline |
Definition at line 485 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 545 of file VectorUtils.h.
References I, and llvm_unreachable.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving(), and llvm::VPInterleaveRecipe::execute().
|
inline |
Definition at line 554 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 538 of file VectorUtils.h.
References 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 486 of file VectorUtils.h.
References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::size().
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving(), and llvm::createBitMaskForGaps().
|
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 493 of file VectorUtils.h.
References llvm::checkedAdd(), llvm::checkedSub(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::contains().
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().
|
inline |
Definition at line 483 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 566 of file VectorUtils.h.
References assert(), llvm::InterleaveGroup< InstTy >::getFactor(), llvm::InterleaveGroup< InstTy >::getMember(), and llvm::InterleaveGroup< InstTy >::isReverse().
|
inline |
Definition at line 555 of file VectorUtils.h.
Referenced by llvm::InterleavedAccessInfo::analyzeInterleaving().