[llvm] [FuncSpec] Handle ssa_copy intrinsic calls in InstCostVisitor (PR #114247)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 30 08:17:14 PDT 2024
llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-llvm-transforms
@llvm/pr-subscribers-function-specialization
Author: Hari Limaye (hazzlim)
<details>
<summary>Changes</summary>
Look through ssa_copy intrinsic calls when computing codesize bonus for a specialization.
Also remove redundant logic to skip computing codesize bonus for ssa_copy intrinsics, now these are considered zero-cost by TTI (in PR#<!-- -->75294).
---
Full diff: https://github.com/llvm/llvm-project/pull/114247.diff
1 Files Affected:
- (modified) llvm/lib/Transforms/IPO/FunctionSpecialization.cpp (+8-4)
``````````diff
diff --git a/llvm/lib/Transforms/IPO/FunctionSpecialization.cpp b/llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
index 919d3143a13f7e..1efec22624dd4f 100644
--- a/llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
+++ b/llvm/lib/Transforms/IPO/FunctionSpecialization.cpp
@@ -120,10 +120,6 @@ Cost InstCostVisitor::estimateBasicBlocks(
continue;
for (Instruction &I : *BB) {
- // Disregard SSA copies.
- if (auto *II = dyn_cast<IntrinsicInst>(&I))
- if (II->getIntrinsicID() == Intrinsic::ssa_copy)
- continue;
// If it's a known constant we have already accounted for it.
if (KnownConstants.contains(&I))
continue;
@@ -402,6 +398,14 @@ Constant *InstCostVisitor::visitFreezeInst(FreezeInst &I) {
}
Constant *InstCostVisitor::visitCallBase(CallBase &I) {
+ assert(LastVisited != KnownConstants.end() && "Invalid iterator!");
+
+ // Look through calls to ssa_copy intrinsics.
+ if (auto *II = dyn_cast<IntrinsicInst>(&I);
+ II && II->getIntrinsicID() == Intrinsic::ssa_copy) {
+ return LastVisited->second;
+ }
+
Function *F = I.getCalledFunction();
if (!F || !canConstantFoldCallTo(&I, F))
return nullptr;
``````````
</details>
https://github.com/llvm/llvm-project/pull/114247
More information about the llvm-commits
mailing list