28#define DEBUG_TYPE "dxil-flatten-arrays"
33class DXILFlattenArraysLegacy :
public ModulePass {
36 bool runOnModule(
Module &M)
override;
44 Value *RootPointerOperand;
49class DXILFlattenArraysVisitor
50 :
public InstVisitor<DXILFlattenArraysVisitor, bool> {
52 DXILFlattenArraysVisitor(
54 : GlobalMap(GlobalMap) {}
62 bool visitICmpInst(
ICmpInst &ICI) {
return false; }
63 bool visitFCmpInst(
FCmpInst &FCI) {
return false; }
66 bool visitCastInst(
CastInst &CI) {
return false; }
67 bool visitBitCastInst(
BitCastInst &BCI) {
return false; }
71 bool visitPHINode(
PHINode &
PHI) {
return false; }
74 bool visitCallInst(
CallInst &ICI) {
return false; }
75 bool visitFreezeInst(
FreezeInst &FI) {
return false; }
76 static bool isMultiDimensionalArray(
Type *
T);
77 static std::pair<unsigned, Type *> getElementCountAndType(
Type *ArrayTy);
93bool DXILFlattenArraysVisitor::finish() {
94 GEPChainInfoMap.clear();
99bool DXILFlattenArraysVisitor::isMultiDimensionalArray(
Type *
T) {
105std::pair<unsigned, Type *>
106DXILFlattenArraysVisitor::getElementCountAndType(
Type *ArrayTy) {
107 unsigned TotalElements = 1;
108 Type *CurrArrayTy = ArrayTy;
110 TotalElements *= InnerArrayTy->getNumElements();
111 CurrArrayTy = InnerArrayTy->getElementType();
113 return std::make_pair(TotalElements, CurrArrayTy);
116ConstantInt *DXILFlattenArraysVisitor::genConstFlattenIndices(
119 "Indicies and dimmensions should be the same");
120 unsigned FlatIndex = 0;
121 unsigned Multiplier = 1;
123 for (
int I = Indices.
size() - 1;
I >= 0; --
I) {
124 unsigned DimSize = Dims[
I];
126 assert(CIndex &&
"This function expects all indicies to be ConstantInt");
128 Multiplier *= DimSize;
133Value *DXILFlattenArraysVisitor::genInstructionFlattenIndices(
135 if (Indices.
size() == 1)
139 unsigned Multiplier = 1;
141 for (
int I = Indices.
size() - 1;
I >= 0; --
I) {
142 unsigned DimSize = Dims[
I];
145 FlatIndex = Builder.
CreateAdd(FlatIndex, ScaledIndex);
146 Multiplier *= DimSize;
151bool DXILFlattenArraysVisitor::visitLoadInst(LoadInst &LI) {
153 for (
unsigned I = 0;
I < NumOperands; ++
I) {
156 if (CE &&
CE->getOpcode() == Instruction::GetElementPtr) {
157 GetElementPtrInst *OldGEP =
167 visitGetElementPtrInst(*OldGEP);
174bool DXILFlattenArraysVisitor::visitStoreInst(StoreInst &SI) {
175 unsigned NumOperands =
SI.getNumOperands();
176 for (
unsigned I = 0;
I < NumOperands; ++
I) {
177 Value *CurrOpperand =
SI.getOperand(
I);
179 if (CE &&
CE->getOpcode() == Instruction::GetElementPtr) {
180 GetElementPtrInst *OldGEP =
185 StoreInst *NewStore = Builder.
CreateStore(
SI.getValueOperand(), OldGEP);
187 SI.replaceAllUsesWith(NewStore);
188 SI.eraseFromParent();
189 visitGetElementPtrInst(*OldGEP);
196bool DXILFlattenArraysVisitor::visitAllocaInst(AllocaInst &AI) {
202 auto [TotalElements,
BaseType] = getElementCountAndType(ArrType);
205 AllocaInst *FlatAlloca =
213bool DXILFlattenArraysVisitor::visitGetElementPtrInst(GetElementPtrInst &
GEP) {
218 Value *PtrOperand =
GEP.getPointerOperand();
223 "Pointer operand of GEP should not be a PHI Node");
228 PtrOpGEPCE && PtrOpGEPCE->getOpcode() == Instruction::GetElementPtr) {
229 GetElementPtrInst *OldGEPI =
235 GEP.getSourceElementType(), OldGEPI, Indices,
GEP.getNoWrapFlags(),
236 GEP.getName(),
GEP.getIterator());
238 GEP.replaceAllUsesWith(NewGEPI);
239 GEP.eraseFromParent();
240 visitGetElementPtrInst(*OldGEPI);
241 visitGetElementPtrInst(*NewGEPI);
249 const DataLayout &
DL =
GEP.getDataLayout();
250 unsigned BitWidth =
DL.getIndexTypeSizeInBits(
GEP.getType());
252 [[maybe_unused]]
bool Success =
GEP.collectOffset(
264 if (!GEPChainInfoMap.contains(PtrOpGEP))
267 GEPInfo &PGEPInfo = GEPChainInfoMap[PtrOpGEP];
268 Info.RootFlattenedArrayType = PGEPInfo.RootFlattenedArrayType;
269 Info.RootPointerOperand = PGEPInfo.RootPointerOperand;
270 for (
auto &VariableOffset : PGEPInfo.VariableOffsets)
271 Info.VariableOffsets.insert(VariableOffset);
272 Info.ConstantOffset += PGEPInfo.ConstantOffset;
274 Info.RootPointerOperand = PtrOperand;
279 Type *RootTy =
GEP.getSourceElementType();
281 if (GlobalMap.contains(GlobalVar))
286 RootTy = Alloca->getAllocatedType();
287 assert(!isMultiDimensionalArray(RootTy) &&
288 "Expected root array type to be flattened");
300 bool ReplaceThisGEP =
GEP.users().empty();
303 ReplaceThisGEP =
true;
305 if (ReplaceThisGEP) {
306 unsigned BytesPerElem =
307 DL.getTypeAllocSize(
Info.RootFlattenedArrayType->getArrayElementType());
309 "Bytes per element should be a power of 2");
316 Info.ConstantOffset.udiv(BytesPerElem).getZExtValue();
317 assert(ConstantOffset < UINT32_MAX &&
318 "Constant byte offset for flat GEP index must fit within 32 bits");
320 for (
auto [VarIndex, Multiplier] :
Info.VariableOffsets) {
321 assert(Multiplier.getActiveBits() <= 32 &&
322 "The multiplier for a flat GEP index must fit within 32 bits");
323 assert(VarIndex->getType()->isIntegerTy(32) &&
324 "Expected i32-typed GEP indices");
326 if (Multiplier.getZExtValue() % BytesPerElem != 0) {
331 Builder.
getInt32(Multiplier.getZExtValue()));
336 Builder.
getInt32(Multiplier.getZExtValue() / BytesPerElem));
337 FlattenedIndex = Builder.
CreateAdd(FlattenedIndex, VI);
342 Info.RootFlattenedArrayType,
Info.RootPointerOperand,
343 {ZeroIndex, FlattenedIndex},
GEP.getNoWrapFlags(),
GEP.getName(),
349 GEP.replaceAllUsesWith(NewGEP);
350 GEP.eraseFromParent();
358 PotentiallyDeadInstrs.emplace_back(&
GEP);
362bool DXILFlattenArraysVisitor::visit(
Function &
F) {
363 bool MadeChange =
false;
364 ReversePostOrderTraversal<Function *> RPOT(&
F);
378 Elements.push_back(
Init);
381 unsigned ArrSize = ArrayTy->getNumElements();
383 for (
unsigned I = 0;
I < ArrSize; ++
I)
390 for (
unsigned I = 0;
I < ArrayConstant->getNumOperands(); ++
I) {
394 for (
unsigned I = 0;
I < DataArrayConstant->getNumElements(); ++
I) {
399 "Expected a ConstantArray or ConstantDataArray for array initializer!");
419 assert(FlattenedType->getNumElements() == FlattenedElements.
size() &&
420 "The number of collected elements should match the FlattenedType");
428 Type *OrigType =
G.getValueType();
429 if (!DXILFlattenArraysVisitor::isMultiDimensionalArray(OrigType))
434 DXILFlattenArraysVisitor::getElementCountAndType(ArrType);
441 nullptr,
G.getName() +
".1dim", &
G,
442 G.getThreadLocalMode(),
G.getAddressSpace(),
443 G.isExternallyInitialized());
451 if (
G.hasInitializer()) {
457 GlobalMap[&
G] = NewGlobal;
462 bool MadeChange =
false;
465 DXILFlattenArraysVisitor Impl(GlobalMap);
467 if (
F.isDeclaration())
469 MadeChange |= Impl.visit(
F);
471 for (
auto &[Old, New] : GlobalMap) {
472 Old->replaceAllUsesWith(New);
473 Old->eraseFromParent();
488bool DXILFlattenArraysLegacy::runOnModule(
Module &M) {
492char DXILFlattenArraysLegacy::ID = 0;
495 "DXIL Array Flattener",
false,
false)
500 return new DXILFlattenArraysLegacy();
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static Constant * transformInitializer(Constant *Init, Type *OrigType, Type *NewType, LLVMContext &Ctx)
static void collectElements(Constant *Init, SmallVectorImpl< Constant * > &Elements)
static bool flattenArrays(Module &M)
static void flattenGlobalArrays(Module &M, SmallDenseMap< GlobalVariable *, GlobalVariable * > &GlobalMap)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static void visit(BasicBlock &Start, std::function< bool(BasicBlock *)> op)
BaseType
A given derived pointer can have multiple base pointers through phi/selects.
Class for arbitrary precision integers.
an instruction to allocate memory on the stack
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
Type * getAllocatedType() const
Return the type that is being allocated by the instruction.
void setAlignment(Align Align)
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
static LLVM_ABI ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
This class represents a no-op cast from one type to another.
This class represents a function call, abstracting a target machine's calling convention.
This is the base class for all instructions that perform data casts.
static LLVM_ABI ConstantAggregateZero * get(Type *Ty)
static LLVM_ABI Constant * get(ArrayType *T, ArrayRef< Constant * > V)
This is the shared class of boolean and integer constants.
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
This is an important base class in LLVM.
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
PreservedAnalyses run(Module &M, ModuleAnalysisManager &)
This instruction compares its operands according to the predicate given to the constructor.
This class represents a freeze function that returns random concrete value if an operand is either a ...
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
void setUnnamedAddr(UnnamedAddr Val)
LLVM_ABI void setInitializer(Constant *InitVal)
setInitializer - Sets the initializer for this global variable, removing any existing initializer if ...
void setAlignment(Align Align)
Sets the alignment attribute of the GlobalVariable.
This instruction compares its operands according to the predicate given to the constructor.
AllocaInst * CreateAlloca(Type *Ty, unsigned AddrSpace, Value *ArraySize=nullptr, const Twine &Name="")
BasicBlock::iterator GetInsertPoint() const
Value * CreateLShr(Value *LHS, Value *RHS, const Twine &Name="", bool isExact=false)
ConstantInt * getInt32(uint32_t C)
Get a constant 32-bit value.
LoadInst * CreateLoad(Type *Ty, Value *Ptr, const char *Name)
Provided to resolve 'CreateLoad(Ty, Ptr, "...")' correctly, instead of converting the string to 'bool...
StoreInst * CreateStore(Value *Val, Value *Ptr, bool isVolatile=false)
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
This instruction inserts a single (scalar) element into a VectorType value.
Base class for instruction visitors.
void visit(Iterator Start, Iterator End)
LLVM_ABI void insertBefore(InstListType::iterator InsertPos)
Insert an unlinked instruction into a basic block immediately before the specified position.
LLVM_ABI InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
This is an important class for using LLVM in a threaded context.
An instruction for reading from memory.
void setAlignment(Align Align)
Align getAlign() const
Return the alignment of the access that is being performed.
ModulePass class - This class is used to implement unstructured interprocedural optimizations and ana...
A Module instance is used to store all the information related to an LLVM module.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
This class represents the LLVM 'select' instruction.
This instruction constructs a fixed permutation of two input vectors.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
void setAlignment(Align Align)
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI UndefValue * get(Type *T)
Static factory methods - Return an 'undef' object of the specified type.
Value * getOperand(unsigned i) const
unsigned getNumOperands() const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
self_iterator getIterator()
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ CE
Windows NT (Windows on ARM)
This is an optimization pass for GlobalISel generic memory operations.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
RelativeUniformCounterPtr ValuesPtrExpr VTableAddr Value
ModulePass * createDXILFlattenArraysLegacyPass()
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
IRBuilder(LLVMContext &, FolderTy, InserterTy) -> IRBuilder< FolderTy, InserterTy >
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
ArrayRef(const T &OneElt) -> ArrayRef< T >
LLVM_ABI bool RecursivelyDeleteTriviallyDeadInstructionsPermissive(SmallVectorImpl< WeakTrackingVH > &DeadInsts, const TargetLibraryInfo *TLI=nullptr, MemorySSAUpdater *MSSAU=nullptr, std::function< void(Value *)> AboutToDeleteCallback=std::function< void(Value *)>())
Same functionality as RecursivelyDeleteTriviallyDeadInstructions, but allow instructions that are not...
constexpr unsigned BitWidth
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
A MapVector that performs no allocations if smaller than a certain size.