mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-19 19:29:31 +00:00
the -debug-pass=Arguments option * Run instcombining BEFORE mem2reg so that getelementptr X, long 0's are cleaned up. This is also important because scalar replacement of aggr. will want instcombine to run before it goes as well. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3879 91177308-0d34-0410-b5e6-96231b3b80d8
150 lines
5.4 KiB
C++
150 lines
5.4 KiB
C++
//===----------------------------------------------------------------------===//
|
|
// LLVM 'GCCAS' UTILITY
|
|
//
|
|
// This utility is designed to be used by the GCC frontend for creating
|
|
// bytecode files from it's intermediate llvm assembly. The requirements for
|
|
// this utility are thus slightly different than that of the standard as util.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "llvm/Module.h"
|
|
#include "llvm/PassManager.h"
|
|
#include "llvm/Assembly/Parser.h"
|
|
#include "llvm/Transforms/RaisePointerReferences.h"
|
|
#include "llvm/Transforms/IPO.h"
|
|
#include "llvm/Transforms/Scalar.h"
|
|
#include "llvm/Analysis/LoadValueNumbering.h"
|
|
#include "llvm/Analysis/Verifier.h"
|
|
#include "llvm/Bytecode/WriteBytecodePass.h"
|
|
#include "llvm/Target/TargetData.h"
|
|
#include "Support/CommandLine.h"
|
|
#include "Support/Signals.h"
|
|
#include <memory>
|
|
#include <fstream>
|
|
using std::cerr;
|
|
|
|
// FIXME: This should eventually be parameterized...
|
|
static TargetData TD("opt target");
|
|
|
|
static cl::opt<std::string>
|
|
InputFilename(cl::Positional, cl::desc("<input llvm assembly>"), cl::Required);
|
|
|
|
static cl::opt<std::string>
|
|
OutputFilename("o", cl::desc("Override output filename"),
|
|
cl::value_desc("filename"));
|
|
|
|
static cl::opt<int>
|
|
RunNPasses("stopAfterNPasses",
|
|
cl::desc("Only run the first N passes of gccas"), cl::Hidden,
|
|
cl::value_desc("# passes"));
|
|
|
|
static cl::opt<bool>
|
|
Verify("verify", cl::desc("Verify each pass result"));
|
|
|
|
|
|
static inline void addPass(PassManager &PM, Pass *P) {
|
|
static int NumPassesCreated = 0;
|
|
|
|
// If we haven't already created the number of passes that was requested...
|
|
if (RunNPasses == 0 || RunNPasses > NumPassesCreated) {
|
|
// Add the pass to the pass manager...
|
|
PM.add(P);
|
|
|
|
// If we are verifying all of the intermediate steps, add the verifier...
|
|
if (Verify) PM.add(createVerifierPass());
|
|
|
|
// Keep track of how many passes we made for -stopAfterNPasses
|
|
++NumPassesCreated;
|
|
} else {
|
|
delete P; // We don't want this pass to run, just delete it now
|
|
}
|
|
}
|
|
|
|
|
|
void AddConfiguredTransformationPasses(PassManager &PM) {
|
|
if (Verify) PM.add(createVerifierPass());
|
|
|
|
addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
|
|
addPass(PM, createGlobalDCEPass()); // Kill unused uinit g-vars
|
|
addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
|
|
addPass(PM, createConstantMergePass()); // Merge dup global constants
|
|
addPass(PM, createVerifierPass()); // Verify that input is correct
|
|
addPass(PM, createDeadInstEliminationPass()); // Remove Dead code/vars
|
|
addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
|
|
addPass(PM, createIndVarSimplifyPass()); // Simplify indvars
|
|
addPass(PM, createRaisePointerReferencesPass(TD));// Recover type information
|
|
addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
|
|
addPass(PM, createPromoteMemoryToRegister()); // Promote alloca's to regs
|
|
// Disabling until this is fixed -- Vikram, 7/7/02.
|
|
// addPass(PM, createReassociatePass()); // Reassociate expressions
|
|
addPass(PM, createCorrelatedExpressionEliminationPass());
|
|
addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
|
|
addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
|
|
addPass(PM, createLICMPass()); // Hoist loop invariants
|
|
addPass(PM, createLoadValueNumberingPass()); // GVN for load instructions
|
|
addPass(PM, createGCSEPass()); // Remove common subexprs
|
|
addPass(PM, createSCCPPass()); // Constant prop with SCCP
|
|
|
|
// Run instcombine after redundancy elimination to exploit opportunities
|
|
// opened up by them.
|
|
addPass(PM, createInstructionCombiningPass());
|
|
addPass(PM, createAggressiveDCEPass()); // SSA based 'Agressive DCE'
|
|
addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
|
|
}
|
|
|
|
|
|
int main(int argc, char **argv) {
|
|
cl::ParseCommandLineOptions(argc, argv, " llvm .s -> .o assembler for GCC\n");
|
|
|
|
std::auto_ptr<Module> M;
|
|
try {
|
|
// Parse the file now...
|
|
M.reset(ParseAssemblyFile(InputFilename));
|
|
} catch (const ParseException &E) {
|
|
cerr << argv[0] << ": " << E.getMessage() << "\n";
|
|
return 1;
|
|
}
|
|
|
|
if (M.get() == 0) {
|
|
cerr << argv[0] << ": assembly didn't read correctly.\n";
|
|
return 1;
|
|
}
|
|
|
|
if (OutputFilename == "") { // Didn't specify an output filename?
|
|
std::string IFN = InputFilename;
|
|
int Len = IFN.length();
|
|
if (IFN[Len-2] == '.' && IFN[Len-1] == 's') { // Source ends in .s?
|
|
OutputFilename = std::string(IFN.begin(), IFN.end()-2);
|
|
} else {
|
|
OutputFilename = IFN; // Append a .o to it
|
|
}
|
|
OutputFilename += ".o";
|
|
}
|
|
|
|
std::ofstream Out(OutputFilename.c_str(), std::ios::out);
|
|
if (!Out.good()) {
|
|
cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
|
|
return 1;
|
|
}
|
|
|
|
// Make sure that the Out file gets unlink'd from the disk if we get a SIGINT
|
|
RemoveFileOnSignal(OutputFilename);
|
|
|
|
// In addition to just parsing the input from GCC, we also want to spiff it up
|
|
// a little bit. Do this now.
|
|
//
|
|
PassManager Passes;
|
|
|
|
// Add all of the transformation passes to the pass manager to do the cleanup
|
|
// and optimization of the GCC output.
|
|
//
|
|
AddConfiguredTransformationPasses(Passes);
|
|
|
|
// Write bytecode to file...
|
|
Passes.add(new WriteBytecodePass(&Out));
|
|
|
|
// Run our queue of passes all at once now, efficiently.
|
|
Passes.run(*M.get());
|
|
return 0;
|
|
}
|