blob: 250d4dc22fdaffa759a8376923f489e7c8d7e07d [file] [log] [blame]
Chris Lattnerbb4688a2009-06-18 23:05:21 +00001//===-- llvm-mc.cpp - Machine Code Hacking Driver -------------------------===//
Chris Lattnerf9f065e2009-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 Lattnerbb4688a2009-06-18 23:05:21 +000010// This utility is a simple driver that allows command line hacking on machine
11// code.
Chris Lattnerf9f065e2009-06-18 23:04:45 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattnerc6ef2772010-01-22 01:44:57 +000015#include "llvm/MC/MCParser/MCAsmLexer.h"
Chris Lattnercbc23f72009-06-24 00:52:40 +000016#include "llvm/MC/MCContext.h"
Daniel Dunbar4a0abd82009-08-27 00:51:57 +000017#include "llvm/MC/MCCodeEmitter.h"
Chris Lattner90edac02009-09-14 03:02:37 +000018#include "llvm/MC/MCInstPrinter.h"
Chris Lattnerf9bdedd2009-08-10 18:15:01 +000019#include "llvm/MC/MCSectionMachO.h"
Chris Lattnercbc23f72009-06-24 00:52:40 +000020#include "llvm/MC/MCStreamer.h"
21#include "llvm/ADT/OwningPtr.h"
Chris Lattnerf9f065e2009-06-18 23:04:45 +000022#include "llvm/Support/CommandLine.h"
Daniel Dunbarc22e0b22009-08-14 03:48:55 +000023#include "llvm/Support/FormattedStream.h"
Chris Lattnerf9f065e2009-06-18 23:04:45 +000024#include "llvm/Support/ManagedStatic.h"
25#include "llvm/Support/MemoryBuffer.h"
26#include "llvm/Support/PrettyStackTrace.h"
Chris Lattnerb23677e2009-06-21 05:22:37 +000027#include "llvm/Support/SourceMgr.h"
Chris Lattnerf9f065e2009-06-18 23:04:45 +000028#include "llvm/Support/raw_ostream.h"
29#include "llvm/System/Signals.h"
Daniel Dunbara2edbab2009-07-28 20:47:52 +000030#include "llvm/Target/TargetAsmParser.h"
Chris Lattner16582022010-01-20 06:39:07 +000031#include "llvm/Target/TargetData.h"
Daniel Dunbarb4b53e52009-07-17 22:38:58 +000032#include "llvm/Target/TargetRegistry.h"
Chris Lattner90edac02009-09-14 03:02:37 +000033#include "llvm/Target/TargetMachine.h" // FIXME.
Daniel Dunbarb4b53e52009-07-17 22:38:58 +000034#include "llvm/Target/TargetSelect.h"
Chris Lattnerbe343b32010-01-22 01:58:08 +000035#include "llvm/MC/MCParser/AsmParser.h"
Chris Lattnera3dcfb12009-12-22 22:50:29 +000036#include "Disassembler.h"
Chris Lattnerf9f065e2009-06-18 23:04:45 +000037using namespace llvm;
38
39static cl::opt<std::string>
40InputFilename(cl::Positional, cl::desc("<input file>"), cl::init("-"));
41
42static cl::opt<std::string>
43OutputFilename("o", cl::desc("Output filename"),
44 cl::value_desc("filename"));
45
Daniel Dunbarf2f6b0c2009-08-27 07:56:39 +000046static cl::opt<bool>
47ShowEncoding("show-encoding", cl::desc("Show instruction encodings"));
48
Daniel Dunbar9dee8e32010-02-03 18:18:30 +000049static cl::opt<bool>
Daniel Dunbar6b716532010-02-09 23:00:14 +000050ShowFixups("show-fixups", cl::desc("Show fixups inside encodings"));
51
52static cl::opt<bool>
Daniel Dunbar9dee8e32010-02-03 18:18:30 +000053ShowInst("show-inst", cl::desc("Show internal instruction representation"));
54
Chris Lattnere895c612009-09-20 07:17:49 +000055static cl::opt<unsigned>
56OutputAsmVariant("output-asm-variant",
57 cl::desc("Syntax variant to use for output printing"));
58
Daniel Dunbarfb4a6b32009-08-21 09:11:24 +000059enum OutputFileType {
60 OFT_AssemblyFile,
61 OFT_ObjectFile
62};
63static cl::opt<OutputFileType>
64FileType("filetype", cl::init(OFT_AssemblyFile),
65 cl::desc("Choose an output file type:"),
66 cl::values(
67 clEnumValN(OFT_AssemblyFile, "asm",
68 "Emit an assembly ('.s') file"),
69 clEnumValN(OFT_ObjectFile, "obj",
70 "Emit a native object ('.o') file"),
71 clEnumValEnd));
72
Daniel Dunbarbfc0f342009-08-11 04:34:48 +000073static cl::opt<bool>
Dan Gohmanbaa26392009-08-25 15:34:52 +000074Force("f", cl::desc("Enable binary output on terminals"));
Daniel Dunbarbfc0f342009-08-11 04:34:48 +000075
Chris Lattnerb23677e2009-06-21 05:22:37 +000076static cl::list<std::string>
77IncludeDirs("I", cl::desc("Directory of include files"),
78 cl::value_desc("directory"), cl::Prefix);
Chris Lattnerf9f065e2009-06-18 23:04:45 +000079
Daniel Dunbarb4b53e52009-07-17 22:38:58 +000080static cl::opt<std::string>
Nick Lewyckyed1f1682009-11-01 22:07:54 +000081TripleName("triple", cl::desc("Target triple to assemble for, "
82 "see -version for available targets"),
Nick Lewyckyf4e748b2009-11-01 22:08:51 +000083 cl::init(LLVM_HOSTTRIPLE));
Daniel Dunbarb4b53e52009-07-17 22:38:58 +000084
Chris Lattnerb23677e2009-06-21 05:22:37 +000085enum ActionType {
Chris Lattner27aa7d22009-06-21 20:16:42 +000086 AC_AsLex,
Sean Callananba847da2009-12-17 01:49:59 +000087 AC_Assemble,
88 AC_Disassemble
Chris Lattnerb23677e2009-06-21 05:22:37 +000089};
Chris Lattnerf9f065e2009-06-18 23:04:45 +000090
Chris Lattnerb23677e2009-06-21 05:22:37 +000091static cl::opt<ActionType>
92Action(cl::desc("Action to perform:"),
Chris Lattner27aa7d22009-06-21 20:16:42 +000093 cl::init(AC_Assemble),
94 cl::values(clEnumValN(AC_AsLex, "as-lex",
95 "Lex tokens from a .s file"),
96 clEnumValN(AC_Assemble, "assemble",
Chris Lattnerb23677e2009-06-21 05:22:37 +000097 "Assemble a .s file (default)"),
Sean Callananba847da2009-12-17 01:49:59 +000098 clEnumValN(AC_Disassemble, "disassemble",
99 "Disassemble strings of hex bytes"),
Chris Lattnerb23677e2009-06-21 05:22:37 +0000100 clEnumValEnd));
101
Kevin Enderby9823ca92009-09-04 21:45:34 +0000102static const Target *GetTarget(const char *ProgName) {
103 // Get the target specific parser.
104 std::string Error;
105 const Target *TheTarget = TargetRegistry::lookupTarget(TripleName, Error);
106 if (TheTarget)
107 return TheTarget;
108
109 errs() << ProgName << ": error: unable to get target for '" << TripleName
110 << "', see --version and --triple.\n";
111 return 0;
112}
113
Chris Lattner27aa7d22009-06-21 20:16:42 +0000114static int AsLexInput(const char *ProgName) {
Chris Lattnerf9f065e2009-06-18 23:04:45 +0000115 std::string ErrorMessage;
Chris Lattnerb23677e2009-06-21 05:22:37 +0000116 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename,
117 &ErrorMessage);
Chris Lattnerf9f065e2009-06-18 23:04:45 +0000118 if (Buffer == 0) {
Chris Lattnerb23677e2009-06-21 05:22:37 +0000119 errs() << ProgName << ": ";
Chris Lattnerf9f065e2009-06-18 23:04:45 +0000120 if (ErrorMessage.size())
121 errs() << ErrorMessage << "\n";
122 else
123 errs() << "input file didn't read correctly.\n";
124 return 1;
125 }
Chris Lattnerb23677e2009-06-21 05:22:37 +0000126
127 SourceMgr SrcMgr;
128
129 // Tell SrcMgr about this buffer, which is what TGParser will pick up.
130 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
131
132 // Record the location of the include directories so that the lexer can find
133 // it later.
134 SrcMgr.setIncludeDirs(IncludeDirs);
Chris Lattnera59e8772009-06-21 07:19:10 +0000135
Kevin Enderby9823ca92009-09-04 21:45:34 +0000136 const Target *TheTarget = GetTarget(ProgName);
137 if (!TheTarget)
138 return 1;
139
140 const MCAsmInfo *MAI = TheTarget->createAsmInfo(TripleName);
141 assert(MAI && "Unable to create target asm info!");
142
Sean Callananfd0b0282010-01-21 00:19:58 +0000143 AsmLexer Lexer(*MAI);
Chris Lattnera59e8772009-06-21 07:19:10 +0000144
Chris Lattner27aa7d22009-06-21 20:16:42 +0000145 bool Error = false;
146
Daniel Dunbara3c924f2009-07-28 16:56:42 +0000147 while (Lexer.Lex().isNot(AsmToken::Eof)) {
148 switch (Lexer.getKind()) {
Chris Lattner27aa7d22009-06-21 20:16:42 +0000149 default:
Sean Callananbf2013e2010-01-20 23:19:55 +0000150 SrcMgr.PrintMessage(Lexer.getLoc(), "unknown token", "warning");
Chris Lattner27aa7d22009-06-21 20:16:42 +0000151 Error = true;
152 break;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000153 case AsmToken::Error:
Chris Lattner27aa7d22009-06-21 20:16:42 +0000154 Error = true; // error already printed.
Chris Lattner4651bca2009-06-21 19:21:25 +0000155 break;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000156 case AsmToken::Identifier:
Daniel Dunbar419aded2009-07-28 16:38:40 +0000157 outs() << "identifier: " << Lexer.getTok().getString() << '\n';
Chris Lattnera59e8772009-06-21 07:19:10 +0000158 break;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000159 case AsmToken::String:
Daniel Dunbar419aded2009-07-28 16:38:40 +0000160 outs() << "string: " << Lexer.getTok().getString() << '\n';
Chris Lattner10a907d2009-06-21 19:56:35 +0000161 break;
Daniel Dunbar3f872332009-07-28 16:08:33 +0000162 case AsmToken::Integer:
Daniel Dunbar419aded2009-07-28 16:38:40 +0000163 outs() << "int: " << Lexer.getTok().getString() << '\n';
Chris Lattnera59e8772009-06-21 07:19:10 +0000164 break;
Daniel Dunbar165e8342009-07-01 06:56:54 +0000165
Daniel Dunbar3f872332009-07-28 16:08:33 +0000166 case AsmToken::Amp: outs() << "Amp\n"; break;
167 case AsmToken::AmpAmp: outs() << "AmpAmp\n"; break;
168 case AsmToken::Caret: outs() << "Caret\n"; break;
169 case AsmToken::Colon: outs() << "Colon\n"; break;
170 case AsmToken::Comma: outs() << "Comma\n"; break;
171 case AsmToken::Dollar: outs() << "Dollar\n"; break;
172 case AsmToken::EndOfStatement: outs() << "EndOfStatement\n"; break;
173 case AsmToken::Eof: outs() << "Eof\n"; break;
174 case AsmToken::Equal: outs() << "Equal\n"; break;
175 case AsmToken::EqualEqual: outs() << "EqualEqual\n"; break;
176 case AsmToken::Exclaim: outs() << "Exclaim\n"; break;
177 case AsmToken::ExclaimEqual: outs() << "ExclaimEqual\n"; break;
178 case AsmToken::Greater: outs() << "Greater\n"; break;
179 case AsmToken::GreaterEqual: outs() << "GreaterEqual\n"; break;
180 case AsmToken::GreaterGreater: outs() << "GreaterGreater\n"; break;
181 case AsmToken::LParen: outs() << "LParen\n"; break;
182 case AsmToken::Less: outs() << "Less\n"; break;
183 case AsmToken::LessEqual: outs() << "LessEqual\n"; break;
184 case AsmToken::LessGreater: outs() << "LessGreater\n"; break;
185 case AsmToken::LessLess: outs() << "LessLess\n"; break;
186 case AsmToken::Minus: outs() << "Minus\n"; break;
187 case AsmToken::Percent: outs() << "Percent\n"; break;
188 case AsmToken::Pipe: outs() << "Pipe\n"; break;
189 case AsmToken::PipePipe: outs() << "PipePipe\n"; break;
190 case AsmToken::Plus: outs() << "Plus\n"; break;
191 case AsmToken::RParen: outs() << "RParen\n"; break;
192 case AsmToken::Slash: outs() << "Slash\n"; break;
193 case AsmToken::Star: outs() << "Star\n"; break;
194 case AsmToken::Tilde: outs() << "Tilde\n"; break;
Chris Lattnera59e8772009-06-21 07:19:10 +0000195 }
Chris Lattnera59e8772009-06-21 07:19:10 +0000196 }
Chris Lattnerf9f065e2009-06-18 23:04:45 +0000197
Chris Lattner27aa7d22009-06-21 20:16:42 +0000198 return Error;
Chris Lattnerb23677e2009-06-21 05:22:37 +0000199}
200
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000201static formatted_raw_ostream *GetOutputStream() {
Chris Lattner17e9edc2009-08-23 02:51:22 +0000202 if (OutputFilename == "")
203 OutputFilename = "-";
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000204
205 // Make sure that the Out file gets unlinked from the disk if we get a
Chris Lattner17e9edc2009-08-23 02:51:22 +0000206 // SIGINT.
207 if (OutputFilename != "-")
208 sys::RemoveFileOnSignal(sys::Path(OutputFilename));
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000209
210 std::string Err;
Chris Lattner17e9edc2009-08-23 02:51:22 +0000211 raw_fd_ostream *Out = new raw_fd_ostream(OutputFilename.c_str(), Err,
Dan Gohmanbaa26392009-08-25 15:34:52 +0000212 raw_fd_ostream::F_Binary);
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000213 if (!Err.empty()) {
214 errs() << Err << '\n';
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000215 delete Out;
216 return 0;
217 }
218
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000219 return new formatted_raw_ostream(*Out, formatted_raw_ostream::DELETE_STREAM);
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000220}
221
Daniel Dunbara2edbab2009-07-28 20:47:52 +0000222static int AssembleInput(const char *ProgName) {
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000223 const Target *TheTarget = GetTarget(ProgName);
224 if (!TheTarget)
225 return 1;
226
Daniel Dunbara2edbab2009-07-28 20:47:52 +0000227 std::string Error;
228 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename, &Error);
Chris Lattner27aa7d22009-06-21 20:16:42 +0000229 if (Buffer == 0) {
230 errs() << ProgName << ": ";
Daniel Dunbara2edbab2009-07-28 20:47:52 +0000231 if (Error.size())
232 errs() << Error << "\n";
Chris Lattner27aa7d22009-06-21 20:16:42 +0000233 else
234 errs() << "input file didn't read correctly.\n";
235 return 1;
236 }
237
238 SourceMgr SrcMgr;
239
Daniel Dunbar12a8a442009-08-19 16:25:53 +0000240 // Tell SrcMgr about this buffer, which is what the parser will pick up.
Chris Lattner27aa7d22009-06-21 20:16:42 +0000241 SrcMgr.AddNewSourceBuffer(Buffer, SMLoc());
242
243 // Record the location of the include directories so that the lexer can find
244 // it later.
245 SrcMgr.setIncludeDirs(IncludeDirs);
246
Chris Lattnercbc23f72009-06-24 00:52:40 +0000247 MCContext Ctx;
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000248 formatted_raw_ostream *Out = GetOutputStream();
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000249 if (!Out)
250 return 1;
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000251
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000252
253 // FIXME: We shouldn't need to do this (and link in codegen).
254 OwningPtr<TargetMachine> TM(TheTarget->createTargetMachine(TripleName, ""));
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000255
Chris Lattnerf3ce0092009-08-17 04:23:44 +0000256 if (!TM) {
257 errs() << ProgName << ": error: could not create target for triple '"
258 << TripleName << "'.\n";
259 return 1;
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000260 }
261
Chris Lattner90edac02009-09-14 03:02:37 +0000262 OwningPtr<MCInstPrinter> IP;
Daniel Dunbar4a0abd82009-08-27 00:51:57 +0000263 OwningPtr<MCCodeEmitter> CE;
Daniel Dunbarfb4a6b32009-08-21 09:11:24 +0000264 OwningPtr<MCStreamer> Str;
Chris Lattnerf3ce0092009-08-17 04:23:44 +0000265
Kevin Enderby9823ca92009-09-04 21:45:34 +0000266 const MCAsmInfo *MAI = TheTarget->createAsmInfo(TripleName);
267 assert(MAI && "Unable to create target asm info!");
Daniel Dunbarfb4a6b32009-08-21 09:11:24 +0000268
Kevin Enderby9823ca92009-09-04 21:45:34 +0000269 if (FileType == OFT_AssemblyFile) {
Chris Lattnere895c612009-09-20 07:17:49 +0000270 IP.reset(TheTarget->createMCInstPrinter(OutputAsmVariant, *MAI, *Out));
Daniel Dunbarf2f6b0c2009-08-27 07:56:39 +0000271 if (ShowEncoding)
272 CE.reset(TheTarget->createCodeEmitter(*TM));
Chris Lattner16582022010-01-20 06:39:07 +0000273 Str.reset(createAsmStreamer(Ctx, *Out, *MAI,
274 TM->getTargetData()->isLittleEndian(),
Daniel Dunbar9dee8e32010-02-03 18:18:30 +0000275 /*asmverbose*/true, IP.get(), CE.get(),
Daniel Dunbar6b716532010-02-09 23:00:14 +0000276 ShowInst, ShowFixups));
Daniel Dunbarfb4a6b32009-08-21 09:11:24 +0000277 } else {
278 assert(FileType == OFT_ObjectFile && "Invalid file type!");
Daniel Dunbar4fac7492009-08-27 08:17:51 +0000279 CE.reset(TheTarget->createCodeEmitter(*TM));
280 Str.reset(createMachOStreamer(Ctx, *Out, CE.get()));
Daniel Dunbarfb4a6b32009-08-21 09:11:24 +0000281 }
Daniel Dunbara0d14262009-06-24 23:30:00 +0000282
Kevin Enderby9823ca92009-09-04 21:45:34 +0000283 AsmParser Parser(SrcMgr, Ctx, *Str.get(), *MAI);
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000284 OwningPtr<TargetAsmParser> TAP(TheTarget->createAsmParser(Parser));
285 if (!TAP) {
286 errs() << ProgName
287 << ": error: this target does not support assembly parsing.\n";
Daniel Dunbara2edbab2009-07-28 20:47:52 +0000288 return 1;
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000289 }
290
Daniel Dunbar16cdcb32009-07-28 22:40:46 +0000291 Parser.setTargetParser(*TAP.get());
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000292
293 int Res = Parser.Run();
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000294 if (Out != &fouts())
Daniel Dunbarbfc0f342009-08-11 04:34:48 +0000295 delete Out;
296
297 return Res;
Sean Callananba847da2009-12-17 01:49:59 +0000298}
299
300static int DisassembleInput(const char *ProgName) {
301 std::string Error;
302 const Target *TheTarget = TargetRegistry::lookupTarget(TripleName, Error);
303 if (TheTarget == 0) {
304 errs() << ProgName << ": error: unable to get target for '" << TripleName
305 << "', see --version and --triple.\n";
306 return 0;
307 }
308
309 std::string ErrorMessage;
310
311 MemoryBuffer *Buffer = MemoryBuffer::getFileOrSTDIN(InputFilename,
312 &ErrorMessage);
313
314 if (Buffer == 0) {
315 errs() << ProgName << ": ";
316 if (ErrorMessage.size())
317 errs() << ErrorMessage << "\n";
318 else
319 errs() << "input file didn't read correctly.\n";
320 return 1;
321 }
322
Chris Lattnera3dcfb12009-12-22 22:50:29 +0000323 return Disassembler::disassemble(*TheTarget, TripleName, *Buffer);
Sean Callananba847da2009-12-17 01:49:59 +0000324}
Chris Lattner27aa7d22009-06-21 20:16:42 +0000325
Chris Lattnerb23677e2009-06-21 05:22:37 +0000326
327int main(int argc, char **argv) {
328 // Print a stack trace if we signal out.
329 sys::PrintStackTraceOnErrorSignal();
330 PrettyStackTraceProgram X(argc, argv);
331 llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
Daniel Dunbarb4b53e52009-07-17 22:38:58 +0000332
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000333 // Initialize targets and assembly printers/parsers.
Daniel Dunbarb4b53e52009-07-17 22:38:58 +0000334 llvm::InitializeAllTargetInfos();
Daniel Dunbarc22e0b22009-08-14 03:48:55 +0000335 // FIXME: We shouldn't need to initialize the Target(Machine)s.
336 llvm::InitializeAllTargets();
337 llvm::InitializeAllAsmPrinters();
Daniel Dunbarb4b53e52009-07-17 22:38:58 +0000338 llvm::InitializeAllAsmParsers();
Sean Callananba847da2009-12-17 01:49:59 +0000339 llvm::InitializeAllDisassemblers();
Daniel Dunbarb4b53e52009-07-17 22:38:58 +0000340
Chris Lattnerb23677e2009-06-21 05:22:37 +0000341 cl::ParseCommandLineOptions(argc, argv, "llvm machine code playground\n");
342
343 switch (Action) {
344 default:
Chris Lattner27aa7d22009-06-21 20:16:42 +0000345 case AC_AsLex:
346 return AsLexInput(argv[0]);
Chris Lattnerb23677e2009-06-21 05:22:37 +0000347 case AC_Assemble:
348 return AssembleInput(argv[0]);
Sean Callananba847da2009-12-17 01:49:59 +0000349 case AC_Disassemble:
350 return DisassembleInput(argv[0]);
Chris Lattnerb23677e2009-06-21 05:22:37 +0000351 }
Chris Lattnerf9f065e2009-06-18 23:04:45 +0000352
353 return 0;
354}
355