blob: 4f5b8a0ba27e13a5709a07bd2b7b8e2eb42251db [file] [log] [blame]
Chris Lattner9b810612009-06-18 23:05:21 +00001//===-- llvm-mc.cpp - Machine Code Hacking Driver -------------------------===//
Chris Lattner20b32632009-06-18 23:04:45 +00002//
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//
Chris Lattner9b810612009-06-18 23:05:21 +000010// This utility is a simple driver that allows command line hacking on machine
11// code.
Chris Lattner20b32632009-06-18 23:04:45 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner7a3716d2009-06-24 00:52:40 +000015#include "llvm/MC/MCContext.h"
Chris Lattner7f1ac7f2009-08-10 18:15:01 +000016#include "llvm/MC/MCSectionMachO.h"
Chris Lattner7a3716d2009-06-24 00:52:40 +000017#include "llvm/MC/MCStreamer.h"
18#include "llvm/ADT/OwningPtr.h"
Daniel Dunbar575db962009-08-14 03:48:55 +000019#include "llvm/CodeGen/AsmPrinter.h"
Chris Lattner20b32632009-06-18 23:04:45 +000020#include "llvm/Support/CommandLine.h"
Daniel Dunbar575db962009-08-14 03:48:55 +000021#include "llvm/Support/FormattedStream.h"
Chris Lattner20b32632009-06-18 23:04:45 +000022#include "llvm/Support/ManagedStatic.h"
23#include "llvm/Support/MemoryBuffer.h"
24#include "llvm/Support/PrettyStackTrace.h"
Chris Lattner5319eb82009-06-21 05:22:37 +000025#include "llvm/Support/SourceMgr.h"
Chris Lattner20b32632009-06-18 23:04:45 +000026#include "llvm/Support/raw_ostream.h"
27#include "llvm/System/Signals.h"
Daniel Dunbard80432a2009-07-28 20:47:52 +000028#include "llvm/Target/TargetAsmParser.h"
Daniel Dunbar137a2a42009-07-17 22:38:58 +000029#include "llvm/Target/TargetRegistry.h"
30#include "llvm/Target/TargetSelect.h"
Chris Lattner3b4bfbd2009-06-21 20:16:42 +000031#include "AsmParser.h"
Chris Lattner20b32632009-06-18 23:04:45 +000032using namespace llvm;
33
34static cl::opt<std::string>
35InputFilename(cl::Positional, cl::desc("<input file>"), cl::init("-"));
36
37static cl::opt<std::string>
38OutputFilename("o", cl::desc("Output filename"),
39 cl::value_desc("filename"));
40
Daniel Dunbar7760fbe2009-08-21 09:11:24 +000041enum OutputFileType {
42 OFT_AssemblyFile,
43 OFT_ObjectFile
44};
45static cl::opt<OutputFileType>
46FileType("filetype", cl::init(OFT_AssemblyFile),
47 cl::desc("Choose an output file type:"),
48 cl::values(
49 clEnumValN(OFT_AssemblyFile, "asm",
50 "Emit an assembly ('.s') file"),
51 clEnumValN(OFT_ObjectFile, "obj",
52 "Emit a native object ('.o') file"),
53 clEnumValEnd));
54
Daniel Dunbar687635a2009-08-11 04:34:48 +000055static cl::opt<bool>
56Force("f", cl::desc("Overwrite output files"));
57
Chris Lattner5319eb82009-06-21 05:22:37 +000058static cl::list<std::string>
59IncludeDirs("I", cl::desc("Directory of include files"),
60 cl::value_desc("directory"), cl::Prefix);
Chris Lattner20b32632009-06-18 23:04:45 +000061
Daniel Dunbar137a2a42009-07-17 22:38:58 +000062static cl::opt<std::string>
Daniel Dunbar68c9ce72009-07-26 05:03:33 +000063TripleName("triple", cl::desc("Target triple to assemble for,"
Daniel Dunbar137a2a42009-07-17 22:38:58 +000064 "see -version for available targets"),
Daniel Dunbar5db63f22009-07-17 22:51:20 +000065 cl::init(LLVM_HOSTTRIPLE));
Daniel Dunbar137a2a42009-07-17 22:38:58 +000066
Chris Lattner5319eb82009-06-21 05:22:37 +000067enum ActionType {
Chris Lattner3b4bfbd2009-06-21 20:16:42 +000068 AC_AsLex,
Chris Lattner5319eb82009-06-21 05:22:37 +000069 AC_Assemble
70};
Chris Lattner20b32632009-06-18 23:04:45 +000071
Chris Lattner5319eb82009-06-21 05:22:37 +000072static cl::opt<ActionType>
73Action(cl::desc("Action to perform:"),
Chris Lattner3b4bfbd2009-06-21 20:16:42 +000074 cl::init(AC_Assemble),
75 cl::values(clEnumValN(AC_AsLex, "as-lex",
76 "Lex tokens from a .s file"),
77 clEnumValN(AC_Assemble, "assemble",
Chris Lattner5319eb82009-06-21 05:22:37 +000078 "Assemble a .s file (default)"),
79 clEnumValEnd));
80
Chris Lattner3b4bfbd2009-06-21 20:16:42 +000081static int AsLexInput(const char *ProgName) {
Chris Lattner20b32632009-06-18 23:04:45 +000082 std::string ErrorMessage;
Chris Lattner5319eb82009-06-21 05:22:37 +000083 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename,
84 &ErrorMessage);
Chris Lattner20b32632009-06-18 23:04:45 +000085 if (Buffer == 0) {
Chris Lattner5319eb82009-06-21 05:22:37 +000086 errs() << ProgName << ": ";
Chris Lattner20b32632009-06-18 23:04:45 +000087 if (ErrorMessage.size())
88 errs() << ErrorMessage << "\n";
89 else
90 errs() << "input file didn't read correctly.\n";
91 return 1;
92 }
Chris Lattner5319eb82009-06-21 05:22:37 +000093
94 SourceMgr SrcMgr;
95
96 // Tell SrcMgr about this buffer, which is what TGParser will pick up.
97 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
98
99 // Record the location of the include directories so that the lexer can find
100 // it later.
101 SrcMgr.setIncludeDirs(IncludeDirs);
Chris Lattner22b67fb2009-06-21 07:19:10 +0000102
Chris Lattner22b67fb2009-06-21 07:19:10 +0000103 AsmLexer Lexer(SrcMgr);
104
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000105 bool Error = false;
106
Daniel Dunbar07435c22009-07-28 16:56:42 +0000107 while (Lexer.Lex().isNot(AsmToken::Eof)) {
108 switch (Lexer.getKind()) {
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000109 default:
Daniel Dunbarb5aec992009-06-30 00:49:23 +0000110 Lexer.PrintMessage(Lexer.getLoc(), "unknown token", "warning");
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000111 Error = true;
112 break;
Daniel Dunbarc479a542009-07-28 16:08:33 +0000113 case AsmToken::Error:
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000114 Error = true; // error already printed.
Chris Lattnerc688c232009-06-21 19:21:25 +0000115 break;
Daniel Dunbarc479a542009-07-28 16:08:33 +0000116 case AsmToken::Identifier:
Daniel Dunbar9956ce32009-07-28 16:38:40 +0000117 outs() << "identifier: " << Lexer.getTok().getString() << '\n';
Chris Lattner22b67fb2009-06-21 07:19:10 +0000118 break;
Daniel Dunbarc479a542009-07-28 16:08:33 +0000119 case AsmToken::Register:
Daniel Dunbar9956ce32009-07-28 16:38:40 +0000120 outs() << "register: " << Lexer.getTok().getString() << '\n';
Chris Lattnerc688c232009-06-21 19:21:25 +0000121 break;
Daniel Dunbarc479a542009-07-28 16:08:33 +0000122 case AsmToken::String:
Daniel Dunbar9956ce32009-07-28 16:38:40 +0000123 outs() << "string: " << Lexer.getTok().getString() << '\n';
Chris Lattnerba605b72009-06-21 19:56:35 +0000124 break;
Daniel Dunbarc479a542009-07-28 16:08:33 +0000125 case AsmToken::Integer:
Daniel Dunbar9956ce32009-07-28 16:38:40 +0000126 outs() << "int: " << Lexer.getTok().getString() << '\n';
Chris Lattner22b67fb2009-06-21 07:19:10 +0000127 break;
Daniel Dunbarfbe310c2009-07-01 06:56:54 +0000128
Daniel Dunbarc479a542009-07-28 16:08:33 +0000129 case AsmToken::Amp: outs() << "Amp\n"; break;
130 case AsmToken::AmpAmp: outs() << "AmpAmp\n"; break;
131 case AsmToken::Caret: outs() << "Caret\n"; break;
132 case AsmToken::Colon: outs() << "Colon\n"; break;
133 case AsmToken::Comma: outs() << "Comma\n"; break;
134 case AsmToken::Dollar: outs() << "Dollar\n"; break;
135 case AsmToken::EndOfStatement: outs() << "EndOfStatement\n"; break;
136 case AsmToken::Eof: outs() << "Eof\n"; break;
137 case AsmToken::Equal: outs() << "Equal\n"; break;
138 case AsmToken::EqualEqual: outs() << "EqualEqual\n"; break;
139 case AsmToken::Exclaim: outs() << "Exclaim\n"; break;
140 case AsmToken::ExclaimEqual: outs() << "ExclaimEqual\n"; break;
141 case AsmToken::Greater: outs() << "Greater\n"; break;
142 case AsmToken::GreaterEqual: outs() << "GreaterEqual\n"; break;
143 case AsmToken::GreaterGreater: outs() << "GreaterGreater\n"; break;
144 case AsmToken::LParen: outs() << "LParen\n"; break;
145 case AsmToken::Less: outs() << "Less\n"; break;
146 case AsmToken::LessEqual: outs() << "LessEqual\n"; break;
147 case AsmToken::LessGreater: outs() << "LessGreater\n"; break;
148 case AsmToken::LessLess: outs() << "LessLess\n"; break;
149 case AsmToken::Minus: outs() << "Minus\n"; break;
150 case AsmToken::Percent: outs() << "Percent\n"; break;
151 case AsmToken::Pipe: outs() << "Pipe\n"; break;
152 case AsmToken::PipePipe: outs() << "PipePipe\n"; break;
153 case AsmToken::Plus: outs() << "Plus\n"; break;
154 case AsmToken::RParen: outs() << "RParen\n"; break;
155 case AsmToken::Slash: outs() << "Slash\n"; break;
156 case AsmToken::Star: outs() << "Star\n"; break;
157 case AsmToken::Tilde: outs() << "Tilde\n"; break;
Chris Lattner22b67fb2009-06-21 07:19:10 +0000158 }
Chris Lattner22b67fb2009-06-21 07:19:10 +0000159 }
Chris Lattner20b32632009-06-18 23:04:45 +0000160
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000161 return Error;
Chris Lattner5319eb82009-06-21 05:22:37 +0000162}
163
Daniel Dunbar575db962009-08-14 03:48:55 +0000164static const Target *GetTarget(const char *ProgName) {
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000165 // Get the target specific parser.
166 std::string Error;
Daniel Dunbar9aa08272009-08-03 04:20:57 +0000167 const Target *TheTarget = TargetRegistry::lookupTarget(TripleName, Error);
Daniel Dunbar575db962009-08-14 03:48:55 +0000168 if (TheTarget)
169 return TheTarget;
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000170
Daniel Dunbar575db962009-08-14 03:48:55 +0000171 errs() << ProgName << ": error: unable to get target for '" << TripleName
172 << "', see --version and --triple.\n";
Daniel Dunbard80432a2009-07-28 20:47:52 +0000173 return 0;
174}
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000175
Daniel Dunbar575db962009-08-14 03:48:55 +0000176static formatted_raw_ostream *GetOutputStream() {
Daniel Dunbar687635a2009-08-11 04:34:48 +0000177 if (OutputFilename == "" || OutputFilename == "-")
Daniel Dunbar575db962009-08-14 03:48:55 +0000178 return &fouts();
Daniel Dunbar687635a2009-08-11 04:34:48 +0000179
180 // Make sure that the Out file gets unlinked from the disk if we get a
181 // SIGINT
182 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
183
184 std::string Err;
185 raw_fd_ostream *Out = new raw_fd_ostream(OutputFilename.c_str(),
186 /*Binary=*/false, Force, Err);
187 if (!Err.empty()) {
188 errs() << Err << '\n';
189 if (!Force)
190 errs() << "Use -f command line argument to force output\n";
191 delete Out;
192 return 0;
193 }
194
Daniel Dunbar575db962009-08-14 03:48:55 +0000195 return new formatted_raw_ostream(*Out, formatted_raw_ostream::DELETE_STREAM);
Daniel Dunbar687635a2009-08-11 04:34:48 +0000196}
197
Daniel Dunbard80432a2009-07-28 20:47:52 +0000198static int AssembleInput(const char *ProgName) {
Daniel Dunbar575db962009-08-14 03:48:55 +0000199 const Target *TheTarget = GetTarget(ProgName);
200 if (!TheTarget)
201 return 1;
202
Daniel Dunbard80432a2009-07-28 20:47:52 +0000203 std::string Error;
204 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename, &Error);
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000205 if (Buffer == 0) {
206 errs() << ProgName << ": ";
Daniel Dunbard80432a2009-07-28 20:47:52 +0000207 if (Error.size())
208 errs() << Error << "\n";
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000209 else
210 errs() << "input file didn't read correctly.\n";
211 return 1;
212 }
213
214 SourceMgr SrcMgr;
215
Daniel Dunbar0d18dcc2009-08-19 16:25:53 +0000216 // Tell SrcMgr about this buffer, which is what the parser will pick up.
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000217 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
218
219 // Record the location of the include directories so that the lexer can find
220 // it later.
221 SrcMgr.setIncludeDirs(IncludeDirs);
222
Chris Lattner7a3716d2009-06-24 00:52:40 +0000223 MCContext Ctx;
Daniel Dunbar575db962009-08-14 03:48:55 +0000224 formatted_raw_ostream *Out = GetOutputStream();
Daniel Dunbar687635a2009-08-11 04:34:48 +0000225 if (!Out)
226 return 1;
Daniel Dunbar575db962009-08-14 03:48:55 +0000227
Daniel Dunbar575db962009-08-14 03:48:55 +0000228
229 // FIXME: We shouldn't need to do this (and link in codegen).
230 OwningPtr<TargetMachine> TM(TheTarget->createTargetMachine(TripleName, ""));
Daniel Dunbar575db962009-08-14 03:48:55 +0000231
Chris Lattner13a4af72009-08-17 04:23:44 +0000232 if (!TM) {
233 errs() << ProgName << ": error: could not create target for triple '"
234 << TripleName << "'.\n";
235 return 1;
Daniel Dunbar575db962009-08-14 03:48:55 +0000236 }
237
Daniel Dunbar7760fbe2009-08-21 09:11:24 +0000238 OwningPtr<AsmPrinter> AP;
239 OwningPtr<MCStreamer> Str;
Chris Lattner13a4af72009-08-17 04:23:44 +0000240
Daniel Dunbar7760fbe2009-08-21 09:11:24 +0000241 if (FileType == OFT_AssemblyFile) {
Chris Lattner621c44d2009-08-22 20:48:53 +0000242 const MCAsmInfo *TAI = TheTarget->createAsmInfo(TripleName);
Daniel Dunbar7760fbe2009-08-21 09:11:24 +0000243 assert(TAI && "Unable to create target asm info!");
244
245 AP.reset(TheTarget->createAsmPrinter(*Out, *TM, TAI, true));
246 Str.reset(createAsmStreamer(Ctx, *Out, *TAI, AP.get()));
247 } else {
248 assert(FileType == OFT_ObjectFile && "Invalid file type!");
249 Str.reset(createMachOStreamer(Ctx, *Out));
250 }
Daniel Dunbara0527a92009-06-24 23:30:00 +0000251
252 // FIXME: Target hook & command line option for initial section.
Chris Lattner72a676a2009-08-10 01:39:42 +0000253 Str.get()->SwitchSection(MCSectionMachO::Create("__TEXT","__text",
254 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
255 0, SectionKind::getText(),
256 Ctx));
Daniel Dunbara0527a92009-06-24 23:30:00 +0000257
Daniel Dunbard80432a2009-07-28 20:47:52 +0000258 AsmParser Parser(SrcMgr, Ctx, *Str.get());
Daniel Dunbar575db962009-08-14 03:48:55 +0000259 OwningPtr<TargetAsmParser> TAP(TheTarget->createAsmParser(Parser));
260 if (!TAP) {
261 errs() << ProgName
262 << ": error: this target does not support assembly parsing.\n";
Daniel Dunbard80432a2009-07-28 20:47:52 +0000263 return 1;
Daniel Dunbar575db962009-08-14 03:48:55 +0000264 }
265
Daniel Dunbar14c5bf82009-07-28 22:40:46 +0000266 Parser.setTargetParser(*TAP.get());
Daniel Dunbar687635a2009-08-11 04:34:48 +0000267
268 int Res = Parser.Run();
Daniel Dunbar575db962009-08-14 03:48:55 +0000269 if (Out != &fouts())
Daniel Dunbar687635a2009-08-11 04:34:48 +0000270 delete Out;
271
272 return Res;
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000273}
274
Chris Lattner5319eb82009-06-21 05:22:37 +0000275
276int main(int argc, char **argv) {
277 // Print a stack trace if we signal out.
278 sys::PrintStackTraceOnErrorSignal();
279 PrettyStackTraceProgram X(argc, argv);
280 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000281
Daniel Dunbar575db962009-08-14 03:48:55 +0000282 // Initialize targets and assembly printers/parsers.
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000283 llvm::InitializeAllTargetInfos();
Daniel Dunbar575db962009-08-14 03:48:55 +0000284 // FIXME: We shouldn't need to initialize the Target(Machine)s.
285 llvm::InitializeAllTargets();
286 llvm::InitializeAllAsmPrinters();
Daniel Dunbar137a2a42009-07-17 22:38:58 +0000287 llvm::InitializeAllAsmParsers();
288
Chris Lattner5319eb82009-06-21 05:22:37 +0000289 cl::ParseCommandLineOptions(argc, argv, "llvm machine code playground\n");
290
291 switch (Action) {
292 default:
Chris Lattner3b4bfbd2009-06-21 20:16:42 +0000293 case AC_AsLex:
294 return AsLexInput(argv[0]);
Chris Lattner5319eb82009-06-21 05:22:37 +0000295 case AC_Assemble:
296 return AssembleInput(argv[0]);
297 }
Chris Lattner20b32632009-06-18 23:04:45 +0000298
299 return 0;
300}
301