blob: a5ceace4456a6808c514a85bbc638131411cce48 [file] [log] [blame]
Chris Lattner3dc67dd2002-01-22 03:30:46 +00001//===----------------------------------------------------------------------===//
Chris Lattnerecbde332001-10-31 04:28:11 +00002// LLVM 'GCCAS' UTILITY
3//
4// This utility is designed to be used by the GCC frontend for creating
5// bytecode files from it's intermediate llvm assembly. The requirements for
6// this utility are thus slightly different than that of the standard as util.
7//
Chris Lattner3dc67dd2002-01-22 03:30:46 +00008//===----------------------------------------------------------------------===//
Chris Lattnerecbde332001-10-31 04:28:11 +00009
10#include "llvm/Module.h"
Chris Lattner0f3bfff2002-01-31 00:46:22 +000011#include "llvm/PassManager.h"
Chris Lattnerecbde332001-10-31 04:28:11 +000012#include "llvm/Assembly/Parser.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000013#include "llvm/Transforms/RaisePointerReferences.h"
14#include "llvm/Transforms/IPO.h"
Chris Lattner65f1b892002-05-07 20:03:27 +000015#include "llvm/Transforms/Scalar.h"
Chris Lattner624c3e02002-06-25 15:57:43 +000016#include "llvm/Analysis/Verifier.h"
Chris Lattner3dc67dd2002-01-22 03:30:46 +000017#include "llvm/Bytecode/WriteBytecodePass.h"
Chris Lattnerccbb3bd2002-07-23 18:09:58 +000018#include "llvm/Target/TargetData.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000019#include "Support/CommandLine.h"
Chris Lattner76d12292002-04-18 19:55:25 +000020#include "Support/Signals.h"
Chris Lattnerecbde332001-10-31 04:28:11 +000021#include <memory>
22#include <fstream>
Anand Shuklacf17bcc2002-06-25 21:57:48 +000023using std::cerr;
Chris Lattnerecbde332001-10-31 04:28:11 +000024
Chris Lattnerccbb3bd2002-07-23 18:09:58 +000025// FIXME: This should eventually be parameterized...
26static TargetData TD("opt target");
27
Chris Lattnerc7a09852002-07-25 16:31:09 +000028static cl::opt<std::string>
Chris Lattner5ff62e92002-07-22 02:10:13 +000029InputFilename(cl::Positional, cl::desc("<input llvm assembly>"), cl::Required);
30
Chris Lattnerc7a09852002-07-25 16:31:09 +000031static cl::opt<std::string>
Chris Lattner5ff62e92002-07-22 02:10:13 +000032OutputFilename("o", cl::desc("Override output filename"),
33 cl::value_desc("filename"));
34
35static cl::opt<int>
36RunNPasses("stopAfterNPasses",
37 cl::desc("Only run the first N passes of gccas"), cl::Hidden,
38 cl::value_desc("# passes"));
39
40static cl::opt<bool>
41StopAtLevelRaise("stopraise", cl::desc("Stop optimization before level raise"),
42 cl::Hidden);
43
44static cl::opt<bool>
45Verify("verify", cl::desc("Verify each pass result"));
46
Chris Lattner624c3e02002-06-25 15:57:43 +000047
48static inline void addPass(PassManager &PM, Pass *P) {
49 static int NumPassesCreated = 0;
50
51 // If we haven't already created the number of passes that was requested...
52 if (RunNPasses == 0 || RunNPasses > NumPassesCreated) {
53 // Add the pass to the pass manager...
54 PM.add(P);
55
56 // If we are verifying all of the intermediate steps, add the verifier...
57 if (Verify) PM.add(createVerifierPass());
58
59 // Keep track of how many passes we made for -stopAfterNPasses
60 ++NumPassesCreated;
Chris Lattner374a0952002-08-17 22:40:03 +000061 } else {
62 delete P; // We don't want this pass to run, just delete it now
Chris Lattner624c3e02002-06-25 15:57:43 +000063 }
64}
65
66
67void AddConfiguredTransformationPasses(PassManager &PM) {
68 if (Verify) PM.add(createVerifierPass());
69
70 addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
Chris Lattner0e4ca082002-08-17 22:38:02 +000071 addPass(PM, createGlobalDCEPass()); // Kill unused uinit g-vars
Chris Lattnerd9d8c072002-07-23 22:04:43 +000072 addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
Chris Lattner624c3e02002-06-25 15:57:43 +000073 addPass(PM, createConstantMergePass()); // Merge dup global constants
74 addPass(PM, createDeadInstEliminationPass()); // Remove Dead code/vars
75 addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
Chris Lattner624c3e02002-06-25 15:57:43 +000076 addPass(PM, createIndVarSimplifyPass()); // Simplify indvars
77
78 // Level raise is eternally buggy/in need of enhancements. Allow
79 // transformation to stop right before it runs.
80 if (StopAtLevelRaise) return;
81
Chris Lattnerccbb3bd2002-07-23 18:09:58 +000082 addPass(PM, createRaisePointerReferencesPass(TD));// Eliminate casts
Chris Lattner624c3e02002-06-25 15:57:43 +000083 addPass(PM, createPromoteMemoryToRegister()); // Promote alloca's to regs
Vikram S. Advef8685eb2002-07-09 19:53:09 +000084 // Disabling until this is fixed -- Vikram, 7/7/02.
85 // addPass(PM, createReassociatePass()); // Reassociate expressions
Chris Lattner624c3e02002-06-25 15:57:43 +000086 addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
87 addPass(PM, createDeadInstEliminationPass()); // Kill InstCombine remnants
88 addPass(PM, createLICMPass()); // Hoist loop invariants
89 addPass(PM, createGCSEPass()); // Remove common subexprs
90 addPass(PM, createSCCPPass()); // Constant prop with SCCP
91
92 // Run instcombine after redundancy elimination to exploit opportunities
93 // opened up by them.
94 addPass(PM, createInstructionCombiningPass());
95 addPass(PM, createAggressiveDCEPass()); // SSA based 'Agressive DCE'
96 addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
97}
98
Chris Lattnerecbde332001-10-31 04:28:11 +000099
100int main(int argc, char **argv) {
Chris Lattner11c862c2001-10-31 04:33:33 +0000101 cl::ParseCommandLineOptions(argc, argv, " llvm .s -> .o assembler for GCC\n");
Chris Lattnerecbde332001-10-31 04:28:11 +0000102
Chris Lattnerecbde332001-10-31 04:28:11 +0000103 std::auto_ptr<Module> M;
104 try {
105 // Parse the file now...
106 M.reset(ParseAssemblyFile(InputFilename));
107 } catch (const ParseException &E) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000108 cerr << argv[0] << ": " << E.getMessage() << "\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000109 return 1;
110 }
111
112 if (M.get() == 0) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000113 cerr << argv[0] << ": assembly didn't read correctly.\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000114 return 1;
115 }
116
117 if (OutputFilename == "") { // Didn't specify an output filename?
Chris Lattner697954c2002-01-20 22:54:45 +0000118 std::string IFN = InputFilename;
Chris Lattnerecbde332001-10-31 04:28:11 +0000119 int Len = IFN.length();
120 if (IFN[Len-2] == '.' && IFN[Len-1] == 's') { // Source ends in .s?
Chris Lattner697954c2002-01-20 22:54:45 +0000121 OutputFilename = std::string(IFN.begin(), IFN.end()-2);
Chris Lattnerecbde332001-10-31 04:28:11 +0000122 } else {
123 OutputFilename = IFN; // Append a .o to it
124 }
125 OutputFilename += ".o";
126 }
127
Anand Shuklacf17bcc2002-06-25 21:57:48 +0000128 std::ofstream Out(OutputFilename.c_str(), std::ios::out);
Chris Lattner3dc67dd2002-01-22 03:30:46 +0000129 if (!Out.good()) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000130 cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000131 return 1;
132 }
133
Chris Lattner76d12292002-04-18 19:55:25 +0000134 // Make sure that the Out file gets unlink'd from the disk if we get a SIGINT
135 RemoveFileOnSignal(OutputFilename);
136
Chris Lattnerecbde332001-10-31 04:28:11 +0000137 // In addition to just parsing the input from GCC, we also want to spiff it up
138 // a little bit. Do this now.
139 //
Chris Lattnerf4de63f2002-01-21 07:31:50 +0000140 PassManager Passes;
Chris Lattner4ad53222002-05-14 16:23:14 +0000141
Chris Lattner624c3e02002-06-25 15:57:43 +0000142 // Add all of the transformation passes to the pass manager to do the cleanup
143 // and optimization of the GCC output.
144 //
145 AddConfiguredTransformationPasses(Passes);
146
147 // Write bytecode to file...
148 Passes.add(new WriteBytecodePass(&Out));
Chris Lattnerecbde332001-10-31 04:28:11 +0000149
Chris Lattner3dc67dd2002-01-22 03:30:46 +0000150 // Run our queue of passes all at once now, efficiently.
Chris Lattner624c3e02002-06-25 15:57:43 +0000151 Passes.run(*M.get());
Chris Lattnerecbde332001-10-31 04:28:11 +0000152 return 0;
153}