blob: 3d0f72f3fa563b6c5e9a7f42e6a58779eab4814d [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"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000017#include "llvm/IR/Function.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"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000028
29namespace llvm {
30namespace {
31
Evgeniy Stepanov3819f022014-05-07 07:54:11 +000032static cl::opt<bool> ClAsanInstrumentAssembly(
33 "asan-instrument-assembly",
34 cl::desc("instrument assembly with AddressSanitizer checks"), cl::Hidden,
35 cl::init(false));
36
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000037bool IsStackReg(unsigned Reg) {
38 return Reg == X86::RSP || Reg == X86::ESP || Reg == X86::SP;
39}
40
Yuri Gorsheninc107d142014-09-01 12:51:00 +000041bool IsSmallMemAccess(unsigned AccessSize) { return AccessSize < 8; }
42
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000043std::string FuncName(unsigned AccessSize, bool IsWrite) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000044 return std::string("__asan_report_") + (IsWrite ? "store" : "load") +
45 utostr(AccessSize);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000046}
47
48class X86AddressSanitizer : public X86AsmInstrumentation {
Evgeniy Stepanov50505532014-08-27 13:11:55 +000049public:
Yuri Gorsheninc107d142014-09-01 12:51:00 +000050 struct RegisterContext {
51 RegisterContext(unsigned AddressReg, unsigned ShadowReg,
52 unsigned ScratchReg)
53 : AddressReg(AddressReg), ShadowReg(ShadowReg), ScratchReg(ScratchReg) {
54 }
55
56 unsigned addressReg(MVT::SimpleValueType VT) const {
57 return getX86SubSuperRegister(AddressReg, VT);
58 }
59
60 unsigned shadowReg(MVT::SimpleValueType VT) const {
61 return getX86SubSuperRegister(ShadowReg, VT);
62 }
63
64 unsigned scratchReg(MVT::SimpleValueType VT) const {
65 return getX86SubSuperRegister(ScratchReg, VT);
66 }
67
68 const unsigned AddressReg;
69 const unsigned ShadowReg;
70 const unsigned ScratchReg;
71 };
72
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000073 X86AddressSanitizer(const MCSubtargetInfo &STI)
74 : X86AsmInstrumentation(STI), RepPrefix(false) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000075 virtual ~X86AddressSanitizer() {}
76
77 // X86AsmInstrumentation implementation:
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000078 virtual void InstrumentAndEmitInstruction(const MCInst &Inst,
79 OperandVector &Operands,
80 MCContext &Ctx,
81 const MCInstrInfo &MII,
82 MCStreamer &Out) override {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000083 InstrumentMOVS(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov50505532014-08-27 13:11:55 +000084 if (RepPrefix)
85 EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000086
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000087 InstrumentMOV(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000088
89 RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX);
Evgeniy Stepanov50505532014-08-27 13:11:55 +000090 if (!RepPrefix)
91 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000092 }
93
94 // Should be implemented differently in x86_32 and x86_64 subclasses.
Yuri Gorsheninc107d142014-09-01 12:51:00 +000095 virtual void StoreFlags(MCStreamer &Out) = 0;
96
97 virtual void RestoreFlags(MCStreamer &Out) = 0;
98
99 // Adjusts up stack and saves all registers used in instrumentation.
100 virtual void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
101 MCContext &Ctx,
102 MCStreamer &Out) = 0;
103
104 // Restores all registers used in instrumentation and adjusts stack.
105 virtual void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
106 MCContext &Ctx,
107 MCStreamer &Out) = 0;
108
109 virtual void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
110 bool IsWrite,
111 const RegisterContext &RegCtx,
112 MCContext &Ctx, MCStreamer &Out) = 0;
113 virtual void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
114 bool IsWrite,
115 const RegisterContext &RegCtx,
116 MCContext &Ctx, MCStreamer &Out) = 0;
117
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000118 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
119 MCStreamer &Out) = 0;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000120
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000121 void InstrumentMemOperand(X86Operand &Op, unsigned AccessSize, bool IsWrite,
122 const RegisterContext &RegCtx, MCContext &Ctx,
123 MCStreamer &Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000124 void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg,
125 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000126
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000127 void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands,
128 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
David Blaikie960ea3f2014-06-08 16:18:35 +0000129 void InstrumentMOV(const MCInst &Inst, OperandVector &Operands,
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000130 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000131
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000132protected:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000133 void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); }
134
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000135 // True when previous instruction was actually REP prefix.
136 bool RepPrefix;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000137};
138
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000139void X86AddressSanitizer::InstrumentMemOperand(
140 X86Operand &Op, unsigned AccessSize, bool IsWrite,
141 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000142 assert(Op.isMem() && "Op should be a memory operand.");
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000143 assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 &&
144 "AccessSize should be a power of two, less or equal than 16.");
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000145 // FIXME: take into account load/store alignment.
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000146 if (IsSmallMemAccess(AccessSize))
147 InstrumentMemOperandSmall(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000148 else
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000149 InstrumentMemOperandLarge(Op, AccessSize, IsWrite, RegCtx, Ctx, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000150}
151
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000152void X86AddressSanitizer::InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg,
153 unsigned CntReg,
154 unsigned AccessSize,
155 MCContext &Ctx, MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000156 // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)]
157 // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)].
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000158 RegisterContext RegCtx(X86::RDX /* AddressReg */, X86::RAX /* ShadowReg */,
159 IsSmallMemAccess(AccessSize)
160 ? X86::RBX
161 : X86::NoRegister /* ScratchReg */);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000162
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000163 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000164
165 // Test (%SrcReg)
166 {
167 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
168 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
169 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000170 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx,
171 Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000172 }
173
174 // Test -1(%SrcReg, %CntReg, AccessSize)
175 {
176 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
177 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
178 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000179 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, RegCtx, Ctx,
180 Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000181 }
182
183 // Test (%DstReg)
184 {
185 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
186 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
187 0, Disp, DstReg, 0, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000188 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000189 }
190
191 // Test -1(%DstReg, %CntReg, AccessSize)
192 {
193 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
194 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
195 0, Disp, DstReg, CntReg, AccessSize, SMLoc(), SMLoc()));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000196 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000197 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000198
199 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000200}
201
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000202void X86AddressSanitizer::InstrumentMOVS(const MCInst &Inst,
203 OperandVector &Operands,
204 MCContext &Ctx, const MCInstrInfo &MII,
205 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000206 // Access size in bytes.
207 unsigned AccessSize = 0;
208
209 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000210 case X86::MOVSB:
211 AccessSize = 1;
212 break;
213 case X86::MOVSW:
214 AccessSize = 2;
215 break;
216 case X86::MOVSL:
217 AccessSize = 4;
218 break;
219 case X86::MOVSQ:
220 AccessSize = 8;
221 break;
222 default:
223 return;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000224 }
225
226 InstrumentMOVSImpl(AccessSize, Ctx, Out);
227}
228
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000229void X86AddressSanitizer::InstrumentMOV(const MCInst &Inst,
230 OperandVector &Operands, MCContext &Ctx,
231 const MCInstrInfo &MII,
232 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000233 // Access size in bytes.
234 unsigned AccessSize = 0;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000235
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000236 switch (Inst.getOpcode()) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000237 case X86::MOV8mi:
238 case X86::MOV8mr:
239 case X86::MOV8rm:
240 AccessSize = 1;
241 break;
242 case X86::MOV16mi:
243 case X86::MOV16mr:
244 case X86::MOV16rm:
245 AccessSize = 2;
246 break;
247 case X86::MOV32mi:
248 case X86::MOV32mr:
249 case X86::MOV32rm:
250 AccessSize = 4;
251 break;
252 case X86::MOV64mi32:
253 case X86::MOV64mr:
254 case X86::MOV64rm:
255 AccessSize = 8;
256 break;
257 case X86::MOVAPDmr:
258 case X86::MOVAPSmr:
259 case X86::MOVAPDrm:
260 case X86::MOVAPSrm:
261 AccessSize = 16;
262 break;
263 default:
264 return;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000265 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000266
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000267 const bool IsWrite = MII.get(Inst.getOpcode()).mayStore();
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000268 RegisterContext RegCtx(X86::RDI /* AddressReg */, X86::RAX /* ShadowReg */,
269 IsSmallMemAccess(AccessSize)
270 ? X86::RCX
271 : X86::NoRegister /* ScratchReg */);
272
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000273 for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000274 assert(Operands[Ix]);
275 MCParsedAsmOperand &Op = *Operands[Ix];
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000276 if (Op.isMem()) {
277 X86Operand &MemOp = static_cast<X86Operand &>(Op);
278 // FIXME: get rid of this limitation.
279 if (IsStackReg(MemOp.getMemBaseReg()) ||
280 IsStackReg(MemOp.getMemIndexReg())) {
281 continue;
282 }
283
284 InstrumentMemOperandPrologue(RegCtx, Ctx, Out);
285 InstrumentMemOperand(MemOp, AccessSize, IsWrite, RegCtx, Ctx, Out);
286 InstrumentMemOperandEpilogue(RegCtx, Ctx, Out);
287 }
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000288 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000289}
290
291class X86AddressSanitizer32 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000292public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000293 static const long kShadowOffset = 0x20000000;
294
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000295 X86AddressSanitizer32(const MCSubtargetInfo &STI)
296 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000297 virtual ~X86AddressSanitizer32() {}
298
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000299 virtual void StoreFlags(MCStreamer &Out) override {
300 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
301 }
302
303 virtual void RestoreFlags(MCStreamer &Out) override {
304 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
305 }
306
307 virtual void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
308 MCContext &Ctx,
309 MCStreamer &Out) override {
310 EmitInstruction(
311 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.addressReg(MVT::i32)));
312 EmitInstruction(
313 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.shadowReg(MVT::i32)));
314 if (RegCtx.ScratchReg != X86::NoRegister) {
315 EmitInstruction(
316 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.scratchReg(MVT::i32)));
317 }
318 StoreFlags(Out);
319 }
320
321 virtual void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
322 MCContext &Ctx,
323 MCStreamer &Out) override {
324 RestoreFlags(Out);
325 if (RegCtx.ScratchReg != X86::NoRegister) {
326 EmitInstruction(
327 Out, MCInstBuilder(X86::POP32r).addReg(RegCtx.scratchReg(MVT::i32)));
328 }
329 EmitInstruction(
330 Out, MCInstBuilder(X86::POP32r).addReg(RegCtx.shadowReg(MVT::i32)));
331 EmitInstruction(
332 Out, MCInstBuilder(X86::POP32r).addReg(RegCtx.addressReg(MVT::i32)));
333 }
334
335 virtual void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
336 bool IsWrite,
337 const RegisterContext &RegCtx,
338 MCContext &Ctx,
339 MCStreamer &Out) override;
340 virtual void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
341 bool IsWrite,
342 const RegisterContext &RegCtx,
343 MCContext &Ctx,
344 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000345 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
346 MCStreamer &Out) override;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000347
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000348private:
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000349 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
350 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000351 EmitInstruction(Out, MCInstBuilder(X86::CLD));
352 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
353
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000354 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
355 .addReg(X86::ESP)
356 .addReg(X86::ESP)
357 .addImm(-16));
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000358 EmitInstruction(
359 Out, MCInstBuilder(X86::PUSH32r).addReg(RegCtx.addressReg(MVT::i32)));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000360
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000361 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000362 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
363 const MCSymbolRefExpr *FnExpr =
364 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
365 EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr));
366 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000367};
368
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000369void X86AddressSanitizer32::InstrumentMemOperandSmall(
370 X86Operand &Op, unsigned AccessSize, bool IsWrite,
371 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
372 unsigned AddressRegI32 = RegCtx.addressReg(MVT::i32);
373 unsigned ShadowRegI32 = RegCtx.shadowReg(MVT::i32);
374 unsigned ShadowRegI8 = RegCtx.shadowReg(MVT::i8);
375
376 assert(RegCtx.ScratchReg != X86::NoRegister);
377 unsigned ScratchRegI32 = RegCtx.scratchReg(MVT::i32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000378
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000379 {
380 MCInst Inst;
381 Inst.setOpcode(X86::LEA32r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000382 Inst.addOperand(MCOperand::CreateReg(AddressRegI32));
David Blaikie960ea3f2014-06-08 16:18:35 +0000383 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000384 EmitInstruction(Out, Inst);
385 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000386
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000387 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg(
388 AddressRegI32));
389 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri)
390 .addReg(ShadowRegI32)
391 .addReg(ShadowRegI32)
392 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000393
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000394 {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000395 MCInst Inst;
396 Inst.setOpcode(X86::MOV8rm);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000397 Inst.addOperand(MCOperand::CreateReg(ShadowRegI8));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000398 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
399 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000400 X86Operand::CreateMem(0, Disp, ShadowRegI32, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000401 Op->addMemOperands(Inst, 5);
402 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000403 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000404
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000405 EmitInstruction(
406 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000407 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
408 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
409 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
410
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000411 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg(
412 AddressRegI32));
413 EmitInstruction(Out, MCInstBuilder(X86::AND32ri)
414 .addReg(ScratchRegI32)
415 .addReg(ScratchRegI32)
416 .addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000417
418 switch (AccessSize) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000419 case 1:
420 break;
421 case 2: {
422 MCInst Inst;
423 Inst.setOpcode(X86::LEA32r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000424 Inst.addOperand(MCOperand::CreateReg(ScratchRegI32));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000425
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000426 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
427 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000428 X86Operand::CreateMem(0, Disp, ScratchRegI32, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000429 Op->addMemOperands(Inst, 5);
430 EmitInstruction(Out, Inst);
431 break;
432 }
433 case 4:
434 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000435 .addReg(ScratchRegI32)
436 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000437 .addImm(3));
438 break;
439 default:
440 assert(false && "Incorrect access size");
441 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000442 }
443
444 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000445 Out,
446 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
447 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
448 ShadowRegI32));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000449 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
450
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000451 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000452 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000453}
454
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000455void X86AddressSanitizer32::InstrumentMemOperandLarge(
456 X86Operand &Op, unsigned AccessSize, bool IsWrite,
457 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
458 unsigned AddressRegI32 = RegCtx.addressReg(MVT::i32);
459 unsigned ShadowRegI32 = RegCtx.shadowReg(MVT::i32);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000460
461 {
462 MCInst Inst;
463 Inst.setOpcode(X86::LEA32r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000464 Inst.addOperand(MCOperand::CreateReg(AddressRegI32));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000465 Op.addMemOperands(Inst, 5);
466 EmitInstruction(Out, Inst);
467 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000468
469 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ShadowRegI32).addReg(
470 AddressRegI32));
471 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri)
472 .addReg(ShadowRegI32)
473 .addReg(ShadowRegI32)
474 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000475 {
476 MCInst Inst;
477 switch (AccessSize) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000478 case 8:
479 Inst.setOpcode(X86::CMP8mi);
480 break;
481 case 16:
482 Inst.setOpcode(X86::CMP16mi);
483 break;
484 default:
485 assert(false && "Incorrect access size");
486 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000487 }
488 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
489 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000490 X86Operand::CreateMem(0, Disp, ShadowRegI32, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000491 Op->addMemOperands(Inst, 5);
492 Inst.addOperand(MCOperand::CreateImm(0));
493 EmitInstruction(Out, Inst);
494 }
495 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
496 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
497 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
498
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000499 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000500 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000501}
502
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000503void X86AddressSanitizer32::InstrumentMOVSImpl(unsigned AccessSize,
504 MCContext &Ctx,
505 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000506 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000507
508 // No need to test when ECX is equals to zero.
509 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
510 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
511 EmitInstruction(
512 Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX));
513 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
514
515 // Instrument first and last elements in src and dst range.
516 InstrumentMOVSBase(X86::EDI /* DstReg */, X86::ESI /* SrcReg */,
517 X86::ECX /* CntReg */, AccessSize, Ctx, Out);
518
519 EmitLabel(Out, DoneSym);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000520 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000521}
522
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000523class X86AddressSanitizer64 : public X86AddressSanitizer {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000524public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000525 static const long kShadowOffset = 0x7fff8000;
526
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000527 X86AddressSanitizer64(const MCSubtargetInfo &STI)
528 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000529 virtual ~X86AddressSanitizer64() {}
530
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000531 virtual void StoreFlags(MCStreamer &Out) override {
532 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
533 }
534
535 virtual void RestoreFlags(MCStreamer &Out) override {
536 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
537 }
538
539 virtual void InstrumentMemOperandPrologue(const RegisterContext &RegCtx,
540 MCContext &Ctx,
541 MCStreamer &Out) override {
542 EmitAdjustRSP(Ctx, Out, -128);
543 EmitInstruction(
544 Out, MCInstBuilder(X86::PUSH64r).addReg(RegCtx.shadowReg(MVT::i64)));
545 EmitInstruction(
546 Out, MCInstBuilder(X86::PUSH64r).addReg(RegCtx.addressReg(MVT::i64)));
547 if (RegCtx.ScratchReg != X86::NoRegister) {
548 EmitInstruction(
549 Out, MCInstBuilder(X86::PUSH64r).addReg(RegCtx.scratchReg(MVT::i64)));
550 }
551 StoreFlags(Out);
552 }
553
554 virtual void InstrumentMemOperandEpilogue(const RegisterContext &RegCtx,
555 MCContext &Ctx,
556 MCStreamer &Out) override {
557 RestoreFlags(Out);
558 if (RegCtx.ScratchReg != X86::NoRegister) {
559 EmitInstruction(
560 Out, MCInstBuilder(X86::POP64r).addReg(RegCtx.scratchReg(MVT::i64)));
561 }
562 EmitInstruction(
563 Out, MCInstBuilder(X86::POP64r).addReg(RegCtx.addressReg(MVT::i64)));
564 EmitInstruction(
565 Out, MCInstBuilder(X86::POP64r).addReg(RegCtx.shadowReg(MVT::i64)));
566 EmitAdjustRSP(Ctx, Out, 128);
567 }
568
569 virtual void InstrumentMemOperandSmall(X86Operand &Op, unsigned AccessSize,
570 bool IsWrite,
571 const RegisterContext &RegCtx,
572 MCContext &Ctx,
573 MCStreamer &Out) override;
574 virtual void InstrumentMemOperandLarge(X86Operand &Op, unsigned AccessSize,
575 bool IsWrite,
576 const RegisterContext &RegCtx,
577 MCContext &Ctx,
578 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000579 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
580 MCStreamer &Out) override;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000581
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000582private:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000583 void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) {
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000584 MCInst Inst;
585 Inst.setOpcode(X86::LEA64r);
586 Inst.addOperand(MCOperand::CreateReg(X86::RSP));
587
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000588 const MCExpr *Disp = MCConstantExpr::Create(Offset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000589 std::unique_ptr<X86Operand> Op(
590 X86Operand::CreateMem(0, Disp, X86::RSP, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000591 Op->addMemOperands(Inst, 5);
592 EmitInstruction(Out, Inst);
593 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000594
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000595 void EmitCallAsanReport(unsigned AccessSize, bool IsWrite, MCContext &Ctx,
596 MCStreamer &Out, const RegisterContext &RegCtx) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000597 EmitInstruction(Out, MCInstBuilder(X86::CLD));
598 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
599
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000600 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
601 .addReg(X86::RSP)
602 .addReg(X86::RSP)
603 .addImm(-16));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000604
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000605 if (RegCtx.AddressReg != X86::RDI) {
606 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RDI).addReg(
607 RegCtx.addressReg(MVT::i64)));
608 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000609 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000610 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
611 const MCSymbolRefExpr *FnExpr =
612 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
613 EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr));
614 }
615};
616
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000617void X86AddressSanitizer64::InstrumentMemOperandSmall(
618 X86Operand &Op, unsigned AccessSize, bool IsWrite,
619 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
620 unsigned AddressRegI64 = RegCtx.addressReg(MVT::i64);
621 unsigned AddressRegI32 = RegCtx.addressReg(MVT::i32);
622 unsigned ShadowRegI64 = RegCtx.shadowReg(MVT::i64);
623 unsigned ShadowRegI32 = RegCtx.shadowReg(MVT::i32);
624 unsigned ShadowRegI8 = RegCtx.shadowReg(MVT::i8);
625
626 assert(RegCtx.ScratchReg != X86::NoRegister);
627 unsigned ScratchRegI32 = RegCtx.scratchReg(MVT::i32);
628
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000629 {
630 MCInst Inst;
631 Inst.setOpcode(X86::LEA64r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000632 Inst.addOperand(MCOperand::CreateReg(AddressRegI64));
David Blaikie960ea3f2014-06-08 16:18:35 +0000633 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000634 EmitInstruction(Out, Inst);
635 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000636 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg(
637 AddressRegI64));
638 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri)
639 .addReg(ShadowRegI64)
640 .addReg(ShadowRegI64)
641 .addImm(3));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000642 {
643 MCInst Inst;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000644 Inst.setOpcode(X86::MOV8rm);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000645 Inst.addOperand(MCOperand::CreateReg(ShadowRegI8));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000646 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000647 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000648 X86Operand::CreateMem(0, Disp, ShadowRegI64, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000649 Op->addMemOperands(Inst, 5);
650 EmitInstruction(Out, Inst);
651 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000652
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000653 EmitInstruction(
654 Out, MCInstBuilder(X86::TEST8rr).addReg(ShadowRegI8).addReg(ShadowRegI8));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000655 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
656 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
657 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
658
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000659 EmitInstruction(Out, MCInstBuilder(X86::MOV32rr).addReg(ScratchRegI32).addReg(
660 AddressRegI32));
661 EmitInstruction(Out, MCInstBuilder(X86::AND32ri)
662 .addReg(ScratchRegI32)
663 .addReg(ScratchRegI32)
664 .addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000665
666 switch (AccessSize) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000667 case 1:
668 break;
669 case 2: {
670 MCInst Inst;
671 Inst.setOpcode(X86::LEA32r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000672 Inst.addOperand(MCOperand::CreateReg(ScratchRegI32));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000673
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000674 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
675 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000676 X86Operand::CreateMem(0, Disp, ScratchRegI32, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000677 Op->addMemOperands(Inst, 5);
678 EmitInstruction(Out, Inst);
679 break;
680 }
681 case 4:
682 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000683 .addReg(ScratchRegI32)
684 .addReg(ScratchRegI32)
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000685 .addImm(3));
686 break;
687 default:
688 assert(false && "Incorrect access size");
689 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000690 }
691
692 EmitInstruction(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000693 Out,
694 MCInstBuilder(X86::MOVSX32rr8).addReg(ShadowRegI32).addReg(ShadowRegI8));
695 EmitInstruction(Out, MCInstBuilder(X86::CMP32rr).addReg(ScratchRegI32).addReg(
696 ShadowRegI32));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000697 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
698
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000699 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000700 EmitLabel(Out, DoneSym);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000701}
702
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000703void X86AddressSanitizer64::InstrumentMemOperandLarge(
704 X86Operand &Op, unsigned AccessSize, bool IsWrite,
705 const RegisterContext &RegCtx, MCContext &Ctx, MCStreamer &Out) {
706 unsigned AddressRegI64 = RegCtx.addressReg(MVT::i64);
707 unsigned ShadowRegI64 = RegCtx.shadowReg(MVT::i64);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000708
709 {
710 MCInst Inst;
711 Inst.setOpcode(X86::LEA64r);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000712 Inst.addOperand(MCOperand::CreateReg(AddressRegI64));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000713 Op.addMemOperands(Inst, 5);
714 EmitInstruction(Out, Inst);
715 }
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000716 EmitInstruction(Out, MCInstBuilder(X86::MOV64rr).addReg(ShadowRegI64).addReg(
717 AddressRegI64));
718 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri)
719 .addReg(ShadowRegI64)
720 .addReg(ShadowRegI64)
721 .addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000722 {
723 MCInst Inst;
724 switch (AccessSize) {
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000725 case 8:
726 Inst.setOpcode(X86::CMP8mi);
727 break;
728 case 16:
729 Inst.setOpcode(X86::CMP16mi);
730 break;
731 default:
732 assert(false && "Incorrect access size");
733 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000734 }
735 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
736 std::unique_ptr<X86Operand> Op(
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000737 X86Operand::CreateMem(0, Disp, ShadowRegI64, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000738 Op->addMemOperands(Inst, 5);
739 Inst.addOperand(MCOperand::CreateImm(0));
740 EmitInstruction(Out, Inst);
741 }
742
743 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
744 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
745 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
746
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000747 EmitCallAsanReport(AccessSize, IsWrite, Ctx, Out, RegCtx);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000748 EmitLabel(Out, DoneSym);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000749}
750
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000751void X86AddressSanitizer64::InstrumentMOVSImpl(unsigned AccessSize,
752 MCContext &Ctx,
753 MCStreamer &Out) {
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000754 StoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000755
756 // No need to test when RCX is equals to zero.
757 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
758 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
759 EmitInstruction(
760 Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX));
761 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
762
763 // Instrument first and last elements in src and dst range.
764 InstrumentMOVSBase(X86::RDI /* DstReg */, X86::RSI /* SrcReg */,
765 X86::RCX /* CntReg */, AccessSize, Ctx, Out);
766
767 EmitLabel(Out, DoneSym);
Yuri Gorsheninc107d142014-09-01 12:51:00 +0000768 RestoreFlags(Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000769}
770
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000771} // End anonymous namespace
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000772
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000773X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo &STI)
774 : STI(STI) {}
775
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000776X86AsmInstrumentation::~X86AsmInstrumentation() {}
777
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000778void X86AsmInstrumentation::InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000779 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000780 const MCInstrInfo &MII, MCStreamer &Out) {
781 EmitInstruction(Out, Inst);
782}
783
784void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out,
785 const MCInst &Inst) {
786 Out.EmitInstruction(Inst, STI);
787}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000788
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000789X86AsmInstrumentation *
790CreateX86AsmInstrumentation(const MCTargetOptions &MCOptions,
791 const MCContext &Ctx, const MCSubtargetInfo &STI) {
Evgeniy Stepanov29865f72014-04-30 14:04:31 +0000792 Triple T(STI.getTargetTriple());
793 const bool hasCompilerRTSupport = T.isOSLinux();
Evgeniy Stepanov3819f022014-05-07 07:54:11 +0000794 if (ClAsanInstrumentAssembly && hasCompilerRTSupport &&
795 MCOptions.SanitizeAddress) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000796 if ((STI.getFeatureBits() & X86::Mode32Bit) != 0)
797 return new X86AddressSanitizer32(STI);
798 if ((STI.getFeatureBits() & X86::Mode64Bit) != 0)
799 return new X86AddressSanitizer64(STI);
800 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000801 return new X86AsmInstrumentation(STI);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000802}
803
Evgeniy Stepanov50505532014-08-27 13:11:55 +0000804} // End llvm namespace