blob: bfc49149958e0b2e4a8ee311e26913e26d6f7c63 [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"
Evan Cheng74e13322011-07-11 04:24:19 +000032#include "llvm/MC/MCInstrInfo.h"
Evan Cheng36fc3aa2011-07-20 06:22:27 +000033#include "llvm/MC/MCObjectFileInfo.h"
Evan Cheng884744b2011-07-18 20:57:51 +000034#include "llvm/MC/MCRegisterInfo.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000035#include "llvm/MC/MCStreamer.h"
Evan Chengbb36ed92011-07-09 06:04:17 +000036#include "llvm/MC/MCSubtargetInfo.h"
Evan Cheng21118dc2011-07-25 23:25:09 +000037#include "llvm/MC/MCAsmBackend.h"
Evan Cheng37712352011-07-26 00:24:45 +000038#include "llvm/MC/MCTargetAsmParser.h"
Daniel Dunbarc673af72010-05-20 18:15:20 +000039#include "llvm/Support/CommandLine.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000040#include "llvm/Support/FormattedStream.h"
41#include "llvm/Support/ErrorHandling.h"
42#include "llvm/Support/ManagedStatic.h"
43#include "llvm/Support/MemoryBuffer.h"
44#include "llvm/Support/PrettyStackTrace.h"
45#include "llvm/Support/SourceMgr.h"
Michael J. Spencer03013fa2010-11-29 18:12:39 +000046#include "llvm/Support/Host.h"
47#include "llvm/Support/Path.h"
48#include "llvm/Support/Signals.h"
Evan Chenga6b40452011-08-24 18:09:14 +000049#include "llvm/Support/TargetRegistry.h"
50#include "llvm/Support/TargetSelect.h"
51#include "llvm/Support/Timer.h"
52#include "llvm/Support/raw_ostream.h"
Michael J. Spencer3a321e22010-12-09 17:36:38 +000053#include "llvm/Support/system_error.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000054#include "llvm/Target/TargetData.h"
Daniel Dunbar41b5b172010-05-20 17:49:16 +000055using namespace clang;
56using namespace clang::driver;
57using namespace llvm;
58
59namespace {
60
61/// \brief Helper class for representing a single invocation of the assembler.
62struct AssemblerInvocation {
63 /// @name Target Options
64 /// @{
65
66 std::string Triple;
67
68 /// @}
69 /// @name Language Options
70 /// @{
71
72 std::vector<std::string> IncludePaths;
73 unsigned NoInitialTextSection : 1;
Daniel Dunbar402adc32011-03-28 22:49:24 +000074 unsigned SaveTemporaryLabels : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000075
76 /// @}
77 /// @name Frontend Options
78 /// @{
79
80 std::string InputFile;
Daniel Dunbarc673af72010-05-20 18:15:20 +000081 std::vector<std::string> LLVMArgs;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000082 std::string OutputPath;
83 enum FileType {
84 FT_Asm, ///< Assembly (.s) output, transliterate mode.
85 FT_Null, ///< No output, for timing purposes.
86 FT_Obj ///< Object file output.
87 };
88 FileType OutputType;
Daniel Dunbarc673af72010-05-20 18:15:20 +000089 unsigned ShowHelp : 1;
90 unsigned ShowVersion : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +000091
92 /// @}
93 /// @name Transliterate Options
94 /// @{
95
96 unsigned OutputAsmVariant;
97 unsigned ShowEncoding : 1;
98 unsigned ShowInst : 1;
99
100 /// @}
101 /// @name Assembler Options
102 /// @{
103
104 unsigned RelaxAll : 1;
Rafael Espindola3176cca2011-01-23 17:58:26 +0000105 unsigned NoExecStack : 1;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000106
107 /// @}
108
109public:
110 AssemblerInvocation() {
111 Triple = "";
112 NoInitialTextSection = 0;
113 InputFile = "-";
Daniel Dunbarc673af72010-05-20 18:15:20 +0000114 OutputPath = "-";
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000115 OutputType = FT_Asm;
116 OutputAsmVariant = 0;
117 ShowInst = 0;
118 ShowEncoding = 0;
119 RelaxAll = 0;
Rafael Espindola3176cca2011-01-23 17:58:26 +0000120 NoExecStack = 0;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000121 }
122
123 static void CreateFromArgs(AssemblerInvocation &Res, const char **ArgBegin,
124 const char **ArgEnd, Diagnostic &Diags);
125};
126
127}
128
129void AssemblerInvocation::CreateFromArgs(AssemblerInvocation &Opts,
130 const char **ArgBegin,
131 const char **ArgEnd,
132 Diagnostic &Diags) {
133 using namespace clang::driver::cc1asoptions;
134 // Parse the arguments.
135 OwningPtr<OptTable> OptTbl(createCC1AsOptTable());
136 unsigned MissingArgIndex, MissingArgCount;
137 OwningPtr<InputArgList> Args(
138 OptTbl->ParseArgs(ArgBegin, ArgEnd,MissingArgIndex, MissingArgCount));
139
140 // Check for missing argument error.
141 if (MissingArgCount)
142 Diags.Report(diag::err_drv_missing_argument)
143 << Args->getArgString(MissingArgIndex) << MissingArgCount;
144
145 // Issue errors on unknown arguments.
146 for (arg_iterator it = Args->filtered_begin(cc1asoptions::OPT_UNKNOWN),
147 ie = Args->filtered_end(); it != ie; ++it)
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000148 Diags.Report(diag::err_drv_unknown_argument) << (*it) ->getAsString(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000149
150 // Construct the invocation.
151
152 // Target Options
Duncan Sands2dc14532010-08-30 09:42:39 +0000153 Opts.Triple = Triple::normalize(Args->getLastArgValue(OPT_triple));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000154 if (Opts.Triple.empty()) // Use the host triple if unspecified.
155 Opts.Triple = sys::getHostTriple();
156
157 // Language Options
158 Opts.IncludePaths = Args->getAllArgValues(OPT_I);
159 Opts.NoInitialTextSection = Args->hasArg(OPT_n);
Daniel Dunbar402adc32011-03-28 22:49:24 +0000160 Opts.SaveTemporaryLabels = Args->hasArg(OPT_L);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000161
162 // Frontend Options
163 if (Args->hasArg(OPT_INPUT)) {
164 bool First = true;
165 for (arg_iterator it = Args->filtered_begin(OPT_INPUT),
166 ie = Args->filtered_end(); it != ie; ++it, First=false) {
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000167 const Arg *A = it;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000168 if (First)
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000169 Opts.InputFile = A->getValue(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000170 else
Daniel Dunbar7e4953e2010-06-11 22:00:13 +0000171 Diags.Report(diag::err_drv_unknown_argument) << A->getAsString(*Args);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000172 }
173 }
Daniel Dunbarc673af72010-05-20 18:15:20 +0000174 Opts.LLVMArgs = Args->getAllArgValues(OPT_mllvm);
Joerg Sonnenbergerd7933502011-05-19 18:42:29 +0000175 if (Args->hasArg(OPT_fatal_warnings))
176 Opts.LLVMArgs.push_back("-fatal-assembler-warnings");
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000177 Opts.OutputPath = Args->getLastArgValue(OPT_o);
178 if (Arg *A = Args->getLastArg(OPT_filetype)) {
179 StringRef Name = A->getValue(*Args);
180 unsigned OutputType = StringSwitch<unsigned>(Name)
181 .Case("asm", FT_Asm)
182 .Case("null", FT_Null)
183 .Case("obj", FT_Obj)
184 .Default(~0U);
185 if (OutputType == ~0U)
186 Diags.Report(diag::err_drv_invalid_value)
187 << A->getAsString(*Args) << Name;
188 else
189 Opts.OutputType = FileType(OutputType);
190 }
Daniel Dunbarc673af72010-05-20 18:15:20 +0000191 Opts.ShowHelp = Args->hasArg(OPT_help);
192 Opts.ShowVersion = Args->hasArg(OPT_version);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000193
194 // Transliterate Options
195 Opts.OutputAsmVariant = Args->getLastArgIntValue(OPT_output_asm_variant,
196 0, Diags);
197 Opts.ShowEncoding = Args->hasArg(OPT_show_encoding);
198 Opts.ShowInst = Args->hasArg(OPT_show_inst);
199
200 // Assemble Options
201 Opts.RelaxAll = Args->hasArg(OPT_relax_all);
Rafael Espindola3176cca2011-01-23 17:58:26 +0000202 Opts.NoExecStack = Args->hasArg(OPT_no_exec_stack);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000203}
204
205static formatted_raw_ostream *GetOutputStream(AssemblerInvocation &Opts,
206 Diagnostic &Diags,
207 bool Binary) {
Daniel Dunbarc673af72010-05-20 18:15:20 +0000208 if (Opts.OutputPath.empty())
209 Opts.OutputPath = "-";
210
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000211 // Make sure that the Out file gets unlinked from the disk if we get a
212 // SIGINT.
213 if (Opts.OutputPath != "-")
214 sys::RemoveFileOnSignal(sys::Path(Opts.OutputPath));
215
216 std::string Error;
217 raw_fd_ostream *Out =
218 new raw_fd_ostream(Opts.OutputPath.c_str(), Error,
219 (Binary ? raw_fd_ostream::F_Binary : 0));
220 if (!Error.empty()) {
221 Diags.Report(diag::err_fe_unable_to_open_output)
222 << Opts.OutputPath << Error;
223 return 0;
224 }
225
226 return new formatted_raw_ostream(*Out, formatted_raw_ostream::DELETE_STREAM);
227}
228
229static bool ExecuteAssembler(AssemblerInvocation &Opts, Diagnostic &Diags) {
230 // Get the target specific parser.
231 std::string Error;
232 const Target *TheTarget(TargetRegistry::lookupTarget(Opts.Triple, Error));
233 if (!TheTarget) {
234 Diags.Report(diag::err_target_unknown_triple) << Opts.Triple;
235 return false;
236 }
237
Michael J. Spencer4eeebc42010-12-16 03:28:14 +0000238 OwningPtr<MemoryBuffer> BufferPtr;
239 if (error_code ec = MemoryBuffer::getFileOrSTDIN(Opts.InputFile, BufferPtr)) {
Michael J. Spencer3a321e22010-12-09 17:36:38 +0000240 Error = ec.message();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000241 Diags.Report(diag::err_fe_error_reading) << Opts.InputFile;
242 return false;
243 }
Michael J. Spencer4eeebc42010-12-16 03:28:14 +0000244 MemoryBuffer *Buffer = BufferPtr.take();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000245
246 SourceMgr SrcMgr;
247
248 // Tell SrcMgr about this buffer, which is what the parser will pick up.
249 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
250
251 // Record the location of the include directories so that the lexer can find
252 // it later.
253 SrcMgr.setIncludeDirs(Opts.IncludePaths);
254
Evan Chenge27eb592011-07-14 23:50:56 +0000255 OwningPtr<MCAsmInfo> MAI(TheTarget->createMCAsmInfo(Opts.Triple));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000256 assert(MAI && "Unable to create target asm info!");
257
Evan Cheng884744b2011-07-18 20:57:51 +0000258 OwningPtr<MCRegisterInfo> MRI(TheTarget->createMCRegInfo(Opts.Triple));
259 assert(MRI && "Unable to create target register info!");
260
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000261 bool IsBinary = Opts.OutputType == AssemblerInvocation::FT_Obj;
262 formatted_raw_ostream *Out = GetOutputStream(Opts, Diags, IsBinary);
263 if (!Out)
264 return false;
265
Evan Cheng36fc3aa2011-07-20 06:22:27 +0000266 // FIXME: This is not pretty. MCContext has a ptr to MCObjectFileInfo and
267 // MCObjectFileInfo needs a MCContext reference in order to initialize itself.
268 OwningPtr<MCObjectFileInfo> MOFI(new MCObjectFileInfo());
Evan Cheng66488ed2011-07-20 19:53:19 +0000269 MCContext Ctx(*MAI, *MRI, MOFI.get());
Evan Cheng36fc3aa2011-07-20 06:22:27 +0000270 // FIXME: Assembler behavior can change with -static.
Evan Cheng66488ed2011-07-20 19:53:19 +0000271 MOFI->InitMCObjectFileInfo(Opts.Triple,
272 Reloc::Default, CodeModel::Default, Ctx);
Daniel Dunbar402adc32011-03-28 22:49:24 +0000273 if (Opts.SaveTemporaryLabels)
274 Ctx.setAllowTemporaryLabels(false);
Rafael Espindola7872d482010-12-10 07:40:14 +0000275
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000276 OwningPtr<MCStreamer> Str;
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000277
Evan Chengccb21e42011-07-26 01:49:26 +0000278 OwningPtr<MCInstrInfo> MCII(TheTarget->createMCInstrInfo());
279 OwningPtr<MCSubtargetInfo>
280 STI(TheTarget->createMCSubtargetInfo(Opts.Triple, "", ""));
Evan Cheng74e13322011-07-11 04:24:19 +0000281
Rafael Espindola3176cca2011-01-23 17:58:26 +0000282 // FIXME: There is a bit of code duplication with addPassesToEmitFile.
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000283 if (Opts.OutputType == AssemblerInvocation::FT_Asm) {
284 MCInstPrinter *IP =
James Molloy066d5022011-09-07 17:25:30 +0000285 TheTarget->createMCInstPrinter(Opts.OutputAsmVariant, *MAI, *STI);
Benjamin Kramer7ac3d5a2010-07-29 17:48:03 +0000286 MCCodeEmitter *CE = 0;
Evan Cheng21118dc2011-07-25 23:25:09 +0000287 MCAsmBackend *MAB = 0;
Daniel Dunbar66cdf262010-12-16 03:06:05 +0000288 if (Opts.ShowEncoding) {
Evan Chengccb21e42011-07-26 01:49:26 +0000289 CE = TheTarget->createMCCodeEmitter(*MCII, *STI, Ctx);
Evan Cheng21118dc2011-07-25 23:25:09 +0000290 MAB = TheTarget->createMCAsmBackend(Opts.Triple);
Daniel Dunbar66cdf262010-12-16 03:06:05 +0000291 }
Rafael Espindola7872d482010-12-10 07:40:14 +0000292 Str.reset(TheTarget->createAsmStreamer(Ctx, *Out, /*asmverbose*/true,
Rafael Espindola1bf39022011-04-30 03:46:18 +0000293 /*useLoc*/ true,
Evan Cheng21118dc2011-07-25 23:25:09 +0000294 /*useCFI*/ true, IP, CE, MAB,
Rafael Espindola7872d482010-12-10 07:40:14 +0000295 Opts.ShowInst));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000296 } else if (Opts.OutputType == AssemblerInvocation::FT_Null) {
297 Str.reset(createNullStreamer(Ctx));
298 } else {
299 assert(Opts.OutputType == AssemblerInvocation::FT_Obj &&
300 "Invalid file type!");
Evan Chengccb21e42011-07-26 01:49:26 +0000301 MCCodeEmitter *CE = TheTarget->createMCCodeEmitter(*MCII, *STI, Ctx);
Evan Cheng21118dc2011-07-25 23:25:09 +0000302 MCAsmBackend *MAB = TheTarget->createMCAsmBackend(Opts.Triple);
Evan Cheng7b6def72011-07-26 00:42:40 +0000303 Str.reset(TheTarget->createMCObjectStreamer(Opts.Triple, Ctx, *MAB, *Out,
304 CE, Opts.RelaxAll,
305 Opts.NoExecStack));
Rafael Espindola4f036fa2010-10-13 14:53:57 +0000306 Str.get()->InitSections();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000307 }
308
Jim Grosbach09190be2011-08-16 18:33:55 +0000309 OwningPtr<MCAsmParser> Parser(createMCAsmParser(SrcMgr, Ctx,
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000310 *Str.get(), *MAI));
Evan Chengccb21e42011-07-26 01:49:26 +0000311 OwningPtr<MCTargetAsmParser> TAP(TheTarget->createMCAsmParser(*STI, *Parser));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000312 if (!TAP) {
313 Diags.Report(diag::err_target_unknown_triple) << Opts.Triple;
314 return false;
315 }
316
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000317 Parser->setTargetParser(*TAP.get());
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000318
Daniel Dunbar7374f1b2010-07-17 02:26:21 +0000319 bool Success = !Parser->Run(Opts.NoInitialTextSection);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000320
321 // Close the output.
322 delete Out;
323
324 // Delete output on errors.
325 if (!Success && Opts.OutputPath != "-")
326 sys::Path(Opts.OutputPath).eraseFromDisk();
327
328 return Success;
329}
330
331static void LLVMErrorHandler(void *UserData, const std::string &Message) {
332 Diagnostic &Diags = *static_cast<Diagnostic*>(UserData);
333
334 Diags.Report(diag::err_fe_error_backend) << Message;
335
336 // We cannot recover from llvm errors.
337 exit(1);
338}
339
340int cc1as_main(const char **ArgBegin, const char **ArgEnd,
341 const char *Argv0, void *MainAddr) {
342 // Print a stack trace if we signal out.
343 sys::PrintStackTraceOnErrorSignal();
344 PrettyStackTraceProgram X(ArgEnd - ArgBegin, ArgBegin);
345 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
346
347 // Initialize targets and assembly printers/parsers.
348 InitializeAllTargetInfos();
Evan Chengd99d3e12011-07-22 21:59:11 +0000349 InitializeAllTargetMCs();
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000350 InitializeAllAsmParsers();
351
352 // Construct our diagnostic client.
Douglas Gregorbdbb0042010-08-18 22:29:43 +0000353 TextDiagnosticPrinter *DiagClient
354 = new TextDiagnosticPrinter(errs(), DiagnosticOptions());
355 DiagClient->setPrefix("clang -cc1as");
Argyrios Kyrtzidis33e4e702010-11-18 20:06:41 +0000356 llvm::IntrusiveRefCntPtr<DiagnosticIDs> DiagID(new DiagnosticIDs());
357 Diagnostic Diags(DiagID, DiagClient);
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000358
359 // Set an error handler, so that any LLVM backend diagnostics go through our
360 // error handler.
Dan Gohman726578c2010-08-18 21:23:17 +0000361 ScopedFatalErrorHandler FatalErrorHandler
362 (LLVMErrorHandler, static_cast<void*>(&Diags));
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000363
364 // Parse the arguments.
365 AssemblerInvocation Asm;
366 AssemblerInvocation::CreateFromArgs(Asm, ArgBegin, ArgEnd, Diags);
367
Daniel Dunbarc673af72010-05-20 18:15:20 +0000368 // Honor -help.
369 if (Asm.ShowHelp) {
370 llvm::OwningPtr<driver::OptTable> Opts(driver::createCC1AsOptTable());
371 Opts->PrintHelp(llvm::outs(), "clang -cc1as", "Clang Integrated Assembler");
372 return 0;
373 }
374
375 // Honor -version.
376 //
377 // FIXME: Use a better -version message?
378 if (Asm.ShowVersion) {
379 llvm::cl::PrintVersionMessage();
380 return 0;
381 }
382
383 // Honor -mllvm.
384 //
385 // FIXME: Remove this, one day.
386 if (!Asm.LLVMArgs.empty()) {
387 unsigned NumArgs = Asm.LLVMArgs.size();
388 const char **Args = new const char*[NumArgs + 2];
389 Args[0] = "clang (LLVM option parsing)";
390 for (unsigned i = 0; i != NumArgs; ++i)
391 Args[i + 1] = Asm.LLVMArgs[i].c_str();
392 Args[NumArgs + 1] = 0;
393 llvm::cl::ParseCommandLineOptions(NumArgs + 1, const_cast<char **>(Args));
394 }
395
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000396 // Execute the invocation, unless there were parsing errors.
397 bool Success = false;
Argyrios Kyrtzidise8f0ba72010-11-19 00:19:18 +0000398 if (!Diags.hasErrorOccurred())
Daniel Dunbar41b5b172010-05-20 17:49:16 +0000399 Success = ExecuteAssembler(Asm, Diags);
400
401 // If any timers were active but haven't been destroyed yet, print their
402 // results now.
403 TimerGroup::printAll(errs());
404
405 return !Success;
406}