aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/InlineCost.cpp
diff options
context:
space:
mode:
authorArthur Eubanks <aeubanks@google.com>2021-04-29 14:19:14 -0700
committerArthur Eubanks <aeubanks@google.com>2021-04-29 20:33:30 -0700
commita3a798d49dfcc30fbe26bb865ac30ccda216c4a7 (patch)
tree0b88c2e4bbc741d0959e91758ee494b377a18e5c /llvm/lib/Analysis/InlineCost.cpp
parent544be708641b2f3d58a1b86ae86c3ba460f41d10 (diff)
downloadllvm-a3a798d49dfcc30fbe26bb865ac30ccda216c4a7.zip
llvm-a3a798d49dfcc30fbe26bb865ac30ccda216c4a7.tar.gz
llvm-a3a798d49dfcc30fbe26bb865ac30ccda216c4a7.tar.bz2
[InlineCost] Remove visitUnaryInstruction()
The simplifyInstruction() in visitUnaryInstruction() does not trigger for all of check-llvm. Looking at all delegates to UnaryInstruction in InstVisitor, the only instructions that either don't have a visitor in CallAnalyzer, or redirect to UnaryInstruction, are VAArgInst and Alloca. VAArgInst will never get simplified, and visitUnaryInstruction(Alloca) would always return false anyway. Reviewed By: mtrofin, lebedev.ri Differential Revision: https://reviews.llvm.org/D101577
Diffstat (limited to 'llvm/lib/Analysis/InlineCost.cpp')
-rw-r--r--llvm/lib/Analysis/InlineCost.cpp30
1 files changed, 7 insertions, 23 deletions
diff --git a/llvm/lib/Analysis/InlineCost.cpp b/llvm/lib/Analysis/InlineCost.cpp
index b367efa..9105813 100644
--- a/llvm/lib/Analysis/InlineCost.cpp
+++ b/llvm/lib/Analysis/InlineCost.cpp
@@ -390,7 +390,6 @@ protected:
bool visitPtrToInt(PtrToIntInst &I);
bool visitIntToPtr(IntToPtrInst &I);
bool visitCastInst(CastInst &I);
- bool visitUnaryInstruction(UnaryInstruction &I);
bool visitCmpInst(CmpInst &I);
bool visitSub(BinaryOperator &I);
bool visitBinaryOperator(BinaryOperator &I);
@@ -1040,6 +1039,8 @@ bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) {
}
bool CallAnalyzer::visitAlloca(AllocaInst &I) {
+ disableSROA(I.getOperand(0));
+
// Check whether inlining will turn a dynamic alloca into a static
// alloca and handle that case.
if (I.isArrayAllocation()) {
@@ -1057,11 +1058,9 @@ bool CallAnalyzer::visitAlloca(AllocaInst &I) {
AllocatedSize = SaturatingMultiplyAdd(
AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty).getKnownMinSize(),
AllocatedSize);
- if (AllocatedSize > InlineConstants::MaxSimplifiedDynamicAllocaToInline) {
+ if (AllocatedSize > InlineConstants::MaxSimplifiedDynamicAllocaToInline)
HasDynamicAlloca = true;
- return false;
- }
- return Base::visitAlloca(I);
+ return false;
}
}
@@ -1072,15 +1071,13 @@ bool CallAnalyzer::visitAlloca(AllocaInst &I) {
SaturatingAdd(DL.getTypeAllocSize(Ty).getKnownMinSize(), AllocatedSize);
}
- // We will happily inline static alloca instructions.
- if (I.isStaticAlloca())
- return Base::visitAlloca(I);
-
// FIXME: This is overly conservative. Dynamic allocas are inefficient for
// a variety of reasons, and so we would like to not inline them into
// functions which don't currently have a dynamic alloca. This simply
// disables inlining altogether in the presence of a dynamic alloca.
- HasDynamicAlloca = true;
+ if (!I.isStaticAlloca())
+ HasDynamicAlloca = true;
+
return false;
}
@@ -1367,19 +1364,6 @@ bool CallAnalyzer::visitCastInst(CastInst &I) {
TargetTransformInfo::TCC_Free;
}
-bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) {
- Value *Operand = I.getOperand(0);
- if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
- return ConstantFoldInstOperands(&I, COps[0], DL);
- }))
- return true;
-
- // Disable any SROA on the argument to arbitrary unary instructions.
- disableSROA(Operand);
-
- return false;
-}
-
bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) {
return CandidateCall.paramHasAttr(A->getArgNo(), Attr);
}