| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 1 | //===-- X86AsmInstrumentation.cpp - Instrument X86 inline assembly --------===// |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 10 | #include "X86AsmInstrumentation.h" |
| Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 11 | #include "MCTargetDesc/X86MCTargetDesc.h" |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 12 | #include "X86Operand.h" |
| Evgeniy Stepanov | 29865f7 | 2014-04-30 14:04:31 +0000 | [diff] [blame] | 13 | #include "llvm/ADT/Triple.h" |
| Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/Twine.h" |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 15 | #include "llvm/MC/MCContext.h" |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 16 | #include "llvm/MC/MCDwarf.h" |
| 17 | #include "llvm/MC/MCExpr.h" |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCInst.h" |
| 19 | #include "llvm/MC/MCInstBuilder.h" |
| Evgeniy Stepanov | f4a3699 | 2014-04-24 13:29:34 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCInstrInfo.h" |
| Evgeniy Stepanov | 0a951b7 | 2014-04-23 11:16:03 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCParser/MCParsedAsmOperand.h" |
| Benjamin Kramer | b3e8a6d | 2016-01-27 10:01:28 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCParser/MCTargetAsmParser.h" |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 23 | #include "llvm/MC/MCRegisterInfo.h" |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCStreamer.h" |
| 25 | #include "llvm/MC/MCSubtargetInfo.h" |
| Evgeniy Stepanov | 0a951b7 | 2014-04-23 11:16:03 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCTargetOptions.h" |
| Evgeniy Stepanov | 3819f02 | 2014-05-07 07:54:11 +0000 | [diff] [blame] | 27 | #include "llvm/Support/CommandLine.h" |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 28 | #include "llvm/Support/ErrorHandling.h" |
| 29 | #include "llvm/Support/SMLoc.h" |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 30 | #include <algorithm> |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 31 | #include <cassert> |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 32 | #include <cstdint> |
| 33 | #include <limits> |
| 34 | #include <memory> |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 35 | #include <vector> |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 36 | |
| Yuri Gorshenin | 3e22bb8 | 2014-10-27 08:38:54 +0000 | [diff] [blame] | 37 | // Following comment describes how assembly instrumentation works. |
| 38 | // Currently we have only AddressSanitizer instrumentation, but we're |
| 39 | // planning to implement MemorySanitizer for inline assembly too. If |
| 40 | // you're not familiar with AddressSanitizer algorithm, please, read |
| Hans Wennborg | 08b34a0 | 2017-11-13 23:47:58 +0000 | [diff] [blame] | 41 | // https://github.com/google/sanitizers/wiki/AddressSanitizerAlgorithm |
| Yuri Gorshenin | 3e22bb8 | 2014-10-27 08:38:54 +0000 | [diff] [blame] | 42 | // |
| 43 | // When inline assembly is parsed by an instance of X86AsmParser, all |
| 44 | // instructions are emitted via EmitInstruction method. That's the |
| 45 | // place where X86AsmInstrumentation analyzes an instruction and |
| 46 | // decides, whether the instruction should be emitted as is or |
| 47 | // instrumentation is required. The latter case happens when an |
| 48 | // instruction reads from or writes to memory. Now instruction opcode |
| 49 | // is explicitly checked, and if an instruction has a memory operand |
| 50 | // (for instance, movq (%rsi, %rcx, 8), %rax) - it should be |
| 51 | // instrumented. There're also exist instructions that modify |
| 52 | // memory but don't have an explicit memory operands, for instance, |
| 53 | // movs. |
| 54 | // |
| 55 | // Let's consider at first 8-byte memory accesses when an instruction |
| 56 | // has an explicit memory operand. In this case we need two registers - |
| 57 | // AddressReg to compute address of a memory cells which are accessed |
| 58 | // and ShadowReg to compute corresponding shadow address. So, we need |
| 59 | // to spill both registers before instrumentation code and restore them |
| 60 | // after instrumentation. Thus, in general, instrumentation code will |
| 61 | // look like this: |
| 62 | // PUSHF # Store flags, otherwise they will be overwritten |
| 63 | // PUSH AddressReg # spill AddressReg |
| 64 | // PUSH ShadowReg # spill ShadowReg |
| 65 | // LEA MemOp, AddressReg # compute address of the memory operand |
| 66 | // MOV AddressReg, ShadowReg |
| 67 | // SHR ShadowReg, 3 |
| 68 | // # ShadowOffset(AddressReg >> 3) contains address of a shadow |
| 69 | // # corresponding to MemOp. |
| 70 | // CMP ShadowOffset(ShadowReg), 0 # test shadow value |
| 71 | // JZ .Done # when shadow equals to zero, everything is fine |
| 72 | // MOV AddressReg, RDI |
| 73 | // # Call __asan_report function with AddressReg as an argument |
| 74 | // CALL __asan_report |
| 75 | // .Done: |
| 76 | // POP ShadowReg # Restore ShadowReg |
| 77 | // POP AddressReg # Restore AddressReg |
| 78 | // POPF # Restore flags |
| 79 | // |
| 80 | // Memory accesses with different size (1-, 2-, 4- and 16-byte) are |
| 81 | // handled in a similar manner, but small memory accesses (less than 8 |
| 82 | // byte) require an additional ScratchReg, which is used for shadow value. |
| 83 | // |
| 84 | // If, suppose, we're instrumenting an instruction like movs, only |
| 85 | // contents of RDI, RDI + AccessSize * RCX, RSI, RSI + AccessSize * |
| 86 | // RCX are checked. In this case there're no need to spill and restore |
| 87 | // AddressReg , ShadowReg or flags four times, they're saved on stack |
| 88 | // just once, before instrumentation of these four addresses, and restored |
| 89 | // at the end of the instrumentation. |
| 90 | // |
| 91 | // There exist several things which complicate this simple algorithm. |
| 92 | // * Instrumented memory operand can have RSP as a base or an index |
| 93 | // register. So we need to add a constant offset before computation |
| 94 | // of memory address, since flags, AddressReg, ShadowReg, etc. were |
| 95 | // already stored on stack and RSP was modified. |
| 96 | // * Debug info (usually, DWARF) should be adjusted, because sometimes |
| 97 | // RSP is used as a frame register. So, we need to select some |
| 98 | // register as a frame register and temprorary override current CFA |
| 99 | // register. |
| 100 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 101 | using namespace llvm; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 102 | |
| Evgeniy Stepanov | 3819f02 | 2014-05-07 07:54:11 +0000 | [diff] [blame] | 103 | static cl::opt<bool> ClAsanInstrumentAssembly( |
| 104 | "asan-instrument-assembly", |
| 105 | cl::desc("instrument assembly with AddressSanitizer checks"), cl::Hidden, |
| 106 | cl::init(false)); |
| 107 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 108 | static const int64_t MinAllowedDisplacement = |
| 109 | std::numeric_limits<int32_t>::min(); |
| 110 | static const int64_t MaxAllowedDisplacement = |
| 111 | std::numeric_limits<int32_t>::max(); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 112 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 113 | static int64_t ApplyDisplacementBounds(int64_t Displacement) { |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 114 | return std::max(std::min(MaxAllowedDisplacement, Displacement), |
| 115 | MinAllowedDisplacement); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 116 | } |
| 117 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 118 | static void CheckDisplacementBounds(int64_t Displacement) { |
| Yuri Gorshenin | ab1b88a | 2014-10-13 11:44:06 +0000 | [diff] [blame] | 119 | assert(Displacement >= MinAllowedDisplacement && |
| 120 | Displacement <= MaxAllowedDisplacement); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 121 | } |
| 122 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 123 | static bool IsStackReg(unsigned Reg) { |
| 124 | return Reg == X86::RSP || Reg == X86::ESP; |
| 125 | } |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 126 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 127 | static bool IsSmallMemAccess(unsigned AccessSize) { return AccessSize < 8; } |
| 128 | |
| 129 | namespace { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 130 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 131 | class X86AddressSanitizer : public X86AsmInstrumentation { |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 132 | public: |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 133 | struct RegisterContext { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 134 | private: |
| 135 | enum RegOffset { |
| 136 | REG_OFFSET_ADDRESS = 0, |
| 137 | REG_OFFSET_SHADOW, |
| 138 | REG_OFFSET_SCRATCH |
| 139 | }; |
| 140 | |
| 141 | public: |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 142 | RegisterContext(unsigned AddressReg, unsigned ShadowReg, |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 143 | unsigned ScratchReg) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 144 | BusyRegs.push_back(convReg(AddressReg, 64)); |
| 145 | BusyRegs.push_back(convReg(ShadowReg, 64)); |
| 146 | BusyRegs.push_back(convReg(ScratchReg, 64)); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 147 | } |
| 148 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 149 | unsigned AddressReg(unsigned Size) const { |
| 150 | return convReg(BusyRegs[REG_OFFSET_ADDRESS], Size); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 151 | } |
| 152 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 153 | unsigned ShadowReg(unsigned Size) const { |
| 154 | return convReg(BusyRegs[REG_OFFSET_SHADOW], Size); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 155 | } |
| 156 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 157 | unsigned ScratchReg(unsigned Size) const { |
| 158 | return convReg(BusyRegs[REG_OFFSET_SCRATCH], Size); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 159 | } |
| 160 | |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 161 | void AddBusyReg(unsigned Reg) { |
| 162 | if (Reg != X86::NoRegister) |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 163 | BusyRegs.push_back(convReg(Reg, 64)); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | void AddBusyRegs(const X86Operand &Op) { |
| 167 | AddBusyReg(Op.getMemBaseReg()); |
| 168 | AddBusyReg(Op.getMemIndexReg()); |
| 169 | } |
| 170 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 171 | unsigned ChooseFrameReg(unsigned Size) const { |
| Craig Topper | 2e44492 | 2014-12-26 06:36:23 +0000 | [diff] [blame] | 172 | static const MCPhysReg Candidates[] = { X86::RBP, X86::RAX, X86::RBX, |
| 173 | X86::RCX, X86::RDX, X86::RDI, |
| 174 | X86::RSI }; |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 175 | for (unsigned Reg : Candidates) { |
| 176 | if (!std::count(BusyRegs.begin(), BusyRegs.end(), Reg)) |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 177 | return convReg(Reg, Size); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 178 | } |
| 179 | return X86::NoRegister; |
| 180 | } |
| 181 | |
| 182 | private: |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 183 | unsigned convReg(unsigned Reg, unsigned Size) const { |
| 184 | return Reg == X86::NoRegister ? Reg : getX86SubSuperRegister(Reg, Size); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 185 | } |
| 186 | |
| 187 | std::vector<unsigned> BusyRegs; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 188 | }; |
| 189 | |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 190 | X86AddressSanitizer(const MCSubtargetInfo *&STI) |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 191 | : X86AsmInstrumentation(STI), RepPrefix(false), OrigSPOffset(0) {} |
| 192 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 193 | ~X86AddressSanitizer() override = default; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 194 | |
| 195 | // X86AsmInstrumentation implementation: |
| Andrew V. Tischenko | 3543f0a | 2017-11-09 12:45:40 +0000 | [diff] [blame] | 196 | void InstrumentAndEmitInstruction(const MCInst &Inst, OperandVector &Operands, |
| 197 | MCContext &Ctx, const MCInstrInfo &MII, |
| 198 | MCStreamer &Out, |
| 199 | /* unused */ bool) override { |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 200 | InstrumentMOVS(Inst, Operands, Ctx, MII, Out); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 201 | if (RepPrefix) |
| 202 | EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX)); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 203 | |
| Evgeniy Stepanov | f4a3699 | 2014-04-24 13:29:34 +0000 | [diff] [blame] | 204 | InstrumentMOV(Inst, Operands, Ctx, MII, Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 205 | |
| 206 | RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 207 | if (!RepPrefix) |
| 208 | EmitInstruction(Out, Inst); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 209 | } |
| 210 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 211 | // Adjusts up stack and saves all registers used in instrumentation. |
| 212 | virtual void InstrumentMemOperandPrologue(const RegisterContext &RegCtx, |
| 213 | MCContext &Ctx, |
| 214 | MCStreamer &Out) = 0; |
| 215 | |
| 216 | // Restores all registers used in instrumentation and adjusts stack. |
| 217 | virtual void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx, |
| 218 | MCContext &Ctx, |
| 219 | MCStreamer &Out) = 0; |
| 220 | |
| 221 | virtual void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize, |
| 222 | bool IsWrite, |
| 223 | const RegisterContext &RegCtx, |
| 224 | MCContext &Ctx, MCStreamer &Out) = 0; |
| 225 | virtual void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize, |
| 226 | bool IsWrite, |
| 227 | const RegisterContext &RegCtx, |
| 228 | MCContext &Ctx, MCStreamer &Out) = 0; |
| 229 | |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 230 | virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx, |
| 231 | MCStreamer &Out) = 0; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 232 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 233 | void InstrumentMemOperand(X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 234 | const RegisterContext &RegCtx, MCContext &Ctx, |
| 235 | MCStreamer &Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 236 | void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg, |
| 237 | unsigned AccessSize, MCContext &Ctx, MCStreamer &Out); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 238 | |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 239 | void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands, |
| 240 | MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out); |
| David Blaikie | 960ea3f | 2014-06-08 16:18:35 +0000 | [diff] [blame] | 241 | void InstrumentMOV(const MCInst &Inst, OperandVector &Operands, |
| Evgeniy Stepanov | f4a3699 | 2014-04-24 13:29:34 +0000 | [diff] [blame] | 242 | MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 243 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 244 | protected: |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 245 | void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); } |
| 246 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 247 | void EmitLEA(X86Operand &Op, unsigned Size, unsigned Reg, MCStreamer &Out) { |
| 248 | assert(Size == 32 || Size == 64); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 249 | MCInst Inst; |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 250 | Inst.setOpcode(Size == 32 ? X86::LEA32r : X86::LEA64r); |
| 251 | Inst.addOperand(MCOperand::createReg(getX86SubSuperRegister(Reg, Size))); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 252 | Op.addMemOperands(Inst, 5); |
| 253 | EmitInstruction(Out, Inst); |
| 254 | } |
| 255 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 256 | void ComputeMemOperandAddress(X86Operand &Op, unsigned Size, |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 257 | unsigned Reg, MCContext &Ctx, MCStreamer &Out); |
| 258 | |
| 259 | // Creates new memory operand with Displacement added to an original |
| 260 | // displacement. Residue will contain a residue which could happen when the |
| 261 | // total displacement exceeds 32-bit limitation. |
| 262 | std::unique_ptr<X86Operand> AddDisplacement(X86Operand &Op, |
| 263 | int64_t Displacement, |
| 264 | MCContext &Ctx, int64_t *Residue); |
| 265 | |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 266 | bool is64BitMode() const { |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 267 | return STI->getFeatureBits()[X86::Mode64Bit]; |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 268 | } |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 269 | |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 270 | bool is32BitMode() const { |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 271 | return STI->getFeatureBits()[X86::Mode32Bit]; |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 272 | } |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 273 | |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 274 | bool is16BitMode() const { |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 275 | return STI->getFeatureBits()[X86::Mode16Bit]; |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 276 | } |
| 277 | |
| 278 | unsigned getPointerWidth() { |
| 279 | if (is16BitMode()) return 16; |
| 280 | if (is32BitMode()) return 32; |
| 281 | if (is64BitMode()) return 64; |
| 282 | llvm_unreachable("invalid mode"); |
| 283 | } |
| 284 | |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 285 | // True when previous instruction was actually REP prefix. |
| 286 | bool RepPrefix; |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 287 | |
| 288 | // Offset from the original SP register. |
| 289 | int64_t OrigSPOffset; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 290 | }; |
| 291 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 292 | void X86AddressSanitizer::InstrumentMemOperand( |
| 293 | X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 294 | const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) { |
| David Blaikie | 960ea3f | 2014-06-08 16:18:35 +0000 | [diff] [blame] | 295 | assert(Op.isMem() && "Op should be a memory operand."); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 296 | assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 && |
| 297 | "AccessSize should be a power of two, less or equal than 16."); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 298 | // FIXME: take into account load/store alignment. |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 299 | if (IsSmallMemAccess(AccessSize)) |
| 300 | InstrumentMemOperandSmall(Op, AccessSize, IsWrite, RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 301 | else |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 302 | InstrumentMemOperandLarge(Op, AccessSize, IsWrite, RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 303 | } |
| 304 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 305 | void X86AddressSanitizer::InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, |
| 306 | unsigned CntReg, |
| 307 | unsigned AccessSize, |
| 308 | MCContext &Ctx, MCStreamer &Out) { |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 309 | // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)] |
| 310 | // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)]. |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 311 | RegisterContext RegCtx(X86::RDX /* AddressReg */, X86::RAX /* ShadowReg */, |
| 312 | IsSmallMemAccess(AccessSize) |
| 313 | ? X86::RBX |
| 314 | : X86::NoRegister /* ScratchReg */); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 315 | RegCtx.AddBusyReg(DstReg); |
| 316 | RegCtx.AddBusyReg(SrcReg); |
| 317 | RegCtx.AddBusyReg(CntReg); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 318 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 319 | InstrumentMemOperandPrologue(RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 320 | |
| 321 | // Test (%SrcReg) |
| 322 | { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 323 | const MCExpr *Disp = MCConstantExpr::create(0, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 324 | std::unique_ptr<X86Operand> Op(X86Operand::CreateMem( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 325 | getPointerWidth(), 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc())); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 326 | InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx, |
| 327 | Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 328 | } |
| 329 | |
| 330 | // Test -1(%SrcReg, %CntReg, AccessSize) |
| 331 | { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 332 | const MCExpr *Disp = MCConstantExpr::create(-1, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 333 | std::unique_ptr<X86Operand> Op(X86Operand::CreateMem( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 334 | getPointerWidth(), 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(), |
| 335 | SMLoc())); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 336 | InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx, |
| 337 | Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 338 | } |
| 339 | |
| 340 | // Test (%DstReg) |
| 341 | { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 342 | const MCExpr *Disp = MCConstantExpr::create(0, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 343 | std::unique_ptr<X86Operand> Op(X86Operand::CreateMem( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 344 | getPointerWidth(), 0, Disp, DstReg, 0, AccessSize, SMLoc(), SMLoc())); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 345 | InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 346 | } |
| 347 | |
| 348 | // Test -1(%DstReg, %CntReg, AccessSize) |
| 349 | { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 350 | const MCExpr *Disp = MCConstantExpr::create(-1, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 351 | std::unique_ptr<X86Operand> Op(X86Operand::CreateMem( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 352 | getPointerWidth(), 0, Disp, DstReg, CntReg, AccessSize, SMLoc(), |
| 353 | SMLoc())); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 354 | InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 355 | } |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 356 | |
| 357 | InstrumentMemOperandEpilogue(RegCtx, Ctx, Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 358 | } |
| 359 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 360 | void X86AddressSanitizer::InstrumentMOVS(const MCInst &Inst, |
| 361 | OperandVector &Operands, |
| 362 | MCContext &Ctx, const MCInstrInfo &MII, |
| 363 | MCStreamer &Out) { |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 364 | // Access size in bytes. |
| 365 | unsigned AccessSize = 0; |
| 366 | |
| 367 | switch (Inst.getOpcode()) { |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 368 | case X86::MOVSB: |
| 369 | AccessSize = 1; |
| 370 | break; |
| 371 | case X86::MOVSW: |
| 372 | AccessSize = 2; |
| 373 | break; |
| 374 | case X86::MOVSL: |
| 375 | AccessSize = 4; |
| 376 | break; |
| 377 | case X86::MOVSQ: |
| 378 | AccessSize = 8; |
| 379 | break; |
| 380 | default: |
| 381 | return; |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 382 | } |
| 383 | |
| 384 | InstrumentMOVSImpl(AccessSize, Ctx, Out); |
| 385 | } |
| 386 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 387 | void X86AddressSanitizer::InstrumentMOV(const MCInst &Inst, |
| 388 | OperandVector &Operands, MCContext &Ctx, |
| 389 | const MCInstrInfo &MII, |
| 390 | MCStreamer &Out) { |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 391 | // Access size in bytes. |
| 392 | unsigned AccessSize = 0; |
| Evgeniy Stepanov | b6c47a5 | 2014-04-24 09:56:15 +0000 | [diff] [blame] | 393 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 394 | switch (Inst.getOpcode()) { |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 395 | case X86::MOV8mi: |
| 396 | case X86::MOV8mr: |
| 397 | case X86::MOV8rm: |
| 398 | AccessSize = 1; |
| 399 | break; |
| 400 | case X86::MOV16mi: |
| 401 | case X86::MOV16mr: |
| 402 | case X86::MOV16rm: |
| 403 | AccessSize = 2; |
| 404 | break; |
| 405 | case X86::MOV32mi: |
| 406 | case X86::MOV32mr: |
| 407 | case X86::MOV32rm: |
| 408 | AccessSize = 4; |
| 409 | break; |
| 410 | case X86::MOV64mi32: |
| 411 | case X86::MOV64mr: |
| 412 | case X86::MOV64rm: |
| 413 | AccessSize = 8; |
| 414 | break; |
| 415 | case X86::MOVAPDmr: |
| 416 | case X86::MOVAPSmr: |
| 417 | case X86::MOVAPDrm: |
| 418 | case X86::MOVAPSrm: |
| 419 | AccessSize = 16; |
| 420 | break; |
| 421 | default: |
| 422 | return; |
| Evgeniy Stepanov | b6c47a5 | 2014-04-24 09:56:15 +0000 | [diff] [blame] | 423 | } |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 424 | |
| Evgeniy Stepanov | f4a3699 | 2014-04-24 13:29:34 +0000 | [diff] [blame] | 425 | const bool IsWrite = MII.get(Inst.getOpcode()).mayStore(); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 426 | |
| Evgeniy Stepanov | b6c47a5 | 2014-04-24 09:56:15 +0000 | [diff] [blame] | 427 | for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) { |
| David Blaikie | 960ea3f | 2014-06-08 16:18:35 +0000 | [diff] [blame] | 428 | assert(Operands[Ix]); |
| 429 | MCParsedAsmOperand &Op = *Operands[Ix]; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 430 | if (Op.isMem()) { |
| 431 | X86Operand &MemOp = static_cast<X86Operand &>(Op); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 432 | RegisterContext RegCtx( |
| 433 | X86::RDI /* AddressReg */, X86::RAX /* ShadowReg */, |
| 434 | IsSmallMemAccess(AccessSize) ? X86::RCX |
| 435 | : X86::NoRegister /* ScratchReg */); |
| 436 | RegCtx.AddBusyRegs(MemOp); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 437 | InstrumentMemOperandPrologue(RegCtx, Ctx, Out); |
| 438 | InstrumentMemOperand(MemOp, AccessSize, IsWrite, RegCtx, Ctx, Out); |
| 439 | InstrumentMemOperandEpilogue(RegCtx, Ctx, Out); |
| 440 | } |
| Evgeniy Stepanov | b6c47a5 | 2014-04-24 09:56:15 +0000 | [diff] [blame] | 441 | } |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 442 | } |
| 443 | |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 444 | void X86AddressSanitizer::ComputeMemOperandAddress(X86Operand &Op, |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 445 | unsigned Size, |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 446 | unsigned Reg, MCContext &Ctx, |
| 447 | MCStreamer &Out) { |
| 448 | int64_t Displacement = 0; |
| 449 | if (IsStackReg(Op.getMemBaseReg())) |
| 450 | Displacement -= OrigSPOffset; |
| 451 | if (IsStackReg(Op.getMemIndexReg())) |
| 452 | Displacement -= OrigSPOffset * Op.getMemScale(); |
| 453 | |
| 454 | assert(Displacement >= 0); |
| 455 | |
| 456 | // Emit Op as is. |
| 457 | if (Displacement == 0) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 458 | EmitLEA(Op, Size, Reg, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 459 | return; |
| 460 | } |
| 461 | |
| 462 | int64_t Residue; |
| 463 | std::unique_ptr<X86Operand> NewOp = |
| 464 | AddDisplacement(Op, Displacement, Ctx, &Residue); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 465 | EmitLEA(*NewOp, Size, Reg, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 466 | |
| 467 | while (Residue != 0) { |
| 468 | const MCConstantExpr *Disp = |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 469 | MCConstantExpr::create(ApplyDisplacementBounds(Residue), Ctx); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 470 | std::unique_ptr<X86Operand> DispOp = |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 471 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, Reg, 0, 1, SMLoc(), |
| 472 | SMLoc()); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 473 | EmitLEA(*DispOp, Size, Reg, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 474 | Residue -= Disp->getValue(); |
| 475 | } |
| 476 | } |
| 477 | |
| 478 | std::unique_ptr<X86Operand> |
| 479 | X86AddressSanitizer::AddDisplacement(X86Operand &Op, int64_t Displacement, |
| 480 | MCContext &Ctx, int64_t *Residue) { |
| 481 | assert(Displacement >= 0); |
| 482 | |
| 483 | if (Displacement == 0 || |
| 484 | (Op.getMemDisp() && Op.getMemDisp()->getKind() != MCExpr::Constant)) { |
| 485 | *Residue = Displacement; |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 486 | return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(), |
| 487 | Op.getMemDisp(), Op.getMemBaseReg(), |
| 488 | Op.getMemIndexReg(), Op.getMemScale(), |
| 489 | SMLoc(), SMLoc()); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 490 | } |
| 491 | |
| 492 | int64_t OrigDisplacement = |
| 493 | static_cast<const MCConstantExpr *>(Op.getMemDisp())->getValue(); |
| Yuri Gorshenin | ab1b88a | 2014-10-13 11:44:06 +0000 | [diff] [blame] | 494 | CheckDisplacementBounds(OrigDisplacement); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 495 | Displacement += OrigDisplacement; |
| 496 | |
| Yuri Gorshenin | ab1b88a | 2014-10-13 11:44:06 +0000 | [diff] [blame] | 497 | int64_t NewDisplacement = ApplyDisplacementBounds(Displacement); |
| 498 | CheckDisplacementBounds(NewDisplacement); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 499 | |
| 500 | *Residue = Displacement - NewDisplacement; |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 501 | const MCExpr *Disp = MCConstantExpr::create(NewDisplacement, Ctx); |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 502 | return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(), Disp, |
| 503 | Op.getMemBaseReg(), Op.getMemIndexReg(), |
| 504 | Op.getMemScale(), SMLoc(), SMLoc()); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 505 | } |
| 506 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 507 | class X86AddressSanitizer32 : public X86AddressSanitizer { |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 508 | public: |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 509 | static const long kShadowOffset = 0x20000000; |
| 510 | |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 511 | X86AddressSanitizer32(const MCSubtargetInfo *&STI) |
| Evgeniy Stepanov | 0a951b7 | 2014-04-23 11:16:03 +0000 | [diff] [blame] | 512 | : X86AddressSanitizer(STI) {} |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 513 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 514 | ~X86AddressSanitizer32() override = default; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 515 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 516 | unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) { |
| 517 | unsigned FrameReg = GetFrameRegGeneric(Ctx, Out); |
| 518 | if (FrameReg == X86::NoRegister) |
| 519 | return FrameReg; |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 520 | return getX86SubSuperRegister(FrameReg, 32); |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 521 | } |
| 522 | |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 523 | void SpillReg(MCStreamer &Out, unsigned Reg) { |
| 524 | EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(Reg)); |
| 525 | OrigSPOffset -= 4; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 526 | } |
| 527 | |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 528 | void RestoreReg(MCStreamer &Out, unsigned Reg) { |
| 529 | EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(Reg)); |
| 530 | OrigSPOffset += 4; |
| 531 | } |
| 532 | |
| 533 | void StoreFlags(MCStreamer &Out) { |
| 534 | EmitInstruction(Out, MCInstBuilder(X86::PUSHF32)); |
| 535 | OrigSPOffset -= 4; |
| 536 | } |
| 537 | |
| 538 | void RestoreFlags(MCStreamer &Out) { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 539 | EmitInstruction(Out, MCInstBuilder(X86::POPF32)); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 540 | OrigSPOffset += 4; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 541 | } |
| 542 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 543 | void InstrumentMemOperandPrologue(const RegisterContext &RegCtx, |
| 544 | MCContext &Ctx, |
| 545 | MCStreamer &Out) override { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 546 | unsigned LocalFrameReg = RegCtx.ChooseFrameReg(32); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 547 | assert(LocalFrameReg != X86::NoRegister); |
| 548 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 549 | const MCRegisterInfo *MRI = Ctx.getRegisterInfo(); |
| 550 | unsigned FrameReg = GetFrameReg(Ctx, Out); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 551 | if (MRI && FrameReg != X86::NoRegister) { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 552 | SpillReg(Out, LocalFrameReg); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 553 | if (FrameReg == X86::ESP) { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 554 | Out.EmitCFIAdjustCfaOffset(4 /* byte size of the LocalFrameReg */); |
| 555 | Out.EmitCFIRelOffset( |
| 556 | MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 557 | } |
| 558 | EmitInstruction( |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 559 | Out, |
| 560 | MCInstBuilder(X86::MOV32rr).addReg(LocalFrameReg).addReg(FrameReg)); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 561 | Out.EmitCFIRememberState(); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 562 | Out.EmitCFIDefCfaRegister( |
| 563 | MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */)); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 564 | } |
| 565 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 566 | SpillReg(Out, RegCtx.AddressReg(32)); |
| 567 | SpillReg(Out, RegCtx.ShadowReg(32)); |
| 568 | if (RegCtx.ScratchReg(32) != X86::NoRegister) |
| 569 | SpillReg(Out, RegCtx.ScratchReg(32)); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 570 | StoreFlags(Out); |
| 571 | } |
| 572 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 573 | void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx, |
| 574 | MCContext &Ctx, |
| 575 | MCStreamer &Out) override { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 576 | unsigned LocalFrameReg = RegCtx.ChooseFrameReg(32); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 577 | assert(LocalFrameReg != X86::NoRegister); |
| 578 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 579 | RestoreFlags(Out); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 580 | if (RegCtx.ScratchReg(32) != X86::NoRegister) |
| 581 | RestoreReg(Out, RegCtx.ScratchReg(32)); |
| 582 | RestoreReg(Out, RegCtx.ShadowReg(32)); |
| 583 | RestoreReg(Out, RegCtx.AddressReg(32)); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 584 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 585 | unsigned FrameReg = GetFrameReg(Ctx, Out); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 586 | if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 587 | RestoreReg(Out, LocalFrameReg); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 588 | Out.EmitCFIRestoreState(); |
| 589 | if (FrameReg == X86::ESP) |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 590 | Out.EmitCFIAdjustCfaOffset(-4 /* byte size of the LocalFrameReg */); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 591 | } |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 592 | } |
| 593 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 594 | void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize, |
| 595 | bool IsWrite, |
| 596 | const RegisterContext &RegCtx, |
| 597 | MCContext &Ctx, |
| 598 | MCStreamer &Out) override; |
| 599 | void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize, |
| 600 | bool IsWrite, |
| 601 | const RegisterContext &RegCtx, |
| 602 | MCContext &Ctx, |
| 603 | MCStreamer &Out) override; |
| 604 | void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx, |
| 605 | MCStreamer &Out) override; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 606 | |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 607 | private: |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 608 | void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx, |
| 609 | MCStreamer &Out, const RegisterContext &RegCtx) { |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 610 | EmitInstruction(Out, MCInstBuilder(X86::CLD)); |
| 611 | EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS)); |
| 612 | |
| Craig Topper | 6b8ac48 | 2017-12-15 21:18:06 +0000 | [diff] [blame] | 613 | EmitInstruction(Out, MCInstBuilder(X86::AND32ri8) |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 614 | .addReg(X86::ESP) |
| 615 | .addReg(X86::ESP) |
| 616 | .addImm(-16)); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 617 | EmitInstruction( |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 618 | Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.AddressReg(32))); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 619 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 620 | MCSymbol *FnSym = Ctx.getOrCreateSymbol(Twine("__asan_report_") + |
| Yaron Keren | 45ea8fa | 2015-12-14 19:28:40 +0000 | [diff] [blame] | 621 | (IsWrite ? "store" : "load") + |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 622 | Twine(AccessSize)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 623 | const MCSymbolRefExpr *FnExpr = |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 624 | MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 625 | EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr)); |
| 626 | } |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 627 | }; |
| 628 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 629 | void X86AddressSanitizer32::InstrumentMemOperandSmall( |
| 630 | X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 631 | const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 632 | unsigned AddressRegI32 = RegCtx.AddressReg(32); |
| 633 | unsigned ShadowRegI32 = RegCtx.ShadowReg(32); |
| 634 | unsigned ShadowRegI8 = RegCtx.ShadowReg(8); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 635 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 636 | assert(RegCtx.ScratchReg(32) != X86::NoRegister); |
| 637 | unsigned ScratchRegI32 = RegCtx.ScratchReg(32); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 638 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 639 | ComputeMemOperandAddress(Op, 32, AddressRegI32, Ctx, Out); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 640 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 641 | EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg( |
| 642 | AddressRegI32)); |
| 643 | EmitInstruction(Out, MCInstBuilder(X86::SHR32ri) |
| 644 | .addReg(ShadowRegI32) |
| 645 | .addReg(ShadowRegI32) |
| 646 | .addImm(3)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 647 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 648 | { |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 649 | MCInst Inst; |
| 650 | Inst.setOpcode(X86::MOV8rm); |
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 651 | Inst.addOperand(MCOperand::createReg(ShadowRegI8)); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 652 | const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 653 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 654 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1, |
| 655 | SMLoc(), SMLoc())); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 656 | Op->addMemOperands(Inst, 5); |
| 657 | EmitInstruction(Out, Inst); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 658 | } |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 659 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 660 | EmitInstruction( |
| 661 | Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8)); |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 662 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 663 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 664 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 665 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 666 | EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg( |
| 667 | AddressRegI32)); |
| 668 | EmitInstruction(Out, MCInstBuilder(X86::AND32ri) |
| 669 | .addReg(ScratchRegI32) |
| 670 | .addReg(ScratchRegI32) |
| 671 | .addImm(7)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 672 | |
| 673 | switch (AccessSize) { |
| Craig Topper | d3c02f1 | 2015-01-05 10:15:49 +0000 | [diff] [blame] | 674 | default: llvm_unreachable("Incorrect access size"); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 675 | case 1: |
| 676 | break; |
| 677 | case 2: { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 678 | const MCExpr *Disp = MCConstantExpr::create(1, Ctx); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 679 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 680 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1, |
| 681 | SMLoc(), SMLoc())); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 682 | EmitLEA(*Op, 32, ScratchRegI32, Out); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 683 | break; |
| 684 | } |
| 685 | case 4: |
| 686 | EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8) |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 687 | .addReg(ScratchRegI32) |
| 688 | .addReg(ScratchRegI32) |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 689 | .addImm(3)); |
| 690 | break; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 691 | } |
| 692 | |
| 693 | EmitInstruction( |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 694 | Out, |
| 695 | MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8)); |
| 696 | EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg( |
| 697 | ShadowRegI32)); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 698 | EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 699 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 700 | EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 701 | EmitLabel(Out, DoneSym); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 702 | } |
| 703 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 704 | void X86AddressSanitizer32::InstrumentMemOperandLarge( |
| 705 | X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 706 | const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 707 | unsigned AddressRegI32 = RegCtx.AddressReg(32); |
| 708 | unsigned ShadowRegI32 = RegCtx.ShadowReg(32); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 709 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 710 | ComputeMemOperandAddress(Op, 32, AddressRegI32, Ctx, Out); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 711 | |
| 712 | EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg( |
| 713 | AddressRegI32)); |
| 714 | EmitInstruction(Out, MCInstBuilder(X86::SHR32ri) |
| 715 | .addReg(ShadowRegI32) |
| 716 | .addReg(ShadowRegI32) |
| 717 | .addImm(3)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 718 | { |
| 719 | MCInst Inst; |
| 720 | switch (AccessSize) { |
| Craig Topper | d3c02f1 | 2015-01-05 10:15:49 +0000 | [diff] [blame] | 721 | default: llvm_unreachable("Incorrect access size"); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 722 | case 8: |
| 723 | Inst.setOpcode(X86::CMP8mi); |
| 724 | break; |
| 725 | case 16: |
| 726 | Inst.setOpcode(X86::CMP16mi); |
| 727 | break; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 728 | } |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 729 | const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 730 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 731 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1, |
| 732 | SMLoc(), SMLoc())); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 733 | Op->addMemOperands(Inst, 5); |
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 734 | Inst.addOperand(MCOperand::createImm(0)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 735 | EmitInstruction(Out, Inst); |
| 736 | } |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 737 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 738 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 739 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 740 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 741 | EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 742 | EmitLabel(Out, DoneSym); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 743 | } |
| 744 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 745 | void X86AddressSanitizer32::InstrumentMOVSImpl(unsigned AccessSize, |
| 746 | MCContext &Ctx, |
| 747 | MCStreamer &Out) { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 748 | StoreFlags(Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 749 | |
| 750 | // No need to test when ECX is equals to zero. |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 751 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 752 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 753 | EmitInstruction( |
| 754 | Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX)); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 755 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 756 | |
| 757 | // Instrument first and last elements in src and dst range. |
| 758 | InstrumentMOVSBase(X86::EDI /* DstReg */, X86::ESI /* SrcReg */, |
| 759 | X86::ECX /* CntReg */, AccessSize, Ctx, Out); |
| 760 | |
| 761 | EmitLabel(Out, DoneSym); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 762 | RestoreFlags(Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 763 | } |
| 764 | |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 765 | class X86AddressSanitizer64 : public X86AddressSanitizer { |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 766 | public: |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 767 | static const long kShadowOffset = 0x7fff8000; |
| 768 | |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 769 | X86AddressSanitizer64(const MCSubtargetInfo *&STI) |
| Evgeniy Stepanov | 0a951b7 | 2014-04-23 11:16:03 +0000 | [diff] [blame] | 770 | : X86AddressSanitizer(STI) {} |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 771 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 772 | ~X86AddressSanitizer64() override = default; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 773 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 774 | unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) { |
| 775 | unsigned FrameReg = GetFrameRegGeneric(Ctx, Out); |
| 776 | if (FrameReg == X86::NoRegister) |
| 777 | return FrameReg; |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 778 | return getX86SubSuperRegister(FrameReg, 64); |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 779 | } |
| 780 | |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 781 | void SpillReg(MCStreamer &Out, unsigned Reg) { |
| 782 | EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(Reg)); |
| 783 | OrigSPOffset -= 8; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 784 | } |
| 785 | |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 786 | void RestoreReg(MCStreamer &Out, unsigned Reg) { |
| 787 | EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(Reg)); |
| 788 | OrigSPOffset += 8; |
| 789 | } |
| 790 | |
| 791 | void StoreFlags(MCStreamer &Out) { |
| 792 | EmitInstruction(Out, MCInstBuilder(X86::PUSHF64)); |
| 793 | OrigSPOffset -= 8; |
| 794 | } |
| 795 | |
| 796 | void RestoreFlags(MCStreamer &Out) { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 797 | EmitInstruction(Out, MCInstBuilder(X86::POPF64)); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 798 | OrigSPOffset += 8; |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 799 | } |
| 800 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 801 | void InstrumentMemOperandPrologue(const RegisterContext &RegCtx, |
| 802 | MCContext &Ctx, |
| 803 | MCStreamer &Out) override { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 804 | unsigned LocalFrameReg = RegCtx.ChooseFrameReg(64); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 805 | assert(LocalFrameReg != X86::NoRegister); |
| 806 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 807 | const MCRegisterInfo *MRI = Ctx.getRegisterInfo(); |
| 808 | unsigned FrameReg = GetFrameReg(Ctx, Out); |
| 809 | if (MRI && FrameReg != X86::NoRegister) { |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 810 | SpillReg(Out, X86::RBP); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 811 | if (FrameReg == X86::RSP) { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 812 | Out.EmitCFIAdjustCfaOffset(8 /* byte size of the LocalFrameReg */); |
| 813 | Out.EmitCFIRelOffset( |
| 814 | MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 815 | } |
| 816 | EmitInstruction( |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 817 | Out, |
| 818 | MCInstBuilder(X86::MOV64rr).addReg(LocalFrameReg).addReg(FrameReg)); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 819 | Out.EmitCFIRememberState(); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 820 | Out.EmitCFIDefCfaRegister( |
| 821 | MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */)); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 822 | } |
| 823 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 824 | EmitAdjustRSP(Ctx, Out, -128); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 825 | SpillReg(Out, RegCtx.ShadowReg(64)); |
| 826 | SpillReg(Out, RegCtx.AddressReg(64)); |
| 827 | if (RegCtx.ScratchReg(64) != X86::NoRegister) |
| 828 | SpillReg(Out, RegCtx.ScratchReg(64)); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 829 | StoreFlags(Out); |
| 830 | } |
| 831 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 832 | void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx, |
| 833 | MCContext &Ctx, |
| 834 | MCStreamer &Out) override { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 835 | unsigned LocalFrameReg = RegCtx.ChooseFrameReg(64); |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 836 | assert(LocalFrameReg != X86::NoRegister); |
| 837 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 838 | RestoreFlags(Out); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 839 | if (RegCtx.ScratchReg(64) != X86::NoRegister) |
| 840 | RestoreReg(Out, RegCtx.ScratchReg(64)); |
| 841 | RestoreReg(Out, RegCtx.AddressReg(64)); |
| 842 | RestoreReg(Out, RegCtx.ShadowReg(64)); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 843 | EmitAdjustRSP(Ctx, Out, 128); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 844 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 845 | unsigned FrameReg = GetFrameReg(Ctx, Out); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 846 | if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) { |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 847 | RestoreReg(Out, LocalFrameReg); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 848 | Out.EmitCFIRestoreState(); |
| 849 | if (FrameReg == X86::RSP) |
| Yuri Gorshenin | 171eb8d | 2014-10-21 10:22:27 +0000 | [diff] [blame] | 850 | Out.EmitCFIAdjustCfaOffset(-8 /* byte size of the LocalFrameReg */); |
| Yuri Gorshenin | 3939dec | 2014-09-10 09:45:49 +0000 | [diff] [blame] | 851 | } |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 852 | } |
| 853 | |
| Hans Wennborg | aa15bff | 2015-09-10 16:49:58 +0000 | [diff] [blame] | 854 | void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize, |
| 855 | bool IsWrite, |
| 856 | const RegisterContext &RegCtx, |
| 857 | MCContext &Ctx, |
| 858 | MCStreamer &Out) override; |
| 859 | void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize, |
| 860 | bool IsWrite, |
| 861 | const RegisterContext &RegCtx, |
| 862 | MCContext &Ctx, |
| 863 | MCStreamer &Out) override; |
| 864 | void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx, |
| NAKAMURA Takumi | 0a7d0ad | 2015-09-22 11:15:07 +0000 | [diff] [blame] | 865 | MCStreamer &Out) override; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 866 | |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 867 | private: |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 868 | void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 869 | const MCExpr *Disp = MCConstantExpr::create(Offset, Ctx); |
| Benjamin Kramer | 8bbadc0 | 2014-05-09 09:48:03 +0000 | [diff] [blame] | 870 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 871 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, X86::RSP, 0, 1, |
| 872 | SMLoc(), SMLoc())); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 873 | EmitLEA(*Op, 64, X86::RSP, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 874 | OrigSPOffset += Offset; |
| Evgeniy Stepanov | 9661ec0 | 2014-05-08 09:55:24 +0000 | [diff] [blame] | 875 | } |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 876 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 877 | void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx, |
| 878 | MCStreamer &Out, const RegisterContext &RegCtx) { |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 879 | EmitInstruction(Out, MCInstBuilder(X86::CLD)); |
| 880 | EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS)); |
| 881 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 882 | EmitInstruction(Out, MCInstBuilder(X86::AND64ri8) |
| 883 | .addReg(X86::RSP) |
| 884 | .addReg(X86::RSP) |
| 885 | .addImm(-16)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 886 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 887 | if (RegCtx.AddressReg(64) != X86::RDI) { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 888 | EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RDI).addReg( |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 889 | RegCtx.AddressReg(64))); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 890 | } |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 891 | MCSymbol *FnSym = Ctx.getOrCreateSymbol(Twine("__asan_report_") + |
| Yaron Keren | 45ea8fa | 2015-12-14 19:28:40 +0000 | [diff] [blame] | 892 | (IsWrite ? "store" : "load") + |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 893 | Twine(AccessSize)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 894 | const MCSymbolRefExpr *FnExpr = |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 895 | MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 896 | EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr)); |
| 897 | } |
| 898 | }; |
| 899 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 900 | } // end anonymous namespace |
| 901 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 902 | void X86AddressSanitizer64::InstrumentMemOperandSmall( |
| 903 | X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 904 | const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 905 | unsigned AddressRegI64 = RegCtx.AddressReg(64); |
| 906 | unsigned AddressRegI32 = RegCtx.AddressReg(32); |
| 907 | unsigned ShadowRegI64 = RegCtx.ShadowReg(64); |
| 908 | unsigned ShadowRegI32 = RegCtx.ShadowReg(32); |
| 909 | unsigned ShadowRegI8 = RegCtx.ShadowReg(8); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 910 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 911 | assert(RegCtx.ScratchReg(32) != X86::NoRegister); |
| 912 | unsigned ScratchRegI32 = RegCtx.ScratchReg(32); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 913 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 914 | ComputeMemOperandAddress(Op, 64, AddressRegI64, Ctx, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 915 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 916 | EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg( |
| 917 | AddressRegI64)); |
| 918 | EmitInstruction(Out, MCInstBuilder(X86::SHR64ri) |
| 919 | .addReg(ShadowRegI64) |
| 920 | .addReg(ShadowRegI64) |
| 921 | .addImm(3)); |
| Evgeniy Stepanov | 9661ec0 | 2014-05-08 09:55:24 +0000 | [diff] [blame] | 922 | { |
| 923 | MCInst Inst; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 924 | Inst.setOpcode(X86::MOV8rm); |
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 925 | Inst.addOperand(MCOperand::createReg(ShadowRegI8)); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 926 | const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx); |
| Benjamin Kramer | 8bbadc0 | 2014-05-09 09:48:03 +0000 | [diff] [blame] | 927 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 928 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1, |
| 929 | SMLoc(), SMLoc())); |
| Evgeniy Stepanov | 9661ec0 | 2014-05-08 09:55:24 +0000 | [diff] [blame] | 930 | Op->addMemOperands(Inst, 5); |
| 931 | EmitInstruction(Out, Inst); |
| 932 | } |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 933 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 934 | EmitInstruction( |
| 935 | Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8)); |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 936 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 937 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 938 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 939 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 940 | EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg( |
| 941 | AddressRegI32)); |
| 942 | EmitInstruction(Out, MCInstBuilder(X86::AND32ri) |
| 943 | .addReg(ScratchRegI32) |
| 944 | .addReg(ScratchRegI32) |
| 945 | .addImm(7)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 946 | |
| 947 | switch (AccessSize) { |
| Craig Topper | d3c02f1 | 2015-01-05 10:15:49 +0000 | [diff] [blame] | 948 | default: llvm_unreachable("Incorrect access size"); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 949 | case 1: |
| 950 | break; |
| 951 | case 2: { |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 952 | const MCExpr *Disp = MCConstantExpr::create(1, Ctx); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 953 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 954 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1, |
| 955 | SMLoc(), SMLoc())); |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 956 | EmitLEA(*Op, 32, ScratchRegI32, Out); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 957 | break; |
| 958 | } |
| 959 | case 4: |
| 960 | EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8) |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 961 | .addReg(ScratchRegI32) |
| 962 | .addReg(ScratchRegI32) |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 963 | .addImm(3)); |
| 964 | break; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 965 | } |
| 966 | |
| 967 | EmitInstruction( |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 968 | Out, |
| 969 | MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8)); |
| 970 | EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg( |
| 971 | ShadowRegI32)); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 972 | EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 973 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 974 | EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 975 | EmitLabel(Out, DoneSym); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 976 | } |
| 977 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 978 | void X86AddressSanitizer64::InstrumentMemOperandLarge( |
| 979 | X86Operand &Op, unsigned AccessSize, bool IsWrite, |
| 980 | const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) { |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 981 | unsigned AddressRegI64 = RegCtx.AddressReg(64); |
| 982 | unsigned ShadowRegI64 = RegCtx.ShadowReg(64); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 983 | |
| Craig Topper | 91dab7b | 2015-12-25 22:09:45 +0000 | [diff] [blame] | 984 | ComputeMemOperandAddress(Op, 64, AddressRegI64, Ctx, Out); |
| Yuri Gorshenin | 46853b5 | 2014-10-13 09:37:47 +0000 | [diff] [blame] | 985 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 986 | EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg( |
| 987 | AddressRegI64)); |
| 988 | EmitInstruction(Out, MCInstBuilder(X86::SHR64ri) |
| 989 | .addReg(ShadowRegI64) |
| 990 | .addReg(ShadowRegI64) |
| 991 | .addImm(3)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 992 | { |
| 993 | MCInst Inst; |
| 994 | switch (AccessSize) { |
| Craig Topper | d3c02f1 | 2015-01-05 10:15:49 +0000 | [diff] [blame] | 995 | default: llvm_unreachable("Incorrect access size"); |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 996 | case 8: |
| 997 | Inst.setOpcode(X86::CMP8mi); |
| 998 | break; |
| 999 | case 16: |
| 1000 | Inst.setOpcode(X86::CMP16mi); |
| 1001 | break; |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1002 | } |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1003 | const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1004 | std::unique_ptr<X86Operand> Op( |
| Craig Topper | 055845f | 2015-01-02 07:02:25 +0000 | [diff] [blame] | 1005 | X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1, |
| 1006 | SMLoc(), SMLoc())); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1007 | Op->addMemOperands(Inst, 5); |
| Jim Grosbach | e9119e4 | 2015-05-13 18:37:00 +0000 | [diff] [blame] | 1008 | Inst.addOperand(MCOperand::createImm(0)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1009 | EmitInstruction(Out, Inst); |
| 1010 | } |
| 1011 | |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 1012 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1013 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 1014 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1015 | |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 1016 | EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx); |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1017 | EmitLabel(Out, DoneSym); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1018 | } |
| 1019 | |
| Evgeniy Stepanov | 4d04f66 | 2014-08-27 11:10:54 +0000 | [diff] [blame] | 1020 | void X86AddressSanitizer64::InstrumentMOVSImpl(unsigned AccessSize, |
| 1021 | MCContext &Ctx, |
| 1022 | MCStreamer &Out) { |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 1023 | StoreFlags(Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1024 | |
| 1025 | // No need to test when RCX is equals to zero. |
| Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 1026 | MCSymbol *DoneSym = Ctx.createTempSymbol(); |
| Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 1027 | const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1028 | EmitInstruction( |
| 1029 | Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX)); |
| Craig Topper | 49758aa | 2015-01-06 04:23:53 +0000 | [diff] [blame] | 1030 | EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr)); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1031 | |
| 1032 | // Instrument first and last elements in src and dst range. |
| 1033 | InstrumentMOVSBase(X86::RDI /* DstReg */, X86::RSI /* SrcReg */, |
| 1034 | X86::RCX /* CntReg */, AccessSize, Ctx, Out); |
| 1035 | |
| 1036 | EmitLabel(Out, DoneSym); |
| Yuri Gorshenin | c107d14 | 2014-09-01 12:51:00 +0000 | [diff] [blame] | 1037 | RestoreFlags(Out); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1038 | } |
| 1039 | |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 1040 | X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo *&STI) |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 1041 | : STI(STI) {} |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1042 | |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 1043 | X86AsmInstrumentation::~X86AsmInstrumentation() = default; |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1044 | |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1045 | void X86AsmInstrumentation::InstrumentAndEmitInstruction( |
| Evgeniy Stepanov | 6fa6c67 | 2014-07-07 13:57:37 +0000 | [diff] [blame] | 1046 | const MCInst &Inst, OperandVector &Operands, MCContext &Ctx, |
| Andrew V. Tischenko | 3543f0a | 2017-11-09 12:45:40 +0000 | [diff] [blame] | 1047 | const MCInstrInfo &MII, MCStreamer &Out, bool PrintSchedInfoEnabled) { |
| 1048 | EmitInstruction(Out, Inst, PrintSchedInfoEnabled); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1049 | } |
| 1050 | |
| Andrew V. Tischenko | 3543f0a | 2017-11-09 12:45:40 +0000 | [diff] [blame] | 1051 | void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out, const MCInst &Inst, |
| 1052 | bool PrintSchedInfoEnabled) { |
| 1053 | Out.EmitInstruction(Inst, *STI, PrintSchedInfoEnabled); |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1054 | } |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1055 | |
| Yuri Gorshenin | e8c81fd | 2014-10-07 11:03:09 +0000 | [diff] [blame] | 1056 | unsigned X86AsmInstrumentation::GetFrameRegGeneric(const MCContext &Ctx, |
| 1057 | MCStreamer &Out) { |
| 1058 | if (!Out.getNumFrameInfos()) // No active dwarf frame |
| 1059 | return X86::NoRegister; |
| 1060 | const MCDwarfFrameInfo &Frame = Out.getDwarfFrameInfos().back(); |
| 1061 | if (Frame.End) // Active dwarf frame is closed |
| 1062 | return X86::NoRegister; |
| 1063 | const MCRegisterInfo *MRI = Ctx.getRegisterInfo(); |
| 1064 | if (!MRI) // No register info |
| 1065 | return X86::NoRegister; |
| 1066 | |
| 1067 | if (InitialFrameReg) { |
| 1068 | // FrameReg is set explicitly, we're instrumenting a MachineFunction. |
| 1069 | return InitialFrameReg; |
| 1070 | } |
| 1071 | |
| 1072 | return MRI->getLLVMRegNum(Frame.CurrentCfaRegister, true /* IsEH */); |
| 1073 | } |
| 1074 | |
| Evgeniy Stepanov | 5050553 | 2014-08-27 13:11:55 +0000 | [diff] [blame] | 1075 | X86AsmInstrumentation * |
| Eugene Zelenko | fbd13c5 | 2017-02-02 22:55:55 +0000 | [diff] [blame] | 1076 | llvm::CreateX86AsmInstrumentation(const MCTargetOptions &MCOptions, |
| 1077 | const MCContext &Ctx, |
| 1078 | const MCSubtargetInfo *&STI) { |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 1079 | Triple T(STI->getTargetTriple()); |
| Daniel Sanders | 50f1723 | 2015-09-15 16:17:27 +0000 | [diff] [blame] | 1080 | const bool hasCompilerRTSupport = T.isOSLinux(); |
| Evgeniy Stepanov | 3819f02 | 2014-05-07 07:54:11 +0000 | [diff] [blame] | 1081 | if (ClAsanInstrumentAssembly && hasCompilerRTSupport && |
| 1082 | MCOptions.SanitizeAddress) { |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 1083 | if (STI->getFeatureBits()[X86::Mode32Bit] != 0) |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1084 | return new X86AddressSanitizer32(STI); |
| Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 1085 | if (STI->getFeatureBits()[X86::Mode64Bit] != 0) |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1086 | return new X86AddressSanitizer64(STI); |
| 1087 | } |
| Evgeniy Stepanov | 77ad866 | 2014-07-31 09:11:04 +0000 | [diff] [blame] | 1088 | return new X86AsmInstrumentation(STI); |
| Evgeniy Stepanov | 49e2625 | 2014-03-14 08:58:04 +0000 | [diff] [blame] | 1089 | } |