blob: 1cbd23b1a484905e445ea6c514c47a807ee56bda [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"
13#include "llvm/ADT/StringExtras.h"
Evgeniy Stepanov29865f72014-04-30 14:04:31 +000014#include "llvm/ADT/Triple.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000015#include "llvm/IR/Function.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000016#include "llvm/MC/MCContext.h"
17#include "llvm/MC/MCInst.h"
18#include "llvm/MC/MCInstBuilder.h"
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000019#include "llvm/MC/MCInstrInfo.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000020#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000021#include "llvm/MC/MCStreamer.h"
22#include "llvm/MC/MCSubtargetInfo.h"
David Blaikie960ea3f2014-06-08 16:18:35 +000023#include "llvm/MC/MCTargetAsmParser.h"
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +000024#include "llvm/MC/MCTargetOptions.h"
Evgeniy Stepanov3819f022014-05-07 07:54:11 +000025#include "llvm/Support/CommandLine.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000026
27namespace llvm {
28namespace {
29
Evgeniy Stepanov3819f022014-05-07 07:54:11 +000030static cl::opt<bool> ClAsanInstrumentAssembly(
31 "asan-instrument-assembly",
32 cl::desc("instrument assembly with AddressSanitizer checks"), cl::Hidden,
33 cl::init(false));
34
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000035bool IsStackReg(unsigned Reg) {
36 return Reg == X86::RSP || Reg == X86::ESP || Reg == X86::SP;
37}
38
39std::string FuncName(unsigned AccessSize, bool IsWrite) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000040 return std::string("__asan_report_") + (IsWrite ? "store" : "load") +
41 utostr(AccessSize);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000042}
43
44class X86AddressSanitizer : public X86AsmInstrumentation {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000045 public:
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000046 X86AddressSanitizer(const MCSubtargetInfo &STI)
47 : X86AsmInstrumentation(STI), RepPrefix(false) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000048 virtual ~X86AddressSanitizer() {}
49
50 // X86AsmInstrumentation implementation:
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000051 virtual void InstrumentAndEmitInstruction(const MCInst &Inst,
52 OperandVector &Operands,
53 MCContext &Ctx,
54 const MCInstrInfo &MII,
55 MCStreamer &Out) override {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000056 InstrumentMOVS(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000057 if (RepPrefix) EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX));
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000058
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000059 InstrumentMOV(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000060
61 RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX);
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000062 if (!RepPrefix) EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000063 }
64
65 // Should be implemented differently in x86_32 and x86_64 subclasses.
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000066 virtual void InstrumentMemOperandSmallImpl(X86Operand &Op,
67 unsigned AccessSize, bool IsWrite,
68 MCContext &Ctx,
69 MCStreamer &Out) = 0;
70 virtual void InstrumentMemOperandLargeImpl(X86Operand &Op,
71 unsigned AccessSize, bool IsWrite,
72 MCContext &Ctx,
73 MCStreamer &Out) = 0;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000074 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
75 MCStreamer &Out) = 0;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000076
David Blaikie960ea3f2014-06-08 16:18:35 +000077 void InstrumentMemOperand(MCParsedAsmOperand &Op, unsigned AccessSize,
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000078 bool IsWrite, MCContext &Ctx, MCStreamer &Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000079 void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg,
80 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out);
81 void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands,
82 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
David Blaikie960ea3f2014-06-08 16:18:35 +000083 void InstrumentMOV(const MCInst &Inst, OperandVector &Operands,
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000084 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000085
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000086 void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); }
87
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000088 protected:
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000089 // True when previous instruction was actually REP prefix.
90 bool RepPrefix;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000091};
92
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +000093void X86AddressSanitizer::InstrumentMemOperand(MCParsedAsmOperand &Op,
94 unsigned AccessSize,
95 bool IsWrite, MCContext &Ctx,
96 MCStreamer &Out) {
David Blaikie960ea3f2014-06-08 16:18:35 +000097 assert(Op.isMem() && "Op should be a memory operand.");
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000098 assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 &&
99 "AccessSize should be a power of two, less or equal than 16.");
100
David Blaikie960ea3f2014-06-08 16:18:35 +0000101 X86Operand &MemOp = static_cast<X86Operand &>(Op);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000102 // FIXME: get rid of this limitation.
David Blaikie960ea3f2014-06-08 16:18:35 +0000103 if (IsStackReg(MemOp.getMemBaseReg()) || IsStackReg(MemOp.getMemIndexReg()))
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000104 return;
105
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000106 // FIXME: take into account load/store alignment.
107 if (AccessSize < 8)
108 InstrumentMemOperandSmallImpl(MemOp, AccessSize, IsWrite, Ctx, Out);
109 else
110 InstrumentMemOperandLargeImpl(MemOp, AccessSize, IsWrite, Ctx, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000111}
112
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000113void X86AddressSanitizer::InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg,
114 unsigned CntReg,
115 unsigned AccessSize,
116 MCContext &Ctx, MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000117 // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)]
118 // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)].
119
120 // FIXME: extract prolog and epilogue from InstrumentMemOperand()
121 // and optimize this sequence of InstrumentMemOperand() calls.
122
123 // Test (%SrcReg)
124 {
125 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
126 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
127 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc()));
128 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, Ctx, Out);
129 }
130
131 // Test -1(%SrcReg, %CntReg, AccessSize)
132 {
133 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
134 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
135 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(), SMLoc()));
136 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, Ctx, Out);
137 }
138
139 // Test (%DstReg)
140 {
141 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
142 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
143 0, Disp, DstReg, 0, AccessSize, SMLoc(), SMLoc()));
144 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, Ctx, Out);
145 }
146
147 // Test -1(%DstReg, %CntReg, AccessSize)
148 {
149 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
150 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
151 0, Disp, DstReg, CntReg, AccessSize, SMLoc(), SMLoc()));
152 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, Ctx, Out);
153 }
154}
155
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000156void X86AddressSanitizer::InstrumentMOVS(const MCInst &Inst,
157 OperandVector &Operands,
158 MCContext &Ctx, const MCInstrInfo &MII,
159 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000160 // Access size in bytes.
161 unsigned AccessSize = 0;
162
163 switch (Inst.getOpcode()) {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000164 case X86::MOVSB:
165 AccessSize = 1;
166 break;
167 case X86::MOVSW:
168 AccessSize = 2;
169 break;
170 case X86::MOVSL:
171 AccessSize = 4;
172 break;
173 case X86::MOVSQ:
174 AccessSize = 8;
175 break;
176 default:
177 return;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000178 }
179
180 InstrumentMOVSImpl(AccessSize, Ctx, Out);
181}
182
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000183void X86AddressSanitizer::InstrumentMOV(const MCInst &Inst,
184 OperandVector &Operands, MCContext &Ctx,
185 const MCInstrInfo &MII,
186 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000187 // Access size in bytes.
188 unsigned AccessSize = 0;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000189
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000190 switch (Inst.getOpcode()) {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000191 case X86::MOV8mi:
192 case X86::MOV8mr:
193 case X86::MOV8rm:
194 AccessSize = 1;
195 break;
196 case X86::MOV16mi:
197 case X86::MOV16mr:
198 case X86::MOV16rm:
199 AccessSize = 2;
200 break;
201 case X86::MOV32mi:
202 case X86::MOV32mr:
203 case X86::MOV32rm:
204 AccessSize = 4;
205 break;
206 case X86::MOV64mi32:
207 case X86::MOV64mr:
208 case X86::MOV64rm:
209 AccessSize = 8;
210 break;
211 case X86::MOVAPDmr:
212 case X86::MOVAPSmr:
213 case X86::MOVAPDrm:
214 case X86::MOVAPSrm:
215 AccessSize = 16;
216 break;
217 default:
218 return;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000219 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000220
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000221 const bool IsWrite = MII.get(Inst.getOpcode()).mayStore();
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000222 for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000223 assert(Operands[Ix]);
224 MCParsedAsmOperand &Op = *Operands[Ix];
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000225 if (Op.isMem()) InstrumentMemOperand(Op, AccessSize, IsWrite, Ctx, Out);
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000226 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000227}
228
229class X86AddressSanitizer32 : public X86AddressSanitizer {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000230 public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000231 static const long kShadowOffset = 0x20000000;
232
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000233 X86AddressSanitizer32(const MCSubtargetInfo &STI)
234 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000235 virtual ~X86AddressSanitizer32() {}
236
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000237 virtual void InstrumentMemOperandSmallImpl(X86Operand &Op,
238 unsigned AccessSize, bool IsWrite,
239 MCContext &Ctx,
240 MCStreamer &Out) override;
241 virtual void InstrumentMemOperandLargeImpl(X86Operand &Op,
242 unsigned AccessSize, bool IsWrite,
243 MCContext &Ctx,
244 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000245 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
246 MCStreamer &Out) override;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000247
248 private:
249 void EmitCallAsanReport(MCContext &Ctx, MCStreamer &Out, unsigned AccessSize,
250 bool IsWrite, unsigned AddressReg) {
251 EmitInstruction(Out, MCInstBuilder(X86::CLD));
252 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
253
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000254 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
255 .addReg(X86::ESP)
256 .addReg(X86::ESP)
257 .addImm(-16));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000258 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(AddressReg));
259
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000260 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000261 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
262 const MCSymbolRefExpr *FnExpr =
263 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
264 EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr));
265 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000266};
267
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000268void X86AddressSanitizer32::InstrumentMemOperandSmallImpl(X86Operand &Op,
269 unsigned AccessSize,
270 bool IsWrite,
271 MCContext &Ctx,
272 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000273 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EAX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000274 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::ECX));
275 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EDX));
276 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
277
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000278 {
279 MCInst Inst;
280 Inst.setOpcode(X86::LEA32r);
281 Inst.addOperand(MCOperand::CreateReg(X86::EAX));
David Blaikie960ea3f2014-06-08 16:18:35 +0000282 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000283 EmitInstruction(Out, Inst);
284 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000285
286 EmitInstruction(
287 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EAX));
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000288 EmitInstruction(
289 Out,
290 MCInstBuilder(X86::SHR32ri).addReg(X86::ECX).addReg(X86::ECX).addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000291
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000292 {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000293 MCInst Inst;
294 Inst.setOpcode(X86::MOV8rm);
295 Inst.addOperand(MCOperand::CreateReg(X86::CL));
296 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
297 std::unique_ptr<X86Operand> Op(
298 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
299 Op->addMemOperands(Inst, 5);
300 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000301 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000302
303 EmitInstruction(Out,
304 MCInstBuilder(X86::TEST8rr).addReg(X86::CL).addReg(X86::CL));
305 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
306 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
307 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
308
309 EmitInstruction(
310 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::EDX).addReg(X86::EAX));
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000311 EmitInstruction(
312 Out,
313 MCInstBuilder(X86::AND32ri).addReg(X86::EDX).addReg(X86::EDX).addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000314
315 switch (AccessSize) {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000316 case 1:
317 break;
318 case 2: {
319 MCInst Inst;
320 Inst.setOpcode(X86::LEA32r);
321 Inst.addOperand(MCOperand::CreateReg(X86::EDX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000322
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000323 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
324 std::unique_ptr<X86Operand> Op(
325 X86Operand::CreateMem(0, Disp, X86::EDX, 0, 1, SMLoc(), SMLoc()));
326 Op->addMemOperands(Inst, 5);
327 EmitInstruction(Out, Inst);
328 break;
329 }
330 case 4:
331 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
332 .addReg(X86::EDX)
333 .addReg(X86::EDX)
334 .addImm(3));
335 break;
336 default:
337 assert(false && "Incorrect access size");
338 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000339 }
340
341 EmitInstruction(
342 Out, MCInstBuilder(X86::MOVSX32rr8).addReg(X86::ECX).addReg(X86::CL));
343 EmitInstruction(
344 Out, MCInstBuilder(X86::CMP32rr).addReg(X86::EDX).addReg(X86::ECX));
345 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
346
347 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite, X86::EAX);
348 EmitLabel(Out, DoneSym);
349
350 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
351 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EDX));
352 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::ECX));
Evgeniy Stepanovfc9c78a2014-05-21 08:14:24 +0000353 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EAX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000354}
355
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000356void X86AddressSanitizer32::InstrumentMemOperandLargeImpl(X86Operand &Op,
357 unsigned AccessSize,
358 bool IsWrite,
359 MCContext &Ctx,
360 MCStreamer &Out) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000361 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EAX));
362 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::ECX));
363 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
364
365 {
366 MCInst Inst;
367 Inst.setOpcode(X86::LEA32r);
368 Inst.addOperand(MCOperand::CreateReg(X86::EAX));
369 Op.addMemOperands(Inst, 5);
370 EmitInstruction(Out, Inst);
371 }
372 EmitInstruction(
373 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EAX));
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000374 EmitInstruction(
375 Out,
376 MCInstBuilder(X86::SHR32ri).addReg(X86::ECX).addReg(X86::ECX).addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000377 {
378 MCInst Inst;
379 switch (AccessSize) {
380 case 8:
381 Inst.setOpcode(X86::CMP8mi);
382 break;
383 case 16:
384 Inst.setOpcode(X86::CMP16mi);
385 break;
386 default:
387 assert(false && "Incorrect access size");
388 break;
389 }
390 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
391 std::unique_ptr<X86Operand> Op(
392 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
393 Op->addMemOperands(Inst, 5);
394 Inst.addOperand(MCOperand::CreateImm(0));
395 EmitInstruction(Out, Inst);
396 }
397 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
398 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
399 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
400
401 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite, X86::EAX);
402 EmitLabel(Out, DoneSym);
403
404 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
405 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::ECX));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000406 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EAX));
407}
408
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000409void X86AddressSanitizer32::InstrumentMOVSImpl(unsigned AccessSize,
410 MCContext &Ctx,
411 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000412 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
413
414 // No need to test when ECX is equals to zero.
415 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
416 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
417 EmitInstruction(
418 Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX));
419 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
420
421 // Instrument first and last elements in src and dst range.
422 InstrumentMOVSBase(X86::EDI /* DstReg */, X86::ESI /* SrcReg */,
423 X86::ECX /* CntReg */, AccessSize, Ctx, Out);
424
425 EmitLabel(Out, DoneSym);
426 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
427}
428
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000429class X86AddressSanitizer64 : public X86AddressSanitizer {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000430 public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000431 static const long kShadowOffset = 0x7fff8000;
432
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000433 X86AddressSanitizer64(const MCSubtargetInfo &STI)
434 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000435 virtual ~X86AddressSanitizer64() {}
436
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000437 virtual void InstrumentMemOperandSmallImpl(X86Operand &Op,
438 unsigned AccessSize, bool IsWrite,
439 MCContext &Ctx,
440 MCStreamer &Out) override;
441 virtual void InstrumentMemOperandLargeImpl(X86Operand &Op,
442 unsigned AccessSize, bool IsWrite,
443 MCContext &Ctx,
444 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000445 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
446 MCStreamer &Out) override;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000447
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000448 private:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000449 void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) {
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000450 MCInst Inst;
451 Inst.setOpcode(X86::LEA64r);
452 Inst.addOperand(MCOperand::CreateReg(X86::RSP));
453
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000454 const MCExpr *Disp = MCConstantExpr::Create(Offset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000455 std::unique_ptr<X86Operand> Op(
456 X86Operand::CreateMem(0, Disp, X86::RSP, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000457 Op->addMemOperands(Inst, 5);
458 EmitInstruction(Out, Inst);
459 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000460
461 void EmitCallAsanReport(MCContext &Ctx, MCStreamer &Out, unsigned AccessSize,
462 bool IsWrite) {
463 EmitInstruction(Out, MCInstBuilder(X86::CLD));
464 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
465
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000466 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8)
467 .addReg(X86::RSP)
468 .addReg(X86::RSP)
469 .addImm(-16));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000470
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000471 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000472 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
473 const MCSymbolRefExpr *FnExpr =
474 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
475 EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr));
476 }
477};
478
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000479void X86AddressSanitizer64::InstrumentMemOperandSmallImpl(X86Operand &Op,
480 unsigned AccessSize,
481 bool IsWrite,
482 MCContext &Ctx,
483 MCStreamer &Out) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000484 EmitAdjustRSP(Ctx, Out, -128);
485 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RAX));
486 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RCX));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000487 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RDI));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000488 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000489 {
490 MCInst Inst;
491 Inst.setOpcode(X86::LEA64r);
492 Inst.addOperand(MCOperand::CreateReg(X86::RDI));
David Blaikie960ea3f2014-06-08 16:18:35 +0000493 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000494 EmitInstruction(Out, Inst);
495 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000496 EmitInstruction(
497 Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RAX).addReg(X86::RDI));
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000498 EmitInstruction(
499 Out,
500 MCInstBuilder(X86::SHR64ri).addReg(X86::RAX).addReg(X86::RAX).addImm(3));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000501 {
502 MCInst Inst;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000503 Inst.setOpcode(X86::MOV8rm);
504 Inst.addOperand(MCOperand::CreateReg(X86::AL));
505 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000506 std::unique_ptr<X86Operand> Op(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000507 X86Operand::CreateMem(0, Disp, X86::RAX, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000508 Op->addMemOperands(Inst, 5);
509 EmitInstruction(Out, Inst);
510 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000511
512 EmitInstruction(Out,
513 MCInstBuilder(X86::TEST8rr).addReg(X86::AL).addReg(X86::AL));
514 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
515 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
516 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
517
518 EmitInstruction(
519 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EDI));
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000520 EmitInstruction(
521 Out,
522 MCInstBuilder(X86::AND32ri).addReg(X86::ECX).addReg(X86::ECX).addImm(7));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000523
524 switch (AccessSize) {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000525 case 1:
526 break;
527 case 2: {
528 MCInst Inst;
529 Inst.setOpcode(X86::LEA32r);
530 Inst.addOperand(MCOperand::CreateReg(X86::ECX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000531
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000532 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
533 std::unique_ptr<X86Operand> Op(
534 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
535 Op->addMemOperands(Inst, 5);
536 EmitInstruction(Out, Inst);
537 break;
538 }
539 case 4:
540 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8)
541 .addReg(X86::ECX)
542 .addReg(X86::ECX)
543 .addImm(3));
544 break;
545 default:
546 assert(false && "Incorrect access size");
547 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000548 }
549
550 EmitInstruction(
551 Out, MCInstBuilder(X86::MOVSX32rr8).addReg(X86::EAX).addReg(X86::AL));
552 EmitInstruction(
553 Out, MCInstBuilder(X86::CMP32rr).addReg(X86::ECX).addReg(X86::EAX));
554 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
555
556 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite);
557 EmitLabel(Out, DoneSym);
558
559 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
560 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RDI));
561 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RCX));
562 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RAX));
563 EmitAdjustRSP(Ctx, Out, 128);
564}
565
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000566void X86AddressSanitizer64::InstrumentMemOperandLargeImpl(X86Operand &Op,
567 unsigned AccessSize,
568 bool IsWrite,
569 MCContext &Ctx,
570 MCStreamer &Out) {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000571 EmitAdjustRSP(Ctx, Out, -128);
572 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RAX));
573 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
574
575 {
576 MCInst Inst;
577 Inst.setOpcode(X86::LEA64r);
578 Inst.addOperand(MCOperand::CreateReg(X86::RAX));
579 Op.addMemOperands(Inst, 5);
580 EmitInstruction(Out, Inst);
581 }
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000582 EmitInstruction(
583 Out,
584 MCInstBuilder(X86::SHR64ri).addReg(X86::RAX).addReg(X86::RAX).addImm(3));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000585 {
586 MCInst Inst;
587 switch (AccessSize) {
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000588 case 8:
589 Inst.setOpcode(X86::CMP8mi);
590 break;
591 case 16:
592 Inst.setOpcode(X86::CMP16mi);
593 break;
594 default:
595 assert(false && "Incorrect access size");
596 break;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000597 }
598 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
599 std::unique_ptr<X86Operand> Op(
600 X86Operand::CreateMem(0, Disp, X86::RAX, 0, 1, SMLoc(), SMLoc()));
601 Op->addMemOperands(Inst, 5);
602 Inst.addOperand(MCOperand::CreateImm(0));
603 EmitInstruction(Out, Inst);
604 }
605
606 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
607 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
608 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
609
610 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite);
611 EmitLabel(Out, DoneSym);
612
613 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
614 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RAX));
615 EmitAdjustRSP(Ctx, Out, 128);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000616}
617
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000618void X86AddressSanitizer64::InstrumentMOVSImpl(unsigned AccessSize,
619 MCContext &Ctx,
620 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000621 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
622
623 // No need to test when RCX is equals to zero.
624 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
625 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
626 EmitInstruction(
627 Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX));
628 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
629
630 // Instrument first and last elements in src and dst range.
631 InstrumentMOVSBase(X86::RDI /* DstReg */, X86::RSI /* SrcReg */,
632 X86::RCX /* CntReg */, AccessSize, Ctx, Out);
633
634 EmitLabel(Out, DoneSym);
635 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
636}
637
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000638} // End anonymous namespace
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000639
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000640X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo &STI)
641 : STI(STI) {}
642
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000643X86AsmInstrumentation::~X86AsmInstrumentation() {}
644
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000645void X86AsmInstrumentation::InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000646 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000647 const MCInstrInfo &MII, MCStreamer &Out) {
648 EmitInstruction(Out, Inst);
649}
650
651void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out,
652 const MCInst &Inst) {
653 Out.EmitInstruction(Inst, STI);
654}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000655
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000656X86AsmInstrumentation *CreateX86AsmInstrumentation(
657 const MCTargetOptions &MCOptions, const MCContext &Ctx,
658 const MCSubtargetInfo &STI) {
Evgeniy Stepanov29865f72014-04-30 14:04:31 +0000659 Triple T(STI.getTargetTriple());
660 const bool hasCompilerRTSupport = T.isOSLinux();
Evgeniy Stepanov3819f022014-05-07 07:54:11 +0000661 if (ClAsanInstrumentAssembly && hasCompilerRTSupport &&
662 MCOptions.SanitizeAddress) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000663 if ((STI.getFeatureBits() & X86::Mode32Bit) != 0)
664 return new X86AddressSanitizer32(STI);
665 if ((STI.getFeatureBits() & X86::Mode64Bit) != 0)
666 return new X86AddressSanitizer64(STI);
667 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000668 return new X86AsmInstrumentation(STI);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000669}
670
Evgeniy Stepanov4d04f662014-08-27 11:10:54 +0000671} // End llvm namespace