| Eli Bendersky | b0b13b2 | 2013-02-19 16:38:32 +0000 | [diff] [blame] | 1 | //===-- X86AsmPrinter.h - X86 implementation of AsmPrinter ------*- C++ -*-===// | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 2 | // | 
|  | 3 | //                     The LLVM Compiler Infrastructure | 
|  | 4 | // | 
| Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source | 
|  | 6 | // License. See LICENSE.TXT for details. | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 7 | // | 
|  | 8 | //===----------------------------------------------------------------------===// | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 9 |  | 
| Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 10 | #ifndef LLVM_LIB_TARGET_X86_X86ASMPRINTER_H | 
|  | 11 | #define LLVM_LIB_TARGET_X86_X86ASMPRINTER_H | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 12 |  | 
| Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 13 | #include "X86Subtarget.h" | 
| Anton Korobeynikov | 016d1d0 | 2008-06-28 11:08:27 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/AsmPrinter.h" | 
| Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/FaultMaps.h" | 
| Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/StackMaps.h" | 
| Craig Topper | c6d4efa | 2014-03-19 06:53:25 +0000 | [diff] [blame] | 17 | #include "llvm/Target/TargetMachine.h" | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 18 |  | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 19 | // Implemented in X86MCInstLower.cpp | 
|  | 20 | namespace { | 
|  | 21 | class X86MCInstLower; | 
|  | 22 | } | 
|  | 23 |  | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 24 | namespace llvm { | 
| Chris Lattner | 9f40bc2 | 2009-06-24 05:46:28 +0000 | [diff] [blame] | 25 | class MCStreamer; | 
| Saleem Abdulrasool | 75e68cb | 2014-05-04 00:03:41 +0000 | [diff] [blame] | 26 | class MCSymbol; | 
| Anton Korobeynikov | 016d1d0 | 2008-06-28 11:08:27 +0000 | [diff] [blame] | 27 |  | 
| Duncan Sands | 6c5e435 | 2010-05-11 20:16:09 +0000 | [diff] [blame] | 28 | class LLVM_LIBRARY_VISIBILITY X86AsmPrinter : public AsmPrinter { | 
| Anton Korobeynikov | 016d1d0 | 2008-06-28 11:08:27 +0000 | [diff] [blame] | 29 | const X86Subtarget *Subtarget; | 
| Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 30 | StackMaps SM; | 
| Sanjoy Das | c63244d | 2015-06-15 18:44:08 +0000 | [diff] [blame] | 31 | FaultMaps FM; | 
| Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 32 | std::unique_ptr<MCCodeEmitter> CodeEmitter; | 
| Reid Kleckner | 9cdd4df | 2017-10-11 21:24:33 +0000 | [diff] [blame] | 33 | bool EmitFPOData = false; | 
| Andrew Trick | 153ebe6 | 2013-10-31 22:11:56 +0000 | [diff] [blame] | 34 |  | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 35 | // This utility class tracks the length of a stackmap instruction's 'shadow'. | 
|  | 36 | // It is used by the X86AsmPrinter to ensure that the stackmap shadow | 
|  | 37 | // invariants (i.e. no other stackmaps, patchpoints, or control flow within | 
|  | 38 | // the shadow) are met, while outputting a minimal number of NOPs for padding. | 
|  | 39 | // | 
|  | 40 | // To minimise the number of NOPs used, the shadow tracker counts the number | 
|  | 41 | // of instruction bytes output since the last stackmap. Only if there are too | 
|  | 42 | // few instruction bytes to cover the shadow are NOPs used for padding. | 
|  | 43 | class StackMapShadowTracker { | 
|  | 44 | public: | 
| Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 45 | void startFunction(MachineFunction &MF) { | 
|  | 46 | this->MF = &MF; | 
|  | 47 | } | 
| Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 48 | void count(MCInst &Inst, const MCSubtargetInfo &STI, | 
|  | 49 | MCCodeEmitter *CodeEmitter); | 
| Lang Hames | 5432649 | 2014-07-25 02:29:19 +0000 | [diff] [blame] | 50 |  | 
|  | 51 | // Called to signal the start of a shadow of RequiredSize bytes. | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 52 | void reset(unsigned RequiredSize) { | 
|  | 53 | RequiredShadowSize = RequiredSize; | 
|  | 54 | CurrentShadowSize = 0; | 
| Lang Hames | 5432649 | 2014-07-25 02:29:19 +0000 | [diff] [blame] | 55 | InShadow = true; | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 56 | } | 
| Lang Hames | 5432649 | 2014-07-25 02:29:19 +0000 | [diff] [blame] | 57 |  | 
|  | 58 | // Called before every stackmap/patchpoint, and at the end of basic blocks, | 
|  | 59 | // to emit any necessary padding-NOPs. | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 60 | void emitShadowPadding(MCStreamer &OutStreamer, const MCSubtargetInfo &STI); | 
|  | 61 | private: | 
| Eric Christopher | ad1ef04 | 2015-02-20 08:01:55 +0000 | [diff] [blame] | 62 | const MachineFunction *MF; | 
| Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 63 | bool InShadow = false; | 
| Lang Hames | 5432649 | 2014-07-25 02:29:19 +0000 | [diff] [blame] | 64 |  | 
|  | 65 | // RequiredShadowSize holds the length of the shadow specified in the most | 
|  | 66 | // recently encountered STACKMAP instruction. | 
|  | 67 | // CurrentShadowSize counts the number of bytes encoded since the most | 
|  | 68 | // recently encountered STACKMAP, stopping when that number is greater than | 
|  | 69 | // or equal to RequiredShadowSize. | 
| Sanjoy Das | 2effffd | 2016-04-19 18:48:16 +0000 | [diff] [blame] | 70 | unsigned RequiredShadowSize = 0, CurrentShadowSize = 0; | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 71 | }; | 
|  | 72 |  | 
|  | 73 | StackMapShadowTracker SMShadowTracker; | 
|  | 74 |  | 
|  | 75 | // All instructions emitted by the X86AsmPrinter should use this helper | 
|  | 76 | // method. | 
|  | 77 | // | 
|  | 78 | // This helper function invokes the SMShadowTracker on each instruction before | 
|  | 79 | // outputting it to the OutStream. This allows the shadow tracker to minimise | 
|  | 80 | // the number of NOPs used for stackmap padding. | 
|  | 81 | void EmitAndCountInstruction(MCInst &Inst); | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 82 | void LowerSTACKMAP(const MachineInstr &MI); | 
| Lang Hames | 65613a6 | 2015-04-22 06:02:31 +0000 | [diff] [blame] | 83 | void LowerPATCHPOINT(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Sanjoy Das | 2e0d29f | 2015-05-06 23:53:26 +0000 | [diff] [blame] | 84 | void LowerSTATEPOINT(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Sanjoy Das | 2f63cbc | 2017-02-07 19:19:49 +0000 | [diff] [blame] | 85 | void LowerFAULTING_OP(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Sanjoy Das | c0441c2 | 2016-04-19 05:24:47 +0000 | [diff] [blame] | 86 | void LowerPATCHABLE_OP(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 87 |  | 
|  | 88 | void LowerTlsAddr(X86MCInstLower &MCInstLowering, const MachineInstr &MI); | 
|  | 89 |  | 
| Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 90 | // XRay-specific lowering for X86. | 
|  | 91 | void LowerPATCHABLE_FUNCTION_ENTER(const MachineInstr &MI, | 
|  | 92 | X86MCInstLower &MCIL); | 
|  | 93 | void LowerPATCHABLE_RET(const MachineInstr &MI, X86MCInstLower &MCIL); | 
|  | 94 | void LowerPATCHABLE_TAIL_CALL(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Dean Michael Berris | 9bcaed8 | 2017-05-08 05:45:21 +0000 | [diff] [blame] | 95 | void LowerPATCHABLE_EVENT_CALL(const MachineInstr &MI, X86MCInstLower &MCIL); | 
| Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 96 |  | 
| Nirav Dave | a7c041d | 2017-01-31 17:00:27 +0000 | [diff] [blame] | 97 | void LowerFENTRY_CALL(const MachineInstr &MI, X86MCInstLower &MCIL); | 
|  | 98 |  | 
| Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 99 | // Helper function that emits the XRay sleds we've collected for a particular | 
|  | 100 | // function. | 
|  | 101 | void EmitXRayTable(); | 
|  | 102 |  | 
| Reid Kleckner | 9cdd4df | 2017-10-11 21:24:33 +0000 | [diff] [blame] | 103 | // Choose between emitting .seh_ directives and .cv_fpo_ directives. | 
|  | 104 | void EmitSEHInstruction(const MachineInstr *MI); | 
|  | 105 |  | 
| Dean Michael Berris | 52735fc | 2016-07-14 04:06:33 +0000 | [diff] [blame] | 106 | public: | 
| Reid Kleckner | ec4ff24 | 2017-10-11 23:53:12 +0000 | [diff] [blame] | 107 | X86AsmPrinter(TargetMachine &TM, std::unique_ptr<MCStreamer> Streamer); | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 108 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 109 | StringRef getPassName() const override { | 
| Davide Italiano | a22dddd | 2016-11-10 18:39:31 +0000 | [diff] [blame] | 110 | return "X86 Assembly Printer"; | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 111 | } | 
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 112 |  | 
| Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 113 | const X86Subtarget &getSubtarget() const { return *Subtarget; } | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 114 |  | 
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 115 | void EmitStartOfAsmFile(Module &M) override; | 
| Chris Lattner | 81fe45d | 2010-03-13 02:10:00 +0000 | [diff] [blame] | 116 |  | 
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 117 | void EmitEndOfAsmFile(Module &M) override; | 
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 118 |  | 
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 119 | void EmitInstruction(const MachineInstr *MI) override; | 
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 120 |  | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 121 | void EmitBasicBlockEnd(const MachineBasicBlock &MBB) override { | 
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 122 | SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo()); | 
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 123 | } | 
|  | 124 |  | 
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 125 | bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, | 
|  | 126 | unsigned AsmVariant, const char *ExtraCode, | 
|  | 127 | raw_ostream &OS) override; | 
|  | 128 | bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, | 
|  | 129 | unsigned AsmVariant, const char *ExtraCode, | 
|  | 130 | raw_ostream &OS) override; | 
| Anton Korobeynikov | 016d1d0 | 2008-06-28 11:08:27 +0000 | [diff] [blame] | 131 |  | 
| David Majnemer | 8bce66b | 2014-07-14 22:57:27 +0000 | [diff] [blame] | 132 | /// \brief Return the symbol for the specified constant pool entry. | 
|  | 133 | MCSymbol *GetCPISymbol(unsigned CPID) const override; | 
|  | 134 |  | 
| Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 135 | bool doInitialization(Module &M) override { | 
|  | 136 | SMShadowTracker.reset(0); | 
|  | 137 | SM.reset(); | 
| Yichao Yu | a46eb8e | 2017-10-17 11:44:34 +0000 | [diff] [blame] | 138 | FM.reset(); | 
| Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 139 | return AsmPrinter::doInitialization(M); | 
|  | 140 | } | 
|  | 141 |  | 
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 142 | bool runOnMachineFunction(MachineFunction &F) override; | 
| Reid Kleckner | 9cdd4df | 2017-10-11 21:24:33 +0000 | [diff] [blame] | 143 | void EmitFunctionBodyStart() override; | 
|  | 144 | void EmitFunctionBodyEnd() override; | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 145 | }; | 
|  | 146 |  | 
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 147 | } // end namespace llvm | 
|  | 148 |  | 
|  | 149 | #endif |