1//===-- llvm-ml.cpp - masm-compatible assembler -----------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// A simple driver around MasmParser; based on llvm-mc.
10//
11//===----------------------------------------------------------------------===//
12
13#include "llvm/ADT/StringSwitch.h"
14#include "llvm/MC/MCAsmBackend.h"
15#include "llvm/MC/MCAsmInfo.h"
16#include "llvm/MC/MCCodeEmitter.h"
17#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCInstPrinter.h"
19#include "llvm/MC/MCInstrInfo.h"
20#include "llvm/MC/MCObjectFileInfo.h"
21#include "llvm/MC/MCObjectWriter.h"
22#include "llvm/MC/MCParser/AsmLexer.h"
23#include "llvm/MC/MCParser/MCTargetAsmParser.h"
24#include "llvm/MC/MCRegisterInfo.h"
25#include "llvm/MC/MCStreamer.h"
26#include "llvm/MC/MCSubtargetInfo.h"
27#include "llvm/MC/MCSymbol.h"
28#include "llvm/MC/MCTargetOptionsCommandFlags.h"
29#include "llvm/MC/TargetRegistry.h"
30#include "llvm/Option/Arg.h"
31#include "llvm/Option/ArgList.h"
32#include "llvm/Option/Option.h"
33#include "llvm/Support/Compression.h"
34#include "llvm/Support/FileUtilities.h"
35#include "llvm/Support/FormatVariadic.h"
36#include "llvm/Support/FormattedStream.h"
37#include "llvm/Support/LLVMDriver.h"
38#include "llvm/Support/MemoryBuffer.h"
39#include "llvm/Support/Path.h"
40#include "llvm/Support/Process.h"
41#include "llvm/Support/SourceMgr.h"
42#include "llvm/Support/TargetSelect.h"
43#include "llvm/Support/ToolOutputFile.h"
44#include "llvm/Support/WithColor.h"
45#include "llvm/TargetParser/Host.h"
46#include <ctime>
47#include <optional>
48
49using namespace llvm;
50using namespace llvm::opt;
51
52namespace {
53
54enum ID {
55 OPT_INVALID = 0, // This is not an option ID.
56#define OPTION(...) LLVM_MAKE_OPT_ID(__VA_ARGS__),
57#include "Opts.inc"
58#undef OPTION
59};
60
61#define PREFIX(NAME, VALUE) \
62 static constexpr StringLiteral NAME##_init[] = VALUE; \
63 static constexpr ArrayRef<StringLiteral> NAME(NAME##_init, \
64 std::size(NAME##_init) - 1);
65#include "Opts.inc"
66#undef PREFIX
67
68static constexpr opt::OptTable::Info InfoTable[] = {
69#define OPTION(...) LLVM_CONSTRUCT_OPT_INFO(__VA_ARGS__),
70#include "Opts.inc"
71#undef OPTION
72};
73
74class MLOptTable : public opt::GenericOptTable {
75public:
76 MLOptTable() : opt::GenericOptTable(InfoTable, /*IgnoreCase=*/false) {}
77};
78} // namespace
79
80static Triple GetTriple(StringRef ProgName, opt::InputArgList &Args) {
81 // Figure out the target triple.
82 StringRef DefaultBitness = "32";
83 SmallString<255> Program = ProgName;
84 sys::path::replace_extension(path&: Program, extension: "");
85 if (Program.ends_with(Suffix: "ml64"))
86 DefaultBitness = "64";
87
88 StringRef TripleName =
89 StringSwitch<StringRef>(Args.getLastArgValue(OPT_bitness, DefaultBitness))
90 .Case("32", "i386-pc-windows")
91 .Case("64", "x86_64-pc-windows")
92 .Default("");
93 return Triple(Triple::normalize(Str: TripleName));
94}
95
96static std::unique_ptr<ToolOutputFile> GetOutputStream(StringRef Path) {
97 std::error_code EC;
98 auto Out = std::make_unique<ToolOutputFile>(args&: Path, args&: EC, args: sys::fs::OF_None);
99 if (EC) {
100 WithColor::error() << EC.message() << '\n';
101 return nullptr;
102 }
103
104 return Out;
105}
106
107static int AsLexInput(SourceMgr &SrcMgr, MCAsmInfo &MAI, raw_ostream &OS) {
108 AsmLexer Lexer(MAI);
109 Lexer.setBuffer(Buf: SrcMgr.getMemoryBuffer(i: SrcMgr.getMainFileID())->getBuffer());
110 Lexer.setLexMasmIntegers(true);
111 Lexer.useMasmDefaultRadix(V: true);
112 Lexer.setLexMasmHexFloats(true);
113 Lexer.setLexMasmStrings(true);
114
115 bool Error = false;
116 while (Lexer.Lex().isNot(K: AsmToken::Eof)) {
117 Lexer.getTok().dump(OS);
118 OS << "\n";
119 if (Lexer.getTok().getKind() == AsmToken::Error)
120 Error = true;
121 }
122
123 return Error;
124}
125
126static int AssembleInput(StringRef ProgName, const Target *TheTarget,
127 SourceMgr &SrcMgr, MCContext &Ctx, MCStreamer &Str,
128 MCAsmInfo &MAI, MCSubtargetInfo &STI,
129 MCInstrInfo &MCII, MCTargetOptions &MCOptions,
130 const opt::ArgList &InputArgs) {
131 struct tm TM;
132 time_t Timestamp;
133 if (InputArgs.hasArg(Ids: OPT_timestamp)) {
134 StringRef TimestampStr = InputArgs.getLastArgValue(Id: OPT_timestamp);
135 int64_t IntTimestamp;
136 if (TimestampStr.getAsInteger(Radix: 10, Result&: IntTimestamp)) {
137 WithColor::error(OS&: errs(), Prefix: ProgName)
138 << "invalid timestamp '" << TimestampStr
139 << "'; must be expressed in seconds since the UNIX epoch.\n";
140 return 1;
141 }
142 Timestamp = IntTimestamp;
143 } else {
144 Timestamp = time(timer: nullptr);
145 }
146 if (InputArgs.hasArg(OPT_utc)) {
147 // Not thread-safe.
148 TM = *gmtime(timer: &Timestamp);
149 } else {
150 // Not thread-safe.
151 TM = *localtime(timer: &Timestamp);
152 }
153
154 std::unique_ptr<MCAsmParser> Parser(
155 createMCMasmParser(SrcMgr, Ctx, Str, MAI, TM, CB: 0));
156 std::unique_ptr<MCTargetAsmParser> TAP(
157 TheTarget->createMCAsmParser(STI, Parser&: *Parser, MII: MCII, Options: MCOptions));
158
159 if (!TAP) {
160 WithColor::error(OS&: errs(), Prefix: ProgName)
161 << "this target does not support assembly parsing.\n";
162 return 1;
163 }
164
165 Parser->setShowParsedOperands(InputArgs.hasArg(OPT_show_inst_operands));
166 Parser->setTargetParser(*TAP);
167 Parser->getLexer().setLexMasmIntegers(true);
168 Parser->getLexer().useMasmDefaultRadix(V: true);
169 Parser->getLexer().setLexMasmHexFloats(true);
170 Parser->getLexer().setLexMasmStrings(true);
171
172 auto Defines = InputArgs.getAllArgValues(OPT_define);
173 for (StringRef Define : Defines) {
174 const auto NameValue = Define.split('=');
175 StringRef Name = NameValue.first, Value = NameValue.second;
176 if (Parser->defineMacro(Name, Value)) {
177 WithColor::error(errs(), ProgName)
178 << "can't define macro '" << Name << "' = '" << Value << "'\n";
179 return 1;
180 }
181 }
182
183 int Res = Parser->Run(/*NoInitialTextSection=*/true);
184
185 return Res;
186}
187
188int llvm_ml_main(int Argc, char **Argv, const llvm::ToolContext &) {
189 StringRef ProgName = sys::path::filename(path: Argv[0]);
190
191 // Initialize targets and assembly printers/parsers.
192 llvm::InitializeAllTargetInfos();
193 llvm::InitializeAllTargetMCs();
194 llvm::InitializeAllAsmParsers();
195 llvm::InitializeAllDisassemblers();
196
197 MLOptTable T;
198 unsigned MissingArgIndex, MissingArgCount;
199 ArrayRef<const char *> ArgsArr = ArrayRef(Argv + 1, Argc - 1);
200 opt::InputArgList InputArgs =
201 T.ParseArgs(Args: ArgsArr, MissingArgIndex, MissingArgCount);
202
203 std::string InputFilename;
204 for (auto *Arg : InputArgs.filtered(OPT_INPUT)) {
205 std::string ArgString = Arg->getAsString(InputArgs);
206 bool IsFile = false;
207 std::error_code IsFileEC =
208 llvm::sys::fs::is_regular_file(ArgString, IsFile);
209 if (ArgString == "-" || IsFile) {
210 if (!InputFilename.empty()) {
211 WithColor::warning(errs(), ProgName)
212 << "does not support multiple assembly files in one command; "
213 << "ignoring '" << InputFilename << "'\n";
214 }
215 InputFilename = ArgString;
216 } else {
217 std::string Diag;
218 raw_string_ostream OS(Diag);
219 OS << ArgString << ": " << IsFileEC.message();
220
221 std::string Nearest;
222 if (T.findNearest(ArgString, Nearest) < 2)
223 OS << ", did you mean '" << Nearest << "'?";
224
225 WithColor::error(errs(), ProgName) << OS.str() << '\n';
226 exit(1);
227 }
228 }
229 for (auto *Arg : InputArgs.filtered(OPT_assembly_file)) {
230 if (!InputFilename.empty()) {
231 WithColor::warning(errs(), ProgName)
232 << "does not support multiple assembly files in one command; "
233 << "ignoring '" << InputFilename << "'\n";
234 }
235 InputFilename = Arg->getValue();
236 }
237
238 for (auto *Arg : InputArgs.filtered(OPT_unsupported_Group)) {
239 WithColor::warning(errs(), ProgName)
240 << "ignoring unsupported '" << Arg->getOption().getName()
241 << "' option\n";
242 }
243
244 if (InputArgs.hasArg(OPT_debug)) {
245 DebugFlag = true;
246 }
247 for (auto *Arg : InputArgs.filtered(OPT_debug_only)) {
248 setCurrentDebugTypes(Arg->getValues().data(), Arg->getNumValues());
249 }
250
251 if (InputArgs.hasArg(OPT_help)) {
252 std::string Usage = llvm::formatv(Fmt: "{0} [ /options ] file", Vals&: ProgName).str();
253 T.printHelp(OS&: outs(), Usage: Usage.c_str(), Title: "LLVM MASM Assembler",
254 /*ShowHidden=*/false);
255 return 0;
256 } else if (InputFilename.empty()) {
257 outs() << "USAGE: " << ProgName << " [ /options ] file\n"
258 << "Run \"" << ProgName << " /?\" or \"" << ProgName
259 << " /help\" for more info.\n";
260 return 0;
261 }
262
263 MCTargetOptions MCOptions;
264 MCOptions.AssemblyLanguage = "masm";
265 MCOptions.MCFatalWarnings = InputArgs.hasArg(OPT_fatal_warnings);
266
267 Triple TheTriple = GetTriple(ProgName, Args&: InputArgs);
268 std::string Error;
269 const Target *TheTarget = TargetRegistry::lookupTarget(ArchName: "", TheTriple, Error);
270 if (!TheTarget) {
271 WithColor::error(OS&: errs(), Prefix: ProgName) << Error;
272 return 1;
273 }
274 const std::string &TripleName = TheTriple.getTriple();
275
276 bool SafeSEH = InputArgs.hasArg(OPT_safeseh);
277 if (SafeSEH && !(TheTriple.isArch32Bit() && TheTriple.isX86())) {
278 WithColor::warning()
279 << "/safeseh applies only to 32-bit X86 platforms; ignoring.\n";
280 SafeSEH = false;
281 }
282
283 ErrorOr<std::unique_ptr<MemoryBuffer>> BufferPtr =
284 MemoryBuffer::getFileOrSTDIN(Filename: InputFilename);
285 if (std::error_code EC = BufferPtr.getError()) {
286 WithColor::error(OS&: errs(), Prefix: ProgName)
287 << InputFilename << ": " << EC.message() << '\n';
288 return 1;
289 }
290
291 SourceMgr SrcMgr;
292
293 // Tell SrcMgr about this buffer, which is what the parser will pick up.
294 SrcMgr.AddNewSourceBuffer(F: std::move(*BufferPtr), IncludeLoc: SMLoc());
295
296 // Record the location of the include directories so that the lexer can find
297 // included files later.
298 std::vector<std::string> IncludeDirs =
299 InputArgs.getAllArgValues(Id: OPT_include_path);
300 if (!InputArgs.hasArg(OPT_ignore_include_envvar)) {
301 if (std::optional<std::string> IncludeEnvVar =
302 llvm::sys::Process::GetEnv(name: "INCLUDE")) {
303 SmallVector<StringRef, 8> Dirs;
304 StringRef(*IncludeEnvVar)
305 .split(A&: Dirs, Separator: ";", /*MaxSplit=*/-1, /*KeepEmpty=*/false);
306 IncludeDirs.reserve(n: IncludeDirs.size() + Dirs.size());
307 for (StringRef Dir : Dirs)
308 IncludeDirs.push_back(x: Dir.str());
309 }
310 }
311 SrcMgr.setIncludeDirs(IncludeDirs);
312
313 std::unique_ptr<MCRegisterInfo> MRI(TheTarget->createMCRegInfo(TT: TripleName));
314 assert(MRI && "Unable to create target register info!");
315
316 std::unique_ptr<MCAsmInfo> MAI(
317 TheTarget->createMCAsmInfo(MRI: *MRI, TheTriple: TripleName, Options: MCOptions));
318 assert(MAI && "Unable to create target asm info!");
319
320 MAI->setPreserveAsmComments(InputArgs.hasArg(OPT_preserve_comments));
321
322 std::unique_ptr<MCSubtargetInfo> STI(TheTarget->createMCSubtargetInfo(
323 TheTriple: TripleName, /*CPU=*/"", /*Features=*/""));
324 assert(STI && "Unable to create subtarget info!");
325
326 // FIXME: This is not pretty. MCContext has a ptr to MCObjectFileInfo and
327 // MCObjectFileInfo needs a MCContext reference in order to initialize itself.
328 MCContext Ctx(TheTriple, MAI.get(), MRI.get(), STI.get(), &SrcMgr);
329 std::unique_ptr<MCObjectFileInfo> MOFI(TheTarget->createMCObjectFileInfo(
330 Ctx, /*PIC=*/false, /*LargeCodeModel=*/true));
331 Ctx.setObjectFileInfo(MOFI.get());
332
333 if (InputArgs.hasArg(OPT_save_temp_labels))
334 Ctx.setAllowTemporaryLabels(false);
335
336 // Set compilation information.
337 SmallString<128> CWD;
338 if (!sys::fs::current_path(result&: CWD))
339 Ctx.setCompilationDir(CWD);
340 Ctx.setMainFileName(InputFilename);
341
342 StringRef FileType = InputArgs.getLastArgValue(Id: OPT_filetype, Default: "obj");
343 SmallString<255> DefaultOutputFilename;
344 if (InputArgs.hasArg(OPT_as_lex)) {
345 DefaultOutputFilename = "-";
346 } else {
347 DefaultOutputFilename = InputFilename;
348 sys::path::replace_extension(path&: DefaultOutputFilename, extension: FileType);
349 }
350 const StringRef OutputFilename =
351 InputArgs.getLastArgValue(Id: OPT_output_file, Default: DefaultOutputFilename);
352 std::unique_ptr<ToolOutputFile> Out = GetOutputStream(Path: OutputFilename);
353 if (!Out)
354 return 1;
355
356 std::unique_ptr<buffer_ostream> BOS;
357 raw_pwrite_stream *OS = &Out->os();
358 std::unique_ptr<MCStreamer> Str;
359
360 std::unique_ptr<MCInstrInfo> MCII(TheTarget->createMCInstrInfo());
361 assert(MCII && "Unable to create instruction info!");
362
363 MCInstPrinter *IP = nullptr;
364 if (FileType == "s") {
365 const bool OutputATTAsm = InputArgs.hasArg(OPT_output_att_asm);
366 const unsigned OutputAsmVariant = OutputATTAsm ? 0U // ATT dialect
367 : 1U; // Intel dialect
368 IP = TheTarget->createMCInstPrinter(T: TheTriple, SyntaxVariant: OutputAsmVariant, MAI: *MAI,
369 MII: *MCII, MRI: *MRI);
370
371 if (!IP) {
372 WithColor::error()
373 << "unable to create instruction printer for target triple '"
374 << TheTriple.normalize() << "' with "
375 << (OutputATTAsm ? "ATT" : "Intel") << " assembly variant.\n";
376 return 1;
377 }
378
379 // Set the display preference for hex vs. decimal immediates.
380 IP->setPrintImmHex(InputArgs.hasArg(OPT_print_imm_hex));
381
382 // Set up the AsmStreamer.
383 std::unique_ptr<MCCodeEmitter> CE;
384 if (InputArgs.hasArg(OPT_show_encoding))
385 CE.reset(p: TheTarget->createMCCodeEmitter(II: *MCII, Ctx));
386
387 std::unique_ptr<MCAsmBackend> MAB(
388 TheTarget->createMCAsmBackend(STI: *STI, MRI: *MRI, Options: MCOptions));
389 auto FOut = std::make_unique<formatted_raw_ostream>(args&: *OS);
390 Str.reset(p: TheTarget->createAsmStreamer(
391 Ctx, OS: std::move(FOut), /*asmverbose*/ IsVerboseAsm: true,
392 /*useDwarfDirectory*/ UseDwarfDirectory: true, InstPrint: IP, CE: std::move(CE), TAB: std::move(MAB),
393 ShowInst: InputArgs.hasArg(OPT_show_inst)));
394
395 } else if (FileType == "null") {
396 Str.reset(p: TheTarget->createNullStreamer(Ctx));
397 } else if (FileType == "obj") {
398 if (!Out->os().supportsSeeking()) {
399 BOS = std::make_unique<buffer_ostream>(args&: Out->os());
400 OS = BOS.get();
401 }
402
403 MCCodeEmitter *CE = TheTarget->createMCCodeEmitter(II: *MCII, Ctx);
404 MCAsmBackend *MAB = TheTarget->createMCAsmBackend(STI: *STI, MRI: *MRI, Options: MCOptions);
405 Str.reset(p: TheTarget->createMCObjectStreamer(
406 T: TheTriple, Ctx, TAB: std::unique_ptr<MCAsmBackend>(MAB),
407 OW: MAB->createObjectWriter(OS&: *OS), Emitter: std::unique_ptr<MCCodeEmitter>(CE), STI: *STI,
408 RelaxAll: MCOptions.MCRelaxAll, IncrementalLinkerCompatible: MCOptions.MCIncrementalLinkerCompatible,
409 /*DWARFMustBeAtTheEnd*/ false));
410 } else {
411 llvm_unreachable("Invalid file type!");
412 }
413
414 if (TheTriple.isOSBinFormatCOFF()) {
415 // Emit an absolute @feat.00 symbol. This is a features bitfield read by
416 // link.exe.
417 int64_t Feat00Flags = 0x2;
418 if (SafeSEH) {
419 // According to the PE-COFF spec, the LSB of this value marks the object
420 // for "registered SEH". This means that all SEH handler entry points
421 // must be registered in .sxdata. Use of any unregistered handlers will
422 // cause the process to terminate immediately.
423 Feat00Flags |= 0x1;
424 }
425 MCSymbol *Feat00Sym = Ctx.getOrCreateSymbol(Name: "@feat.00");
426 Feat00Sym->setRedefinable(true);
427 Str->emitSymbolAttribute(Symbol: Feat00Sym, Attribute: MCSA_Global);
428 Str->emitAssignment(Symbol: Feat00Sym, Value: MCConstantExpr::create(Value: Feat00Flags, Ctx));
429 }
430
431 // Use Assembler information for parsing.
432 Str->setUseAssemblerInfoForParsing(true);
433
434 int Res = 1;
435 if (InputArgs.hasArg(OPT_as_lex)) {
436 // -as-lex; Lex only, and output a stream of tokens
437 Res = AsLexInput(SrcMgr, MAI&: *MAI, OS&: Out->os());
438 } else {
439 Res = AssembleInput(ProgName, TheTarget, SrcMgr, Ctx, Str&: *Str, MAI&: *MAI, STI&: *STI,
440 MCII&: *MCII, MCOptions, InputArgs);
441 }
442
443 // Keep output if no errors.
444 if (Res == 0)
445 Out->keep();
446 return Res;
447}
448

source code of llvm/tools/llvm-ml/llvm-ml.cpp