mirror of
https://github.com/RPCS3/llvm.git
synced 2025-03-03 08:07:51 +00:00
[ADCE] Use MapVector for BlockInfo to make iteration order deterministic
Summary: Also added a reserve() method to MapVector since we want to use that from ADCE. DenseMap does not provide deterministic iteration order so with that we will handle the members of BlockInfo in random order, eventually leading to random order of the blocks in the predecessor lists. Without this change, I get the same predecessor order in about 90% of the time when I compile a certain reproducer and in 10% I get a different one. No idea how to make a proper test case for this. Reviewers: kuhar, david2050 Reviewed By: kuhar Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D39593 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@317323 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
3d456013b6
commit
9e5188ca17
@ -56,6 +56,13 @@ public:
|
||||
|
||||
size_type size() const { return Vector.size(); }
|
||||
|
||||
/// Grow the MapVector so that it can contain at least \p NumEntries items
|
||||
/// before resizing again.
|
||||
void reserve(size_type NumEntries) {
|
||||
Map.reserve(NumEntries);
|
||||
Vector.reserve(NumEntries);
|
||||
}
|
||||
|
||||
iterator begin() { return Vector.begin(); }
|
||||
const_iterator begin() const { return Vector.begin(); }
|
||||
iterator end() { return Vector.end(); }
|
||||
|
@ -18,6 +18,7 @@
|
||||
#include "llvm/ADT/DenseMap.h"
|
||||
#include "llvm/ADT/DepthFirstIterator.h"
|
||||
#include "llvm/ADT/GraphTraits.h"
|
||||
#include "llvm/ADT/MapVector.h"
|
||||
#include "llvm/ADT/PostOrderIterator.h"
|
||||
#include "llvm/ADT/SmallPtrSet.h"
|
||||
#include "llvm/ADT/SmallVector.h"
|
||||
@ -118,7 +119,8 @@ class AggressiveDeadCodeElimination {
|
||||
PostDominatorTree &PDT;
|
||||
|
||||
/// Mapping of blocks to associated information, an element in BlockInfoVec.
|
||||
DenseMap<BasicBlock *, BlockInfoType> BlockInfo;
|
||||
/// Use MapVector to get deterministic iteration order.
|
||||
MapVector<BasicBlock *, BlockInfoType> BlockInfo;
|
||||
bool isLive(BasicBlock *BB) { return BlockInfo[BB].Live; }
|
||||
|
||||
/// Mapping of instructions to associated information.
|
||||
|
Loading…
x
Reference in New Issue
Block a user