LLVM 18.0.0git
Go to the documentation of this file.
1//===- Local.cpp - Functions to perform local transformations -------------===//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
9// This family of functions perform various local transformations to the
10// program.
15#include "llvm/ADT/Twine.h"
16#include "llvm/IR/DataLayout.h"
18#include "llvm/IR/IRBuilder.h"
20using namespace llvm;
23 User *GEP, bool NoAssumptions) {
24 GEPOperator *GEPOp = cast<GEPOperator>(GEP);
25 Type *IntIdxTy = DL.getIndexType(GEP->getType());
26 Value *Result = nullptr;
28 // If the GEP is inbounds, we know that none of the addressing operations will
29 // overflow in a signed sense.
30 bool isInBounds = GEPOp->isInBounds() && !NoAssumptions;
31 auto AddOffset = [&](Value *Offset) {
32 if (Result)
33 Result = Builder->CreateAdd(Result, Offset, GEP->getName() + ".offs",
34 false /*NUW*/, isInBounds /*NSW*/);
35 else
36 Result = Offset;
37 };
40 for (User::op_iterator i = GEP->op_begin() + 1, e = GEP->op_end(); i != e;
41 ++i, ++GTI) {
42 Value *Op = *i;
43 if (Constant *OpC = dyn_cast<Constant>(Op)) {
44 if (OpC->isZeroValue())
45 continue;
47 // Handle a struct index, which adds its field offset to the pointer.
48 if (StructType *STy = GTI.getStructTypeOrNull()) {
49 uint64_t OpValue = OpC->getUniqueInteger().getZExtValue();
50 uint64_t Size = DL.getStructLayout(STy)->getElementOffset(OpValue);
51 if (!Size)
52 continue;
54 AddOffset(ConstantInt::get(IntIdxTy, Size));
55 continue;
56 }
57 }
59 // Splat the index if needed.
60 if (IntIdxTy->isVectorTy() && !Op->getType()->isVectorTy())
61 Op = Builder->CreateVectorSplat(
62 cast<VectorType>(IntIdxTy)->getElementCount(), Op);
64 // Convert to correct type.
65 if (Op->getType() != IntIdxTy)
66 Op = Builder->CreateIntCast(Op, IntIdxTy, true, Op->getName() + ".c");
67 TypeSize TSize = DL.getTypeAllocSize(GTI.getIndexedType());
68 if (TSize != TypeSize::getFixed(1)) {
69 Value *Scale = Builder->CreateTypeSize(IntIdxTy->getScalarType(), TSize);
70 if (IntIdxTy->isVectorTy())
71 Scale = Builder->CreateVectorSplat(
72 cast<VectorType>(IntIdxTy)->getElementCount(), Scale);
73 // We'll let instcombine(mul) convert this to a shl if possible.
74 Op = Builder->CreateMul(Op, Scale, GEP->getName() + ".idx", false /*NUW*/,
75 isInBounds /*NSW*/);
76 }
77 AddOffset(Op);
78 }
79 return Result ? Result : Constant::getNullValue(IntIdxTy);
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
uint64_t Size
Hexagon Common GEP
static Constant * get(Type *Ty, uint64_t V, bool IsSigned=false)
If Ty is a vector type, return a Constant with a splat of the given value.
Definition: Constants.cpp:888
This is an important base class in LLVM.
Definition: Constant.h:41
static Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
Definition: Constants.cpp:356
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:110
bool isInBounds() const
Test whether this is an inbounds GEP, as defined by LangRef.html.
Definition: Operator.h:387
Common base class shared among various IRBuilders.
Definition: IRBuilder.h:94
Value * CreateVectorSplat(unsigned NumElts, Value *V, const Twine &Name="")
Return a vector value that contains.
Definition: IRBuilder.cpp:1212
Value * CreateTypeSize(Type *DstType, TypeSize Size)
Create an expression which evaluates to the number of units in Size at runtime.
Definition: IRBuilder.cpp:104
Value * CreateAdd(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
Definition: IRBuilder.h:1321
Value * CreateIntCast(Value *V, Type *DestTy, bool isSigned, const Twine &Name="")
Definition: IRBuilder.h:2169
Value * CreateMul(Value *LHS, Value *RHS, const Twine &Name="", bool HasNUW=false, bool HasNSW=false)
Definition: IRBuilder.h:1355
Class to represent struct types.
Definition: DerivedTypes.h:216
static constexpr TypeSize getFixed(ScalarTy ExactSize)
Definition: TypeSize.h:333
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
bool isVectorTy() const
True if this is an instance of VectorType.
Definition: Type.h:265
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition: Type.h:348
A Use represents the edge between a Value definition and its users.
Definition: Use.h:43
LLVM Value Representation.
Definition: Value.h:74
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:456
Value * emitGEPOffset(IRBuilderBase *Builder, const DataLayout &DL, User *GEP, bool NoAssumptions=false)
Given a getelementptr instruction/constantexpr, emit the code necessary to compute the offset from th...
Definition: Local.cpp:22
gep_type_iterator gep_type_begin(const User *GEP)