6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2026-04-26 12:20:42 +00:00
Code Issues Projects Releases Wiki Activity

verify-uselistorder: Move shuffleUseLists() out of lib/IR

Browse Source 
`shuffleUseLists()` is only used in `verify-uselistorder`, so move it
there to avoid bloating other executables.  As a drive-by, update some
of the header docs.

This is part of PR5680.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214592 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan P. N. Exon Smith
2014-08-01 23:03:36 +00:00
parent 65225b64bb
commit b2b0ad4c75
3 changed files with 105 additions and 117 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/IR/UseListOrder.cpp
+2 -104
View File
@@ -1,4 +1,4 @@
//===- UseListOrder.cpp - Implement Use List Order functions --------------===//
//===- UseListOrder.cpp - Implement Use List Order ------------------------===//
//
// The LLVM Compiler Infrastructure
//
@@ -7,22 +7,12 @@
//
//===----------------------------------------------------------------------===//
//
// Implement use list order functions to modify use-list order and verify it
// doesn't change after serialization.
// Implement structures and command-line options for preserving use-list order.
//
//===----------------------------------------------------------------------===//
#include "llvm/IR/UseListOrder.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/IR/Module.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Debug.h"
#include <random>
#include <vector>
#define DEBUG_TYPE "use-list-order"
using namespace llvm;
@@ -43,95 +33,3 @@ bool llvm::shouldPreserveBitcodeUseListOrder() {
bool llvm::shouldPreserveAssemblyUseListOrder() {
return PreserveAssemblyUseListOrder;
}
static void shuffleValueUseLists(Value *V, std::minstd_rand0 &Gen,
DenseSet<Value *> &Seen) {
if (!Seen.insert(V).second)
return;
if (auto *C = dyn_cast<Constant>(V))
if (!isa<GlobalValue>(C))
for (Value *Op : C->operands())
shuffleValueUseLists(Op, Gen, Seen);
if (V->use_empty() || std::next(V->use_begin()) == V->use_end())
// Nothing to shuffle for 0 or 1 users.
return;
// Generate random numbers between 10 and 99, which will line up nicely in
// debug output. We're not worried about collisons here.
DEBUG(dbgs() << "V = "; V->dump());
std::uniform_int_distribution<short> Dist(10, 99);
SmallDenseMap<const Use *, short, 16> Order;
auto compareUses =
[&Order](const Use &L, const Use &R) { return Order[&L] < Order[&R]; };
do {
for (const Use &U : V->uses()) {
auto I = Dist(Gen);
Order[&U] = I;
DEBUG(dbgs() << " - order: " << I << ", op = " << U.getOperandNo()
<< ", U = ";
U.getUser()->dump());
}
} while (std::is_sorted(V->use_begin(), V->use_end(), compareUses));
DEBUG(dbgs() << " => shuffle\n");
V->sortUseList(compareUses);
DEBUG({
for (const Use &U : V->uses()) {
dbgs() << " - order: " << Order.lookup(&U)
<< ", op = " << U.getOperandNo() << ", U = ";
U.getUser()->dump();
}
});
}
void llvm::shuffleUseLists(Module &M, unsigned SeedOffset) {
DEBUG(dbgs() << "*** shuffle-use-lists ***\n");
std::minstd_rand0 Gen(std::minstd_rand0::default_seed + SeedOffset);
DenseSet<Value *> Seen;
// Shuffle the use-list of each value that would be serialized to an IR file
// (bitcode or assembly).
auto shuffle = [&](Value *V) { shuffleValueUseLists(V, Gen, Seen); };
// Globals.
for (GlobalVariable &G : M.globals())
shuffle(&G);
for (GlobalAlias &A : M.aliases())
shuffle(&A);
for (Function &F : M)
shuffle(&F);
// Constants used by globals.
for (GlobalVariable &G : M.globals())
if (G.hasInitializer())
shuffle(G.getInitializer());
for (GlobalAlias &A : M.aliases())
shuffle(A.getAliasee());
for (Function &F : M)
if (F.hasPrefixData())
shuffle(F.getPrefixData());
// Function bodies.
for (Function &F : M) {
for (Argument &A : F.args())
shuffle(&A);
for (BasicBlock &BB : F)
shuffle(&BB);
for (BasicBlock &BB : F)
for (Instruction &I : BB)
shuffle(&I);
// Constants used by instructions.
for (BasicBlock &BB : F)
for (Instruction &I : BB)
for (Value *Op : I.operands())
if ((isa<Constant>(Op) && !isa<GlobalValue>(*Op)) ||
isa<InlineAsm>(Op))
shuffle(Op);
}
DEBUG(dbgs() << "\n");
}