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