| Eugene Zelenko | d3a6c89 | 2017-02-11 00:27:28 +0000 | [diff] [blame] | 1 | //===- MCInstPrinter.cpp - Convert an MCInst to target assembly syntax ----===// | 
| Chris Lattner | de57d8e | 2009-09-14 01:43:38 +0000 | [diff] [blame] | 2 | // | 
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 | 
| Chris Lattner | de57d8e | 2009-09-14 01:43:38 +0000 | [diff] [blame] | 6 | // | 
|  | 7 | //===----------------------------------------------------------------------===// | 
|  | 8 |  | 
| Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 9 | #include "llvm/MC/MCInstPrinter.h" | 
| Eugene Zelenko | d3a6c89 | 2017-02-11 00:27:28 +0000 | [diff] [blame] | 10 | #include "llvm/ADT/ArrayRef.h" | 
| Chris Lattner | 5241381 | 2010-02-11 22:39:10 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/StringRef.h" | 
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 12 | #include "llvm/MC/MCAsmInfo.h" | 
|  | 13 | #include "llvm/MC/MCInstrInfo.h" | 
| Craig Topper | a2886c2 | 2012-02-07 05:05:23 +0000 | [diff] [blame] | 14 | #include "llvm/Support/ErrorHandling.h" | 
| Kevin Enderby | 168ffb3 | 2012-12-05 18:13:19 +0000 | [diff] [blame] | 15 | #include "llvm/Support/Format.h" | 
| Owen Anderson | d181479 | 2011-09-15 18:36:29 +0000 | [diff] [blame] | 16 | #include "llvm/Support/raw_ostream.h" | 
| Eugene Zelenko | d3a6c89 | 2017-02-11 00:27:28 +0000 | [diff] [blame] | 17 | #include <cinttypes> | 
|  | 18 | #include <cstdint> | 
|  | 19 |  | 
| Chris Lattner | de57d8e | 2009-09-14 01:43:38 +0000 | [diff] [blame] | 20 | using namespace llvm; | 
|  | 21 |  | 
| Colin LeMahieu | 2048ea4 | 2015-05-28 18:39:50 +0000 | [diff] [blame] | 22 | void llvm::dumpBytes(ArrayRef<uint8_t> bytes, raw_ostream &OS) { | 
|  | 23 | static const char hex_rep[] = "0123456789abcdef"; | 
|  | 24 | for (char i: bytes) { | 
|  | 25 | OS << hex_rep[(i & 0xF0) >> 4]; | 
|  | 26 | OS << hex_rep[i & 0xF]; | 
|  | 27 | OS << ' '; | 
|  | 28 | } | 
|  | 29 | } | 
|  | 30 |  | 
| Eugene Zelenko | d3a6c89 | 2017-02-11 00:27:28 +0000 | [diff] [blame] | 31 | MCInstPrinter::~MCInstPrinter() = default; | 
| Chris Lattner | 5241381 | 2010-02-11 22:39:10 +0000 | [diff] [blame] | 32 |  | 
|  | 33 | /// getOpcodeName - Return the name of the specified opcode enum (e.g. | 
|  | 34 | /// "MOV32ri") or empty if we can't resolve it. | 
|  | 35 | StringRef MCInstPrinter::getOpcodeName(unsigned Opcode) const { | 
| Benjamin Kramer | 1c0541b | 2012-04-02 08:32:38 +0000 | [diff] [blame] | 36 | return MII.getName(Opcode); | 
| Chris Lattner | 5241381 | 2010-02-11 22:39:10 +0000 | [diff] [blame] | 37 | } | 
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 38 |  | 
| Rafael Espindola | d686052 | 2011-06-02 02:34:55 +0000 | [diff] [blame] | 39 | void MCInstPrinter::printRegName(raw_ostream &OS, unsigned RegNo) const { | 
| Craig Topper | a2886c2 | 2012-02-07 05:05:23 +0000 | [diff] [blame] | 40 | llvm_unreachable("Target should implement this"); | 
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 41 | } | 
| Owen Anderson | d181479 | 2011-09-15 18:36:29 +0000 | [diff] [blame] | 42 |  | 
| Owen Anderson | a0c3b97 | 2011-09-15 23:38:46 +0000 | [diff] [blame] | 43 | void MCInstPrinter::printAnnotation(raw_ostream &OS, StringRef Annot) { | 
| Owen Anderson | 69fa8ff | 2011-09-21 00:25:23 +0000 | [diff] [blame] | 44 | if (!Annot.empty()) { | 
| Quentin Colombet | 85f60ef | 2013-10-01 19:21:24 +0000 | [diff] [blame] | 45 | if (CommentStream) { | 
| Kevin Enderby | 5dcda64 | 2011-10-04 22:44:48 +0000 | [diff] [blame] | 46 | (*CommentStream) << Annot; | 
| Quentin Colombet | 85f60ef | 2013-10-01 19:21:24 +0000 | [diff] [blame] | 47 | // By definition (see MCInstPrinter.h), CommentStream must end with | 
|  | 48 | // a newline after each comment. | 
|  | 49 | if (Annot.back() != '\n') | 
|  | 50 | (*CommentStream) << '\n'; | 
|  | 51 | } else | 
| Kevin Enderby | 5dcda64 | 2011-10-04 22:44:48 +0000 | [diff] [blame] | 52 | OS << " " << MAI.getCommentString() << " " << Annot; | 
| Owen Anderson | 69fa8ff | 2011-09-21 00:25:23 +0000 | [diff] [blame] | 53 | } | 
| Owen Anderson | d181479 | 2011-09-15 18:36:29 +0000 | [diff] [blame] | 54 | } | 
| Kevin Enderby | dccdac6 | 2012-10-23 22:52:52 +0000 | [diff] [blame] | 55 |  | 
|  | 56 | /// Utility functions to make adding mark ups simpler. | 
|  | 57 | StringRef MCInstPrinter::markup(StringRef s) const { | 
|  | 58 | if (getUseMarkup()) | 
|  | 59 | return s; | 
|  | 60 | else | 
|  | 61 | return ""; | 
|  | 62 | } | 
|  | 63 | StringRef MCInstPrinter::markup(StringRef a, StringRef b) const { | 
|  | 64 | if (getUseMarkup()) | 
|  | 65 | return a; | 
|  | 66 | else | 
|  | 67 | return b; | 
|  | 68 | } | 
| Kevin Enderby | 168ffb3 | 2012-12-05 18:13:19 +0000 | [diff] [blame] | 69 |  | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 70 | // For asm-style hex (e.g. 0ffh) the first digit always has to be a number. | 
|  | 71 | static bool needsLeadingZero(uint64_t Value) | 
|  | 72 | { | 
| Eugene Zelenko | d3a6c89 | 2017-02-11 00:27:28 +0000 | [diff] [blame] | 73 | while (Value) | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 74 | { | 
|  | 75 | uint64_t digit = (Value >> 60) & 0xf; | 
|  | 76 | if (digit != 0) | 
|  | 77 | return (digit >= 0xa); | 
|  | 78 | Value <<= 4; | 
|  | 79 | } | 
|  | 80 | return false; | 
|  | 81 | } | 
|  | 82 |  | 
| Benjamin Kramer | af09f22 | 2015-02-15 22:15:41 +0000 | [diff] [blame] | 83 | format_object<int64_t> MCInstPrinter::formatDec(int64_t Value) const { | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 84 | return format("%" PRId64, Value); | 
|  | 85 | } | 
|  | 86 |  | 
| Benjamin Kramer | af09f22 | 2015-02-15 22:15:41 +0000 | [diff] [blame] | 87 | format_object<int64_t> MCInstPrinter::formatHex(int64_t Value) const { | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 88 | switch(PrintHexStyle) { | 
|  | 89 | case HexStyle::C: | 
|  | 90 | if (Value < 0) | 
|  | 91 | return format("-0x%" PRIx64, -Value); | 
|  | 92 | else | 
|  | 93 | return format("0x%" PRIx64, Value); | 
|  | 94 | case HexStyle::Asm: | 
|  | 95 | if (Value < 0) { | 
|  | 96 | if (needsLeadingZero((uint64_t)(-Value))) | 
|  | 97 | return format("-0%" PRIx64 "h", -Value); | 
|  | 98 | else | 
|  | 99 | return format("-%" PRIx64 "h", -Value); | 
|  | 100 | } else { | 
|  | 101 | if (needsLeadingZero((uint64_t)(Value))) | 
|  | 102 | return format("0%" PRIx64 "h", Value); | 
|  | 103 | else | 
|  | 104 | return format("%" PRIx64 "h", Value); | 
|  | 105 | } | 
|  | 106 | } | 
| Duncan Sands | 3194fca | 2013-08-02 09:37:20 +0000 | [diff] [blame] | 107 | llvm_unreachable("unsupported print style"); | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 108 | } | 
|  | 109 |  | 
| Benjamin Kramer | af09f22 | 2015-02-15 22:15:41 +0000 | [diff] [blame] | 110 | format_object<uint64_t> MCInstPrinter::formatHex(uint64_t Value) const { | 
| Daniel Malea | a3d4245 | 2013-08-01 21:18:16 +0000 | [diff] [blame] | 111 | switch(PrintHexStyle) { | 
|  | 112 | case HexStyle::C: | 
|  | 113 | return format("0x%" PRIx64, Value); | 
|  | 114 | case HexStyle::Asm: | 
|  | 115 | if (needsLeadingZero(Value)) | 
|  | 116 | return format("0%" PRIx64 "h", Value); | 
|  | 117 | else | 
|  | 118 | return format("%" PRIx64 "h", Value); | 
|  | 119 | } | 
| Duncan Sands | 3194fca | 2013-08-02 09:37:20 +0000 | [diff] [blame] | 120 | llvm_unreachable("unsupported print style"); | 
| Kevin Enderby | 168ffb3 | 2012-12-05 18:13:19 +0000 | [diff] [blame] | 121 | } |