<p dir="ltr">Any chance you're up for teaching bug point to run this automatically at the end? ;]</p>
<div class="gmail_quote">On Sep 10, 2012 7:49 PM, "Alex Rosenberg" <<a href="mailto:alexr@leftfield.org">alexr@leftfield.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Author: alexr<br>
Date: Mon Sep 10 21:46:18 2012<br>
New Revision: 163592<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=163592&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=163592&view=rev</a><br>
Log:<br>
Add a pass that renames everything with metasyntatic names. This works well after using bugpoint to reduce the confusion presented by the original names, which no longer mean what they used to.<br>
<br>
Added:<br>
llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp<br>
llvm/trunk/test/Transforms/MetaRenamer/<br>
llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg<br>
llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll<br>
Modified:<br>
llvm/trunk/include/llvm/InitializePasses.h<br>
llvm/trunk/include/llvm/LinkAllPasses.h<br>
llvm/trunk/include/llvm/Transforms/IPO.h<br>
llvm/trunk/lib/Transforms/Utils/Utils.cpp<br>
<br>
Modified: llvm/trunk/include/llvm/InitializePasses.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/InitializePasses.h?rev=163592&r1=163591&r2=163592&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/InitializePasses.h?rev=163592&r1=163591&r2=163592&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/InitializePasses.h (original)<br>
+++ llvm/trunk/include/llvm/InitializePasses.h Mon Sep 10 21:46:18 2012<br>
@@ -178,6 +178,7 @@<br>
void initializeMemCpyOptPass(PassRegistry&);<br>
void initializeMemDepPrinterPass(PassRegistry&);<br>
void initializeMemoryDependenceAnalysisPass(PassRegistry&);<br>
+void initializeMetaRenamerPass(PassRegistry&);<br>
void initializeMergeFunctionsPass(PassRegistry&);<br>
void initializeModuleDebugInfoPrinterPass(PassRegistry&);<br>
void initializeNoAAPass(PassRegistry&);<br>
<br>
Modified: llvm/trunk/include/llvm/LinkAllPasses.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/LinkAllPasses.h?rev=163592&r1=163591&r2=163592&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/LinkAllPasses.h?rev=163592&r1=163591&r2=163592&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/LinkAllPasses.h (original)<br>
+++ llvm/trunk/include/llvm/LinkAllPasses.h Mon Sep 10 21:46:18 2012<br>
@@ -141,6 +141,7 @@<br>
(void) llvm::createLoopDeletionPass();<br>
(void) llvm::createPostDomTree();<br>
(void) llvm::createInstructionNamerPass();<br>
+ (void) llvm::createMetaRenamerPass();<br>
(void) llvm::createFunctionAttrsPass();<br>
(void) llvm::createMergeFunctionsPass();<br>
(void) llvm::createPrintModulePass(0);<br>
<br>
Modified: llvm/trunk/include/llvm/Transforms/IPO.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Transforms/IPO.h?rev=163592&r1=163591&r2=163592&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Transforms/IPO.h?rev=163592&r1=163591&r2=163592&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/include/llvm/Transforms/IPO.h (original)<br>
+++ llvm/trunk/include/llvm/Transforms/IPO.h Mon Sep 10 21:46:18 2012<br>
@@ -192,6 +192,11 @@<br>
/// createPartialInliningPass - This pass inlines parts of functions.<br>
///<br>
ModulePass *createPartialInliningPass();<br>
+<br>
+//===----------------------------------------------------------------------===//<br>
+// createMetaRenamerPass - Rename everything with metasyntatic names.<br>
+//<br>
+ModulePass *createMetaRenamerPass();<br>
<br>
} // End llvm namespace<br>
<br>
<br>
Added: llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp?rev=163592&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp?rev=163592&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp (added)<br>
+++ llvm/trunk/lib/Transforms/Utils/MetaRenamer.cpp Mon Sep 10 21:46:18 2012<br>
@@ -0,0 +1,132 @@<br>
+//===- MetaRenamer.cpp - Rename everything with metasyntatic names --------===//<br>
+//<br>
+// The LLVM Compiler Infrastructure<br>
+//<br>
+// This file is distributed under the University of Illinois Open Source<br>
+// License. See LICENSE.TXT for details.<br>
+//<br>
+//===----------------------------------------------------------------------===//<br>
+//<br>
+// This pass renames everything with metasyntatic names. The intent is to use<br>
+// this pass after bugpoint reduction to conceal the nature of the original<br>
+// program.<br>
+//<br>
+//===----------------------------------------------------------------------===//<br>
+<br>
+#include "llvm/Transforms/IPO.h"<br>
+#include "llvm/Function.h"<br>
+#include "llvm/Module.h"<br>
+#include "llvm/Pass.h"<br>
+#include "llvm/Type.h"<br>
+#include "llvm/TypeFinder.h"<br>
+#include "llvm/DerivedTypes.h"<br>
+#include "llvm/ADT/STLExtras.h"<br>
+#include "llvm/ADT/SmallString.h"<br>
+<br>
+using namespace llvm;<br>
+<br>
+namespace {<br>
+<br>
+ // This PRNG is from the ISO C spec. It is intentionally simple and<br>
+ // unsuitable for cryptographic use. We're just looking for enough<br>
+ // variety to surprise and delight users.<br>
+ struct PRNG {<br>
+ unsigned long next;<br>
+<br>
+ void srand(unsigned int seed) {<br>
+ next = seed;<br>
+ }<br>
+<br>
+ int rand(void) {<br>
+ next = next * 1103515245 + 12345;<br>
+ return (unsigned int)(next / 65536) % 32768;<br>
+ }<br>
+ };<br>
+<br>
+ struct MetaRenamer : public ModulePass {<br>
+ static char ID; // Pass identification, replacement for typeid<br>
+ MetaRenamer() : ModulePass(ID) {<br>
+ initializeMetaRenamerPass(*PassRegistry::getPassRegistry());<br>
+ }<br>
+<br>
+ void getAnalysisUsage(AnalysisUsage &AU) const {<br>
+ AU.setPreservesAll();<br>
+ }<br>
+<br>
+ bool runOnModule(Module &M) {<br>
+ static const char *metaNames[] = {<br>
+ // See <a href="http://en.wikipedia.org/wiki/Metasyntactic_variable" target="_blank">http://en.wikipedia.org/wiki/Metasyntactic_variable</a><br>
+ "foo", "bar", "baz", "quux", "barney", "snork", "zot", "blam", "hoge",<br>
+ "wibble", "wobble", "widget", "wombat", "ham", "eggs", "pluto", "spam"<br>
+ };<br>
+<br>
+ // Seed our PRNG with simple additive sum of ModuleID. We're looking to<br>
+ // simply avoid always having the same function names, and we need to<br>
+ // remain deterministic.<br>
+ unsigned int randSeed = 0;<br>
+ for (std::string::const_iterator I = M.getModuleIdentifier().begin(),<br>
+ E = M.getModuleIdentifier().end(); I != E; ++I)<br>
+ randSeed += *I;<br>
+<br>
+ PRNG prng;<br>
+ prng.srand(randSeed);<br>
+<br>
+ // Rename all aliases<br>
+ for (Module::alias_iterator AI = M.alias_begin(), AE = M.alias_end();<br>
+ AI != AE; ++AI)<br>
+ AI->setName("alias");<br>
+<br>
+ // Rename all global variables<br>
+ for (Module::global_iterator GI = M.global_begin(), GE = M.global_end();<br>
+ GI != GE; ++GI)<br>
+ GI->setName("global");<br>
+<br>
+ // Rename all struct types<br>
+ TypeFinder StructTypes;<br>
+ StructTypes.run(M, true);<br>
+ for (unsigned i = 0, e = StructTypes.size(); i != e; ++i) {<br>
+ StructType *STy = StructTypes[i];<br>
+ if (STy->isLiteral() || STy->getName().empty()) continue;<br>
+<br>
+ SmallString<128> NameStorage;<br>
+ STy->setName((Twine("struct.") + metaNames[prng.rand() %<br>
+ array_lengthof(metaNames)]).toStringRef(NameStorage));<br>
+ }<br>
+<br>
+ // Rename all functions<br>
+ for (Module::iterator FI = M.begin(), FE = M.end();<br>
+ FI != FE; ++FI) {<br>
+ FI->setName(metaNames[prng.rand() % array_lengthof(metaNames)]);<br>
+ runOnFunction(*FI);<br>
+ }<br>
+ return true;<br>
+ }<br>
+<br>
+ bool runOnFunction(Function &F) {<br>
+ for (Function::arg_iterator AI = F.arg_begin(), AE = F.arg_end();<br>
+ AI != AE; ++AI)<br>
+ if (!AI->getType()->isVoidTy())<br>
+ AI->setName("arg");<br>
+<br>
+ for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB) {<br>
+ BB->setName("bb");<br>
+<br>
+ for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I)<br>
+ if (!I->getType()->isVoidTy())<br>
+ I->setName("tmp");<br>
+ }<br>
+ return true;<br>
+ }<br>
+ };<br>
+}<br>
+<br>
+char MetaRenamer::ID = 0;<br>
+INITIALIZE_PASS(MetaRenamer, "metarenamer",<br>
+ "Assign new names to everything", false, false)<br>
+//===----------------------------------------------------------------------===//<br>
+//<br>
+// MetaRenamer - Rename everything with metasyntactic names.<br>
+//<br>
+ModulePass *llvm::createMetaRenamerPass() {<br>
+ return new MetaRenamer();<br>
+}<br>
<br>
Modified: llvm/trunk/lib/Transforms/Utils/Utils.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/Utils.cpp?rev=163592&r1=163591&r2=163592&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/Utils.cpp?rev=163592&r1=163591&r2=163592&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/Transforms/Utils/Utils.cpp (original)<br>
+++ llvm/trunk/lib/Transforms/Utils/Utils.cpp Mon Sep 10 21:46:18 2012<br>
@@ -29,6 +29,7 @@<br>
initializePromotePassPass(Registry);<br>
initializeUnifyFunctionExitNodesPass(Registry);<br>
initializeInstSimplifierPass(Registry);<br>
+ initializeMetaRenamerPass(Registry);<br>
}<br>
<br>
/// LLVMInitializeTransformUtils - C binding for initializeTransformUtilsPasses.<br>
<br>
Added: llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg?rev=163592&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg?rev=163592&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg (added)<br>
+++ llvm/trunk/test/Transforms/MetaRenamer/lit.local.cfg Mon Sep 10 21:46:18 2012<br>
@@ -0,0 +1 @@<br>
+config.suffixes = ['.ll', '.c', '.cpp']<br>
<br>
Added: llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll?rev=163592&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll?rev=163592&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll (added)<br>
+++ llvm/trunk/test/Transforms/MetaRenamer/metarenamer.ll Mon Sep 10 21:46:18 2012<br>
@@ -0,0 +1,96 @@<br>
+; RUN: opt %s -metarenamer -S | FileCheck %s<br>
+<br>
+; CHECK: target triple {{.*}}<br>
+; CHECK-NOT: {{^x*}}xxx{{^x*}}<br>
+; CHECK: ret i32 6<br>
+<br>
+target triple = "x86_64-pc-linux-gnu"<br>
+<br>
+%struct.bar_xxx = type { i32, double }<br>
+%struct.foo_xxx = type { i32, float, %struct.bar_xxx }<br>
+<br>
+@func_5_xxx.static_local_3_xxx = internal global i32 3, align 4<br>
+@global_3_xxx = common global i32 0, align 4<br>
+<br>
+@func_7_xxx = alias weak i32 (...)* @aliased_func_7_xxx<br>
+<br>
+declare i32 @aliased_func_7_xxx(...)<br>
+<br>
+define i32 @func_3_xxx() nounwind uwtable ssp {<br>
+ ret i32 3<br>
+}<br>
+<br>
+define void @func_4_xxx(%struct.foo_xxx* sret %agg.result) nounwind uwtable ssp {<br>
+ %1 = alloca %struct.foo_xxx, align 8<br>
+ %2 = getelementptr inbounds %struct.foo_xxx* %1, i32 0, i32 0<br>
+ store i32 1, i32* %2, align 4<br>
+ %3 = getelementptr inbounds %struct.foo_xxx* %1, i32 0, i32 1<br>
+ store float 2.000000e+00, float* %3, align 4<br>
+ %4 = getelementptr inbounds %struct.foo_xxx* %1, i32 0, i32 2<br>
+ %5 = getelementptr inbounds %struct.bar_xxx* %4, i32 0, i32 0<br>
+ store i32 3, i32* %5, align 4<br>
+ %6 = getelementptr inbounds %struct.bar_xxx* %4, i32 0, i32 1<br>
+ store double 4.000000e+00, double* %6, align 8<br>
+ %7 = bitcast %struct.foo_xxx* %agg.result to i8*<br>
+ %8 = bitcast %struct.foo_xxx* %1 to i8*<br>
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %7, i8* %8, i64 24, i32 8, i1 false)<br>
+ ret void<br>
+}<br>
+<br>
+declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind<br>
+<br>
+define i32 @func_5_xxx(i32 %arg_1_xxx, i32 %arg_2_xxx, i32 %arg_3_xxx, i32 %arg_4_xxx) nounwind uwtable ssp {<br>
+ %1 = alloca i32, align 4<br>
+ %2 = alloca i32, align 4<br>
+ %3 = alloca i32, align 4<br>
+ %4 = alloca i32, align 4<br>
+ %local_1_xxx = alloca i32, align 4<br>
+ %local_2_xxx = alloca i32, align 4<br>
+ %i = alloca i32, align 4<br>
+ store i32 %arg_1_xxx, i32* %1, align 4<br>
+ store i32 %arg_2_xxx, i32* %2, align 4<br>
+ store i32 %arg_3_xxx, i32* %3, align 4<br>
+ store i32 %arg_4_xxx, i32* %4, align 4<br>
+ store i32 1, i32* %local_1_xxx, align 4<br>
+ store i32 2, i32* %local_2_xxx, align 4<br>
+ store i32 0, i32* %i, align 4<br>
+ br label %5<br>
+<br>
+; <label>:5 ; preds = %9, %0<br>
+ %6 = load i32* %i, align 4<br>
+ %7 = icmp slt i32 %6, 10<br>
+ br i1 %7, label %8, label %12<br>
+<br>
+; <label>:8 ; preds = %5<br>
+ br label %9<br>
+<br>
+; <label>:9 ; preds = %8<br>
+ %10 = load i32* %i, align 4<br>
+ %11 = add nsw i32 %10, 1<br>
+ store i32 %11, i32* %i, align 4<br>
+ br label %5<br>
+<br>
+; <label>:12 ; preds = %5<br>
+ %13 = load i32* %local_1_xxx, align 4<br>
+ %14 = load i32* %1, align 4<br>
+ %15 = add nsw i32 %13, %14<br>
+ %16 = load i32* %local_2_xxx, align 4<br>
+ %17 = add nsw i32 %15, %16<br>
+ %18 = load i32* %2, align 4<br>
+ %19 = add nsw i32 %17, %18<br>
+ %20 = load i32* @func_5_xxx.static_local_3_xxx, align 4<br>
+ %21 = add nsw i32 %19, %20<br>
+ %22 = load i32* %3, align 4<br>
+ %23 = add nsw i32 %21, %22<br>
+ %24 = load i32* %4, align 4<br>
+ %25 = add nsw i32 %23, %24<br>
+ ret i32 %25<br>
+}<br>
+<br>
+define i32 @varargs_func_6_xxx(i32 %arg_1_xxx, i32 %arg_2_xxx, ...) nounwind uwtable ssp {<br>
+ %1 = alloca i32, align 4<br>
+ %2 = alloca i32, align 4<br>
+ store i32 %arg_1_xxx, i32* %1, align 4<br>
+ store i32 %arg_2_xxx, i32* %2, align 4<br>
+ ret i32 6<br>
+}<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>