mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-18 12:29:21 +00:00
Initial version of GCC cleanup pass: just removes extraneous global symbol table entries for types
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1062 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
2fa11445cd
commit
e51e03b3c6
67
lib/Transforms/IPO/DeadTypeElimination.cpp
Normal file
67
lib/Transforms/IPO/DeadTypeElimination.cpp
Normal file
@ -0,0 +1,67 @@
|
||||
//===- CleanupGCCOutput.cpp - Cleanup GCC Output ----------------------------=//
|
||||
//
|
||||
// This pass is used to cleanup the output of GCC. GCC's output is
|
||||
// unneccessarily gross for a couple of reasons. This pass does the following
|
||||
// things to try to clean it up:
|
||||
//
|
||||
// Note: This code produces dead declarations, it is a good idea to run DCE
|
||||
// after this pass.
|
||||
//
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
#include "llvm/Transforms/CleanupGCCOutput.h"
|
||||
#include "llvm/SymbolTable.h"
|
||||
|
||||
static inline bool ShouldNukeSymtabEntry(const pair<string, Value*> &E) {
|
||||
// Nuke all names for primitive types!
|
||||
if (cast<Type>(E.second)->isPrimitiveType()) return true;
|
||||
|
||||
// The only types that could contain .'s in the program are things generated
|
||||
// by GCC itself, including "complex.float" and friends. Nuke them too.
|
||||
if (E.first.find('.') != string::npos) return true;
|
||||
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
// doPassInitialization - For this pass, it removes global symbol table
|
||||
// entries for primitive types. These are never used for linking in GCC and
|
||||
// they make the output uglier to look at, so we nuke them.
|
||||
//
|
||||
bool CleanupGCCOutput::doPassInitialization(Module *M) {
|
||||
bool Changed = false;
|
||||
|
||||
if (M->hasSymbolTable()) {
|
||||
// Grab the type plane of the module...
|
||||
SymbolTable *ST = M->getSymbolTable();
|
||||
SymbolTable::iterator STI = ST->find(Type::TypeTy);
|
||||
if (STI != ST->end()) {
|
||||
// Loop over all entries in the type plane...
|
||||
SymbolTable::VarMap &Plane = STI->second;
|
||||
for (SymbolTable::VarMap::iterator PI = Plane.begin(); PI != Plane.end();)
|
||||
if (ShouldNukeSymtabEntry(*PI)) { // Should we remove this entry?
|
||||
#if MAP_IS_NOT_BRAINDEAD
|
||||
PI = Plane.erase(PI); // STD C++ Map should support this!
|
||||
#else
|
||||
Plane.erase(PI); // Alas, GCC 2.95.3 doesn't *SIGH*
|
||||
PI = Plane.begin();
|
||||
#endif
|
||||
Changed = true;
|
||||
} else {
|
||||
++PI;
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
return Changed;
|
||||
}
|
||||
|
||||
|
||||
// doPerMethodWork - This method simplifies the specified method hopefully.
|
||||
//
|
||||
bool CleanupGCCOutput::doPerMethodWork(Method *M) {
|
||||
bool Changed = false;
|
||||
|
||||
return Changed;
|
||||
}
|
@ -218,6 +218,7 @@ static ostream &printTypeInt(ostream &Out, const Type *Ty,
|
||||
return Out << TypeName;
|
||||
}
|
||||
|
||||
|
||||
// WriteTypeSymbolic - This attempts to write the specified type as a symbolic
|
||||
// type, iff there is an entry in the modules symbol table for the specified
|
||||
// type or one of it's component types. This is slower than a simple x << Type;
|
||||
|
Loading…
Reference in New Issue
Block a user