Reduce dropTriviallyDeadConstantArrays cumulative time percentage from 17% to 4%

[stephan.yichao.zhao]

Summary

The history of dropTriviallyDeadConstantArrays is like this. Because the appending linkage uses too much memory (http://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20150105/251381.html), dropTriviallyDeadConstantArrays was introduced (https://reviews.llvm.org/rG81f385b0c6ea37dd7195a65be162c75bbdef29d2) to release unused constant arrays. Recently, dropTriviallyDeadConstantArrays was improved (https://reviews.llvm.org/rG81f385b0c6ea37dd7195a65be162c75bbdef29d2) to reduce its quadratic cost.

Our recent LTO profiling shows that when a target is large, 15-20% of time cost is from the SetVector::insert called by dropTriviallyDeadConstantArrays.

A large application has hundreds or thousands of modules; each module calls dropTriviallyDeadConstantArrays once for cleaning up tens of thousands of ConstantArrays a module has. In those ConstantArrays, usually around 5 can be deleted; a very very few deleted ConstantArrays reference other ConstantArrays: less than 10 out of millions.

Given this, the cost of SetVector::insert is mainly from the construction of WorkList from ArrayConstants. This motivated the fix that iterates ArrayConstants directly, and uses WorkList only when necessary.

Our evaluation shows that

1. The cumulative time percentage of dropTriviallyDeadConstantArrays is reduced from 15-17% to 4-6%.
2. For targets with LTO time > 20min, the time reduction is about 20%.
3. No observable performance impact for build without using LTO.

[mehdi_amini]

llvm/lib/IR/LLVMContextImpl.cpp

159

So can you use a for-range loop?

161

It actually isn't clear to why you need the Deleted set at all.

Can't we just use this loop to prime the worklist with the entries that aren't used and then process the worklist below?

for (ConstantArray *Constant : ArrayConstants) {
  if (C->use_empty())
    WorkList.insert.COp);
}

while (!WorkList.empty()) {
  // unchanged...

[jdoerfert]

What is "cl/324220676" and how do I see it?

llvm/lib/IR/LLVMContextImpl.cpp

149

Please proof read this comment.

[ychen]

What is time cost ratio?

llvm/lib/IR/LLVMContextImpl.cpp

149

I'd go with "When ArrayConstants are of substantial size and only a few in them is dead, starting WorkList with all elements of ArrayConstants can be wasteful. Instead, starting WorkList with only elements that have empty uses."

[stephan.yichao.zhao]

addressed comments.

[stephan.yichao.zhao]

reverted unrelated change

[stephan.yichao.zhao]

In D85379#2198662, @ychen wrote:

What is time cost ratio?

updated the description.

llvm/lib/IR/LLVMContextImpl.cpp

149

Rewrote comments after simplifying the code.

Also removed cl/324220676 from the summary. It is not related. Uploaded some pprof results.

161

Thank you. Removed "Deleted" and applied your suggested code.

[stephan.yichao.zhao]

answered comments.

[stephan.yichao.zhao]

In D85379#2198590, @jdoerfert wrote:

What is "cl/324220676" and how do I see it?

Rewrote comments after simplifying the code.

Also removed cl/324220676 from the summary. It is not related. Uploaded some pprof results.

[jdoerfert]

LGTM. Nice and small :) Thx!

[tejohnson]

llvm/lib/IR/LLVMContextImpl.cpp

143–144

Would it make sense to also guard insertion here with COp->use_empty()? You can then remove the C->use_empty() check earlier in this loop, which is redundant for ConstantArrays inserted by the new loop you added above.

[stephan.yichao.zhao]

llvm/lib/IR/LLVMContextImpl.cpp

143–144

{

}

In the snapshot,

1. an arrow from C1 to C4 means C4 is C1's operand. It seems the 'use' in LLVM means 'reference'. So if an element appears at any side of an arrow, it is 'used'. Please fix me if my assumption is wrong.
2. C{i} is ConstantArray. X and Y are other constant like ConstantStruct, ConstantVector, etc

if we move the use_empty before insert, all C{i} can still be removed the same way. For example, although C4 is not inserted after C1 is deleted before C2 is deleted, after C2 is deleted, C4 can still be inserted.

The question is if the case of C5 exists. Before C3 is deleted and after C2 is deleted, C5 is still used, so not put into WorkList. When C3 is being deleting, Constant::destroyConstant also tries to delete X. After X is deleted, C5 is not used. We are not able to remove C5 since dropTriviallyDeadConstantArrays does not know this.

I am not sure if this can happen. From the original problem the function to address, such a case, if exists, is not related. Also given our test, in a module with 50k constant arrays, less than 10 operands could be inserted. So it does not change memory reduction rate too much if we move use_empty check close to insert.

The current code change ensures it removes the same number of ConstantArrays as the previous approach with less time overhead. Maybe we can leave whether insert only when use_empty as the next potential CL with more profiling?

[tejohnson]

lgtm

llvm/lib/IR/LLVMContextImpl.cpp

143–144

When C3 is being deleting, Constant::destroyConstant also tries to delete X. After X is deleted, C5 is not used

But could C3 be deleted here if it is still used by X?

However, I see the flaw in what I suggested - presumably all of C's operands are still used before C is destroyed at the bottom of this loop. So none would have use_empty() yet, and so we need to conservatively add them to the worklist in case C is the only use (in which case after C is destroyed they will then have their uses empty). I suppose it could check if there is a single use, and only add it then, but it sounds like it might not be worth it.

llvm/lib/IR/LLVMContextImpl.cpp

#include "llvm/IR/Metadata.def"
   }
 
   // Destroy ValuesAsMetadata.
   for (auto &Pair : ValuesAsMetadata)
     delete Pair.second;
 }
 
 void LLVMContextImpl::dropTriviallyDeadConstantArrays() {
-  SmallSetVector<ConstantArray *, 4> WorkList(ArrayConstants.begin(),
-                                              ArrayConstants.end());
+  SmallSetVector<ConstantArray *, 4> WorkList;
+
+  // When ArrayConstants are of substantial size and only a few in them are
+  // dead, starting WorkList with all elements of ArrayConstants can be
+  // wasteful. Instead, starting WorkList with only elements that have empty
+  // uses.
+  for (ConstantArray *C : ArrayConstants)
+    if (C->use_empty())
+      WorkList.insert(C);
 
   while (!WorkList.empty()) {
     ConstantArray *C = WorkList.pop_back_val();
-    if (C->use_empty()) {
-      for (const Use &Op : C->operands()) {
-        if (auto *COp = dyn_cast<ConstantArray>(Op))
-          WorkList.insert(COp);
-      }
-      C->destroyConstant();
-    }
-  }
-}
+    if (!C->use_empty())
+      continue;
+    for (const Use &Op : C->operands())
 
 void Module::dropTriviallyDeadConstantArrays() {
   Context.pImpl->dropTriviallyDeadConstantArrays();
 }
 
 namespace llvm {
 
 /// Make MDOperand transparent for hashing.
 ///
 /// This overload of an implementation detail of the hashing library makes
 /// MDOperand hash to the same value as a \a Metadata pointer.
 ///
 /// Note that overloading \a hash_value() as follows:
 ///
 /// \code
 ///     size_t hash_value(const MDOperand &X) { return hash_value(X.get()); }
 /// \endcode
 ///