# HG changeset patch # User Benjamin Kramer # Date 1251228943 -7200 # Node ID 4551475bc6b6033339f9ddf546e406d8f38a68d9 # Parent 299a6b6341780e652203828e375edf2a08bdf062 Kill off StripMetaData. diff -r 299a6b634178 -r 4551475bc6b6 gen/main.cpp --- a/gen/main.cpp Tue Aug 25 21:21:37 2009 +0200 +++ b/gen/main.cpp Tue Aug 25 21:35:43 2009 +0200 @@ -938,13 +938,6 @@ std::string errormsg; for (int i = 0; i < llvmModules.size(); i++) { -#if USE_METADATA - //FIXME: workaround for llvm metadata bug: - // the LinkInModule call asserts with metadata unstripped - llvm::ModulePass* stripMD = createStripMetaData(); - stripMD->runOnModule(*llvmModules[i]); - delete stripMD; -#endif // USE_METADATA if(linker.LinkInModule(llvmModules[i], &errormsg)) error("%s", errormsg.c_str()); delete llvmModules[i]; diff -r 299a6b634178 -r 4551475bc6b6 gen/optimizer.cpp --- a/gen/optimizer.cpp Tue Aug 25 21:21:37 2009 +0200 +++ b/gen/optimizer.cpp Tue Aug 25 21:35:43 2009 +0200 @@ -58,12 +58,6 @@ cl::desc("Disable promotion of GC allocations to stack memory in -O"), cl::ZeroOrMore); -// Not recommended; metadata currently triggers an assert in the backend... -static cl::opt -disableStripMetaData("disable-strip-metadata", - cl::desc("Disable default metadata stripping (not recommended)"), - cl::ZeroOrMore); - static cl::opt enableInlining("inlining", cl::desc("(*) Enable function inlining in -O"), @@ -222,18 +216,8 @@ // Returns true if any optimization passes were invoked. bool ldc_optimize_module(llvm::Module* m) { - if (!optimize()) { -#if USE_METADATA - if (!disableStripMetaData) { - // This one always needs to run if metadata is generated, because - // the code generator will assert if it's not used. - ModulePass* stripMD = createStripMetaData(); - stripMD->runOnModule(*m); - delete stripMD; - } -#endif + if (!optimize()) return false; - } PassManager pm; @@ -270,14 +254,6 @@ if (optimize) addPassesForOptLevel(pm); -#if USE_METADATA - if (!disableStripMetaData) { - // This one is purposely not disabled by disableLangSpecificPasses - // because the code generator will assert if it's not used. - addPass(pm, createStripMetaData()); - } -#endif // USE_METADATA - pm.run(*m); return true; } diff -r 299a6b634178 -r 4551475bc6b6 gen/passes/Passes.h --- a/gen/passes/Passes.h Tue Aug 25 21:21:37 2009 +0200 +++ b/gen/passes/Passes.h Tue Aug 25 21:35:43 2009 +0200 @@ -12,7 +12,6 @@ #if USE_METADATA llvm::FunctionPass* createGarbageCollect2Stack(); -llvm::ModulePass* createStripMetaData(); #endif // USE_METADATA llvm::ModulePass* createStripExternalsPass(); diff -r 299a6b634178 -r 4551475bc6b6 gen/passes/StripMetaData.cpp --- a/gen/passes/StripMetaData.cpp Tue Aug 25 21:21:37 2009 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,81 +0,0 @@ -#if USE_METADATA - -//===- StripMetaData - Strips D-specific metadata -------------------------===// -// -// The LLVM D Compiler -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// There's an issue with the new LLVM metadata support; an assertion fires when -// trying to generate asm for metadata globals. -// -// This pass is a workaround; it deletes the metadata LDC generates so the code -// generator doesn't see it. -// Obviously, this should only run after all passes that make use of that -// metadata or they won't work. -// -//===----------------------------------------------------------------------===// - -#include "gen/metadata.h" - -#define DEBUG_TYPE "strip-metadata" - -#include "Passes.h" - -#include "llvm/Pass.h" -#include "llvm/Module.h" -#include "llvm/ADT/Statistic.h" -#include "llvm/Support/Compiler.h" -#include "llvm/Support/Debug.h" -#include "llvm/Support/raw_ostream.h" -using namespace llvm; - -STATISTIC(NumDeleted, "Number of metadata globals deleted"); - -//===----------------------------------------------------------------------===// -// StripMetaData Pass Implementation -//===----------------------------------------------------------------------===// - -namespace { - /// This pass optimizes library functions from the D runtime as used by LDC. - /// - class VISIBILITY_HIDDEN StripMetaData : public ModulePass { - public: - static char ID; // Pass identification - StripMetaData() : ModulePass(&ID) {} - - bool runOnModule(Module &M); - }; - char StripMetaData::ID = 0; -} // end anonymous namespace. - -static RegisterPass -X("strip-metadata", "Delete D-specific metadata"); - -// Public interface to the pass. -ModulePass *createStripMetaData() { - return new StripMetaData(); -} - -/// runOnFunction - Top level algorithm. -/// -bool StripMetaData::runOnModule(Module &M) { - bool Changed = false; - for (Module::global_iterator I = M.global_begin(), E = M.global_end(); I != E;) { - GlobalVariable* G = I++; - if (G->getName().startswith("llvm.ldc.")) { - assert(G->hasInitializer() && isa(G->getInitializer()) - && "Not a metadata global?"); - Changed = true; - NumDeleted++; - DEBUG(errs() << "Deleting " << *G << '\n'); - G->eraseFromParent(); - } - } - return Changed; -} - -#endif // USE_METADATA