blob: e3105d0b221ddd7d5022d451546344cc5c03e0de [file] [log] [blame]
Daniel Dunbar41b5b172010-05-20 17:49:16 +00001//===-- cc1as_main.cpp - Clang Assembler ---------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This is the entry point to the clang -cc1as functionality, which implements
11// the direct interface to the LLVM MC based assembler.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Basic/Diagnostic.h"
16#include "clang/Driver/Arg.h"
17#include "clang/Driver/ArgList.h"
18#include "clang/Driver/DriverDiagnostic.h"
19#include "clang/Driver/CC1AsOptions.h"
20#include "clang/Driver/OptTable.h"
21#include "clang/Driver/Options.h"
22#include "clang/Frontend/DiagnosticOptions.h"
23#include "clang/Frontend/FrontendDiagnostic.h"
24#include "clang/Frontend/TextDiagnosticPrinter.h"
25#include "llvm/ADT/OwningPtr.h"
26#include "llvm/ADT/StringSwitch.h"
Duncan Sands2dc14532010-08-30 09:42:39 +000027#include "llvm/ADT/Triple.h"
Daniel Dunbar7374f1b2010-07-17 02:26:21 +000028#include "llvm/MC/MCParser/MCAsmParser.h"
29#include "llvm/MC/MCAsmInfo.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000030#include "llvm/MC/MCCodeEmitter.h"
31#include "llvm/MC/MCContext.h"
32#include "llvm/MC/MCStreamer.h"
Evan Chengbb36ed92011-07-09 06:04:17 +000033#include "llvm/MC/MCSubtargetInfo.h"
Daniel Dunbarc673af72010-05-20 18:15:20 +000034#include "llvm/Support/CommandLine.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000035#include "llvm/Support/FormattedStream.h"
36#include "llvm/Support/ErrorHandling.h"
37#include "llvm/Support/ManagedStatic.h"
38#include "llvm/Support/MemoryBuffer.h"
39#include "llvm/Support/PrettyStackTrace.h"
40#include "llvm/Support/SourceMgr.h"
41#include "llvm/Support/Timer.h"
42#include "llvm/Support/raw_ostream.h"
Michael J. Spencer03013fa2010-11-29 18:12:39 +000043#include "llvm/Support/Host.h"
44#include "llvm/Support/Path.h"
45#include "llvm/Support/Signals.h"
Michael J. Spencer3a321e22010-12-09 17:36:38 +000046#include "llvm/Support/system_error.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000047#include "llvm/Target/TargetAsmBackend.h"
Rafael Espindola7872d482010-12-10 07:40:14 +000048#include "llvm/Target/TargetAsmInfo.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000049#include "llvm/Target/TargetAsmParser.h"
50#include "llvm/Target/TargetData.h"
Rafael Espindola7872d482010-12-10 07:40:14 +000051#include "llvm/Target/TargetLowering.h"
52#include "llvm/Target/TargetLoweringObjectFile.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000053#include "llvm/Target/TargetMachine.h"
54#include "llvm/Target/TargetRegistry.h"
55#include "llvm/Target/TargetSelect.h"
56using namespace clang;
57using namespace clang::driver;
58using namespace llvm;
59
60namespace {
61
62/// \brief Helper class for representing a single invocation of the assembler.
63struct AssemblerInvocation {
64 /// @name Target Options
65 /// @{
66
67 std::string Triple;
68
69 /// @}
70 /// @name Language Options
71 /// @{
72
73 std::vector<std::string> IncludePaths;
74 unsigned NoInitialTextSection : 1;
Daniel Dunbar402adc32011-03-28 22:49:24 +000075 unsigned SaveTemporaryLabels : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000076
77 /// @}
78 /// @name Frontend Options
79 /// @{
80
81 std::string InputFile;
Daniel Dunbarc673af72010-05-20 18:15:20 +000082 std::vector<std::string> LLVMArgs;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000083 std::string OutputPath;
84 enum FileType {
85 FT_Asm, ///< Assembly (.s) output, transliterate mode.
86 FT_Null, ///< No output, for timing purposes.
87 FT_Obj ///< Object file output.
88 };
89 FileType OutputType;
Daniel Dunbarc673af72010-05-20 18:15:20 +000090 unsigned ShowHelp : 1;
91 unsigned ShowVersion : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000092
93 /// @}
94 /// @name Transliterate Options
95 /// @{
96
97 unsigned OutputAsmVariant;
98 unsigned ShowEncoding : 1;
99 unsigned ShowInst : 1;
100
101 /// @}
102 /// @name Assembler Options
103 /// @{
104
105 unsigned RelaxAll : 1;
Rafael Espindola3176cca2011-01-23 17:58:26 +0000106 unsigned NoExecStack : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000107
108 /// @}
109
110public:
111 AssemblerInvocation() {
112 Triple = "";
113 NoInitialTextSection = 0;
114 InputFile = "-";
Daniel Dunbarc673af72010-05-20 18:15:20 +0000115 OutputPath = "-";
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000116 OutputType = FT_Asm;
117 OutputAsmVariant = 0;
118 ShowInst = 0;
119 ShowEncoding = 0;
120 RelaxAll = 0;
Rafael Espindola3176cca2011-01-23 17:58:26 +0000121 NoExecStack = 0;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000122 }
123
124 static void CreateFromArgs(AssemblerInvocation &Res, const char **ArgBegin,
125 const char **ArgEnd, Diagnostic &Diags);
126};
127
128}
129
130void AssemblerInvocation::CreateFromArgs(AssemblerInvocation &Opts,
131 const char **ArgBegin,
132 const char **ArgEnd,
133 Diagnostic &Diags) {
134 using namespace clang::driver::cc1asoptions;
135 // Parse the arguments.
136 OwningPtr<OptTable> OptTbl(createCC1AsOptTable());
137 unsigned MissingArgIndex, MissingArgCount;
138 OwningPtr<InputArgList> Args(
139 OptTbl->ParseArgs(ArgBegin, ArgEnd,MissingArgIndex, MissingArgCount));
140
141 // Check for missing argument error.
142 if (MissingArgCount)
143 Diags.Report(diag::err_drv_missing_argument)
144 << Args->getArgString(MissingArgIndex) << MissingArgCount;
145
146 // Issue errors on unknown arguments.
147 for (arg_iterator it = Args->filtered_begin(cc1asoptions::OPT_UNKNOWN),
148 ie = Args->filtered_end(); it != ie; ++it)
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000149 Diags.Report(diag::err_drv_unknown_argument) << (*it) ->getAsString(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000150
151 // Construct the invocation.
152
153 // Target Options
Duncan Sands2dc14532010-08-30 09:42:39 +0000154 Opts.Triple = Triple::normalize(Args->getLastArgValue(OPT_triple));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000155 if (Opts.Triple.empty()) // Use the host triple if unspecified.
156 Opts.Triple = sys::getHostTriple();
157
158 // Language Options
159 Opts.IncludePaths = Args->getAllArgValues(OPT_I);
160 Opts.NoInitialTextSection = Args->hasArg(OPT_n);
Daniel Dunbar402adc32011-03-28 22:49:24 +0000161 Opts.SaveTemporaryLabels = Args->hasArg(OPT_L);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000162
163 // Frontend Options
164 if (Args->hasArg(OPT_INPUT)) {
165 bool First = true;
166 for (arg_iterator it = Args->filtered_begin(OPT_INPUT),
167 ie = Args->filtered_end(); it != ie; ++it, First=false) {
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000168 const Arg *A = it;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000169 if (First)
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000170 Opts.InputFile = A->getValue(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000171 else
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000172 Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000173 }
174 }
Daniel Dunbarc673af72010-05-20 18:15:20 +0000175 Opts.LLVMArgs = Args->getAllArgValues(OPT_mllvm);
Joerg Sonnenbergerd7933502011-05-19 18:42:29 +0000176 if (Args->hasArg(OPT_fatal_warnings))
177 Opts.LLVMArgs.push_back("-fatal-assembler-warnings");
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000178 Opts.OutputPath = Args->getLastArgValue(OPT_o);
179 if (Arg *A = Args->getLastArg(OPT_filetype)) {
180 StringRef Name = A->getValue(*Args);
181 unsigned OutputType = StringSwitch<unsigned>(Name)
182 .Case("asm", FT_Asm)
183 .Case("null", FT_Null)
184 .Case("obj", FT_Obj)
185 .Default(~0U);
186 if (OutputType == ~0U)
187 Diags.Report(diag::err_drv_invalid_value)
188 << A->getAsString(*Args) << Name;
189 else
190 Opts.OutputType = FileType(OutputType);
191 }
Daniel Dunbarc673af72010-05-20 18:15:20 +0000192 Opts.ShowHelp = Args->hasArg(OPT_help);
193 Opts.ShowVersion = Args->hasArg(OPT_version);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000194
195 // Transliterate Options
196 Opts.OutputAsmVariant = Args->getLastArgIntValue(OPT_output_asm_variant,
197 0, Diags);
198 Opts.ShowEncoding = Args->hasArg(OPT_show_encoding);
199 Opts.ShowInst = Args->hasArg(OPT_show_inst);
200
201 // Assemble Options
202 Opts.RelaxAll = Args->hasArg(OPT_relax_all);
Rafael Espindola3176cca2011-01-23 17:58:26 +0000203 Opts.NoExecStack = Args->hasArg(OPT_no_exec_stack);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000204}
205
206static formatted_raw_ostream *GetOutputStream(AssemblerInvocation &Opts,
207 Diagnostic &Diags,
208 bool Binary) {
Daniel Dunbarc673af72010-05-20 18:15:20 +0000209 if (Opts.OutputPath.empty())
210 Opts.OutputPath = "-";
211
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000212 // Make sure that the Out file gets unlinked from the disk if we get a
213 // SIGINT.
214 if (Opts.OutputPath != "-")
215 sys::RemoveFileOnSignal(sys::Path(Opts.OutputPath));
216
217 std::string Error;
218 raw_fd_ostream *Out =
219 new raw_fd_ostream(Opts.OutputPath.c_str(), Error,
220 (Binary ? raw_fd_ostream::F_Binary : 0));
221 if (!Error.empty()) {
222 Diags.Report(diag::err_fe_unable_to_open_output)
223 << Opts.OutputPath << Error;
224 return 0;
225 }
226
227 return new formatted_raw_ostream(*Out, formatted_raw_ostream::DELETE_STREAM);
228}
229
230static bool ExecuteAssembler(AssemblerInvocation &Opts, Diagnostic &Diags) {
231 // Get the target specific parser.
232 std::string Error;
233 const Target *TheTarget(TargetRegistry::lookupTarget(Opts.Triple, Error));
234 if (!TheTarget) {
235 Diags.Report(diag::err_target_unknown_triple) << Opts.Triple;
236 return false;
237 }
238
Michael J. Spencer4eeebc42010-12-16 03:28:14 +0000239 OwningPtr<MemoryBuffer> BufferPtr;
240 if (error_code ec = MemoryBuffer::getFileOrSTDIN(Opts.InputFile, BufferPtr)) {
Michael J. Spencer3a321e22010-12-09 17:36:38 +0000241 Error = ec.message();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000242 Diags.Report(diag::err_fe_error_reading) << Opts.InputFile;
243 return false;
244 }
Michael J. Spencer4eeebc42010-12-16 03:28:14 +0000245 MemoryBuffer *Buffer = BufferPtr.take();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000246
247 SourceMgr SrcMgr;
248
249 // Tell SrcMgr about this buffer, which is what the parser will pick up.
250 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
251
252 // Record the location of the include directories so that the lexer can find
253 // it later.
254 SrcMgr.setIncludeDirs(Opts.IncludePaths);
255
256 OwningPtr<MCAsmInfo> MAI(TheTarget->createAsmInfo(Opts.Triple));
257 assert(MAI && "Unable to create target asm info!");
258
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000259 bool IsBinary = Opts.OutputType == AssemblerInvocation::FT_Obj;
260 formatted_raw_ostream *Out = GetOutputStream(Opts, Diags, IsBinary);
261 if (!Out)
262 return false;
263
264 // FIXME: We shouldn't need to do this (and link in codegen).
Evan Cheng368691e2011-06-30 02:06:32 +0000265 OwningPtr<TargetMachine> TM(TheTarget->createTargetMachine(Opts.Triple,
266 "", ""));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000267 if (!TM) {
268 Diags.Report(diag::err_target_unknown_triple) << Opts.Triple;
269 return false;
270 }
271
Rafael Espindola7872d482010-12-10 07:40:14 +0000272 const TargetAsmInfo *tai = new TargetAsmInfo(*TM);
273 MCContext Ctx(*MAI, tai);
Daniel Dunbar402adc32011-03-28 22:49:24 +0000274 if (Opts.SaveTemporaryLabels)
275 Ctx.setAllowTemporaryLabels(false);
Rafael Espindola7872d482010-12-10 07:40:14 +0000276
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000277 OwningPtr<MCStreamer> Str;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000278
Rafael Espindola7872d482010-12-10 07:40:14 +0000279 const TargetLoweringObjectFile &TLOF =
280 TM->getTargetLowering()->getObjFileLowering();
281 const_cast<TargetLoweringObjectFile&>(TLOF).Initialize(Ctx, *TM);
282
Rafael Espindola3176cca2011-01-23 17:58:26 +0000283 // FIXME: There is a bit of code duplication with addPassesToEmitFile.
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000284 if (Opts.OutputType == AssemblerInvocation::FT_Asm) {
285 MCInstPrinter *IP =
Evan Cheng24c9db62011-07-06 19:45:57 +0000286 TheTarget->createMCInstPrinter(Opts.OutputAsmVariant, *MAI);
Benjamin Kramer7ac3d5a2010-07-29 17:48:03 +0000287 MCCodeEmitter *CE = 0;
Daniel Dunbar66cdf262010-12-16 03:06:05 +0000288 TargetAsmBackend *TAB = 0;
289 if (Opts.ShowEncoding) {
Benjamin Kramer7ac3d5a2010-07-29 17:48:03 +0000290 CE = TheTarget->createCodeEmitter(*TM, Ctx);
Daniel Dunbar66cdf262010-12-16 03:06:05 +0000291 TAB = TheTarget->createAsmBackend(Opts.Triple);
292 }
Rafael Espindola7872d482010-12-10 07:40:14 +0000293 Str.reset(TheTarget->createAsmStreamer(Ctx, *Out, /*asmverbose*/true,
Rafael Espindola1bf39022011-04-30 03:46:18 +0000294 /*useLoc*/ true,
295 /*useCFI*/ true, IP, CE, TAB,
Rafael Espindola7872d482010-12-10 07:40:14 +0000296 Opts.ShowInst));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000297 } else if (Opts.OutputType == AssemblerInvocation::FT_Null) {
298 Str.reset(createNullStreamer(Ctx));
299 } else {
300 assert(Opts.OutputType == AssemblerInvocation::FT_Obj &&
301 "Invalid file type!");
Benjamin Kramer7ac3d5a2010-07-29 17:48:03 +0000302 MCCodeEmitter *CE = TheTarget->createCodeEmitter(*TM, Ctx);
303 TargetAsmBackend *TAB = TheTarget->createAsmBackend(Opts.Triple);
304 Str.reset(TheTarget->createObjectStreamer(Opts.Triple, Ctx, *TAB, *Out,
Rafael Espindola3176cca2011-01-23 17:58:26 +0000305 CE, Opts.RelaxAll,
306 Opts.NoExecStack));
Rafael Espindola4f036fa2010-10-13 14:53:57 +0000307 Str.get()->InitSections();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000308 }
309
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000310 OwningPtr<MCAsmParser> Parser(createMCAsmParser(*TheTarget, SrcMgr, Ctx,
311 *Str.get(), *MAI));
Evan Chengbb36ed92011-07-09 06:04:17 +0000312 OwningPtr<MCSubtargetInfo>
313 STI(TheTarget->createMCSubtargetInfo(TM->getTargetTriple(),
314 TM->getTargetCPU(),
315 TM->getTargetFeatureString()));
316 OwningPtr<TargetAsmParser> TAP(TheTarget->createAsmParser(*STI, *Parser));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000317 if (!TAP) {
318 Diags.Report(diag::err_target_unknown_triple) << Opts.Triple;
319 return false;
320 }
321
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000322 Parser->setTargetParser(*TAP.get());
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000323
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000324 bool Success = !Parser->Run(Opts.NoInitialTextSection);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000325
326 // Close the output.
327 delete Out;
328
329 // Delete output on errors.
330 if (!Success && Opts.OutputPath != "-")
331 sys::Path(Opts.OutputPath).eraseFromDisk();
332
333 return Success;
334}
335
336static void LLVMErrorHandler(void *UserData, const std::string &Message) {
337 Diagnostic &Diags = *static_cast<Diagnostic*>(UserData);
338
339 Diags.Report(diag::err_fe_error_backend) << Message;
340
341 // We cannot recover from llvm errors.
342 exit(1);
343}
344
345int cc1as_main(const char **ArgBegin, const char **ArgEnd,
346 const char *Argv0, void *MainAddr) {
347 // Print a stack trace if we signal out.
348 sys::PrintStackTraceOnErrorSignal();
349 PrettyStackTraceProgram X(ArgEnd - ArgBegin, ArgBegin);
350 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
351
352 // Initialize targets and assembly printers/parsers.
353 InitializeAllTargetInfos();
354 // FIXME: We shouldn't need to initialize the Target(Machine)s.
355 InitializeAllTargets();
356 InitializeAllAsmPrinters();
357 InitializeAllAsmParsers();
358
359 // Construct our diagnostic client.
Douglas Gregorbdbb0042010-08-18 22:29:43 +0000360 TextDiagnosticPrinter *DiagClient
361 = new TextDiagnosticPrinter(errs(), DiagnosticOptions());
362 DiagClient->setPrefix("clang -cc1as");
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +0000363 llvm::IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs());
364 Diagnostic Diags(DiagID, DiagClient);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000365
366 // Set an error handler, so that any LLVM backend diagnostics go through our
367 // error handler.
Dan Gohman726578c2010-08-18 21:23:17 +0000368 ScopedFatalErrorHandler FatalErrorHandler
369 (LLVMErrorHandler, static_cast<void*>(&Diags));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000370
371 // Parse the arguments.
372 AssemblerInvocation Asm;
373 AssemblerInvocation::CreateFromArgs(Asm, ArgBegin, ArgEnd, Diags);
374
Daniel Dunbarc673af72010-05-20 18:15:20 +0000375 // Honor -help.
376 if (Asm.ShowHelp) {
377 llvm::OwningPtr<driver::OptTable> Opts(driver::createCC1AsOptTable());
378 Opts->PrintHelp(llvm::outs(), "clang -cc1as", "Clang Integrated Assembler");
379 return 0;
380 }
381
382 // Honor -version.
383 //
384 // FIXME: Use a better -version message?
385 if (Asm.ShowVersion) {
386 llvm::cl::PrintVersionMessage();
387 return 0;
388 }
389
390 // Honor -mllvm.
391 //
392 // FIXME: Remove this, one day.
393 if (!Asm.LLVMArgs.empty()) {
394 unsigned NumArgs = Asm.LLVMArgs.size();
395 const char **Args = new const char*[NumArgs + 2];
396 Args[0] = "clang (LLVM option parsing)";
397 for (unsigned i = 0; i != NumArgs; ++i)
398 Args[i + 1] = Asm.LLVMArgs[i].c_str();
399 Args[NumArgs + 1] = 0;
400 llvm::cl::ParseCommandLineOptions(NumArgs + 1, const_cast<char **>(Args));
401 }
402
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000403 // Execute the invocation, unless there were parsing errors.
404 bool Success = false;
Argyrios Kyrtzidise8f0ba72010-11-19 00:19:18 +0000405 if (!Diags.hasErrorOccurred())
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000406 Success = ExecuteAssembler(Asm, Diags);
407
408 // If any timers were active but haven't been destroyed yet, print their
409 // results now.
410 TimerGroup::printAll(errs());
411
412 return !Success;
413}