| 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: |
| 107 | explicit X86AsmPrinter(TargetMachine &TM, |
| 108 | std::unique_ptr<MCStreamer> Streamer) |
| 109 | : AsmPrinter(TM, std::move(Streamer)), SM(*this), FM(*this) {} |
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 110 | |
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 111 | StringRef getPassName() const override { |
| Davide Italiano | a22dddd | 2016-11-10 18:39:31 +0000 | [diff] [blame] | 112 | return "X86 Assembly Printer"; |
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 113 | } |
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 114 | |
| Chris Lattner | 3172208 | 2009-09-12 20:34:57 +0000 | [diff] [blame] | 115 | const X86Subtarget &getSubtarget() const { return *Subtarget; } |
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 116 | |
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 117 | void EmitStartOfAsmFile(Module &M) override; |
| Chris Lattner | 81fe45d | 2010-03-13 02:10:00 +0000 | [diff] [blame] | 118 | |
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 119 | void EmitEndOfAsmFile(Module &M) override; |
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 120 | |
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 121 | void EmitInstruction(const MachineInstr *MI) override; |
| Chad Rosier | 24c19d2 | 2012-08-01 18:39:17 +0000 | [diff] [blame] | 122 | |
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 123 | void EmitBasicBlockEnd(const MachineBasicBlock &MBB) override { |
| Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 124 | SMShadowTracker.emitShadowPadding(*OutStreamer, getSubtargetInfo()); |
| Lang Hames | f49bc3f | 2014-07-24 20:40:55 +0000 | [diff] [blame] | 125 | } |
| 126 | |
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 127 | bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
| 128 | unsigned AsmVariant, const char *ExtraCode, |
| 129 | raw_ostream &OS) override; |
| 130 | bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, |
| 131 | unsigned AsmVariant, const char *ExtraCode, |
| 132 | raw_ostream &OS) override; |
| Anton Korobeynikov | 016d1d0 | 2008-06-28 11:08:27 +0000 | [diff] [blame] | 133 | |
| David Majnemer | 8bce66b | 2014-07-14 22:57:27 +0000 | [diff] [blame] | 134 | /// \brief Return the symbol for the specified constant pool entry. |
| 135 | MCSymbol *GetCPISymbol(unsigned CPID) const override; |
| 136 | |
| Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 137 | bool doInitialization(Module &M) override { |
| 138 | SMShadowTracker.reset(0); |
| 139 | SM.reset(); |
| 140 | return AsmPrinter::doInitialization(M); |
| 141 | } |
| 142 | |
| Craig Topper | 24e685f | 2014-03-10 05:29:18 +0000 | [diff] [blame] | 143 | bool runOnMachineFunction(MachineFunction &F) override; |
| Reid Kleckner | 9cdd4df | 2017-10-11 21:24:33 +0000 | [diff] [blame^] | 144 | void EmitFunctionBodyStart() override; |
| 145 | void EmitFunctionBodyEnd() override; |
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 146 | }; |
| 147 | |
| Chris Lattner | b974046 | 2005-07-01 22:44:09 +0000 | [diff] [blame] | 148 | } // end namespace llvm |
| 149 | |
| 150 | #endif |