blob: e04b2b5646a42fcdce08b4bbc4a086f090dd8d73 [file] [log] [blame]
Chris Lattnerdbc23182003-10-15 21:49:57 +00001//===-- gccas.cpp - The "optimizing assembler" used by the GCC frontend ---===//
John Criswell7c0e0222003-10-20 17:47:21 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
Chris Lattnerecbde332001-10-31 04:28:11 +00009//
Misha Brukman57d708b2003-08-07 21:23:52 +000010// This utility is designed to be used by the GCC frontend for creating bytecode
11// files from its intermediate LLVM assembly. The requirements for this utility
12// are thus slightly different than that of the standard `as' util.
Chris Lattnerecbde332001-10-31 04:28:11 +000013//
Chris Lattner3dc67dd2002-01-22 03:30:46 +000014//===----------------------------------------------------------------------===//
Chris Lattnerecbde332001-10-31 04:28:11 +000015
16#include "llvm/Module.h"
Chris Lattner0f3bfff2002-01-31 00:46:22 +000017#include "llvm/PassManager.h"
Misha Brukman57d708b2003-08-07 21:23:52 +000018#include "llvm/Analysis/LoadValueNumbering.h"
19#include "llvm/Analysis/Verifier.h"
Chris Lattnerecbde332001-10-31 04:28:11 +000020#include "llvm/Assembly/Parser.h"
Misha Brukman57d708b2003-08-07 21:23:52 +000021#include "llvm/Bytecode/WriteBytecodePass.h"
22#include "llvm/Target/TargetData.h"
Chris Lattnerd9d8c072002-07-23 22:04:43 +000023#include "llvm/Transforms/IPO.h"
Chris Lattner65f1b892002-05-07 20:03:27 +000024#include "llvm/Transforms/Scalar.h"
Chris Lattnercee8f9a2001-11-27 00:03:19 +000025#include "Support/CommandLine.h"
Chris Lattner76d12292002-04-18 19:55:25 +000026#include "Support/Signals.h"
Chris Lattnerecbde332001-10-31 04:28:11 +000027#include <memory>
28#include <fstream>
Chris Lattnerecbde332001-10-31 04:28:11 +000029
Brian Gaeked0fde302003-11-11 22:41:34 +000030using namespace llvm;
31
Chris Lattnerf2956fc2003-04-16 17:34:29 +000032namespace {
Chris Lattnerf2956fc2003-04-16 17:34:29 +000033 cl::opt<std::string>
Chris Lattner8c7b0552003-04-16 17:49:18 +000034 InputFilename(cl::Positional,cl::desc("<input llvm assembly>"),cl::init("-"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000035
Chris Lattnerf2956fc2003-04-16 17:34:29 +000036 cl::opt<std::string>
37 OutputFilename("o", cl::desc("Override output filename"),
38 cl::value_desc("filename"));
Chris Lattner5ff62e92002-07-22 02:10:13 +000039
Chris Lattnerf2956fc2003-04-16 17:34:29 +000040 cl::opt<bool>
41 Verify("verify", cl::desc("Verify each pass result"));
Chris Lattner0cea3ec2003-10-10 18:18:53 +000042
43 cl::opt<bool>
44 DisableInline("disable-inlining", cl::desc("Do not run the inliner pass"));
Chris Lattner74295c02003-12-30 03:24:27 +000045
46 cl::opt<bool>
47 DisableOptimizations("disable-opt",
48 cl::desc("Do not run any optimization passes"));
Chris Lattnerf2956fc2003-04-16 17:34:29 +000049}
Chris Lattner5ff62e92002-07-22 02:10:13 +000050
Chris Lattner624c3e02002-06-25 15:57:43 +000051
52static inline void addPass(PassManager &PM, Pass *P) {
Chris Lattner36f18ae2003-08-31 21:47:24 +000053 // Add the pass to the pass manager...
54 PM.add(P);
Chris Lattner624c3e02002-06-25 15:57:43 +000055
Chris Lattner36f18ae2003-08-31 21:47:24 +000056 // If we are verifying all of the intermediate steps, add the verifier...
57 if (Verify) PM.add(createVerifierPass());
Chris Lattner624c3e02002-06-25 15:57:43 +000058}
59
60
61void AddConfiguredTransformationPasses(PassManager &PM) {
Chris Lattnere643a6c2003-06-22 20:11:45 +000062 PM.add(createVerifierPass()); // Verify that input is correct
Chris Lattnerf7c7f5a2003-09-15 04:56:44 +000063 addPass(PM, createLowerSetJmpPass()); // Lower llvm.setjmp/.longjmp
Chris Lattnerc5394832002-08-30 22:55:32 +000064 addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
Chris Lattner74295c02003-12-30 03:24:27 +000065
66 if (DisableOptimizations) return;
67
Chris Lattner14b170f2003-11-21 21:44:35 +000068 addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
Chris Lattner05e4e8a2004-02-01 07:24:53 +000069 addPass(PM, createCFGSimplificationPass()); // Clean up disgusting code
70 addPass(PM, createPromoteMemoryToRegister()); // Kill useless allocas
Chris Lattnera93d19f2004-02-25 21:35:02 +000071 addPass(PM, createGlobalConstifierPass()); // Mark read-only globals const
Chris Lattner3edb77c2003-11-22 19:07:47 +000072 addPass(PM, createGlobalDCEPass()); // Remove unused globals
Chris Lattnereaa35bb2003-10-23 18:25:57 +000073 addPass(PM, createIPConstantPropagationPass());// IP Constant Propagation
74 addPass(PM, createDeadArgEliminationPass()); // Dead argument elimination
Chris Lattner05e4e8a2004-02-01 07:24:53 +000075 addPass(PM, createInstructionCombiningPass()); // Clean up after IPCP & DAE
76 addPass(PM, createCFGSimplificationPass()); // Clean up after IPCP & DAE
Chris Lattnereaa35bb2003-10-23 18:25:57 +000077
Chris Lattnercf37c232003-08-31 21:45:55 +000078 addPass(PM, createPruneEHPass()); // Remove dead EH info
Chris Lattner0cea3ec2003-10-10 18:18:53 +000079
80 if (!DisableInline)
81 addPass(PM, createFunctionInliningPass()); // Inline small functions
Chris Lattnercf37c232003-08-31 21:45:55 +000082
Chris Lattnerf07c8332003-10-16 16:50:34 +000083 addPass(PM, createRaisePointerReferencesPass());// Recover type information
Chris Lattnere643a6c2003-06-22 20:11:45 +000084 addPass(PM, createTailDuplicationPass()); // Simplify cfg by copying code
85 addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
Chris Lattner42ed21b2003-05-30 19:24:06 +000086 addPass(PM, createScalarReplAggregatesPass()); // Break up aggregate allocas
Chris Lattnercf37c232003-08-31 21:45:55 +000087 addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
88
Chris Lattner52af6302002-10-31 17:13:11 +000089 addPass(PM, createReassociatePass()); // Reassociate expressions
Chris Lattner4dd7d3e2002-09-06 18:41:33 +000090 addPass(PM, createInstructionCombiningPass()); // Combine silly seq's
Chris Lattnerca6cc6f2003-12-11 17:50:32 +000091 addPass(PM, createTailCallEliminationPass()); // Eliminate tail calls
Chris Lattner4dd7d3e2002-09-06 18:41:33 +000092 addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
Chris Lattnerc5394832002-08-30 22:55:32 +000093 addPass(PM, createLICMPass()); // Hoist loop invariants
94 addPass(PM, createLoadValueNumberingPass()); // GVN for load instructions
95 addPass(PM, createGCSEPass()); // Remove common subexprs
96 addPass(PM, createSCCPPass()); // Constant prop with SCCP
Chris Lattner624c3e02002-06-25 15:57:43 +000097
98 // Run instcombine after redundancy elimination to exploit opportunities
99 // opened up by them.
100 addPass(PM, createInstructionCombiningPass());
Chris Lattner47320522003-09-11 16:34:07 +0000101 addPass(PM, createIndVarSimplifyPass()); // Canonicalize indvars
Chris Lattnere643a6c2003-06-22 20:11:45 +0000102 addPass(PM, createAggressiveDCEPass()); // SSA based 'Aggressive DCE'
Chris Lattner4dd7d3e2002-09-06 18:41:33 +0000103 addPass(PM, createCFGSimplificationPass()); // Merge & remove BBs
Chris Lattnercf37c232003-08-31 21:45:55 +0000104 addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
105 addPass(PM, createConstantMergePass()); // Merge dup global constants
Chris Lattner624c3e02002-06-25 15:57:43 +0000106}
107
Chris Lattnerecbde332001-10-31 04:28:11 +0000108
109int main(int argc, char **argv) {
Chris Lattner11c862c2001-10-31 04:33:33 +0000110 cl::ParseCommandLineOptions(argc, argv, " llvm .s -> .o assembler for GCC\n");
Chris Lattner364d1202004-02-19 20:32:39 +0000111 PrintStackTraceOnErrorSignal();
Chris Lattnerecbde332001-10-31 04:28:11 +0000112
Chris Lattnerecbde332001-10-31 04:28:11 +0000113 std::auto_ptr<Module> M;
114 try {
115 // Parse the file now...
116 M.reset(ParseAssemblyFile(InputFilename));
117 } catch (const ParseException &E) {
Chris Lattner2c1d2f22003-04-16 17:41:08 +0000118 std::cerr << argv[0] << ": " << E.getMessage() << "\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000119 return 1;
120 }
121
122 if (M.get() == 0) {
Chris Lattner2c1d2f22003-04-16 17:41:08 +0000123 std::cerr << argv[0] << ": assembly didn't read correctly.\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000124 return 1;
125 }
Chris Lattner8c7b0552003-04-16 17:49:18 +0000126
127 std::ostream *Out = 0;
Chris Lattnerecbde332001-10-31 04:28:11 +0000128 if (OutputFilename == "") { // Didn't specify an output filename?
Chris Lattner8c7b0552003-04-16 17:49:18 +0000129 if (InputFilename == "-") {
130 OutputFilename = "-";
Chris Lattnerecbde332001-10-31 04:28:11 +0000131 } else {
Chris Lattner8c7b0552003-04-16 17:49:18 +0000132 std::string IFN = InputFilename;
133 int Len = IFN.length();
134 if (IFN[Len-2] == '.' && IFN[Len-1] == 's') { // Source ends in .s?
135 OutputFilename = std::string(IFN.begin(), IFN.end()-2);
136 } else {
137 OutputFilename = IFN; // Append a .o to it
138 }
139 OutputFilename += ".o";
Chris Lattnerecbde332001-10-31 04:28:11 +0000140 }
Chris Lattnerecbde332001-10-31 04:28:11 +0000141 }
142
Chris Lattner8c7b0552003-04-16 17:49:18 +0000143 if (OutputFilename == "-")
144 Out = &std::cout;
145 else {
146 Out = new std::ofstream(OutputFilename.c_str(), std::ios::out);
147
Misha Brukman452fea92003-10-10 17:56:49 +0000148 // Make sure that the Out file gets unlinked from the disk if we get a
Chris Lattner8c7b0552003-04-16 17:49:18 +0000149 // signal
150 RemoveFileOnSignal(OutputFilename);
151 }
152
153
154 if (!Out->good()) {
Chris Lattner2c1d2f22003-04-16 17:41:08 +0000155 std::cerr << argv[0] << ": error opening " << OutputFilename << "!\n";
Chris Lattnerecbde332001-10-31 04:28:11 +0000156 return 1;
157 }
158
159 // In addition to just parsing the input from GCC, we also want to spiff it up
160 // a little bit. Do this now.
161 //
Chris Lattnerf4de63f2002-01-21 07:31:50 +0000162 PassManager Passes;
Chris Lattner4ad53222002-05-14 16:23:14 +0000163
Chris Lattner9c3b55e2003-04-24 19:13:02 +0000164 // Add an appropriate TargetData instance for this module...
165 Passes.add(new TargetData("gccas", M.get()));
166
Chris Lattner624c3e02002-06-25 15:57:43 +0000167 // Add all of the transformation passes to the pass manager to do the cleanup
168 // and optimization of the GCC output.
169 //
170 AddConfiguredTransformationPasses(Passes);
171
Chris Lattner0cccb182004-01-14 03:39:46 +0000172 // Make sure everything is still good.
173 Passes.add(createVerifierPass());
174
Chris Lattner624c3e02002-06-25 15:57:43 +0000175 // Write bytecode to file...
Chris Lattner8c7b0552003-04-16 17:49:18 +0000176 Passes.add(new WriteBytecodePass(Out));
Chris Lattnerecbde332001-10-31 04:28:11 +0000177
Chris Lattner3dc67dd2002-01-22 03:30:46 +0000178 // Run our queue of passes all at once now, efficiently.
Chris Lattner624c3e02002-06-25 15:57:43 +0000179 Passes.run(*M.get());
Chris Lattner8c7b0552003-04-16 17:49:18 +0000180
181 if (Out != &std::cout) delete Out;
Chris Lattnerecbde332001-10-31 04:28:11 +0000182 return 0;
183}