diff options
author | Arthur Eubanks <aeubanks@google.com> | 2021-04-29 14:19:14 -0700 |
---|---|---|
committer | Arthur Eubanks <aeubanks@google.com> | 2021-04-29 20:33:30 -0700 |
commit | a3a798d49dfcc30fbe26bb865ac30ccda216c4a7 (patch) | |
tree | 0b88c2e4bbc741d0959e91758ee494b377a18e5c /llvm/lib/Analysis/InlineCost.cpp | |
parent | 544be708641b2f3d58a1b86ae86c3ba460f41d10 (diff) | |
download | llvm-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.cpp | 30 |
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); } |