blob: 215f5e9bba6431c26f9cf4a536ac1eee3b8cf457 [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;
61 }
62}
63
64
65void AddConfiguredTransformationPasses(PassManager &PM) {
66 if (Verify) PM.add(createVerifierPass());
67
68 addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
Chris Lattner0e4ca082002-08-17 22:38:02 +000069 addPass(PM, createGlobalDCEPass()); // Kill unused uinit g-vars
Chris Lattnerd9d8c072002-07-23 22:04:43 +000070 addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
Chris Lattner624c3e02002-06-25 15:57:43 +000071 addPass(PM, createConstantMergePass()); // Merge dup global constants
72 addPass(PM, createDeadInstEliminationPass()); // Remove Dead code/vars
73 addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
Chris Lattner624c3e02002-06-25 15:57:43 +000074 addPass(PM, createIndVarSimplifyPass()); // Simplify indvars
75
76 // Level raise is eternally buggy/in need of enhancements. Allow
77 // transformation to stop right before it runs.
78 if (StopAtLevelRaise) return;
79
Chris Lattnerccbb3bd2002-07-23 18:09:58 +000080 addPass(PM, createRaisePointerReferencesPass(TD));// Eliminate casts
Chris Lattner624c3e02002-06-25 15:57:43 +000081 addPass(PM, createPromoteMemoryToRegister()); // Promote alloca's to regs
Vikram S. Advef8685eb2002-07-09 19:53:09 +000082 // Disabling until this is fixed -- Vikram, 7/7/02.
83 // addPass(PM, createReassociatePass()); // Reassociate expressions
Chris Lattner624c3e02002-06-25 15:57:43 +000084 addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
85 addPass(PM, createDeadInstEliminationPass()); // Kill InstCombine remnants
86 addPass(PM, createLICMPass()); // Hoist loop invariants
87 addPass(PM, createGCSEPass()); // Remove common subexprs
88 addPass(PM, createSCCPPass()); // Constant prop with SCCP
89
90 // Run instcombine after redundancy elimination to exploit opportunities
91 // opened up by them.
92 addPass(PM, createInstructionCombiningPass());
93 addPass(PM, createAggressiveDCEPass()); // SSA based 'Agressive DCE'
94 addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
95}
96
Chris Lattnerecbde332001-10-31 04:28:11 +000097
98int main(int argc, char **argv) {
Chris Lattner11c862c2001-10-31 04:33:33 +000099 cl::ParseCommandLineOptions(argc, argv, " llvm .s -> .o assembler for GCC\n");
Chris Lattnerecbde332001-10-31 04:28:11 +0000100
Chris Lattnerecbde332001-10-31 04:28:11 +0000101 std::auto_ptr<Module> M;
102 try {
103 // Parse the file now...
104 M.reset(ParseAssemblyFile(InputFilename));
105 } catch (const ParseException &E) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000106 cerr << argv[0] << ": " << E.getMessage() << "\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000107 return 1;
108 }
109
110 if (M.get() == 0) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000111 cerr << argv[0] << ": assembly didn't read correctly.\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000112 return 1;
113 }
114
115 if (OutputFilename == "") { // Didn't specify an output filename?
Chris Lattner697954c2002-01-20 22:54:45 +0000116 std::string IFN = InputFilename;
Chris Lattnerecbde332001-10-31 04:28:11 +0000117 int Len = IFN.length();
118 if (IFN[Len-2] == '.' && IFN[Len-1] == 's') { // Source ends in .s?
Chris Lattner697954c2002-01-20 22:54:45 +0000119 OutputFilename = std::string(IFN.begin(), IFN.end()-2);
Chris Lattnerecbde332001-10-31 04:28:11 +0000120 } else {
121 OutputFilename = IFN; // Append a .o to it
122 }
123 OutputFilename += ".o";
124 }
125
Anand Shuklacf17bcc2002-06-25 21:57:48 +0000126 std::ofstream Out(OutputFilename.c_str(), std::ios::out);
Chris Lattner3dc67dd2002-01-22 03:30:46 +0000127 if (!Out.good()) {
Chris Lattnerd4c7f272002-07-30 21:43:25 +0000128 cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000129 return 1;
130 }
131
Chris Lattner76d12292002-04-18 19:55:25 +0000132 // Make sure that the Out file gets unlink'd from the disk if we get a SIGINT
133 RemoveFileOnSignal(OutputFilename);
134
Chris Lattnerecbde332001-10-31 04:28:11 +0000135 // In addition to just parsing the input from GCC, we also want to spiff it up
136 // a little bit. Do this now.
137 //
Chris Lattnerf4de63f2002-01-21 07:31:50 +0000138 PassManager Passes;
Chris Lattner4ad53222002-05-14 16:23:14 +0000139
Chris Lattner624c3e02002-06-25 15:57:43 +0000140 // Add all of the transformation passes to the pass manager to do the cleanup
141 // and optimization of the GCC output.
142 //
143 AddConfiguredTransformationPasses(Passes);
144
145 // Write bytecode to file...
146 Passes.add(new WriteBytecodePass(&Out));
Chris Lattnerecbde332001-10-31 04:28:11 +0000147
Chris Lattner3dc67dd2002-01-22 03:30:46 +0000148 // Run our queue of passes all at once now, efficiently.
Chris Lattner624c3e02002-06-25 15:57:43 +0000149 Passes.run(*M.get());
Chris Lattnerecbde332001-10-31 04:28:11 +0000150 return 0;
151}