blob: d72a743065b60ab177193a05fa1e82a6fae0db1c [file] [log] [blame]
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001//===-- X86AsmInstrumentation.cpp - Instrument X86 inline assembly C++ -*-===//
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
10#include "MCTargetDesc/X86BaseInfo.h"
11#include "X86AsmInstrumentation.h"
12#include "X86Operand.h"
Yuri Gorsheninc107d142014-09-01 12:51:00 +000013#include "X86RegisterInfo.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000014#include "llvm/ADT/StringExtras.h"
Evgeniy Stepanov29865f72014-04-30 14:04:31 +000015#include "llvm/ADT/Triple.h"
Yuri Gorsheninc107d142014-09-01 12:51:00 +000016#include "llvm/CodeGen/MachineValueType.h"
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +000017#include "llvm/MC/MCAsmInfo.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000018#include "llvm/MC/MCContext.h"
19#include "llvm/MC/MCInst.h"
20#include "llvm/MC/MCInstBuilder.h"
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000021#include "llvm/MC/MCInstrInfo.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000022#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000023#include "llvm/MC/MCStreamer.h"
24#include "llvm/MC/MCSubtargetInfo.h"
David Blaikie960ea3f2014-06-08 16:18:35 +000025#include "llvm/MC/MCTargetAsmParser.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"
Yuri Gorshenin46853b52014-10-13 09:37:47 +000028#include <algorithm>
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +000029#include <cassert>
30#include <vector>
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000031
Yuri Gorshenin3e22bb82014-10-27 08:38:54 +000032// Following comment describes how assembly instrumentation works.
33// Currently we have only AddressSanitizer instrumentation, but we're
34// planning to implement MemorySanitizer for inline assembly too. If
35// you're not familiar with AddressSanitizer algorithm, please, read
36// https://code.google.com/p/address-sanitizer/wiki/AddressSanitizerAlgorithm.
37//
38// When inline assembly is parsed by an instance of X86AsmParser, all
39// instructions are emitted via EmitInstruction method. That's the
40// place where X86AsmInstrumentation analyzes an instruction and
41// decides, whether the instruction should be emitted as is or
42// instrumentation is required. The latter case happens when an
43// instruction reads from or writes to memory. Now instruction opcode
44// is explicitly checked, and if an instruction has a memory operand
45// (for instance, movq (%rsi, %rcx, 8), %rax) - it should be
46// instrumented. There're also exist instructions that modify
47// memory but don't have an explicit memory operands, for instance,
48// movs.
49//
50// Let's consider at first 8-byte memory accesses when an instruction
51// has an explicit memory operand. In this case we need two registers -
52// AddressReg to compute address of a memory cells which are accessed
53// and ShadowReg to compute corresponding shadow address. So, we need
54// to spill both registers before instrumentation code and restore them
55// after instrumentation. Thus, in general, instrumentation code will
56// look like this:
57// PUSHF # Store flags, otherwise they will be overwritten
58// PUSH AddressReg # spill AddressReg
59// PUSH ShadowReg # spill ShadowReg
60// LEA MemOp, AddressReg # compute address of the memory operand
61// MOV AddressReg, ShadowReg
62// SHR ShadowReg, 3
63// # ShadowOffset(AddressReg >> 3) contains address of a shadow
64// # corresponding to MemOp.
65// CMP ShadowOffset(ShadowReg), 0 # test shadow value
66// JZ .Done # when shadow equals to zero, everything is fine
67// MOV AddressReg, RDI
68// # Call __asan_report function with AddressReg as an argument
69// CALL __asan_report
70// .Done:
71// POP ShadowReg # Restore ShadowReg
72// POP AddressReg # Restore AddressReg
73// POPF # Restore flags
74//
75// Memory accesses with different size (1-, 2-, 4- and 16-byte) are
76// handled in a similar manner, but small memory accesses (less than 8
77// byte) require an additional ScratchReg, which is used for shadow value.
78//
79// If, suppose, we're instrumenting an instruction like movs, only
80// contents of RDI, RDI + AccessSize * RCX, RSI, RSI + AccessSize *
81// RCX are checked. In this case there're no need to spill and restore
82// AddressReg , ShadowReg or flags four times, they're saved on stack
83// just once, before instrumentation of these four addresses, and restored
84// at the end of the instrumentation.
85//
86// There exist several things which complicate this simple algorithm.
87// * Instrumented memory operand can have RSP as a base or an index
88// register. So we need to add a constant offset before computation
89// of memory address, since flags, AddressReg, ShadowReg, etc. were
90// already stored on stack and RSP was modified.
91// * Debug info (usually, DWARF) should be adjusted, because sometimes
92// RSP is used as a frame register. So, we need to select some
93// register as a frame register and temprorary override current CFA
94// register.
95
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000096namespace llvm {
97namespace {
98
Evgeniy Stepanov3819f022014-05-07 07:54:11 +000099static cl::opt<bool> ClAsanInstrumentAssembly(
100 "asan-instrument-assembly",
101 cl::desc("instrument assembly with AddressSanitizer checks"), cl::Hidden,
102 cl::init(false));
103
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000104const int64_t MinAllowedDisplacement = std::numeric_limits<int32_t>::min();
105const int64_t MaxAllowedDisplacement = std::numeric_limits<int32_t>::max();
106
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000107int64_t ApplyDisplacementBounds(int64_t Displacement) {
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000108 return std::max(std::min(MaxAllowedDisplacement, Displacement),
109 MinAllowedDisplacement);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000110}
111
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000112void CheckDisplacementBounds(int64_t Displacement) {
113 assert(Displacement >= MinAllowedDisplacement &&
114 Displacement <= MaxAllowedDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000115}
116
117bool IsStackReg(unsigned Reg) { return Reg == X86::RSP || Reg == X86::ESP; }
118
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000119bool IsSmallMemAccess(unsigned AccessSize) { return AccessSize < 8; }
120
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000121class X86AddressSanitizer : public X86AsmInstrumentation {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000122public:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000123 struct RegisterContext {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000124 private:
125 enum RegOffset {
126 REG_OFFSET_ADDRESS = 0,
127 REG_OFFSET_SHADOW,
128 REG_OFFSET_SCRATCH
129 };
130
131 public:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000132 RegisterContext(unsigned AddressReg, unsigned ShadowReg,
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000133 unsigned ScratchReg) {
NAKAMURA Takumi9ff272f2014-10-21 16:22:52 +0000134 BusyRegs.push_back(convReg(AddressReg, MVT::i64));
135 BusyRegs.push_back(convReg(ShadowReg, MVT::i64));
136 BusyRegs.push_back(convReg(ScratchReg, MVT::i64));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000137 }
138
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000139 unsigned AddressReg(MVT::SimpleValueType VT) const {
140 return convReg(BusyRegs[REG_OFFSET_ADDRESS], VT);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000141 }
142
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000143 unsigned ShadowReg(MVT::SimpleValueType VT) const {
144 return convReg(BusyRegs[REG_OFFSET_SHADOW], VT);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000145 }
146
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000147 unsigned ScratchReg(MVT::SimpleValueType VT) const {
148 return convReg(BusyRegs[REG_OFFSET_SCRATCH], VT);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000149 }
150
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000151 void AddBusyReg(unsigned Reg) {
152 if (Reg != X86::NoRegister)
153 BusyRegs.push_back(convReg(Reg, MVT::i64));
154 }
155
156 void AddBusyRegs(const X86Operand &Op) {
157 AddBusyReg(Op.getMemBaseReg());
158 AddBusyReg(Op.getMemIndexReg());
159 }
160
161 unsigned ChooseFrameReg(MVT::SimpleValueType VT) const {
Craig Topper2e444922014-12-26 06:36:23 +0000162 static const MCPhysReg Candidates[] = { X86::RBP, X86::RAX, X86::RBX,
163 X86::RCX, X86::RDX, X86::RDI,
164 X86::RSI };
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000165 for (unsigned Reg : Candidates) {
166 if (!std::count(BusyRegs.begin(), BusyRegs.end(), Reg))
167 return convReg(Reg, VT);
168 }
169 return X86::NoRegister;
170 }
171
172 private:
173 unsigned convReg(unsigned Reg, MVT::SimpleValueType VT) const {
174 return Reg == X86::NoRegister ? Reg : getX86SubSuperRegister(Reg, VT);
175 }
176
177 std::vector<unsigned> BusyRegs;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000178 };
179
Akira Hatanakab11ef082015-11-14 06:35:56 +0000180 X86AddressSanitizer(const MCSubtargetInfo *&STI)
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000181 : X86AsmInstrumentation(STI), RepPrefix(false), OrigSPOffset(0) {}
182
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000183 ~X86AddressSanitizer() override {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000184
185 // X86AsmInstrumentation implementation:
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000186 void InstrumentAndEmitInstruction(const MCInst &Inst,
187 OperandVector &Operands,
188 MCContext &Ctx,
189 const MCInstrInfo &MII,
190 MCStreamer &Out) override {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000191 InstrumentMOVS(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000192 if (RepPrefix)
193 EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000194
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000195 InstrumentMOV(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000196
197 RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000198 if (!RepPrefix)
199 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000200 }
201
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000202 // Adjusts up stack and saves all registers used in instrumentation.
203 virtual void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
204 MCContext &Ctx,
205 MCStreamer &Out) = 0;
206
207 // Restores all registers used in instrumentation and adjusts stack.
208 virtual void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
209 MCContext &Ctx,
210 MCStreamer &Out) = 0;
211
212 virtual void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
213 bool IsWrite,
214 const RegisterContext &RegCtx,
215 MCContext &Ctx, MCStreamer &Out) = 0;
216 virtual void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
217 bool IsWrite,
218 const RegisterContext &RegCtx,
219 MCContext &Ctx, MCStreamer &Out) = 0;
220
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000221 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
222 MCStreamer &Out) = 0;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000223
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000224 void InstrumentMemOperand(X86Operand &Op, unsigned AccessSize, bool IsWrite,
225 const RegisterContext &RegCtx, MCContext &Ctx,
226 MCStreamer &Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000227 void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg,
228 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000229
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000230 void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands,
231 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
David Blaikie960ea3f2014-06-08 16:18:35 +0000232 void InstrumentMOV(const MCInst &Inst, OperandVector &Operands,
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000233 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000234
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000235protected:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000236 void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); }
237
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000238 void EmitLEA(X86Operand &Op, MVT::SimpleValueType VT, unsigned Reg,
239 MCStreamer &Out) {
240 assert(VT == MVT::i32 || VT == MVT::i64);
241 MCInst Inst;
242 Inst.setOpcode(VT == MVT::i32 ? X86::LEA32r : X86::LEA64r);
Jim Grosbache9119e42015-05-13 18:37:00 +0000243 Inst.addOperand(MCOperand::createReg(getX86SubSuperRegister(Reg, VT)));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000244 Op.addMemOperands(Inst, 5);
245 EmitInstruction(Out, Inst);
246 }
247
248 void ComputeMemOperandAddress(X86Operand &Op, MVT::SimpleValueType VT,
249 unsigned Reg, MCContext &Ctx, MCStreamer &Out);
250
251 // Creates new memory operand with Displacement added to an original
252 // displacement. Residue will contain a residue which could happen when the
253 // total displacement exceeds 32-bit limitation.
254 std::unique_ptr<X86Operand> AddDisplacement(X86Operand &Op,
255 int64_t Displacement,
256 MCContext &Ctx, int64_t *Residue);
257
Craig Topper055845f2015-01-02 07:02:25 +0000258 bool is64BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000259 return STI->getFeatureBits()[X86::Mode64Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000260 }
261 bool is32BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000262 return STI->getFeatureBits()[X86::Mode32Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000263 }
264 bool is16BitMode() const {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000265 return STI->getFeatureBits()[X86::Mode16Bit];
Craig Topper055845f2015-01-02 07:02:25 +0000266 }
267
268 unsigned getPointerWidth() {
269 if (is16BitMode()) return 16;
270 if (is32BitMode()) return 32;
271 if (is64BitMode()) return 64;
272 llvm_unreachable("invalid mode");
273 }
274
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000275 // True when previous instruction was actually REP prefix.
276 bool RepPrefix;
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000277
278 // Offset from the original SP register.
279 int64_t OrigSPOffset;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000280};
281
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000282void X86AddressSanitizer::InstrumentMemOperand(
283 X86Operand &Op, unsigned AccessSize, bool IsWrite,
284 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000285 assert(Op.isMem() && "Op should be a memory operand.");
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000286 assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 &&
287 "AccessSize should be a power of two, less or equal than 16.");
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000288 // FIXME: take into account load/store alignment.
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000289 if (IsSmallMemAccess(AccessSize))
290 InstrumentMemOperandSmall(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000291 else
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000292 InstrumentMemOperandLarge(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000293}
294
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000295void X86AddressSanitizer::InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg,
296 unsigned CntReg,
297 unsigned AccessSize,
298 MCContext &Ctx, MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000299 // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)]
300 // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)].
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000301 RegisterContext RegCtx(X86::RDX /* AddressReg */, X86::RAX /* ShadowReg */,
302 IsSmallMemAccess(AccessSize)
303 ? X86::RBX
304 : X86::NoRegister /* ScratchReg */);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000305 RegCtx.AddBusyReg(DstReg);
306 RegCtx.AddBusyReg(SrcReg);
307 RegCtx.AddBusyReg(CntReg);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000308
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000309 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000310
311 // Test (%SrcReg)
312 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000313 const MCExpr *Disp = MCConstantExpr::create(0, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000314 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000315 getPointerWidth(), 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000316 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx,
317 Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000318 }
319
320 // Test -1(%SrcReg, %CntReg, AccessSize)
321 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000322 const MCExpr *Disp = MCConstantExpr::create(-1, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000323 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000324 getPointerWidth(), 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(),
325 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 (%DstReg)
331 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000332 const MCExpr *Disp = MCConstantExpr::create(0, 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, DstReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000335 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000336 }
337
338 // Test -1(%DstReg, %CntReg, AccessSize)
339 {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000340 const MCExpr *Disp = MCConstantExpr::create(-1, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000341 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
Craig Topper055845f2015-01-02 07:02:25 +0000342 getPointerWidth(), 0, Disp, DstReg, CntReg, AccessSize, SMLoc(),
343 SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000344 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000345 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000346
347 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000348}
349
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000350void X86AddressSanitizer::InstrumentMOVS(const MCInst &Inst,
351 OperandVector &Operands,
352 MCContext &Ctx, const MCInstrInfo &MII,
353 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000354 // Access size in bytes.
355 unsigned AccessSize = 0;
356
357 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000358 case X86::MOVSB:
359 AccessSize = 1;
360 break;
361 case X86::MOVSW:
362 AccessSize = 2;
363 break;
364 case X86::MOVSL:
365 AccessSize = 4;
366 break;
367 case X86::MOVSQ:
368 AccessSize = 8;
369 break;
370 default:
371 return;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000372 }
373
374 InstrumentMOVSImpl(AccessSize, Ctx, Out);
375}
376
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000377void X86AddressSanitizer::InstrumentMOV(const MCInst &Inst,
378 OperandVector &Operands, MCContext &Ctx,
379 const MCInstrInfo &MII,
380 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000381 // Access size in bytes.
382 unsigned AccessSize = 0;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000383
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000384 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000385 case X86::MOV8mi:
386 case X86::MOV8mr:
387 case X86::MOV8rm:
388 AccessSize = 1;
389 break;
390 case X86::MOV16mi:
391 case X86::MOV16mr:
392 case X86::MOV16rm:
393 AccessSize = 2;
394 break;
395 case X86::MOV32mi:
396 case X86::MOV32mr:
397 case X86::MOV32rm:
398 AccessSize = 4;
399 break;
400 case X86::MOV64mi32:
401 case X86::MOV64mr:
402 case X86::MOV64rm:
403 AccessSize = 8;
404 break;
405 case X86::MOVAPDmr:
406 case X86::MOVAPSmr:
407 case X86::MOVAPDrm:
408 case X86::MOVAPSrm:
409 AccessSize = 16;
410 break;
411 default:
412 return;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000413 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000414
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000415 const bool IsWrite = MII.get(Inst.getOpcode()).mayStore();
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000416
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000417 for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000418 assert(Operands[Ix]);
419 MCParsedAsmOperand &Op = *Operands[Ix];
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000420 if (Op.isMem()) {
421 X86Operand &MemOp = static_cast<X86Operand &>(Op);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000422 RegisterContext RegCtx(
423 X86::RDI /* AddressReg */, X86::RAX /* ShadowReg */,
424 IsSmallMemAccess(AccessSize) ? X86::RCX
425 : X86::NoRegister /* ScratchReg */);
426 RegCtx.AddBusyRegs(MemOp);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000427 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
428 InstrumentMemOperand(MemOp, AccessSize, IsWrite, RegCtx, Ctx, Out);
429 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
430 }
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000431 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000432}
433
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000434void X86AddressSanitizer::ComputeMemOperandAddress(X86Operand &Op,
435 MVT::SimpleValueType VT,
436 unsigned Reg, MCContext &Ctx,
437 MCStreamer &Out) {
438 int64_t Displacement = 0;
439 if (IsStackReg(Op.getMemBaseReg()))
440 Displacement -= OrigSPOffset;
441 if (IsStackReg(Op.getMemIndexReg()))
442 Displacement -= OrigSPOffset * Op.getMemScale();
443
444 assert(Displacement >= 0);
445
446 // Emit Op as is.
447 if (Displacement == 0) {
448 EmitLEA(Op, VT, Reg, Out);
449 return;
450 }
451
452 int64_t Residue;
453 std::unique_ptr<X86Operand> NewOp =
454 AddDisplacement(Op, Displacement, Ctx, &Residue);
455 EmitLEA(*NewOp, VT, Reg, Out);
456
457 while (Residue != 0) {
458 const MCConstantExpr *Disp =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000459 MCConstantExpr::create(ApplyDisplacementBounds(Residue), Ctx);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000460 std::unique_ptr<X86Operand> DispOp =
Craig Topper055845f2015-01-02 07:02:25 +0000461 X86Operand::CreateMem(getPointerWidth(), 0, Disp, Reg, 0, 1, SMLoc(),
462 SMLoc());
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000463 EmitLEA(*DispOp, VT, Reg, Out);
464 Residue -= Disp->getValue();
465 }
466}
467
468std::unique_ptr<X86Operand>
469X86AddressSanitizer::AddDisplacement(X86Operand &Op, int64_t Displacement,
470 MCContext &Ctx, int64_t *Residue) {
471 assert(Displacement >= 0);
472
473 if (Displacement == 0 ||
474 (Op.getMemDisp() && Op.getMemDisp()->getKind() != MCExpr::Constant)) {
475 *Residue = Displacement;
Craig Topper055845f2015-01-02 07:02:25 +0000476 return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(),
477 Op.getMemDisp(), Op.getMemBaseReg(),
478 Op.getMemIndexReg(), Op.getMemScale(),
479 SMLoc(), SMLoc());
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000480 }
481
482 int64_t OrigDisplacement =
483 static_cast<const MCConstantExpr *>(Op.getMemDisp())->getValue();
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000484 CheckDisplacementBounds(OrigDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000485 Displacement += OrigDisplacement;
486
Yuri Gorsheninab1b88a2014-10-13 11:44:06 +0000487 int64_t NewDisplacement = ApplyDisplacementBounds(Displacement);
488 CheckDisplacementBounds(NewDisplacement);
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000489
490 *Residue = Displacement - NewDisplacement;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000491 const MCExpr *Disp = MCConstantExpr::create(NewDisplacement, Ctx);
Craig Topper055845f2015-01-02 07:02:25 +0000492 return X86Operand::CreateMem(Op.getMemModeSize(), Op.getMemSegReg(), Disp,
493 Op.getMemBaseReg(), Op.getMemIndexReg(),
494 Op.getMemScale(), SMLoc(), SMLoc());
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000495}
496
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000497class X86AddressSanitizer32 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000498public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000499 static const long kShadowOffset = 0x20000000;
500
Akira Hatanakab11ef082015-11-14 06:35:56 +0000501 X86AddressSanitizer32(const MCSubtargetInfo *&STI)
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000502 : X86AddressSanitizer(STI) {}
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000503
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000504 ~X86AddressSanitizer32() override {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000505
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000506 unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) {
507 unsigned FrameReg = GetFrameRegGeneric(Ctx, Out);
508 if (FrameReg == X86::NoRegister)
509 return FrameReg;
510 return getX86SubSuperRegister(FrameReg, MVT::i32);
511 }
512
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000513 void SpillReg(MCStreamer &Out, unsigned Reg) {
514 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(Reg));
515 OrigSPOffset -= 4;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000516 }
517
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000518 void RestoreReg(MCStreamer &Out, unsigned Reg) {
519 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(Reg));
520 OrigSPOffset += 4;
521 }
522
523 void StoreFlags(MCStreamer &Out) {
524 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
525 OrigSPOffset -= 4;
526 }
527
528 void RestoreFlags(MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000529 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000530 OrigSPOffset += 4;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000531 }
532
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000533 void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
534 MCContext &Ctx,
535 MCStreamer &Out) override {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000536 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(MVT::i32);
537 assert(LocalFrameReg != X86::NoRegister);
538
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000539 const MCRegisterInfo *MRI = Ctx.getRegisterInfo();
540 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000541 if (MRI && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000542 SpillReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000543 if (FrameReg == X86::ESP) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000544 Out.EmitCFIAdjustCfaOffset(4 /* byte size of the LocalFrameReg */);
545 Out.EmitCFIRelOffset(
546 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000547 }
548 EmitInstruction(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000549 Out,
550 MCInstBuilder(X86::MOV32rr).addReg(LocalFrameReg).addReg(FrameReg));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000551 Out.EmitCFIRememberState();
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000552 Out.EmitCFIDefCfaRegister(
553 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000554 }
555
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000556 SpillReg(Out, RegCtx.AddressReg(MVT::i32));
557 SpillReg(Out, RegCtx.ShadowReg(MVT::i32));
558 if (RegCtx.ScratchReg(MVT::i32) != X86::NoRegister)
559 SpillReg(Out, RegCtx.ScratchReg(MVT::i32));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000560 StoreFlags(Out);
561 }
562
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000563 void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
564 MCContext &Ctx,
565 MCStreamer &Out) override {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000566 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(MVT::i32);
567 assert(LocalFrameReg != X86::NoRegister);
568
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000569 RestoreFlags(Out);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000570 if (RegCtx.ScratchReg(MVT::i32) != X86::NoRegister)
571 RestoreReg(Out, RegCtx.ScratchReg(MVT::i32));
572 RestoreReg(Out, RegCtx.ShadowReg(MVT::i32));
573 RestoreReg(Out, RegCtx.AddressReg(MVT::i32));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000574
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000575 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000576 if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000577 RestoreReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000578 Out.EmitCFIRestoreState();
579 if (FrameReg == X86::ESP)
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000580 Out.EmitCFIAdjustCfaOffset(-4 /* byte size of the LocalFrameReg */);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000581 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000582 }
583
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000584 void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
585 bool IsWrite,
586 const RegisterContext &RegCtx,
587 MCContext &Ctx,
588 MCStreamer &Out) override;
589 void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
590 bool IsWrite,
591 const RegisterContext &RegCtx,
592 MCContext &Ctx,
593 MCStreamer &Out) override;
594 void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
595 MCStreamer &Out) override;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000596
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000597private:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000598 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
599 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000600 EmitInstruction(Out, MCInstBuilder(X86::CLD));
601 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
602
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000603 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
604 .addReg(X86::ESP)
605 .addReg(X86::ESP)
606 .addImm(-16));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000607 EmitInstruction(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000608 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.AddressReg(MVT::i32)));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000609
Yaron Keren45ea8fa2015-12-14 19:28:40 +0000610 MCSymbol *FnSym = Ctx.getOrCreateSymbol(llvm::Twine("__asan_report_") +
611 (IsWrite ? "store" : "load") +
612 llvm::Twine(AccessSize));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000613 const MCSymbolRefExpr *FnExpr =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000614 MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000615 EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr));
616 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000617};
618
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000619void X86AddressSanitizer32::InstrumentMemOperandSmall(
620 X86Operand &Op, unsigned AccessSize, bool IsWrite,
621 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000622 unsigned AddressRegI32 = RegCtx.AddressReg(MVT::i32);
623 unsigned ShadowRegI32 = RegCtx.ShadowReg(MVT::i32);
624 unsigned ShadowRegI8 = RegCtx.ShadowReg(MVT::i8);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000625
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000626 assert(RegCtx.ScratchReg(MVT::i32) != X86::NoRegister);
627 unsigned ScratchRegI32 = RegCtx.ScratchReg(MVT::i32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000628
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000629 ComputeMemOperandAddress(Op, MVT::i32, AddressRegI32, Ctx, Out);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000630
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000631 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg(
632 AddressRegI32));
633 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri)
634 .addReg(ShadowRegI32)
635 .addReg(ShadowRegI32)
636 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000637
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000638 {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000639 MCInst Inst;
640 Inst.setOpcode(X86::MOV8rm);
Jim Grosbache9119e42015-05-13 18:37:00 +0000641 Inst.addOperand(MCOperand::createReg(ShadowRegI8));
Jim Grosbach13760bd2015-05-30 01:25:56 +0000642 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000643 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000644 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1,
645 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000646 Op->addMemOperands(Inst, 5);
647 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000648 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000649
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000650 EmitInstruction(
651 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Jim Grosbach6f482002015-05-18 18:43:14 +0000652 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000653 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000654 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000655
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000656 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg(
657 AddressRegI32));
658 EmitInstruction(Out, MCInstBuilder(X86::AND32ri)
659 .addReg(ScratchRegI32)
660 .addReg(ScratchRegI32)
661 .addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000662
663 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000664 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000665 case 1:
666 break;
667 case 2: {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000668 const MCExpr *Disp = MCConstantExpr::create(1, Ctx);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000669 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000670 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1,
671 SMLoc(), SMLoc()));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000672 EmitLEA(*Op, MVT::i32, ScratchRegI32, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000673 break;
674 }
675 case 4:
676 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000677 .addReg(ScratchRegI32)
678 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000679 .addImm(3));
680 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000681 }
682
683 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000684 Out,
685 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
686 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
687 ShadowRegI32));
Craig Topper49758aa2015-01-06 04:23:53 +0000688 EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000689
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000690 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000691 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000692}
693
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000694void X86AddressSanitizer32::InstrumentMemOperandLarge(
695 X86Operand &Op, unsigned AccessSize, bool IsWrite,
696 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000697 unsigned AddressRegI32 = RegCtx.AddressReg(MVT::i32);
698 unsigned ShadowRegI32 = RegCtx.ShadowReg(MVT::i32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000699
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000700 ComputeMemOperandAddress(Op, MVT::i32, AddressRegI32, Ctx, Out);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000701
702 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg(
703 AddressRegI32));
704 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri)
705 .addReg(ShadowRegI32)
706 .addReg(ShadowRegI32)
707 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000708 {
709 MCInst Inst;
710 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000711 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000712 case 8:
713 Inst.setOpcode(X86::CMP8mi);
714 break;
715 case 16:
716 Inst.setOpcode(X86::CMP16mi);
717 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000718 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000719 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000720 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000721 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI32, 0, 1,
722 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000723 Op->addMemOperands(Inst, 5);
Jim Grosbache9119e42015-05-13 18:37:00 +0000724 Inst.addOperand(MCOperand::createImm(0));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000725 EmitInstruction(Out, Inst);
726 }
Jim Grosbach6f482002015-05-18 18:43:14 +0000727 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000728 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000729 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000730
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000731 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000732 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000733}
734
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000735void X86AddressSanitizer32::InstrumentMOVSImpl(unsigned AccessSize,
736 MCContext &Ctx,
737 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000738 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000739
740 // No need to test when ECX is equals to zero.
Jim Grosbach6f482002015-05-18 18:43:14 +0000741 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000742 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000743 EmitInstruction(
744 Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX));
Craig Topper49758aa2015-01-06 04:23:53 +0000745 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000746
747 // Instrument first and last elements in src and dst range.
748 InstrumentMOVSBase(X86::EDI /* DstReg */, X86::ESI /* SrcReg */,
749 X86::ECX /* CntReg */, AccessSize, Ctx, Out);
750
751 EmitLabel(Out, DoneSym);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000752 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000753}
754
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000755class X86AddressSanitizer64 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000756public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000757 static const long kShadowOffset = 0x7fff8000;
758
Akira Hatanakab11ef082015-11-14 06:35:56 +0000759 X86AddressSanitizer64(const MCSubtargetInfo *&STI)
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000760 : X86AddressSanitizer(STI) {}
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000761
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000762 ~X86AddressSanitizer64() override {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000763
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000764 unsigned GetFrameReg(const MCContext &Ctx, MCStreamer &Out) {
765 unsigned FrameReg = GetFrameRegGeneric(Ctx, Out);
766 if (FrameReg == X86::NoRegister)
767 return FrameReg;
768 return getX86SubSuperRegister(FrameReg, MVT::i64);
769 }
770
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000771 void SpillReg(MCStreamer &Out, unsigned Reg) {
772 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(Reg));
773 OrigSPOffset -= 8;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000774 }
775
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000776 void RestoreReg(MCStreamer &Out, unsigned Reg) {
777 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(Reg));
778 OrigSPOffset += 8;
779 }
780
781 void StoreFlags(MCStreamer &Out) {
782 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
783 OrigSPOffset -= 8;
784 }
785
786 void RestoreFlags(MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000787 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000788 OrigSPOffset += 8;
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000789 }
790
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000791 void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
792 MCContext &Ctx,
793 MCStreamer &Out) override {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000794 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(MVT::i64);
795 assert(LocalFrameReg != X86::NoRegister);
796
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000797 const MCRegisterInfo *MRI = Ctx.getRegisterInfo();
798 unsigned FrameReg = GetFrameReg(Ctx, Out);
799 if (MRI && FrameReg != X86::NoRegister) {
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000800 SpillReg(Out, X86::RBP);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000801 if (FrameReg == X86::RSP) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000802 Out.EmitCFIAdjustCfaOffset(8 /* byte size of the LocalFrameReg */);
803 Out.EmitCFIRelOffset(
804 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */), 0);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000805 }
806 EmitInstruction(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000807 Out,
808 MCInstBuilder(X86::MOV64rr).addReg(LocalFrameReg).addReg(FrameReg));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000809 Out.EmitCFIRememberState();
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000810 Out.EmitCFIDefCfaRegister(
811 MRI->getDwarfRegNum(LocalFrameReg, true /* IsEH */));
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000812 }
813
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000814 EmitAdjustRSP(Ctx, Out, -128);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000815 SpillReg(Out, RegCtx.ShadowReg(MVT::i64));
816 SpillReg(Out, RegCtx.AddressReg(MVT::i64));
817 if (RegCtx.ScratchReg(MVT::i64) != X86::NoRegister)
818 SpillReg(Out, RegCtx.ScratchReg(MVT::i64));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000819 StoreFlags(Out);
820 }
821
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000822 void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
823 MCContext &Ctx,
824 MCStreamer &Out) override {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000825 unsigned LocalFrameReg = RegCtx.ChooseFrameReg(MVT::i64);
826 assert(LocalFrameReg != X86::NoRegister);
827
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000828 RestoreFlags(Out);
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000829 if (RegCtx.ScratchReg(MVT::i64) != X86::NoRegister)
830 RestoreReg(Out, RegCtx.ScratchReg(MVT::i64));
831 RestoreReg(Out, RegCtx.AddressReg(MVT::i64));
832 RestoreReg(Out, RegCtx.ShadowReg(MVT::i64));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000833 EmitAdjustRSP(Ctx, Out, 128);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000834
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000835 unsigned FrameReg = GetFrameReg(Ctx, Out);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000836 if (Ctx.getRegisterInfo() && FrameReg != X86::NoRegister) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000837 RestoreReg(Out, LocalFrameReg);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000838 Out.EmitCFIRestoreState();
839 if (FrameReg == X86::RSP)
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000840 Out.EmitCFIAdjustCfaOffset(-8 /* byte size of the LocalFrameReg */);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000841 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000842 }
843
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000844 void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
845 bool IsWrite,
846 const RegisterContext &RegCtx,
847 MCContext &Ctx,
848 MCStreamer &Out) override;
849 void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
850 bool IsWrite,
851 const RegisterContext &RegCtx,
852 MCContext &Ctx,
853 MCStreamer &Out) override;
854 void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +0000855 MCStreamer &Out) override;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000856
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000857private:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000858 void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000859 const MCExpr *Disp = MCConstantExpr::create(Offset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000860 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000861 X86Operand::CreateMem(getPointerWidth(), 0, Disp, X86::RSP, 0, 1,
862 SMLoc(), SMLoc()));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000863 EmitLEA(*Op, MVT::i64, X86::RSP, Out);
864 OrigSPOffset += Offset;
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000865 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000866
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000867 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
868 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000869 EmitInstruction(Out, MCInstBuilder(X86::CLD));
870 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
871
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000872 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
873 .addReg(X86::RSP)
874 .addReg(X86::RSP)
875 .addImm(-16));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000876
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000877 if (RegCtx.AddressReg(MVT::i64) != X86::RDI) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000878 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RDI).addReg(
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000879 RegCtx.AddressReg(MVT::i64)));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000880 }
Yaron Keren45ea8fa2015-12-14 19:28:40 +0000881 MCSymbol *FnSym = Ctx.getOrCreateSymbol(llvm::Twine("__asan_report_") +
882 (IsWrite ? "store" : "load") +
883 llvm::Twine(AccessSize));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000884 const MCSymbolRefExpr *FnExpr =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000885 MCSymbolRefExpr::create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000886 EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr));
887 }
888};
889
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000890void X86AddressSanitizer64::InstrumentMemOperandSmall(
891 X86Operand &Op, unsigned AccessSize, bool IsWrite,
892 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000893 unsigned AddressRegI64 = RegCtx.AddressReg(MVT::i64);
894 unsigned AddressRegI32 = RegCtx.AddressReg(MVT::i32);
895 unsigned ShadowRegI64 = RegCtx.ShadowReg(MVT::i64);
896 unsigned ShadowRegI32 = RegCtx.ShadowReg(MVT::i32);
897 unsigned ShadowRegI8 = RegCtx.ShadowReg(MVT::i8);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000898
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000899 assert(RegCtx.ScratchReg(MVT::i32) != X86::NoRegister);
900 unsigned ScratchRegI32 = RegCtx.ScratchReg(MVT::i32);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000901
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000902 ComputeMemOperandAddress(Op, MVT::i64, AddressRegI64, Ctx, Out);
903
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000904 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg(
905 AddressRegI64));
906 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri)
907 .addReg(ShadowRegI64)
908 .addReg(ShadowRegI64)
909 .addImm(3));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000910 {
911 MCInst Inst;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000912 Inst.setOpcode(X86::MOV8rm);
Jim Grosbache9119e42015-05-13 18:37:00 +0000913 Inst.addOperand(MCOperand::createReg(ShadowRegI8));
Jim Grosbach13760bd2015-05-30 01:25:56 +0000914 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000915 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000916 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1,
917 SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000918 Op->addMemOperands(Inst, 5);
919 EmitInstruction(Out, Inst);
920 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000921
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000922 EmitInstruction(
923 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Jim Grosbach6f482002015-05-18 18:43:14 +0000924 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000925 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +0000926 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000927
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000928 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg(
929 AddressRegI32));
930 EmitInstruction(Out, MCInstBuilder(X86::AND32ri)
931 .addReg(ScratchRegI32)
932 .addReg(ScratchRegI32)
933 .addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000934
935 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000936 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000937 case 1:
938 break;
939 case 2: {
Jim Grosbach13760bd2015-05-30 01:25:56 +0000940 const MCExpr *Disp = MCConstantExpr::create(1, Ctx);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000941 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000942 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ScratchRegI32, 0, 1,
943 SMLoc(), SMLoc()));
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000944 EmitLEA(*Op, MVT::i32, ScratchRegI32, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000945 break;
946 }
947 case 4:
948 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000949 .addReg(ScratchRegI32)
950 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000951 .addImm(3));
952 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000953 }
954
955 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000956 Out,
957 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
958 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
959 ShadowRegI32));
Craig Topper49758aa2015-01-06 04:23:53 +0000960 EmitInstruction(Out, MCInstBuilder(X86::JL_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000961
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000962 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000963 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000964}
965
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000966void X86AddressSanitizer64::InstrumentMemOperandLarge(
967 X86Operand &Op, unsigned AccessSize, bool IsWrite,
968 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
Yuri Gorshenin171eb8d2014-10-21 10:22:27 +0000969 unsigned AddressRegI64 = RegCtx.AddressReg(MVT::i64);
970 unsigned ShadowRegI64 = RegCtx.ShadowReg(MVT::i64);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000971
Yuri Gorshenin46853b52014-10-13 09:37:47 +0000972 ComputeMemOperandAddress(Op, MVT::i64, AddressRegI64, Ctx, Out);
973
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000974 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg(
975 AddressRegI64));
976 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri)
977 .addReg(ShadowRegI64)
978 .addReg(ShadowRegI64)
979 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000980 {
981 MCInst Inst;
982 switch (AccessSize) {
Craig Topperd3c02f12015-01-05 10:15:49 +0000983 default: llvm_unreachable("Incorrect access size");
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000984 case 8:
985 Inst.setOpcode(X86::CMP8mi);
986 break;
987 case 16:
988 Inst.setOpcode(X86::CMP16mi);
989 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000990 }
Jim Grosbach13760bd2015-05-30 01:25:56 +0000991 const MCExpr *Disp = MCConstantExpr::create(kShadowOffset, Ctx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000992 std::unique_ptr<X86Operand> Op(
Craig Topper055845f2015-01-02 07:02:25 +0000993 X86Operand::CreateMem(getPointerWidth(), 0, Disp, ShadowRegI64, 0, 1,
994 SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000995 Op->addMemOperands(Inst, 5);
Jim Grosbache9119e42015-05-13 18:37:00 +0000996 Inst.addOperand(MCOperand::createImm(0));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000997 EmitInstruction(Out, Inst);
998 }
999
Jim Grosbach6f482002015-05-18 18:43:14 +00001000 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +00001001 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Craig Topper49758aa2015-01-06 04:23:53 +00001002 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001003
Yuri Gorsheninc107d142014-09-01 12:51:00 +00001004 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001005 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001006}
1007
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +00001008void X86AddressSanitizer64::InstrumentMOVSImpl(unsigned AccessSize,
1009 MCContext &Ctx,
1010 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +00001011 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001012
1013 // No need to test when RCX is equals to zero.
Jim Grosbach6f482002015-05-18 18:43:14 +00001014 MCSymbol *DoneSym = Ctx.createTempSymbol();
Jim Grosbach13760bd2015-05-30 01:25:56 +00001015 const MCExpr *DoneExpr = MCSymbolRefExpr::create(DoneSym, Ctx);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001016 EmitInstruction(
1017 Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX));
Craig Topper49758aa2015-01-06 04:23:53 +00001018 EmitInstruction(Out, MCInstBuilder(X86::JE_1).addExpr(DoneExpr));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001019
1020 // Instrument first and last elements in src and dst range.
1021 InstrumentMOVSBase(X86::RDI /* DstReg */, X86::RSI /* SrcReg */,
1022 X86::RCX /* CntReg */, AccessSize, Ctx, Out);
1023
1024 EmitLabel(Out, DoneSym);
Yuri Gorsheninc107d142014-09-01 12:51:00 +00001025 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001026}
1027
Evgeniy Stepanov50505532014-08-27 13:11:55 +00001028} // End anonymous namespace
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001029
Akira Hatanakab11ef082015-11-14 06:35:56 +00001030X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo *&STI)
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +00001031 : STI(STI), InitialFrameReg(0) {}
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001032
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001033X86AsmInstrumentation::~X86AsmInstrumentation() {}
1034
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001035void X86AsmInstrumentation::InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +00001036 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001037 const MCInstrInfo &MII, MCStreamer &Out) {
1038 EmitInstruction(Out, Inst);
1039}
1040
1041void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out,
1042 const MCInst &Inst) {
Akira Hatanakab11ef082015-11-14 06:35:56 +00001043 Out.EmitInstruction(Inst, *STI);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001044}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001045
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +00001046unsigned X86AsmInstrumentation::GetFrameRegGeneric(const MCContext &Ctx,
1047 MCStreamer &Out) {
1048 if (!Out.getNumFrameInfos()) // No active dwarf frame
1049 return X86::NoRegister;
1050 const MCDwarfFrameInfo &Frame = Out.getDwarfFrameInfos().back();
1051 if (Frame.End) // Active dwarf frame is closed
1052 return X86::NoRegister;
1053 const MCRegisterInfo *MRI = Ctx.getRegisterInfo();
1054 if (!MRI) // No register info
1055 return X86::NoRegister;
1056
1057 if (InitialFrameReg) {
1058 // FrameReg is set explicitly, we're instrumenting a MachineFunction.
1059 return InitialFrameReg;
1060 }
1061
1062 return MRI->getLLVMRegNum(Frame.CurrentCfaRegister, true /* IsEH */);
1063}
1064
Evgeniy Stepanov50505532014-08-27 13:11:55 +00001065X86AsmInstrumentation *
1066CreateX86AsmInstrumentation(const MCTargetOptions &MCOptions,
Akira Hatanakab11ef082015-11-14 06:35:56 +00001067 const MCContext &Ctx, const MCSubtargetInfo *&STI) {
1068 Triple T(STI->getTargetTriple());
Daniel Sanders50f17232015-09-15 16:17:27 +00001069 const bool hasCompilerRTSupport = T.isOSLinux();
Evgeniy Stepanov3819f022014-05-07 07:54:11 +00001070 if (ClAsanInstrumentAssembly && hasCompilerRTSupport &&
1071 MCOptions.SanitizeAddress) {
Akira Hatanakab11ef082015-11-14 06:35:56 +00001072 if (STI->getFeatureBits()[X86::Mode32Bit] != 0)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001073 return new X86AddressSanitizer32(STI);
Akira Hatanakab11ef082015-11-14 06:35:56 +00001074 if (STI->getFeatureBits()[X86::Mode64Bit] != 0)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001075 return new X86AddressSanitizer64(STI);
1076 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00001077 return new X86AsmInstrumentation(STI);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00001078}
1079
Hans Wennborgaa15bff2015-09-10 16:49:58 +00001080} // end llvm namespace