blob: 2c376fd062ca6d3ff0f9e15c7c069ea0c742b155 [file] [log] [blame]
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001//===-- X86AsmInstrumentation.cpp - Instrument X86 inline assembly --------===//
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002//
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 Stepanov49e26252014-03-14 08:58:04 +000010#include "X86AsmInstrumentation.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000011#include "MCTargetDesc/X86MCTargetDesc.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000012#include "X86Operand.h"
Evgeniy Stepanov29865f72014-04-30 14:04:31 +000013#include "llvm/ADT/Triple.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000014#include "llvm/ADT/Twine.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000015#include "llvm/MC/MCContext.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000016#include "llvm/MC/MCDwarf.h"
17#include "llvm/MC/MCExpr.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000018#include "llvm/MC/MCInst.h"
19#include "llvm/MC/MCInstBuilder.h"
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000020#include "llvm/MC/MCInstrInfo.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000021#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000022#include "llvm/MC/MCParser/MCTargetAsmParser.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000023#include "llvm/MC/MCRegisterInfo.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000024#include "llvm/MC/MCStreamer.h"
25#include "llvm/MC/MCSubtargetInfo.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000026#include "llvm/MC/MCTargetOptions.h"
Evgeniy Stepanov3819f022014-05-07 07:54:11 +000027#include "llvm/Support/CommandLine.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000028#include "llvm/Support/ErrorHandling.h"
29#include "llvm/Support/SMLoc.h"
Yuri Gorshenin46853b52014-10-13 09:37:47 +000030#include <algorithm>
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +000031#include <cassert>
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000032#include <cstdint>
33#include <limits>
34#include <memory>
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +000035#include <vector>
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000036
Yuri Gorshenin3e22bb82014-10-27 08:38:54 +000037// 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 Wennborg08b34a02017-11-13 23:47:58 +000041// https://github.com/google/sanitizers/wiki/AddressSanitizerAlgorithm
Yuri Gorshenin3e22bb82014-10-27 08:38:54 +000042//
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 Zelenkofbd13c52017-02-02 22:55:55 +0000101using namespace llvm;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000102
Evgeniy Stepanov3819f022014-05-07 07:54:11 +0000103static cl::opt<bool> ClAsanInstrumentAssembly(
104 "asan-instrument-assembly",
105 cl::desc("instrument assembly with AddressSanitizer checks"), cl::Hidden,
106 cl::init(false));
107
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000108static const int64_t MinAllowedDisplacement =
109 std::numeric_limits<int32_t>::min();
110static const int64_t MaxAllowedDisplacement =
111 std::numeric_limits<int32_t>::max();
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000112
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000113static int64_t ApplyDisplacementBounds(int64_t Displacement) {
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000114 return std::max(std::min(MaxAllowedDisplacement, Displacement),
115 MinAllowedDisplacement);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000116}
117
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000118static void CheckDisplacementBounds(int64_t Displacement) {
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000119 assert(Displacement >= MinAllowedDisplacement &&
120 Displacement <= MaxAllowedDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000121}
122
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000123static bool IsStackReg(unsigned Reg) {
124 return Reg == X86::RSP || Reg == X86::ESP;
125}
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000126
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000127static bool IsSmallMemAccess(unsigned AccessSize) { return AccessSize < 8; }
128
129namespace {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000130
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000131class X86AddressSanitizer : public X86AsmInstrumentation {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000132public:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000133 struct RegisterContext {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000134 private:
135 enum RegOffset {
136 REG_OFFSET_ADDRESS = 0,
137 REG_OFFSET_SHADOW,
138 REG_OFFSET_SCRATCH
139 };
140
141 public:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000142 RegisterContext(unsigned AddressReg, unsigned ShadowReg,
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000143 unsigned ScratchReg) {
Craig Topper91dab7b2015-12-25 22:09:45 +0000144 BusyRegs.push_back(convReg(AddressReg, 64));
145 BusyRegs.push_back(convReg(ShadowReg, 64));
146 BusyRegs.push_back(convReg(ScratchReg, 64));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000147 }
148
Craig Topper91dab7b2015-12-25 22:09:45 +0000149 unsigned AddressReg(unsigned Size) const {
150 return convReg(BusyRegs[REG_OFFSET_ADDRESS], Size);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000151 }
152
Craig Topper91dab7b2015-12-25 22:09:45 +0000153 unsigned ShadowReg(unsigned Size) const {
154 return convReg(BusyRegs[REG_OFFSET_SHADOW], Size);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000155 }
156
Craig Topper91dab7b2015-12-25 22:09:45 +0000157 unsigned ScratchReg(unsigned Size) const {
158 return convReg(BusyRegs[REG_OFFSET_SCRATCH], Size);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000159 }
160
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000161 void AddBusyReg(unsigned Reg) {
162 if (Reg != X86::NoRegister)
Craig Topper91dab7b2015-12-25 22:09:45 +0000163 BusyRegs.push_back(convReg(Reg, 64));
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000164 }
165
166 void AddBusyRegs(const X86Operand &Op) {
167 AddBusyReg(Op.getMemBaseReg());
168 AddBusyReg(Op.getMemIndexReg());
169 }
170
Craig Topper91dab7b2015-12-25 22:09:45 +0000171 unsigned ChooseFrameReg(unsigned Size) const {
Craig Topper2e444922014-12-26 06:36:23 +0000172 static const MCPhysReg Candidates[] = { X86::RBP, X86::RAX, X86::RBX,
173 X86::RCX, X86::RDX, X86::RDI,
174 X86::RSI };
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000175 for (unsigned Reg : Candidates) {
176 if (!std::count(BusyRegs.begin(), BusyRegs.end(), Reg))
Craig Topper91dab7b2015-12-25 22:09:45 +0000177 return convReg(Reg, Size);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000178 }
179 return X86::NoRegister;
180 }
181
182 private:
Craig Topper91dab7b2015-12-25 22:09:45 +0000183 unsigned convReg(unsigned Reg, unsigned Size) const {
184 return Reg == X86::NoRegister ? Reg : getX86SubSuperRegister(Reg, Size);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000185 }
186
187 std::vector<unsigned> BusyRegs;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000188 };
189
Akira Hatanakab11ef082015-11-14 06:35:56 +0000190 X86AddressSanitizer(const MCSubtargetInfo *&STI)
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000191 : X86AsmInstrumentation(STI), RepPrefix(false), OrigSPOffset(0) {}
192
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000193 ~X86AddressSanitizer() override = default;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000194
195 // X86AsmInstrumentation implementation:
Andrew V. Tischenko3543f0a2017-11-09 12:45:40 +0000196 void InstrumentAndEmitInstruction(const MCInst &Inst, OperandVector &Operands,
197 MCContext &Ctx, const MCInstrInfo &MII,
198 MCStreamer &Out,
199 /* unused */ bool) override {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000200 InstrumentMOVS(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000201 if (RepPrefix)
202 EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000203
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000204 InstrumentMOV(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000205
206 RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000207 if (!RepPrefix)
208 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000209 }
210
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000211 // 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 Stepanov77ad8662014-07-31 09:11:04 +0000230 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
231 MCStreamer &Out) = 0;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000232
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000233 void InstrumentMemOperand(X86Operand &Op, unsigned AccessSize, bool IsWrite,
234 const RegisterContext &RegCtx, MCContext &Ctx,
235 MCStreamer &Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000236 void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg,
237 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000238
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000239 void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands,
240 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
David Blaikie960ea3f2014-06-08 16:18:35 +0000241 void InstrumentMOV(const MCInst &Inst, OperandVector &Operands,
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000242 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000243
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000244protected:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000245 void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); }
246
Craig Topper91dab7b2015-12-25 22:09:45 +0000247 void EmitLEA(X86Operand &Op, unsigned Size, unsigned Reg, MCStreamer &Out) {
248 assert(Size == 32 || Size == 64);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000249 MCInst Inst;
Craig Topper91dab7b2015-12-25 22:09:45 +0000250 Inst.setOpcode(Size == 32 ? X86::LEA32r : X86::LEA64r);
251 Inst.addOperand(MCOperand::createReg(getX86SubSuperRegister(Reg, Size)));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000252 Op.addMemOperands(Inst, 5);
253 EmitInstruction(Out, Inst);
254 }
255
Craig Topper91dab7b2015-12-25 22:09:45 +0000256 void ComputeMemOperandAddress(X86Operand &Op, unsigned Size,
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000257 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 Topper055845f2015-01-02 07:02:25 +0000266 bool is64BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000267 return STI->getFeatureBits()[X86::Mode64Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000268 }
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000269
Craig Topper055845f2015-01-02 07:02:25 +0000270 bool is32BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000271 return STI->getFeatureBits()[X86::Mode32Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000272 }
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000273
Craig Topper055845f2015-01-02 07:02:25 +0000274 bool is16BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000275 return STI->getFeatureBits()[X86::Mode16Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000276 }
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 Stepanov77ad8662014-07-31 09:11:04 +0000285 // True when previous instruction was actually REP prefix.
286 bool RepPrefix;
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000287
288 // Offset from the original SP register.
289 int64_t OrigSPOffset;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000290};
291
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000292void X86AddressSanitizer::InstrumentMemOperand(
293 X86Operand &Op, unsigned AccessSize, bool IsWrite,
294 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000295 assert(Op.isMem() && "Op should be a memory operand.");
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000296 assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 &&
297 "AccessSize should be a power of two, less or equal than 16.");
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000298 // FIXME: take into account load/store alignment.
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000299 if (IsSmallMemAccess(AccessSize))
300 InstrumentMemOperandSmall(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000301 else
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000302 InstrumentMemOperandLarge(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000303}
304
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000305void X86AddressSanitizer::InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg,
306 unsigned CntReg,
307 unsigned AccessSize,
308 MCContext &Ctx, MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000309 // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)]
310 // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)].
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000311 RegisterContext RegCtx(X86::RDX /* AddressReg */, X86::RAX /* ShadowReg */,
312 IsSmallMemAccess(AccessSize)
313 ? X86::RBX
314 : X86::NoRegister /* ScratchReg */);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000315 RegCtx.AddBusyReg(DstReg);
316 RegCtx.AddBusyReg(SrcReg);
317 RegCtx.AddBusyReg(CntReg);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000318
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000319 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000320
321 // Test (%SrcReg)
322 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000323 const MCExpr *Disp = MCConstantExpr::create(0, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000324 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000325 getPointerWidth(), 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000326 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx,
327 Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000328 }
329
330 // Test -1(%SrcReg, %CntReg, AccessSize)
331 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000332 const MCExpr *Disp = MCConstantExpr::create(-1, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000333 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000334 getPointerWidth(), 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(),
335 SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000336 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx,
337 Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000338 }
339
340 // Test (%DstReg)
341 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000342 const MCExpr *Disp = MCConstantExpr::create(0, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000343 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000344 getPointerWidth(), 0, Disp, DstReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000345 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000346 }
347
348 // Test -1(%DstReg, %CntReg, AccessSize)
349 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000350 const MCExpr *Disp = MCConstantExpr::create(-1, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000351 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000352 getPointerWidth(), 0, Disp, DstReg, CntReg, AccessSize, SMLoc(),
353 SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000354 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000355 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000356
357 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000358}
359
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000360void X86AddressSanitizer::InstrumentMOVS(const MCInst &Inst,
361 OperandVector &Operands,
362 MCContext &Ctx, const MCInstrInfo &MII,
363 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000364 // Access size in bytes.
365 unsigned AccessSize = 0;
366
367 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000368 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 Stepanov77ad8662014-07-31 09:11:04 +0000382 }
383
384 InstrumentMOVSImpl(AccessSize, Ctx, Out);
385}
386
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000387void X86AddressSanitizer::InstrumentMOV(const MCInst &Inst,
388 OperandVector &Operands, MCContext &Ctx,
389 const MCInstrInfo &MII,
390 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000391 // Access size in bytes.
392 unsigned AccessSize = 0;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000393
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000394 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000395 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 Stepanovb6c47a52014-04-24 09:56:15 +0000423 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000424
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000425 const bool IsWrite = MII.get(Inst.getOpcode()).mayStore();
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000426
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000427 for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000428 assert(Operands[Ix]);
429 MCParsedAsmOperand &Op = *Operands[Ix];
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000430 if (Op.isMem()) {
431 X86Operand &MemOp = static_cast<X86Operand &>(Op);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000432 RegisterContext RegCtx(
433 X86::RDI /* AddressReg */, X86::RAX /* ShadowReg */,
434 IsSmallMemAccess(AccessSize) ? X86::RCX
435 : X86::NoRegister /* ScratchReg */);
436 RegCtx.AddBusyRegs(MemOp);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000437 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
438 InstrumentMemOperand(MemOp, AccessSize, IsWrite, RegCtx, Ctx, Out);
439 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
440 }
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000441 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000442}
443
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000444void X86AddressSanitizer::ComputeMemOperandAddress(X86Operand &Op,
Craig Topper91dab7b2015-12-25 22:09:45 +0000445 unsigned Size,
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000446 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 Topper91dab7b2015-12-25 22:09:45 +0000458 EmitLEA(Op, Size, Reg, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000459 return;
460 }
461
462 int64_t Residue;
463 std::unique_ptr<X86Operand> NewOp =
464 AddDisplacement(Op, Displacement, Ctx, &Residue);
Craig Topper91dab7b2015-12-25 22:09:45 +0000465 EmitLEA(*NewOp, Size, Reg, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000466
467 while (Residue != 0) {
468 const MCConstantExpr *Disp =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000469 MCConstantExpr::create(ApplyDisplacementBounds(Residue), Ctx);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000470 std::unique_ptr<X86Operand> DispOp =
Craig Topper055845f2015-01-02 07:02:25 +0000471 X86Operand::CreateMem(getPointerWidth(), 0, Disp, Reg, 0, 1, SMLoc(),
472 SMLoc());
Craig Topper91dab7b2015-12-25 22:09:45 +0000473 EmitLEA(*DispOp, Size, Reg, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000474 Residue -= Disp->getValue();
475 }
476}
477
478std::unique_ptr<X86Operand>
479X86AddressSanitizer::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 Topper055845f2015-01-02 07:02:25 +0000486 return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(),
487 Op.getMemDisp(), Op.getMemBaseReg(),
488 Op.getMemIndexReg(), Op.getMemScale(),
489 SMLoc(), SMLoc());
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000490 }
491
492 int64_t OrigDisplacement =
493 static_cast<const MCConstantExpr *>(Op.getMemDisp())->getValue();
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000494 CheckDisplacementBounds(OrigDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000495 Displacement += OrigDisplacement;
496
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000497 int64_t NewDisplacement = ApplyDisplacementBounds(Displacement);
498 CheckDisplacementBounds(NewDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000499
500 *Residue = Displacement - NewDisplacement;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000501 const MCExpr *Disp = MCConstantExpr::create(NewDisplacement, Ctx);
Craig Topper055845f2015-01-02 07:02:25 +0000502 return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(), Disp,
503 Op.getMemBaseReg(), Op.getMemIndexReg(),
504 Op.getMemScale(), SMLoc(), SMLoc());
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000505}
506
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000507class X86AddressSanitizer32 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000508public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000509 static const long kShadowOffset = 0x20000000;
510
Akira Hatanakab11ef082015-11-14 06:35:56 +0000511 X86AddressSanitizer32(const MCSubtargetInfo *&STI)
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000512 : X86AddressSanitizer(STI) {}
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000513
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000514 ~X86AddressSanitizer32() override = default;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000515
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000516 unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) {
517 unsigned FrameReg = GetFrameRegGeneric(Ctx, Out);
518 if (FrameReg == X86::NoRegister)
519 return FrameReg;
Craig Topper91dab7b2015-12-25 22:09:45 +0000520 return getX86SubSuperRegister(FrameReg, 32);
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000521 }
522
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000523 void SpillReg(MCStreamer &Out, unsigned Reg) {
524 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(Reg));
525 OrigSPOffset -= 4;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000526 }
527
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000528 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 Gorsheninc107d142014-09-01 12:51:00 +0000539 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000540 OrigSPOffset += 4;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000541 }
542
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000543 void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
544 MCContext &Ctx,
545 MCStreamer &Out) override {
Craig Topper91dab7b2015-12-25 22:09:45 +0000546 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(32);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000547 assert(LocalFrameReg != X86::NoRegister);
548
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000549 const MCRegisterInfo *MRI = Ctx.getRegisterInfo();
550 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000551 if (MRI && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000552 SpillReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000553 if (FrameReg == X86::ESP) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000554 Out.EmitCFIAdjustCfaOffset(4 /* byte size of the LocalFrameReg */);
555 Out.EmitCFIRelOffset(
556 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000557 }
558 EmitInstruction(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000559 Out,
560 MCInstBuilder(X86::MOV32rr).addReg(LocalFrameReg).addReg(FrameReg));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000561 Out.EmitCFIRememberState();
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000562 Out.EmitCFIDefCfaRegister(
563 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000564 }
565
Craig Topper91dab7b2015-12-25 22:09:45 +0000566 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 Gorsheninc107d142014-09-01 12:51:00 +0000570 StoreFlags(Out);
571 }
572
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000573 void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
574 MCContext &Ctx,
575 MCStreamer &Out) override {
Craig Topper91dab7b2015-12-25 22:09:45 +0000576 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(32);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000577 assert(LocalFrameReg != X86::NoRegister);
578
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000579 RestoreFlags(Out);
Craig Topper91dab7b2015-12-25 22:09:45 +0000580 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 Gorshenin3939dec2014-09-10 09:45:49 +0000584
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000585 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000586 if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000587 RestoreReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000588 Out.EmitCFIRestoreState();
589 if (FrameReg == X86::ESP)
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000590 Out.EmitCFIAdjustCfaOffset(-4 /* byte size of the LocalFrameReg */);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000591 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000592 }
593
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000594 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 Stepanov6fa6c672014-07-07 13:57:37 +0000606
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000607private:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000608 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
609 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000610 EmitInstruction(Out, MCInstBuilder(X86::CLD));
611 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
612
Craig Topper6b8ac482017-12-15 21:18:06 +0000613 EmitInstruction(Out, MCInstBuilder(X86::AND32ri8)
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000614 .addReg(X86::ESP)
615 .addReg(X86::ESP)
616 .addImm(-16));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000617 EmitInstruction(
Craig Topper91dab7b2015-12-25 22:09:45 +0000618 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.AddressReg(32)));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000619
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000620 MCSymbol *FnSym = Ctx.getOrCreateSymbol(Twine("__asan_report_") +
Yaron Keren45ea8fa2015-12-14 19:28:40 +0000621 (IsWrite ? "store" : "load") +
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000622 Twine(AccessSize));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000623 const MCSymbolRefExpr *FnExpr =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000624 MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000625 EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr));
626 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000627};
628
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000629void X86AddressSanitizer32::InstrumentMemOperandSmall(
630 X86Operand &Op, unsigned AccessSize, bool IsWrite,
631 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Craig Topper91dab7b2015-12-25 22:09:45 +0000632 unsigned AddressRegI32 = RegCtx.AddressReg(32);
633 unsigned ShadowRegI32 = RegCtx.ShadowReg(32);
634 unsigned ShadowRegI8 = RegCtx.ShadowReg(8);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000635
Craig Topper91dab7b2015-12-25 22:09:45 +0000636 assert(RegCtx.ScratchReg(32) != X86::NoRegister);
637 unsigned ScratchRegI32 = RegCtx.ScratchReg(32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000638
Craig Topper91dab7b2015-12-25 22:09:45 +0000639 ComputeMemOperandAddress(Op, 32, AddressRegI32, Ctx, Out);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000640
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000641 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 Stepanov6fa6c672014-07-07 13:57:37 +0000647
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000648 {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000649 MCInst Inst;
650 Inst.setOpcode(X86::MOV8rm);
Jim Grosbache9119e42015-05-13 18:37:00 +0000651 Inst.addOperand(MCOperand::createReg(ShadowRegI8));
Jim Grosbach13760bd2015-05-30 01:25:56 +0000652 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000653 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000654 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1,
655 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000656 Op->addMemOperands(Inst, 5);
657 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000658 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000659
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000660 EmitInstruction(
661 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Jim Grosbach6f482002015-05-18 18:43:14 +0000662 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000663 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000664 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000665
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000666 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 Stepanov6fa6c672014-07-07 13:57:37 +0000672
673 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000674 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000675 case 1:
676 break;
677 case 2: {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000678 const MCExpr *Disp = MCConstantExpr::create(1, Ctx);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000679 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000680 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1,
681 SMLoc(), SMLoc()));
Craig Topper91dab7b2015-12-25 22:09:45 +0000682 EmitLEA(*Op, 32, ScratchRegI32, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000683 break;
684 }
685 case 4:
686 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000687 .addReg(ScratchRegI32)
688 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000689 .addImm(3));
690 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000691 }
692
693 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000694 Out,
695 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
696 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
697 ShadowRegI32));
Craig Topper49758aa2015-01-06 04:23:53 +0000698 EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000699
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000700 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000701 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000702}
703
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000704void X86AddressSanitizer32::InstrumentMemOperandLarge(
705 X86Operand &Op, unsigned AccessSize, bool IsWrite,
706 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Craig Topper91dab7b2015-12-25 22:09:45 +0000707 unsigned AddressRegI32 = RegCtx.AddressReg(32);
708 unsigned ShadowRegI32 = RegCtx.ShadowReg(32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000709
Craig Topper91dab7b2015-12-25 22:09:45 +0000710 ComputeMemOperandAddress(Op, 32, AddressRegI32, Ctx, Out);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000711
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 Stepanov6fa6c672014-07-07 13:57:37 +0000718 {
719 MCInst Inst;
720 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000721 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000722 case 8:
723 Inst.setOpcode(X86::CMP8mi);
724 break;
725 case 16:
726 Inst.setOpcode(X86::CMP16mi);
727 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000728 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000729 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000730 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000731 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1,
732 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000733 Op->addMemOperands(Inst, 5);
Jim Grosbache9119e42015-05-13 18:37:00 +0000734 Inst.addOperand(MCOperand::createImm(0));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000735 EmitInstruction(Out, Inst);
736 }
Jim Grosbach6f482002015-05-18 18:43:14 +0000737 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000738 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000739 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000740
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000741 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000742 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000743}
744
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000745void X86AddressSanitizer32::InstrumentMOVSImpl(unsigned AccessSize,
746 MCContext &Ctx,
747 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000748 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000749
750 // No need to test when ECX is equals to zero.
Jim Grosbach6f482002015-05-18 18:43:14 +0000751 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000752 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000753 EmitInstruction(
754 Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX));
Craig Topper49758aa2015-01-06 04:23:53 +0000755 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000756
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 Gorsheninc107d142014-09-01 12:51:00 +0000762 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000763}
764
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000765class X86AddressSanitizer64 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000766public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000767 static const long kShadowOffset = 0x7fff8000;
768
Akira Hatanakab11ef082015-11-14 06:35:56 +0000769 X86AddressSanitizer64(const MCSubtargetInfo *&STI)
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000770 : X86AddressSanitizer(STI) {}
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000771
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000772 ~X86AddressSanitizer64() override = default;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000773
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000774 unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) {
775 unsigned FrameReg = GetFrameRegGeneric(Ctx, Out);
776 if (FrameReg == X86::NoRegister)
777 return FrameReg;
Craig Topper91dab7b2015-12-25 22:09:45 +0000778 return getX86SubSuperRegister(FrameReg, 64);
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000779 }
780
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000781 void SpillReg(MCStreamer &Out, unsigned Reg) {
782 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(Reg));
783 OrigSPOffset -= 8;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000784 }
785
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000786 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 Gorsheninc107d142014-09-01 12:51:00 +0000797 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000798 OrigSPOffset += 8;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000799 }
800
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000801 void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
802 MCContext &Ctx,
803 MCStreamer &Out) override {
Craig Topper91dab7b2015-12-25 22:09:45 +0000804 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(64);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000805 assert(LocalFrameReg != X86::NoRegister);
806
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000807 const MCRegisterInfo *MRI = Ctx.getRegisterInfo();
808 unsigned FrameReg = GetFrameReg(Ctx, Out);
809 if (MRI && FrameReg != X86::NoRegister) {
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000810 SpillReg(Out, X86::RBP);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000811 if (FrameReg == X86::RSP) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000812 Out.EmitCFIAdjustCfaOffset(8 /* byte size of the LocalFrameReg */);
813 Out.EmitCFIRelOffset(
814 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000815 }
816 EmitInstruction(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000817 Out,
818 MCInstBuilder(X86::MOV64rr).addReg(LocalFrameReg).addReg(FrameReg));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000819 Out.EmitCFIRememberState();
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000820 Out.EmitCFIDefCfaRegister(
821 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000822 }
823
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000824 EmitAdjustRSP(Ctx, Out, -128);
Craig Topper91dab7b2015-12-25 22:09:45 +0000825 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 Gorsheninc107d142014-09-01 12:51:00 +0000829 StoreFlags(Out);
830 }
831
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000832 void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
833 MCContext &Ctx,
834 MCStreamer &Out) override {
Craig Topper91dab7b2015-12-25 22:09:45 +0000835 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(64);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000836 assert(LocalFrameReg != X86::NoRegister);
837
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000838 RestoreFlags(Out);
Craig Topper91dab7b2015-12-25 22:09:45 +0000839 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 Gorsheninc107d142014-09-01 12:51:00 +0000843 EmitAdjustRSP(Ctx, Out, 128);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000844
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000845 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000846 if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000847 RestoreReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000848 Out.EmitCFIRestoreState();
849 if (FrameReg == X86::RSP)
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000850 Out.EmitCFIAdjustCfaOffset(-8 /* byte size of the LocalFrameReg */);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000851 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000852 }
853
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000854 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 Takumi0a7d0ad2015-09-22 11:15:07 +0000865 MCStreamer &Out) override;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000866
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000867private:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000868 void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000869 const MCExpr *Disp = MCConstantExpr::create(Offset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000870 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000871 X86Operand::CreateMem(getPointerWidth(), 0, Disp, X86::RSP, 0, 1,
872 SMLoc(), SMLoc()));
Craig Topper91dab7b2015-12-25 22:09:45 +0000873 EmitLEA(*Op, 64, X86::RSP, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000874 OrigSPOffset += Offset;
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000875 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000876
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000877 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
878 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000879 EmitInstruction(Out, MCInstBuilder(X86::CLD));
880 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
881
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000882 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
883 .addReg(X86::RSP)
884 .addReg(X86::RSP)
885 .addImm(-16));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000886
Craig Topper91dab7b2015-12-25 22:09:45 +0000887 if (RegCtx.AddressReg(64) != X86::RDI) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000888 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RDI).addReg(
Craig Topper91dab7b2015-12-25 22:09:45 +0000889 RegCtx.AddressReg(64)));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000890 }
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000891 MCSymbol *FnSym = Ctx.getOrCreateSymbol(Twine("__asan_report_") +
Yaron Keren45ea8fa2015-12-14 19:28:40 +0000892 (IsWrite ? "store" : "load") +
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000893 Twine(AccessSize));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000894 const MCSymbolRefExpr *FnExpr =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000895 MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000896 EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr));
897 }
898};
899
Eugene Zelenkofbd13c52017-02-02 22:55:55 +0000900} // end anonymous namespace
901
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000902void X86AddressSanitizer64::InstrumentMemOperandSmall(
903 X86Operand &Op, unsigned AccessSize, bool IsWrite,
904 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Craig Topper91dab7b2015-12-25 22:09:45 +0000905 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 Gorsheninc107d142014-09-01 12:51:00 +0000910
Craig Topper91dab7b2015-12-25 22:09:45 +0000911 assert(RegCtx.ScratchReg(32) != X86::NoRegister);
912 unsigned ScratchRegI32 = RegCtx.ScratchReg(32);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000913
Craig Topper91dab7b2015-12-25 22:09:45 +0000914 ComputeMemOperandAddress(Op, 64, AddressRegI64, Ctx, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000915
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000916 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 Stepanov9661ec02014-05-08 09:55:24 +0000922 {
923 MCInst Inst;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000924 Inst.setOpcode(X86::MOV8rm);
Jim Grosbache9119e42015-05-13 18:37:00 +0000925 Inst.addOperand(MCOperand::createReg(ShadowRegI8));
Jim Grosbach13760bd2015-05-30 01:25:56 +0000926 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000927 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000928 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1,
929 SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000930 Op->addMemOperands(Inst, 5);
931 EmitInstruction(Out, Inst);
932 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000933
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000934 EmitInstruction(
935 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Jim Grosbach6f482002015-05-18 18:43:14 +0000936 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000937 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000938 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000939
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000940 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 Stepanov6fa6c672014-07-07 13:57:37 +0000946
947 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000948 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000949 case 1:
950 break;
951 case 2: {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000952 const MCExpr *Disp = MCConstantExpr::create(1, Ctx);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000953 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000954 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1,
955 SMLoc(), SMLoc()));
Craig Topper91dab7b2015-12-25 22:09:45 +0000956 EmitLEA(*Op, 32, ScratchRegI32, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000957 break;
958 }
959 case 4:
960 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000961 .addReg(ScratchRegI32)
962 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000963 .addImm(3));
964 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000965 }
966
967 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000968 Out,
969 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
970 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
971 ShadowRegI32));
Craig Topper49758aa2015-01-06 04:23:53 +0000972 EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000973
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000974 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000975 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000976}
977
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000978void X86AddressSanitizer64::InstrumentMemOperandLarge(
979 X86Operand &Op, unsigned AccessSize, bool IsWrite,
980 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Craig Topper91dab7b2015-12-25 22:09:45 +0000981 unsigned AddressRegI64 = RegCtx.AddressReg(64);
982 unsigned ShadowRegI64 = RegCtx.ShadowReg(64);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000983
Craig Topper91dab7b2015-12-25 22:09:45 +0000984 ComputeMemOperandAddress(Op, 64, AddressRegI64, Ctx, Out);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000985
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000986 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 Stepanov6fa6c672014-07-07 13:57:37 +0000992 {
993 MCInst Inst;
994 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000995 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000996 case 8:
997 Inst.setOpcode(X86::CMP8mi);
998 break;
999 case 16:
1000 Inst.setOpcode(X86::CMP16mi);
1001 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001002 }
Jim Grosbach13760bd2015-05-30 01:25:56 +00001003 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001004 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +00001005 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1,
1006 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001007 Op->addMemOperands(Inst, 5);
Jim Grosbache9119e42015-05-13 18:37:00 +00001008 Inst.addOperand(MCOperand::createImm(0));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001009 EmitInstruction(Out, Inst);
1010 }
1011
Jim Grosbach6f482002015-05-18 18:43:14 +00001012 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +00001013 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +00001014 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001015
Yuri Gorsheninc107d142014-09-01 12:51:00 +00001016 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001017 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001018}
1019
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +00001020void X86AddressSanitizer64::InstrumentMOVSImpl(unsigned AccessSize,
1021 MCContext &Ctx,
1022 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +00001023 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001024
1025 // No need to test when RCX is equals to zero.
Jim Grosbach6f482002015-05-18 18:43:14 +00001026 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +00001027 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001028 EmitInstruction(
1029 Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX));
Craig Topper49758aa2015-01-06 04:23:53 +00001030 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001031
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 Gorsheninc107d142014-09-01 12:51:00 +00001037 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001038}
1039
Akira Hatanakab11ef082015-11-14 06:35:56 +00001040X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo *&STI)
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001041 : STI(STI) {}
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001042
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001043X86AsmInstrumentation::~X86AsmInstrumentation() = default;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001044
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001045void X86AsmInstrumentation::InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001046 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
Andrew V. Tischenko3543f0a2017-11-09 12:45:40 +00001047 const MCInstrInfo &MII, MCStreamer &Out, bool PrintSchedInfoEnabled) {
1048 EmitInstruction(Out, Inst, PrintSchedInfoEnabled);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001049}
1050
Andrew V. Tischenko3543f0a2017-11-09 12:45:40 +00001051void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out, const MCInst &Inst,
1052 bool PrintSchedInfoEnabled) {
1053 Out.EmitInstruction(Inst, *STI, PrintSchedInfoEnabled);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001054}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001055
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +00001056unsigned 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 Stepanov50505532014-08-27 13:11:55 +00001075X86AsmInstrumentation *
Eugene Zelenkofbd13c52017-02-02 22:55:55 +00001076llvm::CreateX86AsmInstrumentation(const MCTargetOptions &MCOptions,
1077 const MCContext &Ctx,
1078 const MCSubtargetInfo *&STI) {
Akira Hatanakab11ef082015-11-14 06:35:56 +00001079 Triple T(STI->getTargetTriple());
Daniel Sanders50f17232015-09-15 16:17:27 +00001080 const bool hasCompilerRTSupport = T.isOSLinux();
Evgeniy Stepanov3819f022014-05-07 07:54:11 +00001081 if (ClAsanInstrumentAssembly && hasCompilerRTSupport &&
1082 MCOptions.SanitizeAddress) {
Akira Hatanakab11ef082015-11-14 06:35:56 +00001083 if (STI->getFeatureBits()[X86::Mode32Bit] != 0)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001084 return new X86AddressSanitizer32(STI);
Akira Hatanakab11ef082015-11-14 06:35:56 +00001085 if (STI->getFeatureBits()[X86::Mode64Bit] != 0)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001086 return new X86AddressSanitizer64(STI);
1087 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001088 return new X86AsmInstrumentation(STI);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001089}