blob: f67258843a041c614804b0cbd88bcd1998d6208d [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 {
45public:
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 Stepanov77ad8662014-07-31 09:11:04 +000051 virtual void InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000052 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
53 const MCInstrInfo &MII, MCStreamer &Out) override {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000054 InstrumentMOVS(Inst, Operands, Ctx, MII, Out);
55 if (RepPrefix)
56 EmitInstruction(Out, MCInstBuilder(X86::REP_PREFIX));
57
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000058 InstrumentMOV(Inst, Operands, Ctx, MII, Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000059
60 RepPrefix = (Inst.getOpcode() == X86::REP_PREFIX);
61 if (!RepPrefix)
62 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 Stepanov6fa6c672014-07-07 13:57:37 +000066 virtual void InstrumentMemOperandSmallImpl(
67 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
68 MCStreamer &Out) = 0;
69 virtual void InstrumentMemOperandLargeImpl(
70 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
71 MCStreamer &Out) = 0;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000072 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
73 MCStreamer &Out) = 0;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000074
David Blaikie960ea3f2014-06-08 16:18:35 +000075 void InstrumentMemOperand(MCParsedAsmOperand &Op, unsigned AccessSize,
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000076 bool IsWrite, MCContext &Ctx, MCStreamer &Out);
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000077 void InstrumentMOVSBase(unsigned DstReg, unsigned SrcReg, unsigned CntReg,
78 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out);
79 void InstrumentMOVS(const MCInst &Inst, OperandVector &Operands,
80 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
David Blaikie960ea3f2014-06-08 16:18:35 +000081 void InstrumentMOV(const MCInst &Inst, OperandVector &Operands,
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000082 MCContext &Ctx, const MCInstrInfo &MII, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000083
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000084 void EmitLabel(MCStreamer &Out, MCSymbol *Label) { Out.EmitLabel(Label); }
85
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000086protected:
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +000087 // True when previous instruction was actually REP prefix.
88 bool RepPrefix;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000089};
90
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +000091void X86AddressSanitizer::InstrumentMemOperand(
92 MCParsedAsmOperand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
93 MCStreamer &Out) {
David Blaikie960ea3f2014-06-08 16:18:35 +000094 assert(Op.isMem() && "Op should be a memory operand.");
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000095 assert((AccessSize & (AccessSize - 1)) == 0 && AccessSize <= 16 &&
96 "AccessSize should be a power of two, less or equal than 16.");
97
David Blaikie960ea3f2014-06-08 16:18:35 +000098 X86Operand &MemOp = static_cast<X86Operand &>(Op);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000099 // FIXME: get rid of this limitation.
David Blaikie960ea3f2014-06-08 16:18:35 +0000100 if (IsStackReg(MemOp.getMemBaseReg()) || IsStackReg(MemOp.getMemIndexReg()))
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000101 return;
102
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000103 // FIXME: take into account load/store alignment.
104 if (AccessSize < 8)
105 InstrumentMemOperandSmallImpl(MemOp, AccessSize, IsWrite, Ctx, Out);
106 else
107 InstrumentMemOperandLargeImpl(MemOp, AccessSize, IsWrite, Ctx, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000108}
109
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000110void X86AddressSanitizer::InstrumentMOVSBase(
111 unsigned DstReg, unsigned SrcReg, unsigned CntReg, unsigned AccessSize,
112 MCContext &Ctx, MCStreamer &Out) {
113 // FIXME: check whole ranges [DstReg .. DstReg + AccessSize * (CntReg - 1)]
114 // and [SrcReg .. SrcReg + AccessSize * (CntReg - 1)].
115
116 // FIXME: extract prolog and epilogue from InstrumentMemOperand()
117 // and optimize this sequence of InstrumentMemOperand() calls.
118
119 // Test (%SrcReg)
120 {
121 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
122 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
123 0, Disp, SrcReg, 0, AccessSize, SMLoc(), SMLoc()));
124 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, Ctx, Out);
125 }
126
127 // Test -1(%SrcReg, %CntReg, AccessSize)
128 {
129 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
130 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
131 0, Disp, SrcReg, CntReg, AccessSize, SMLoc(), SMLoc()));
132 InstrumentMemOperand(*Op, AccessSize, false /* IsWrite */, Ctx, Out);
133 }
134
135 // Test (%DstReg)
136 {
137 const MCExpr *Disp = MCConstantExpr::Create(0, Ctx);
138 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
139 0, Disp, DstReg, 0, AccessSize, SMLoc(), SMLoc()));
140 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, Ctx, Out);
141 }
142
143 // Test -1(%DstReg, %CntReg, AccessSize)
144 {
145 const MCExpr *Disp = MCConstantExpr::Create(-1, Ctx);
146 std::unique_ptr<X86Operand> Op(X86Operand::CreateMem(
147 0, Disp, DstReg, CntReg, AccessSize, SMLoc(), SMLoc()));
148 InstrumentMemOperand(*Op, AccessSize, true /* IsWrite */, Ctx, Out);
149 }
150}
151
152void X86AddressSanitizer::InstrumentMOVS(
153 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
154 const MCInstrInfo &MII, MCStreamer &Out) {
155 // Access size in bytes.
156 unsigned AccessSize = 0;
157
158 switch (Inst.getOpcode()) {
159 case X86::MOVSB:
160 AccessSize = 1;
161 break;
162 case X86::MOVSW:
163 AccessSize = 2;
164 break;
165 case X86::MOVSL:
166 AccessSize = 4;
167 break;
168 case X86::MOVSQ:
169 AccessSize = 8;
170 break;
171 default:
172 return;
173 }
174
175 InstrumentMOVSImpl(AccessSize, Ctx, Out);
176}
177
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000178void X86AddressSanitizer::InstrumentMOV(
179 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
180 const MCInstrInfo &MII, MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000181 // Access size in bytes.
182 unsigned AccessSize = 0;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000183
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000184 switch (Inst.getOpcode()) {
185 case X86::MOV8mi:
186 case X86::MOV8mr:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000187 case X86::MOV8rm:
188 AccessSize = 1;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000189 break;
190 case X86::MOV16mi:
191 case X86::MOV16mr:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000192 case X86::MOV16rm:
193 AccessSize = 2;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000194 break;
195 case X86::MOV32mi:
196 case X86::MOV32mr:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000197 case X86::MOV32rm:
198 AccessSize = 4;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000199 break;
200 case X86::MOV64mi32:
201 case X86::MOV64mr:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000202 case X86::MOV64rm:
203 AccessSize = 8;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000204 break;
205 case X86::MOVAPDmr:
206 case X86::MOVAPSmr:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000207 case X86::MOVAPDrm:
208 case X86::MOVAPSrm:
209 AccessSize = 16;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000210 break;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000211 default:
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000212 return;
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000213 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000214
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +0000215 const bool IsWrite = MII.get(Inst.getOpcode()).mayStore();
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000216 for (unsigned Ix = 0; Ix < Operands.size(); ++Ix) {
David Blaikie960ea3f2014-06-08 16:18:35 +0000217 assert(Operands[Ix]);
218 MCParsedAsmOperand &Op = *Operands[Ix];
219 if (Op.isMem())
Evgeniy Stepanovb6c47a52014-04-24 09:56:15 +0000220 InstrumentMemOperand(Op, AccessSize, IsWrite, Ctx, Out);
221 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000222}
223
224class X86AddressSanitizer32 : public X86AddressSanitizer {
225public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000226 static const long kShadowOffset = 0x20000000;
227
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000228 X86AddressSanitizer32(const MCSubtargetInfo &STI)
229 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000230 virtual ~X86AddressSanitizer32() {}
231
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000232 virtual void InstrumentMemOperandSmallImpl(
233 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
234 MCStreamer &Out) override;
235 virtual void InstrumentMemOperandLargeImpl(
236 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
237 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000238 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
239 MCStreamer &Out) override;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000240
241 private:
242 void EmitCallAsanReport(MCContext &Ctx, MCStreamer &Out, unsigned AccessSize,
243 bool IsWrite, unsigned AddressReg) {
244 EmitInstruction(Out, MCInstBuilder(X86::CLD));
245 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
246
247 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8).addReg(X86::ESP)
248 .addReg(X86::ESP).addImm(-16));
249 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(AddressReg));
250
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000251 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000252 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
253 const MCSymbolRefExpr *FnExpr =
254 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
255 EmitInstruction(Out, MCInstBuilder(X86::CALLpcrel32).addExpr(FnExpr));
256 }
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000257};
258
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000259void X86AddressSanitizer32::InstrumentMemOperandSmallImpl(
260 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
261 MCStreamer &Out) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000262 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EAX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000263 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::ECX));
264 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EDX));
265 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
266
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000267 {
268 MCInst Inst;
269 Inst.setOpcode(X86::LEA32r);
270 Inst.addOperand(MCOperand::CreateReg(X86::EAX));
David Blaikie960ea3f2014-06-08 16:18:35 +0000271 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000272 EmitInstruction(Out, Inst);
273 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000274
275 EmitInstruction(
276 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EAX));
277 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri).addReg(X86::ECX)
278 .addReg(X86::ECX).addImm(3));
279
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000280 {
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000281 MCInst Inst;
282 Inst.setOpcode(X86::MOV8rm);
283 Inst.addOperand(MCOperand::CreateReg(X86::CL));
284 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
285 std::unique_ptr<X86Operand> Op(
286 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
287 Op->addMemOperands(Inst, 5);
288 EmitInstruction(Out, Inst);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000289 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000290
291 EmitInstruction(Out,
292 MCInstBuilder(X86::TEST8rr).addReg(X86::CL).addReg(X86::CL));
293 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
294 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
295 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
296
297 EmitInstruction(
298 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::EDX).addReg(X86::EAX));
299 EmitInstruction(Out, MCInstBuilder(X86::AND32ri).addReg(X86::EDX)
300 .addReg(X86::EDX).addImm(7));
301
302 switch (AccessSize) {
303 case 1:
304 break;
305 case 2: {
306 MCInst Inst;
307 Inst.setOpcode(X86::LEA32r);
308 Inst.addOperand(MCOperand::CreateReg(X86::EDX));
309
310 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
311 std::unique_ptr<X86Operand> Op(
312 X86Operand::CreateMem(0, Disp, X86::EDX, 0, 1, SMLoc(), SMLoc()));
313 Op->addMemOperands(Inst, 5);
314 EmitInstruction(Out, Inst);
315 break;
316 }
317 case 4:
318 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8).addReg(X86::EDX)
319 .addReg(X86::EDX).addImm(3));
320 break;
321 default:
322 assert(false && "Incorrect access size");
323 break;
324 }
325
326 EmitInstruction(
327 Out, MCInstBuilder(X86::MOVSX32rr8).addReg(X86::ECX).addReg(X86::CL));
328 EmitInstruction(
329 Out, MCInstBuilder(X86::CMP32rr).addReg(X86::EDX).addReg(X86::ECX));
330 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
331
332 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite, X86::EAX);
333 EmitLabel(Out, DoneSym);
334
335 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
336 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EDX));
337 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::ECX));
Evgeniy Stepanovfc9c78a2014-05-21 08:14:24 +0000338 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EAX));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000339}
340
341void X86AddressSanitizer32::InstrumentMemOperandLargeImpl(
342 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
343 MCStreamer &Out) {
344 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::EAX));
345 EmitInstruction(Out, MCInstBuilder(X86::PUSH32r).addReg(X86::ECX));
346 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
347
348 {
349 MCInst Inst;
350 Inst.setOpcode(X86::LEA32r);
351 Inst.addOperand(MCOperand::CreateReg(X86::EAX));
352 Op.addMemOperands(Inst, 5);
353 EmitInstruction(Out, Inst);
354 }
355 EmitInstruction(
356 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EAX));
357 EmitInstruction(Out, MCInstBuilder(X86::SHR32ri).addReg(X86::ECX)
358 .addReg(X86::ECX).addImm(3));
359 {
360 MCInst Inst;
361 switch (AccessSize) {
362 case 8:
363 Inst.setOpcode(X86::CMP8mi);
364 break;
365 case 16:
366 Inst.setOpcode(X86::CMP16mi);
367 break;
368 default:
369 assert(false && "Incorrect access size");
370 break;
371 }
372 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
373 std::unique_ptr<X86Operand> Op(
374 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
375 Op->addMemOperands(Inst, 5);
376 Inst.addOperand(MCOperand::CreateImm(0));
377 EmitInstruction(Out, Inst);
378 }
379 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
380 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
381 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
382
383 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite, X86::EAX);
384 EmitLabel(Out, DoneSym);
385
386 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
387 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::ECX));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000388 EmitInstruction(Out, MCInstBuilder(X86::POP32r).addReg(X86::EAX));
389}
390
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000391void X86AddressSanitizer32::InstrumentMOVSImpl(
392 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out) {
393 EmitInstruction(Out, MCInstBuilder(X86::PUSHF32));
394
395 // No need to test when ECX is equals to zero.
396 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
397 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
398 EmitInstruction(
399 Out, MCInstBuilder(X86::TEST32rr).addReg(X86::ECX).addReg(X86::ECX));
400 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
401
402 // Instrument first and last elements in src and dst range.
403 InstrumentMOVSBase(X86::EDI /* DstReg */, X86::ESI /* SrcReg */,
404 X86::ECX /* CntReg */, AccessSize, Ctx, Out);
405
406 EmitLabel(Out, DoneSym);
407 EmitInstruction(Out, MCInstBuilder(X86::POPF32));
408}
409
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000410class X86AddressSanitizer64 : public X86AddressSanitizer {
411public:
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000412 static const long kShadowOffset = 0x7fff8000;
413
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000414 X86AddressSanitizer64(const MCSubtargetInfo &STI)
415 : X86AddressSanitizer(STI) {}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000416 virtual ~X86AddressSanitizer64() {}
417
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000418 virtual void InstrumentMemOperandSmallImpl(
419 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
420 MCStreamer &Out) override;
421 virtual void InstrumentMemOperandLargeImpl(
422 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
423 MCStreamer &Out) override;
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000424 virtual void InstrumentMOVSImpl(unsigned AccessSize, MCContext &Ctx,
425 MCStreamer &Out) override;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000426
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000427private:
428 void EmitAdjustRSP(MCContext &Ctx, MCStreamer &Out, long Offset) {
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000429 MCInst Inst;
430 Inst.setOpcode(X86::LEA64r);
431 Inst.addOperand(MCOperand::CreateReg(X86::RSP));
432
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000433 const MCExpr *Disp = MCConstantExpr::Create(Offset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000434 std::unique_ptr<X86Operand> Op(
435 X86Operand::CreateMem(0, Disp, X86::RSP, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000436 Op->addMemOperands(Inst, 5);
437 EmitInstruction(Out, Inst);
438 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000439
440 void EmitCallAsanReport(MCContext &Ctx, MCStreamer &Out, unsigned AccessSize,
441 bool IsWrite) {
442 EmitInstruction(Out, MCInstBuilder(X86::CLD));
443 EmitInstruction(Out, MCInstBuilder(X86::MMX_EMMS));
444
445 EmitInstruction(Out, MCInstBuilder(X86::AND64ri8).addReg(X86::RSP)
446 .addReg(X86::RSP).addImm(-16));
447
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000448 const std::string &Fn = FuncName(AccessSize, IsWrite);
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000449 MCSymbol *FnSym = Ctx.GetOrCreateSymbol(StringRef(Fn));
450 const MCSymbolRefExpr *FnExpr =
451 MCSymbolRefExpr::Create(FnSym, MCSymbolRefExpr::VK_PLT, Ctx);
452 EmitInstruction(Out, MCInstBuilder(X86::CALL64pcrel32).addExpr(FnExpr));
453 }
454};
455
456void X86AddressSanitizer64::InstrumentMemOperandSmallImpl(
457 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
458 MCStreamer &Out) {
459 EmitAdjustRSP(Ctx, Out, -128);
460 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RAX));
461 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RCX));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000462 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RDI));
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000463 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000464 {
465 MCInst Inst;
466 Inst.setOpcode(X86::LEA64r);
467 Inst.addOperand(MCOperand::CreateReg(X86::RDI));
David Blaikie960ea3f2014-06-08 16:18:35 +0000468 Op.addMemOperands(Inst, 5);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000469 EmitInstruction(Out, Inst);
470 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000471 EmitInstruction(
472 Out, MCInstBuilder(X86::MOV64rr).addReg(X86::RAX).addReg(X86::RDI));
473 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri).addReg(X86::RAX)
474 .addReg(X86::RAX).addImm(3));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000475 {
476 MCInst Inst;
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000477 Inst.setOpcode(X86::MOV8rm);
478 Inst.addOperand(MCOperand::CreateReg(X86::AL));
479 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
Benjamin Kramer8bbadc02014-05-09 09:48:03 +0000480 std::unique_ptr<X86Operand> Op(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000481 X86Operand::CreateMem(0, Disp, X86::RAX, 0, 1, SMLoc(), SMLoc()));
Evgeniy Stepanov9661ec02014-05-08 09:55:24 +0000482 Op->addMemOperands(Inst, 5);
483 EmitInstruction(Out, Inst);
484 }
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000485
486 EmitInstruction(Out,
487 MCInstBuilder(X86::TEST8rr).addReg(X86::AL).addReg(X86::AL));
488 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
489 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
490 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
491
492 EmitInstruction(
493 Out, MCInstBuilder(X86::MOV32rr).addReg(X86::ECX).addReg(X86::EDI));
494 EmitInstruction(Out, MCInstBuilder(X86::AND32ri).addReg(X86::ECX)
495 .addReg(X86::ECX).addImm(7));
496
497 switch (AccessSize) {
498 case 1:
499 break;
500 case 2: {
501 MCInst Inst;
502 Inst.setOpcode(X86::LEA32r);
503 Inst.addOperand(MCOperand::CreateReg(X86::ECX));
504
505 const MCExpr *Disp = MCConstantExpr::Create(1, Ctx);
506 std::unique_ptr<X86Operand> Op(
507 X86Operand::CreateMem(0, Disp, X86::ECX, 0, 1, SMLoc(), SMLoc()));
508 Op->addMemOperands(Inst, 5);
509 EmitInstruction(Out, Inst);
510 break;
511 }
512 case 4:
513 EmitInstruction(Out, MCInstBuilder(X86::ADD32ri8).addReg(X86::ECX)
514 .addReg(X86::ECX).addImm(3));
515 break;
516 default:
517 assert(false && "Incorrect access size");
518 break;
519 }
520
521 EmitInstruction(
522 Out, MCInstBuilder(X86::MOVSX32rr8).addReg(X86::EAX).addReg(X86::AL));
523 EmitInstruction(
524 Out, MCInstBuilder(X86::CMP32rr).addReg(X86::ECX).addReg(X86::EAX));
525 EmitInstruction(Out, MCInstBuilder(X86::JL_4).addExpr(DoneExpr));
526
527 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite);
528 EmitLabel(Out, DoneSym);
529
530 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
531 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RDI));
532 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RCX));
533 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RAX));
534 EmitAdjustRSP(Ctx, Out, 128);
535}
536
537void X86AddressSanitizer64::InstrumentMemOperandLargeImpl(
538 X86Operand &Op, unsigned AccessSize, bool IsWrite, MCContext &Ctx,
539 MCStreamer &Out) {
540 EmitAdjustRSP(Ctx, Out, -128);
541 EmitInstruction(Out, MCInstBuilder(X86::PUSH64r).addReg(X86::RAX));
542 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
543
544 {
545 MCInst Inst;
546 Inst.setOpcode(X86::LEA64r);
547 Inst.addOperand(MCOperand::CreateReg(X86::RAX));
548 Op.addMemOperands(Inst, 5);
549 EmitInstruction(Out, Inst);
550 }
551 EmitInstruction(Out, MCInstBuilder(X86::SHR64ri).addReg(X86::RAX)
552 .addReg(X86::RAX).addImm(3));
553 {
554 MCInst Inst;
555 switch (AccessSize) {
556 case 8:
557 Inst.setOpcode(X86::CMP8mi);
558 break;
559 case 16:
560 Inst.setOpcode(X86::CMP16mi);
561 break;
562 default:
563 assert(false && "Incorrect access size");
564 break;
565 }
566 const MCExpr *Disp = MCConstantExpr::Create(kShadowOffset, Ctx);
567 std::unique_ptr<X86Operand> Op(
568 X86Operand::CreateMem(0, Disp, X86::RAX, 0, 1, SMLoc(), SMLoc()));
569 Op->addMemOperands(Inst, 5);
570 Inst.addOperand(MCOperand::CreateImm(0));
571 EmitInstruction(Out, Inst);
572 }
573
574 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
575 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
576 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
577
578 EmitCallAsanReport(Ctx, Out, AccessSize, IsWrite);
579 EmitLabel(Out, DoneSym);
580
581 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
582 EmitInstruction(Out, MCInstBuilder(X86::POP64r).addReg(X86::RAX));
583 EmitAdjustRSP(Ctx, Out, 128);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000584}
585
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000586void X86AddressSanitizer64::InstrumentMOVSImpl(
587 unsigned AccessSize, MCContext &Ctx, MCStreamer &Out) {
588 EmitInstruction(Out, MCInstBuilder(X86::PUSHF64));
589
590 // No need to test when RCX is equals to zero.
591 MCSymbol *DoneSym = Ctx.CreateTempSymbol();
592 const MCExpr *DoneExpr = MCSymbolRefExpr::Create(DoneSym, Ctx);
593 EmitInstruction(
594 Out, MCInstBuilder(X86::TEST64rr).addReg(X86::RCX).addReg(X86::RCX));
595 EmitInstruction(Out, MCInstBuilder(X86::JE_4).addExpr(DoneExpr));
596
597 // Instrument first and last elements in src and dst range.
598 InstrumentMOVSBase(X86::RDI /* DstReg */, X86::RSI /* SrcReg */,
599 X86::RCX /* CntReg */, AccessSize, Ctx, Out);
600
601 EmitLabel(Out, DoneSym);
602 EmitInstruction(Out, MCInstBuilder(X86::POPF64));
603}
604
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000605} // End anonymous namespace
606
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000607X86AsmInstrumentation::X86AsmInstrumentation(const MCSubtargetInfo &STI)
608 : STI(STI) {}
609
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000610X86AsmInstrumentation::~X86AsmInstrumentation() {}
611
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000612void X86AsmInstrumentation::InstrumentAndEmitInstruction(
Evgeniy Stepanov6fa6c672014-07-07 13:57:37 +0000613 const MCInst &Inst, OperandVector &Operands, MCContext &Ctx,
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000614 const MCInstrInfo &MII, MCStreamer &Out) {
615 EmitInstruction(Out, Inst);
616}
617
618void X86AsmInstrumentation::EmitInstruction(MCStreamer &Out,
619 const MCInst &Inst) {
620 Out.EmitInstruction(Inst, STI);
621}
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000622
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000623X86AsmInstrumentation *
Evgeniy Stepanov29865f72014-04-30 14:04:31 +0000624CreateX86AsmInstrumentation(const MCTargetOptions &MCOptions,
625 const MCContext &Ctx, const MCSubtargetInfo &STI) {
626 Triple T(STI.getTargetTriple());
627 const bool hasCompilerRTSupport = T.isOSLinux();
Evgeniy Stepanov3819f022014-05-07 07:54:11 +0000628 if (ClAsanInstrumentAssembly && hasCompilerRTSupport &&
629 MCOptions.SanitizeAddress) {
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000630 if ((STI.getFeatureBits() & X86::Mode32Bit) != 0)
631 return new X86AddressSanitizer32(STI);
632 if ((STI.getFeatureBits() & X86::Mode64Bit) != 0)
633 return new X86AddressSanitizer64(STI);
634 }
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +0000635 return new X86AsmInstrumentation(STI);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000636}
637
638} // End llvm namespace