blob: 6e8d102eaba44f6f3de4d8de397a207b9f826c40 [file] [log] [blame]
Daniel Dunbar71475772009-07-17 20:42:00 +00001//===-- X86AsmParser.cpp - Parse X86 assembly to MCInst instructions ------===//
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
Evan Cheng11424442011-07-26 00:24:13 +000010#include "MCTargetDesc/X86BaseInfo.h"
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000011#include "X86AsmInstrumentation.h"
Evgeniy Stepanove3804d42014-02-28 12:28:07 +000012#include "X86AsmParserCommon.h"
13#include "X86Operand.h"
Chad Rosier6844ea02012-10-24 22:13:37 +000014#include "llvm/ADT/APFloat.h"
Craig Topper690d8ea2013-07-24 07:33:14 +000015#include "llvm/ADT/STLExtras.h"
Chris Lattner1261b812010-09-22 04:11:10 +000016#include "llvm/ADT/SmallString.h"
17#include "llvm/ADT/SmallVector.h"
Chris Lattner1261b812010-09-22 04:11:10 +000018#include "llvm/ADT/StringSwitch.h"
19#include "llvm/ADT/Twine.h"
Chad Rosier8a244662013-04-02 20:02:33 +000020#include "llvm/MC/MCContext.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/MC/MCExpr.h"
22#include "llvm/MC/MCInst.h"
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000023#include "llvm/MC/MCInstrInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000024#include "llvm/MC/MCParser/MCAsmLexer.h"
25#include "llvm/MC/MCParser/MCAsmParser.h"
26#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Benjamin Kramerb3e8a6d2016-01-27 10:01:28 +000027#include "llvm/MC/MCParser/MCTargetAsmParser.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000028#include "llvm/MC/MCRegisterInfo.h"
Michael Zuckerman02ecd432015-12-13 17:07:23 +000029#include "llvm/MC/MCSection.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/MC/MCStreamer.h"
31#include "llvm/MC/MCSubtargetInfo.h"
32#include "llvm/MC/MCSymbol.h"
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000033#include "llvm/Support/SourceMgr.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000034#include "llvm/Support/TargetRegistry.h"
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +000035#include "llvm/Support/raw_ostream.h"
Reid Kleckner7b1e1a02014-07-30 22:23:11 +000036#include <algorithm>
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000037#include <memory>
Evan Cheng4d1ca962011-07-08 01:53:10 +000038
Daniel Dunbar71475772009-07-17 20:42:00 +000039using namespace llvm;
40
41namespace {
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000042
Chad Rosier5362af92013-04-16 18:15:40 +000043static const char OpPrecedence[] = {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000044 0, // IC_OR
Michael Kupersteine3de07a2015-06-14 12:59:45 +000045 1, // IC_XOR
46 2, // IC_AND
47 3, // IC_LSHIFT
48 3, // IC_RSHIFT
49 4, // IC_PLUS
50 4, // IC_MINUS
51 5, // IC_MULTIPLY
52 5, // IC_DIVIDE
53 6, // IC_RPAREN
54 7, // IC_LPAREN
Chad Rosier5362af92013-04-16 18:15:40 +000055 0, // IC_IMM
56 0 // IC_REGISTER
57};
58
Devang Patel4a6e7782012-01-12 18:03:40 +000059class X86AsmParser : public MCTargetAsmParser {
Evgeniy Stepanovf4a36992014-04-24 13:29:34 +000060 const MCInstrInfo &MII;
Chad Rosierf0e87202012-10-25 20:41:34 +000061 ParseInstructionInfo *InstInfo;
Evgeniy Stepanov49e26252014-03-14 08:58:04 +000062 std::unique_ptr<X86AsmInstrumentation> Instrumentation;
NAKAMURA Takumia9cb5382015-09-22 11:14:39 +000063
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +000064private:
Alp Tokera5b88a52013-12-02 16:06:06 +000065 SMLoc consumeToken() {
Rafael Espindola961d4692014-11-11 05:18:41 +000066 MCAsmParser &Parser = getParser();
Alp Tokera5b88a52013-12-02 16:06:06 +000067 SMLoc Result = Parser.getTok().getLoc();
68 Parser.Lex();
69 return Result;
70 }
71
Chad Rosier5362af92013-04-16 18:15:40 +000072 enum InfixCalculatorTok {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000073 IC_OR = 0,
Michael Kupersteine3de07a2015-06-14 12:59:45 +000074 IC_XOR,
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000075 IC_AND,
Kevin Enderbyd6b10712014-02-06 01:21:15 +000076 IC_LSHIFT,
77 IC_RSHIFT,
Kevin Enderby2e13b1c2014-01-15 19:05:24 +000078 IC_PLUS,
Chad Rosier5362af92013-04-16 18:15:40 +000079 IC_MINUS,
80 IC_MULTIPLY,
81 IC_DIVIDE,
82 IC_RPAREN,
83 IC_LPAREN,
84 IC_IMM,
85 IC_REGISTER
86 };
87
88 class InfixCalculator {
89 typedef std::pair< InfixCalculatorTok, int64_t > ICToken;
90 SmallVector<InfixCalculatorTok, 4> InfixOperatorStack;
91 SmallVector<ICToken, 4> PostfixStack;
Michael Liao5bf95782014-12-04 05:20:33 +000092
Chad Rosier5362af92013-04-16 18:15:40 +000093 public:
94 int64_t popOperand() {
95 assert (!PostfixStack.empty() && "Poped an empty stack!");
96 ICToken Op = PostfixStack.pop_back_val();
97 assert ((Op.first == IC_IMM || Op.first == IC_REGISTER)
98 && "Expected and immediate or register!");
99 return Op.second;
100 }
101 void pushOperand(InfixCalculatorTok Op, int64_t Val = 0) {
102 assert ((Op == IC_IMM || Op == IC_REGISTER) &&
103 "Unexpected operand!");
104 PostfixStack.push_back(std::make_pair(Op, Val));
105 }
Michael Liao5bf95782014-12-04 05:20:33 +0000106
Jakub Staszak9c349222013-08-08 15:48:46 +0000107 void popOperator() { InfixOperatorStack.pop_back(); }
Chad Rosier5362af92013-04-16 18:15:40 +0000108 void pushOperator(InfixCalculatorTok Op) {
109 // Push the new operator if the stack is empty.
110 if (InfixOperatorStack.empty()) {
111 InfixOperatorStack.push_back(Op);
112 return;
113 }
Michael Liao5bf95782014-12-04 05:20:33 +0000114
Chad Rosier5362af92013-04-16 18:15:40 +0000115 // Push the new operator if it has a higher precedence than the operator
116 // on the top of the stack or the operator on the top of the stack is a
117 // left parentheses.
118 unsigned Idx = InfixOperatorStack.size() - 1;
119 InfixCalculatorTok StackOp = InfixOperatorStack[Idx];
120 if (OpPrecedence[Op] > OpPrecedence[StackOp] || StackOp == IC_LPAREN) {
121 InfixOperatorStack.push_back(Op);
122 return;
123 }
Michael Liao5bf95782014-12-04 05:20:33 +0000124
Chad Rosier5362af92013-04-16 18:15:40 +0000125 // The operator on the top of the stack has higher precedence than the
126 // new operator.
127 unsigned ParenCount = 0;
128 while (1) {
129 // Nothing to process.
130 if (InfixOperatorStack.empty())
131 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000132
Chad Rosier5362af92013-04-16 18:15:40 +0000133 Idx = InfixOperatorStack.size() - 1;
134 StackOp = InfixOperatorStack[Idx];
135 if (!(OpPrecedence[StackOp] >= OpPrecedence[Op] || ParenCount))
136 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000137
Chad Rosier5362af92013-04-16 18:15:40 +0000138 // If we have an even parentheses count and we see a left parentheses,
139 // then stop processing.
140 if (!ParenCount && StackOp == IC_LPAREN)
141 break;
Michael Liao5bf95782014-12-04 05:20:33 +0000142
Chad Rosier5362af92013-04-16 18:15:40 +0000143 if (StackOp == IC_RPAREN) {
144 ++ParenCount;
Jakub Staszak9c349222013-08-08 15:48:46 +0000145 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000146 } else if (StackOp == IC_LPAREN) {
147 --ParenCount;
Jakub Staszak9c349222013-08-08 15:48:46 +0000148 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000149 } else {
Jakub Staszak9c349222013-08-08 15:48:46 +0000150 InfixOperatorStack.pop_back();
Chad Rosier5362af92013-04-16 18:15:40 +0000151 PostfixStack.push_back(std::make_pair(StackOp, 0));
152 }
153 }
154 // Push the new operator.
155 InfixOperatorStack.push_back(Op);
156 }
Marina Yatsinaa0e02412015-08-10 11:33:10 +0000157
Chad Rosier5362af92013-04-16 18:15:40 +0000158 int64_t execute() {
159 // Push any remaining operators onto the postfix stack.
160 while (!InfixOperatorStack.empty()) {
161 InfixCalculatorTok StackOp = InfixOperatorStack.pop_back_val();
162 if (StackOp != IC_LPAREN && StackOp != IC_RPAREN)
163 PostfixStack.push_back(std::make_pair(StackOp, 0));
164 }
Michael Liao5bf95782014-12-04 05:20:33 +0000165
Chad Rosier5362af92013-04-16 18:15:40 +0000166 if (PostfixStack.empty())
167 return 0;
Michael Liao5bf95782014-12-04 05:20:33 +0000168
Chad Rosier5362af92013-04-16 18:15:40 +0000169 SmallVector<ICToken, 16> OperandStack;
170 for (unsigned i = 0, e = PostfixStack.size(); i != e; ++i) {
171 ICToken Op = PostfixStack[i];
172 if (Op.first == IC_IMM || Op.first == IC_REGISTER) {
173 OperandStack.push_back(Op);
174 } else {
175 assert (OperandStack.size() > 1 && "Too few operands.");
176 int64_t Val;
177 ICToken Op2 = OperandStack.pop_back_val();
178 ICToken Op1 = OperandStack.pop_back_val();
179 switch (Op.first) {
180 default:
181 report_fatal_error("Unexpected operator!");
182 break;
183 case IC_PLUS:
184 Val = Op1.second + Op2.second;
185 OperandStack.push_back(std::make_pair(IC_IMM, Val));
186 break;
187 case IC_MINUS:
188 Val = Op1.second - Op2.second;
189 OperandStack.push_back(std::make_pair(IC_IMM, Val));
190 break;
191 case IC_MULTIPLY:
192 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
193 "Multiply operation with an immediate and a register!");
194 Val = Op1.second * Op2.second;
195 OperandStack.push_back(std::make_pair(IC_IMM, Val));
196 break;
197 case IC_DIVIDE:
198 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
199 "Divide operation with an immediate and a register!");
200 assert (Op2.second != 0 && "Division by zero!");
201 Val = Op1.second / Op2.second;
202 OperandStack.push_back(std::make_pair(IC_IMM, Val));
203 break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000204 case IC_OR:
205 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
206 "Or operation with an immediate and a register!");
207 Val = Op1.second | Op2.second;
208 OperandStack.push_back(std::make_pair(IC_IMM, Val));
209 break;
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000210 case IC_XOR:
211 assert(Op1.first == IC_IMM && Op2.first == IC_IMM &&
212 "Xor operation with an immediate and a register!");
213 Val = Op1.second ^ Op2.second;
214 OperandStack.push_back(std::make_pair(IC_IMM, Val));
215 break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000216 case IC_AND:
217 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
218 "And operation with an immediate and a register!");
219 Val = Op1.second & Op2.second;
220 OperandStack.push_back(std::make_pair(IC_IMM, Val));
221 break;
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000222 case IC_LSHIFT:
223 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
224 "Left shift operation with an immediate and a register!");
225 Val = Op1.second << Op2.second;
226 OperandStack.push_back(std::make_pair(IC_IMM, Val));
227 break;
228 case IC_RSHIFT:
229 assert (Op1.first == IC_IMM && Op2.first == IC_IMM &&
230 "Right shift operation with an immediate and a register!");
231 Val = Op1.second >> Op2.second;
232 OperandStack.push_back(std::make_pair(IC_IMM, Val));
233 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000234 }
235 }
236 }
237 assert (OperandStack.size() == 1 && "Expected a single result.");
238 return OperandStack.pop_back_val().second;
239 }
240 };
241
242 enum IntelExprState {
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000243 IES_OR,
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000244 IES_XOR,
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000245 IES_AND,
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000246 IES_LSHIFT,
247 IES_RSHIFT,
Chad Rosier5362af92013-04-16 18:15:40 +0000248 IES_PLUS,
249 IES_MINUS,
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000250 IES_NOT,
Chad Rosier5362af92013-04-16 18:15:40 +0000251 IES_MULTIPLY,
252 IES_DIVIDE,
253 IES_LBRAC,
254 IES_RBRAC,
255 IES_LPAREN,
256 IES_RPAREN,
257 IES_REGISTER,
Chad Rosier5362af92013-04-16 18:15:40 +0000258 IES_INTEGER,
Chad Rosier5362af92013-04-16 18:15:40 +0000259 IES_IDENTIFIER,
260 IES_ERROR
261 };
262
263 class IntelExprStateMachine {
Chad Rosier31246272013-04-17 21:01:45 +0000264 IntelExprState State, PrevState;
Chad Rosier5362af92013-04-16 18:15:40 +0000265 unsigned BaseReg, IndexReg, TmpReg, Scale;
Chad Rosierbfb70992013-04-17 00:11:46 +0000266 int64_t Imm;
Chad Rosier5362af92013-04-16 18:15:40 +0000267 const MCExpr *Sym;
268 StringRef SymName;
Chad Rosierbfb70992013-04-17 00:11:46 +0000269 bool StopOnLBrac, AddImmPrefix;
Chad Rosier5362af92013-04-16 18:15:40 +0000270 InfixCalculator IC;
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000271 InlineAsmIdentifierInfo Info;
NAKAMURA Takumia9cb5382015-09-22 11:14:39 +0000272
Chad Rosier5362af92013-04-16 18:15:40 +0000273 public:
Chad Rosierbfb70992013-04-17 00:11:46 +0000274 IntelExprStateMachine(int64_t imm, bool stoponlbrac, bool addimmprefix) :
Chad Rosier31246272013-04-17 21:01:45 +0000275 State(IES_PLUS), PrevState(IES_ERROR), BaseReg(0), IndexReg(0), TmpReg(0),
Craig Topper062a2ba2014-04-25 05:30:21 +0000276 Scale(1), Imm(imm), Sym(nullptr), StopOnLBrac(stoponlbrac),
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000277 AddImmPrefix(addimmprefix) { Info.clear(); }
Michael Liao5bf95782014-12-04 05:20:33 +0000278
Chad Rosier5362af92013-04-16 18:15:40 +0000279 unsigned getBaseReg() { return BaseReg; }
280 unsigned getIndexReg() { return IndexReg; }
281 unsigned getScale() { return Scale; }
282 const MCExpr *getSym() { return Sym; }
283 StringRef getSymName() { return SymName; }
Chad Rosierbfb70992013-04-17 00:11:46 +0000284 int64_t getImm() { return Imm + IC.execute(); }
Chad Rosieredb1dc82013-05-09 23:48:53 +0000285 bool isValidEndState() {
286 return State == IES_RBRAC || State == IES_INTEGER;
287 }
Chad Rosierbfb70992013-04-17 00:11:46 +0000288 bool getStopOnLBrac() { return StopOnLBrac; }
289 bool getAddImmPrefix() { return AddImmPrefix; }
Chad Rosier31246272013-04-17 21:01:45 +0000290 bool hadError() { return State == IES_ERROR; }
Chad Rosierbfb70992013-04-17 00:11:46 +0000291
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000292 InlineAsmIdentifierInfo &getIdentifierInfo() {
293 return Info;
294 }
295
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000296 void onOr() {
297 IntelExprState CurrState = State;
298 switch (State) {
299 default:
300 State = IES_ERROR;
301 break;
302 case IES_INTEGER:
303 case IES_RPAREN:
304 case IES_REGISTER:
305 State = IES_OR;
306 IC.pushOperator(IC_OR);
307 break;
308 }
309 PrevState = CurrState;
310 }
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000311 void onXor() {
312 IntelExprState CurrState = State;
313 switch (State) {
314 default:
315 State = IES_ERROR;
316 break;
317 case IES_INTEGER:
318 case IES_RPAREN:
319 case IES_REGISTER:
320 State = IES_XOR;
321 IC.pushOperator(IC_XOR);
322 break;
323 }
324 PrevState = CurrState;
325 }
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000326 void onAnd() {
327 IntelExprState CurrState = State;
328 switch (State) {
329 default:
330 State = IES_ERROR;
331 break;
332 case IES_INTEGER:
333 case IES_RPAREN:
334 case IES_REGISTER:
335 State = IES_AND;
336 IC.pushOperator(IC_AND);
337 break;
338 }
339 PrevState = CurrState;
340 }
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000341 void onLShift() {
342 IntelExprState CurrState = State;
343 switch (State) {
344 default:
345 State = IES_ERROR;
346 break;
347 case IES_INTEGER:
348 case IES_RPAREN:
349 case IES_REGISTER:
350 State = IES_LSHIFT;
351 IC.pushOperator(IC_LSHIFT);
352 break;
353 }
354 PrevState = CurrState;
355 }
356 void onRShift() {
357 IntelExprState CurrState = State;
358 switch (State) {
359 default:
360 State = IES_ERROR;
361 break;
362 case IES_INTEGER:
363 case IES_RPAREN:
364 case IES_REGISTER:
365 State = IES_RSHIFT;
366 IC.pushOperator(IC_RSHIFT);
367 break;
368 }
369 PrevState = CurrState;
370 }
Chad Rosier5362af92013-04-16 18:15:40 +0000371 void onPlus() {
Chad Rosier31246272013-04-17 21:01:45 +0000372 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000373 switch (State) {
374 default:
375 State = IES_ERROR;
376 break;
377 case IES_INTEGER:
378 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000379 case IES_REGISTER:
380 State = IES_PLUS;
Chad Rosier5362af92013-04-16 18:15:40 +0000381 IC.pushOperator(IC_PLUS);
Chad Rosier31246272013-04-17 21:01:45 +0000382 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
383 // If we already have a BaseReg, then assume this is the IndexReg with
384 // a scale of 1.
385 if (!BaseReg) {
386 BaseReg = TmpReg;
387 } else {
388 assert (!IndexReg && "BaseReg/IndexReg already set!");
389 IndexReg = TmpReg;
390 Scale = 1;
391 }
392 }
Chad Rosier5362af92013-04-16 18:15:40 +0000393 break;
394 }
Chad Rosier31246272013-04-17 21:01:45 +0000395 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000396 }
397 void onMinus() {
Chad Rosier31246272013-04-17 21:01:45 +0000398 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000399 switch (State) {
400 default:
401 State = IES_ERROR;
402 break;
403 case IES_PLUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000404 case IES_NOT:
Chad Rosier31246272013-04-17 21:01:45 +0000405 case IES_MULTIPLY:
406 case IES_DIVIDE:
Chad Rosier5362af92013-04-16 18:15:40 +0000407 case IES_LPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000408 case IES_RPAREN:
Chad Rosier31246272013-04-17 21:01:45 +0000409 case IES_LBRAC:
410 case IES_RBRAC:
411 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000412 case IES_REGISTER:
413 State = IES_MINUS;
Chad Rosier31246272013-04-17 21:01:45 +0000414 // Only push the minus operator if it is not a unary operator.
415 if (!(CurrState == IES_PLUS || CurrState == IES_MINUS ||
416 CurrState == IES_MULTIPLY || CurrState == IES_DIVIDE ||
417 CurrState == IES_LPAREN || CurrState == IES_LBRAC))
418 IC.pushOperator(IC_MINUS);
419 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
420 // If we already have a BaseReg, then assume this is the IndexReg with
421 // a scale of 1.
422 if (!BaseReg) {
423 BaseReg = TmpReg;
424 } else {
425 assert (!IndexReg && "BaseReg/IndexReg already set!");
426 IndexReg = TmpReg;
427 Scale = 1;
428 }
Chad Rosier5362af92013-04-16 18:15:40 +0000429 }
Chad Rosier5362af92013-04-16 18:15:40 +0000430 break;
431 }
Chad Rosier31246272013-04-17 21:01:45 +0000432 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000433 }
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000434 void onNot() {
435 IntelExprState CurrState = State;
436 switch (State) {
437 default:
438 State = IES_ERROR;
439 break;
440 case IES_PLUS:
441 case IES_NOT:
442 State = IES_NOT;
443 break;
444 }
445 PrevState = CurrState;
446 }
Chad Rosier5362af92013-04-16 18:15:40 +0000447 void onRegister(unsigned Reg) {
Chad Rosier31246272013-04-17 21:01:45 +0000448 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000449 switch (State) {
450 default:
451 State = IES_ERROR;
452 break;
453 case IES_PLUS:
454 case IES_LPAREN:
455 State = IES_REGISTER;
456 TmpReg = Reg;
457 IC.pushOperand(IC_REGISTER);
458 break;
Chad Rosier31246272013-04-17 21:01:45 +0000459 case IES_MULTIPLY:
460 // Index Register - Scale * Register
461 if (PrevState == IES_INTEGER) {
462 assert (!IndexReg && "IndexReg already set!");
463 State = IES_REGISTER;
464 IndexReg = Reg;
465 // Get the scale and replace the 'Scale * Register' with '0'.
466 Scale = IC.popOperand();
467 IC.pushOperand(IC_IMM);
468 IC.popOperator();
469 } else {
470 State = IES_ERROR;
471 }
Chad Rosier5362af92013-04-16 18:15:40 +0000472 break;
473 }
Chad Rosier31246272013-04-17 21:01:45 +0000474 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000475 }
Chad Rosier95ce8892013-04-19 18:39:50 +0000476 void onIdentifierExpr(const MCExpr *SymRef, StringRef SymRefName) {
Chad Rosierdb003992013-04-18 16:28:19 +0000477 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000478 switch (State) {
479 default:
480 State = IES_ERROR;
481 break;
482 case IES_PLUS:
483 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000484 case IES_NOT:
Chad Rosier5362af92013-04-16 18:15:40 +0000485 State = IES_INTEGER;
486 Sym = SymRef;
487 SymName = SymRefName;
488 IC.pushOperand(IC_IMM);
489 break;
490 }
491 }
Kevin Enderby9d117022014-01-23 21:52:41 +0000492 bool onInteger(int64_t TmpInt, StringRef &ErrMsg) {
Chad Rosier31246272013-04-17 21:01:45 +0000493 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000494 switch (State) {
495 default:
496 State = IES_ERROR;
497 break;
498 case IES_PLUS:
499 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000500 case IES_NOT:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000501 case IES_OR:
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000502 case IES_XOR:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000503 case IES_AND:
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000504 case IES_LSHIFT:
505 case IES_RSHIFT:
Chad Rosier5362af92013-04-16 18:15:40 +0000506 case IES_DIVIDE:
Chad Rosier31246272013-04-17 21:01:45 +0000507 case IES_MULTIPLY:
Chad Rosier5362af92013-04-16 18:15:40 +0000508 case IES_LPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000509 State = IES_INTEGER;
Chad Rosier31246272013-04-17 21:01:45 +0000510 if (PrevState == IES_REGISTER && CurrState == IES_MULTIPLY) {
511 // Index Register - Register * Scale
512 assert (!IndexReg && "IndexReg already set!");
513 IndexReg = TmpReg;
514 Scale = TmpInt;
Kevin Enderby9d117022014-01-23 21:52:41 +0000515 if(Scale != 1 && Scale != 2 && Scale != 4 && Scale != 8) {
516 ErrMsg = "scale factor in address must be 1, 2, 4 or 8";
517 return true;
518 }
Chad Rosier31246272013-04-17 21:01:45 +0000519 // Get the scale and replace the 'Register * Scale' with '0'.
520 IC.popOperator();
521 } else if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000522 PrevState == IES_OR || PrevState == IES_AND ||
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000523 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
Chad Rosier31246272013-04-17 21:01:45 +0000524 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000525 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000526 PrevState == IES_NOT || PrevState == IES_XOR) &&
Chad Rosier31246272013-04-17 21:01:45 +0000527 CurrState == IES_MINUS) {
528 // Unary minus. No need to pop the minus operand because it was never
529 // pushed.
530 IC.pushOperand(IC_IMM, -TmpInt); // Push -Imm.
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000531 } else if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
532 PrevState == IES_OR || PrevState == IES_AND ||
533 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
534 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
535 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000536 PrevState == IES_NOT || PrevState == IES_XOR) &&
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000537 CurrState == IES_NOT) {
538 // Unary not. No need to pop the not operand because it was never
539 // pushed.
540 IC.pushOperand(IC_IMM, ~TmpInt); // Push ~Imm.
Chad Rosier31246272013-04-17 21:01:45 +0000541 } else {
542 IC.pushOperand(IC_IMM, TmpInt);
543 }
Chad Rosier5362af92013-04-16 18:15:40 +0000544 break;
545 }
Chad Rosier31246272013-04-17 21:01:45 +0000546 PrevState = CurrState;
Kevin Enderby9d117022014-01-23 21:52:41 +0000547 return false;
Chad Rosier5362af92013-04-16 18:15:40 +0000548 }
549 void onStar() {
Chad Rosierdb003992013-04-18 16:28:19 +0000550 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000551 switch (State) {
552 default:
553 State = IES_ERROR;
554 break;
555 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000556 case IES_REGISTER:
Chad Rosier5362af92013-04-16 18:15:40 +0000557 case IES_RPAREN:
558 State = IES_MULTIPLY;
559 IC.pushOperator(IC_MULTIPLY);
560 break;
561 }
562 }
563 void onDivide() {
Chad Rosierdb003992013-04-18 16:28:19 +0000564 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000565 switch (State) {
566 default:
567 State = IES_ERROR;
568 break;
569 case IES_INTEGER:
Chad Rosier31246272013-04-17 21:01:45 +0000570 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000571 State = IES_DIVIDE;
572 IC.pushOperator(IC_DIVIDE);
573 break;
574 }
575 }
576 void onLBrac() {
Chad Rosierdb003992013-04-18 16:28:19 +0000577 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000578 switch (State) {
579 default:
580 State = IES_ERROR;
581 break;
582 case IES_RBRAC:
583 State = IES_PLUS;
584 IC.pushOperator(IC_PLUS);
585 break;
586 }
587 }
588 void onRBrac() {
Chad Rosier31246272013-04-17 21:01:45 +0000589 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000590 switch (State) {
591 default:
592 State = IES_ERROR;
593 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000594 case IES_INTEGER:
Chad Rosier5362af92013-04-16 18:15:40 +0000595 case IES_REGISTER:
Chad Rosier31246272013-04-17 21:01:45 +0000596 case IES_RPAREN:
Chad Rosier5362af92013-04-16 18:15:40 +0000597 State = IES_RBRAC;
Chad Rosier31246272013-04-17 21:01:45 +0000598 if (CurrState == IES_REGISTER && PrevState != IES_MULTIPLY) {
599 // If we already have a BaseReg, then assume this is the IndexReg with
600 // a scale of 1.
601 if (!BaseReg) {
602 BaseReg = TmpReg;
603 } else {
604 assert (!IndexReg && "BaseReg/IndexReg already set!");
605 IndexReg = TmpReg;
606 Scale = 1;
607 }
Chad Rosier5362af92013-04-16 18:15:40 +0000608 }
609 break;
610 }
Chad Rosier31246272013-04-17 21:01:45 +0000611 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000612 }
613 void onLParen() {
Chad Rosier31246272013-04-17 21:01:45 +0000614 IntelExprState CurrState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000615 switch (State) {
616 default:
617 State = IES_ERROR;
618 break;
619 case IES_PLUS:
620 case IES_MINUS:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000621 case IES_NOT:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000622 case IES_OR:
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000623 case IES_XOR:
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000624 case IES_AND:
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000625 case IES_LSHIFT:
626 case IES_RSHIFT:
Chad Rosier5362af92013-04-16 18:15:40 +0000627 case IES_MULTIPLY:
628 case IES_DIVIDE:
Chad Rosier5362af92013-04-16 18:15:40 +0000629 case IES_LPAREN:
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000630 // FIXME: We don't handle this type of unary minus or not, yet.
Chad Rosierdb003992013-04-18 16:28:19 +0000631 if ((PrevState == IES_PLUS || PrevState == IES_MINUS ||
Kevin Enderby2e13b1c2014-01-15 19:05:24 +0000632 PrevState == IES_OR || PrevState == IES_AND ||
Kevin Enderbyd6b10712014-02-06 01:21:15 +0000633 PrevState == IES_LSHIFT || PrevState == IES_RSHIFT ||
Chad Rosierdb003992013-04-18 16:28:19 +0000634 PrevState == IES_MULTIPLY || PrevState == IES_DIVIDE ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000635 PrevState == IES_LPAREN || PrevState == IES_LBRAC ||
Michael Kupersteine3de07a2015-06-14 12:59:45 +0000636 PrevState == IES_NOT || PrevState == IES_XOR) &&
Ehsan Akhgari4103da62014-07-04 19:13:05 +0000637 (CurrState == IES_MINUS || CurrState == IES_NOT)) {
Chad Rosierdb003992013-04-18 16:28:19 +0000638 State = IES_ERROR;
639 break;
640 }
Chad Rosier5362af92013-04-16 18:15:40 +0000641 State = IES_LPAREN;
642 IC.pushOperator(IC_LPAREN);
643 break;
644 }
Chad Rosier31246272013-04-17 21:01:45 +0000645 PrevState = CurrState;
Chad Rosier5362af92013-04-16 18:15:40 +0000646 }
647 void onRParen() {
Chad Rosierdb003992013-04-18 16:28:19 +0000648 PrevState = State;
Chad Rosier5362af92013-04-16 18:15:40 +0000649 switch (State) {
650 default:
651 State = IES_ERROR;
652 break;
Chad Rosier5362af92013-04-16 18:15:40 +0000653 case IES_INTEGER:
Chad Rosier31246272013-04-17 21:01:45 +0000654 case IES_REGISTER:
Chad Rosier5362af92013-04-16 18:15:40 +0000655 case IES_RPAREN:
656 State = IES_RPAREN;
657 IC.pushOperator(IC_RPAREN);
658 break;
659 }
660 }
661 };
662
Chris Lattnera3a06812011-10-16 04:47:35 +0000663 bool Error(SMLoc L, const Twine &Msg,
Dmitri Gribenko3238fb72013-05-05 00:40:33 +0000664 ArrayRef<SMRange> Ranges = None,
Chad Rosier4453e842012-10-12 23:09:25 +0000665 bool MatchingInlineAsm = false) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000666 MCAsmParser &Parser = getParser();
Chad Rosier4453e842012-10-12 23:09:25 +0000667 if (MatchingInlineAsm) return true;
Chris Lattnera3a06812011-10-16 04:47:35 +0000668 return Parser.Error(L, Msg, Ranges);
669 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000670
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000671 bool ErrorAndEatStatement(SMLoc L, const Twine &Msg,
672 ArrayRef<SMRange> Ranges = None,
673 bool MatchingInlineAsm = false) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000674 MCAsmParser &Parser = getParser();
675 Parser.eatToEndOfStatement();
676 return Error(L, Msg, Ranges, MatchingInlineAsm);
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000677 }
678
David Blaikie960ea3f2014-06-08 16:18:35 +0000679 std::nullptr_t ErrorOperand(SMLoc Loc, StringRef Msg) {
Devang Patel41b9dde2012-01-17 18:00:18 +0000680 Error(Loc, Msg);
Craig Topper062a2ba2014-04-25 05:30:21 +0000681 return nullptr;
Devang Patel41b9dde2012-01-17 18:00:18 +0000682 }
683
David Blaikie960ea3f2014-06-08 16:18:35 +0000684 std::unique_ptr<X86Operand> DefaultMemSIOperand(SMLoc Loc);
685 std::unique_ptr<X86Operand> DefaultMemDIOperand(SMLoc Loc);
Marina Yatsinab9f4f622016-01-19 15:37:56 +0000686 bool IsSIReg(unsigned Reg);
687 unsigned GetSIDIForRegClass(unsigned RegClassID, unsigned Reg, bool IsSIReg);
688 void
689 AddDefaultSrcDestOperands(OperandVector &Operands,
690 std::unique_ptr<llvm::MCParsedAsmOperand> &&Src,
691 std::unique_ptr<llvm::MCParsedAsmOperand> &&Dst);
692 bool VerifyAndAdjustOperands(OperandVector &OrigOperands,
693 OperandVector &FinalOperands);
David Blaikie960ea3f2014-06-08 16:18:35 +0000694 std::unique_ptr<X86Operand> ParseOperand();
695 std::unique_ptr<X86Operand> ParseATTOperand();
696 std::unique_ptr<X86Operand> ParseIntelOperand();
697 std::unique_ptr<X86Operand> ParseIntelOffsetOfOperator();
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000698 bool ParseIntelDotOperator(const MCExpr *Disp, const MCExpr *&NewDisp);
David Blaikie960ea3f2014-06-08 16:18:35 +0000699 std::unique_ptr<X86Operand> ParseIntelOperator(unsigned OpKind);
700 std::unique_ptr<X86Operand>
701 ParseIntelSegmentOverride(unsigned SegReg, SMLoc Start, unsigned Size);
702 std::unique_ptr<X86Operand>
703 ParseIntelMemOperand(int64_t ImmDisp, SMLoc StartLoc, unsigned Size);
Elena Demikhovsky18fd4962015-03-02 15:00:34 +0000704 std::unique_ptr<X86Operand> ParseRoundingModeOp(SMLoc Start, SMLoc End);
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000705 bool ParseIntelExpression(IntelExprStateMachine &SM, SMLoc &End);
David Blaikie960ea3f2014-06-08 16:18:35 +0000706 std::unique_ptr<X86Operand> ParseIntelBracExpression(unsigned SegReg,
707 SMLoc Start,
708 int64_t ImmDisp,
709 unsigned Size);
Benjamin Kramer951b15e2013-12-01 11:47:42 +0000710 bool ParseIntelIdentifier(const MCExpr *&Val, StringRef &Identifier,
711 InlineAsmIdentifierInfo &Info,
712 bool IsUnevaluatedOperand, SMLoc &End);
Chad Rosiercb78f0d2013-04-22 19:42:15 +0000713
David Blaikie960ea3f2014-06-08 16:18:35 +0000714 std::unique_ptr<X86Operand> ParseMemOperand(unsigned SegReg, SMLoc StartLoc);
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000715
David Blaikie960ea3f2014-06-08 16:18:35 +0000716 std::unique_ptr<X86Operand>
717 CreateMemForInlineAsm(unsigned SegReg, const MCExpr *Disp, unsigned BaseReg,
718 unsigned IndexReg, unsigned Scale, SMLoc Start,
719 SMLoc End, unsigned Size, StringRef Identifier,
720 InlineAsmIdentifierInfo &Info);
Chad Rosier7ca135b2013-03-19 21:11:56 +0000721
Michael Zuckerman02ecd432015-12-13 17:07:23 +0000722 bool parseDirectiveEven(SMLoc L);
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000723 bool ParseDirectiveWord(unsigned Size, SMLoc L);
Evan Cheng481ebb02011-07-27 00:38:12 +0000724 bool ParseDirectiveCode(StringRef IDVal, SMLoc L);
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000725
David Blaikie960ea3f2014-06-08 16:18:35 +0000726 bool processInstruction(MCInst &Inst, const OperandVector &Ops);
Devang Patelde47cce2012-01-18 22:42:29 +0000727
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000728 /// Wrapper around MCStreamer::EmitInstruction(). Possibly adds
729 /// instrumentation around Inst.
David Blaikie960ea3f2014-06-08 16:18:35 +0000730 void EmitInstruction(MCInst &Inst, OperandVector &Operands, MCStreamer &Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +0000731
Chad Rosier49963552012-10-13 00:26:04 +0000732 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
David Blaikie960ea3f2014-06-08 16:18:35 +0000733 OperandVector &Operands, MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +0000734 uint64_t &ErrorInfo,
Craig Topper39012cc2014-03-09 18:03:14 +0000735 bool MatchingInlineAsm) override;
Chad Rosier9cb988f2012-08-09 22:04:55 +0000736
Reid Klecknerf6fb7802014-08-26 20:32:34 +0000737 void MatchFPUWaitAlias(SMLoc IDLoc, X86Operand &Op, OperandVector &Operands,
738 MCStreamer &Out, bool MatchingInlineAsm);
739
Ranjeet Singh86ecbb72015-06-30 12:32:53 +0000740 bool ErrorMissingFeature(SMLoc IDLoc, uint64_t ErrorInfo,
Reid Klecknerf6fb7802014-08-26 20:32:34 +0000741 bool MatchingInlineAsm);
742
743 bool MatchAndEmitATTInstruction(SMLoc IDLoc, unsigned &Opcode,
744 OperandVector &Operands, MCStreamer &Out,
745 uint64_t &ErrorInfo,
746 bool MatchingInlineAsm);
747
748 bool MatchAndEmitIntelInstruction(SMLoc IDLoc, unsigned &Opcode,
749 OperandVector &Operands, MCStreamer &Out,
750 uint64_t &ErrorInfo,
751 bool MatchingInlineAsm);
752
Craig Topperfd38cbe2014-08-30 16:48:34 +0000753 bool OmitRegisterFromClobberLists(unsigned RegNo) override;
Nico Weber42f79db2014-07-17 20:24:55 +0000754
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000755 /// Parses AVX512 specific operand primitives: masked registers ({%k<NUM>}, {z})
756 /// and memory broadcasting ({1to<NUM>}) primitives, updating Operands vector if required.
757 /// \return \c true if no parsing errors occurred, \c false otherwise.
David Blaikie960ea3f2014-06-08 16:18:35 +0000758 bool HandleAVX512Operand(OperandVector &Operands,
759 const MCParsedAsmOperand &Op);
Elena Demikhovskyc9657012014-02-20 06:34:39 +0000760
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000761 bool is64BitMode() const {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000762 // FIXME: Can tablegen auto-generate this?
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000763 return getSTI().getFeatureBits()[X86::Mode64Bit];
Evan Cheng4d1ca962011-07-08 01:53:10 +0000764 }
Craig Topper3c80d622014-01-06 04:55:54 +0000765 bool is32BitMode() const {
766 // FIXME: Can tablegen auto-generate this?
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000767 return getSTI().getFeatureBits()[X86::Mode32Bit];
Craig Topper3c80d622014-01-06 04:55:54 +0000768 }
769 bool is16BitMode() const {
770 // FIXME: Can tablegen auto-generate this?
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000771 return getSTI().getFeatureBits()[X86::Mode16Bit];
Craig Topper3c80d622014-01-06 04:55:54 +0000772 }
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000773 void SwitchMode(unsigned mode) {
Akira Hatanakab11ef082015-11-14 06:35:56 +0000774 MCSubtargetInfo &STI = copySTI();
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000775 FeatureBitset AllModes({X86::Mode64Bit, X86::Mode32Bit, X86::Mode16Bit});
776 FeatureBitset OldMode = STI.getFeatureBits() & AllModes;
Ranjeet Singh86ecbb72015-06-30 12:32:53 +0000777 unsigned FB = ComputeAvailableFeatures(
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000778 STI.ToggleFeature(OldMode.flip(mode)));
Evan Cheng481ebb02011-07-27 00:38:12 +0000779 setAvailableFeatures(FB);
NAKAMURA Takumia9cb5382015-09-22 11:14:39 +0000780
Michael Kupersteindb0712f2015-05-26 10:47:10 +0000781 assert(FeatureBitset({mode}) == (STI.getFeatureBits() & AllModes));
Evan Cheng481ebb02011-07-27 00:38:12 +0000782 }
Evan Cheng4d1ca962011-07-08 01:53:10 +0000783
Reid Kleckner5b37c182014-08-01 20:21:24 +0000784 unsigned getPointerWidth() {
785 if (is16BitMode()) return 16;
786 if (is32BitMode()) return 32;
787 if (is64BitMode()) return 64;
788 llvm_unreachable("invalid mode");
789 }
790
Chad Rosierc2f055d2013-04-18 16:13:18 +0000791 bool isParsingIntelSyntax() {
792 return getParser().getAssemblerDialect();
793 }
794
Daniel Dunbareefe8612010-07-19 05:44:09 +0000795 /// @name Auto-generated Matcher Functions
796 /// {
Michael J. Spencer530ce852010-10-09 11:00:50 +0000797
Chris Lattner3e4582a2010-09-06 19:11:01 +0000798#define GET_ASSEMBLER_HEADER
799#include "X86GenAsmMatcher.inc"
Michael J. Spencer530ce852010-10-09 11:00:50 +0000800
Daniel Dunbar00331992009-07-29 00:02:19 +0000801 /// }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000802
803public:
Akira Hatanakab11ef082015-11-14 06:35:56 +0000804 X86AsmParser(const MCSubtargetInfo &sti, MCAsmParser &Parser,
Rafael Espindola961d4692014-11-11 05:18:41 +0000805 const MCInstrInfo &mii, const MCTargetOptions &Options)
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000806 : MCTargetAsmParser(Options, sti), MII(mii), InstInfo(nullptr) {
Michael J. Spencer530ce852010-10-09 11:00:50 +0000807
Daniel Dunbareefe8612010-07-19 05:44:09 +0000808 // Initialize the set of available features.
Akira Hatanakabd9fc282015-11-14 05:20:05 +0000809 setAvailableFeatures(ComputeAvailableFeatures(getSTI().getFeatureBits()));
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000810 Instrumentation.reset(
811 CreateX86AsmInstrumentation(Options, Parser.getContext(), STI));
Daniel Dunbareefe8612010-07-19 05:44:09 +0000812 }
Evgeniy Stepanov0a951b72014-04-23 11:16:03 +0000813
Craig Topper39012cc2014-03-09 18:03:14 +0000814 bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000815
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000816 void SetFrameRegister(unsigned RegNo) override;
817
David Blaikie960ea3f2014-06-08 16:18:35 +0000818 bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
819 SMLoc NameLoc, OperandVector &Operands) override;
Kevin Enderbyce4bec82009-09-10 20:51:44 +0000820
Craig Topper39012cc2014-03-09 18:03:14 +0000821 bool ParseDirective(AsmToken DirectiveID) override;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000822};
Chris Lattner4eb9df02009-07-29 06:33:53 +0000823} // end anonymous namespace
824
Sean Callanan86c11812010-01-23 00:40:33 +0000825/// @name Auto-generated Match Functions
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000826/// {
Sean Callanan86c11812010-01-23 00:40:33 +0000827
Chris Lattner60db0a62010-02-09 00:34:28 +0000828static unsigned MatchRegisterName(StringRef Name);
Sean Callanan86c11812010-01-23 00:40:33 +0000829
830/// }
Chris Lattner4eb9df02009-07-29 06:33:53 +0000831
Kevin Enderbybc570f22014-01-23 22:34:42 +0000832static bool CheckBaseRegAndIndexReg(unsigned BaseReg, unsigned IndexReg,
833 StringRef &ErrMsg) {
834 // If we have both a base register and an index register make sure they are
835 // both 64-bit or 32-bit registers.
836 // To support VSIB, IndexReg can be 128-bit or 256-bit registers.
837 if (BaseReg != 0 && IndexReg != 0) {
838 if (X86MCRegisterClasses[X86::GR64RegClassID].contains(BaseReg) &&
839 (X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg) ||
840 X86MCRegisterClasses[X86::GR32RegClassID].contains(IndexReg)) &&
841 IndexReg != X86::RIZ) {
842 ErrMsg = "base register is 64-bit, but index register is not";
843 return true;
844 }
845 if (X86MCRegisterClasses[X86::GR32RegClassID].contains(BaseReg) &&
846 (X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg) ||
847 X86MCRegisterClasses[X86::GR64RegClassID].contains(IndexReg)) &&
848 IndexReg != X86::EIZ){
849 ErrMsg = "base register is 32-bit, but index register is not";
850 return true;
851 }
852 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg)) {
853 if (X86MCRegisterClasses[X86::GR32RegClassID].contains(IndexReg) ||
854 X86MCRegisterClasses[X86::GR64RegClassID].contains(IndexReg)) {
855 ErrMsg = "base register is 16-bit, but index register is not";
856 return true;
857 }
858 if (((BaseReg == X86::BX || BaseReg == X86::BP) &&
859 IndexReg != X86::SI && IndexReg != X86::DI) ||
860 ((BaseReg == X86::SI || BaseReg == X86::DI) &&
861 IndexReg != X86::BX && IndexReg != X86::BP)) {
862 ErrMsg = "invalid 16-bit base/index register combination";
863 return true;
864 }
865 }
866 }
867 return false;
868}
869
Devang Patel4a6e7782012-01-12 18:03:40 +0000870bool X86AsmParser::ParseRegister(unsigned &RegNo,
871 SMLoc &StartLoc, SMLoc &EndLoc) {
Rafael Espindola961d4692014-11-11 05:18:41 +0000872 MCAsmParser &Parser = getParser();
Chris Lattnercc2ad082010-01-15 18:27:19 +0000873 RegNo = 0;
Benjamin Kramere3d658b2012-09-07 14:51:35 +0000874 const AsmToken &PercentTok = Parser.getTok();
875 StartLoc = PercentTok.getLoc();
876
877 // If we encounter a %, ignore it. This code handles registers with and
878 // without the prefix, unprefixed registers can occur in cfi directives.
879 if (!isParsingIntelSyntax() && PercentTok.is(AsmToken::Percent))
Devang Patel41b9dde2012-01-17 18:00:18 +0000880 Parser.Lex(); // Eat percent token.
Kevin Enderby7d912182009-09-03 17:15:07 +0000881
Sean Callanan936b0d32010-01-19 21:44:56 +0000882 const AsmToken &Tok = Parser.getTok();
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000883 EndLoc = Tok.getEndLoc();
884
Devang Patelce6a2ca2012-01-20 22:32:05 +0000885 if (Tok.isNot(AsmToken::Identifier)) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +0000886 if (isParsingIntelSyntax()) return true;
Benjamin Kramer1930b002011-10-16 12:10:27 +0000887 return Error(StartLoc, "invalid register name",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000888 SMRange(StartLoc, EndLoc));
Devang Patelce6a2ca2012-01-20 22:32:05 +0000889 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000890
Kevin Enderby7d912182009-09-03 17:15:07 +0000891 RegNo = MatchRegisterName(Tok.getString());
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000892
Chris Lattner1261b812010-09-22 04:11:10 +0000893 // If the match failed, try the register name as lowercase.
894 if (RegNo == 0)
Benjamin Kramer20baffb2011-11-06 20:37:06 +0000895 RegNo = MatchRegisterName(Tok.getString().lower());
Michael J. Spencer530ce852010-10-09 11:00:50 +0000896
Michael Kupersteincdb076b2015-07-30 10:10:25 +0000897 // The "flags" register cannot be referenced directly.
898 // Treat it as an identifier instead.
899 if (isParsingInlineAsm() && isParsingIntelSyntax() && RegNo == X86::EFLAGS)
900 RegNo = 0;
901
Evan Chengeda1d4f2011-07-27 23:22:03 +0000902 if (!is64BitMode()) {
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000903 // FIXME: This should be done using Requires<Not64BitMode> and
Evan Chengeda1d4f2011-07-27 23:22:03 +0000904 // Requires<In64BitMode> so "eiz" usage in 64-bit instructions can be also
905 // checked.
906 // FIXME: Check AH, CH, DH, BH cannot be used in an instruction requiring a
907 // REX prefix.
908 if (RegNo == X86::RIZ ||
909 X86MCRegisterClasses[X86::GR64RegClassID].contains(RegNo) ||
910 X86II::isX86_64NonExtLowByteReg(RegNo) ||
Craig Topper29c22732016-02-26 05:29:32 +0000911 X86II::isX86_64ExtendedReg(RegNo) ||
912 X86II::is32ExtendedReg(RegNo))
Benjamin Kramer1930b002011-10-16 12:10:27 +0000913 return Error(StartLoc, "register %"
914 + Tok.getString() + " is only available in 64-bit mode",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000915 SMRange(StartLoc, EndLoc));
Craig Topper29c22732016-02-26 05:29:32 +0000916 } else if (!getSTI().getFeatureBits()[X86::FeatureAVX512]) {
917 if (X86II::is32ExtendedReg(RegNo))
918 return Error(StartLoc, "register %"
Craig Topperd50b5f82016-02-26 06:50:24 +0000919 + Tok.getString() + " is only available with AVX512",
Craig Topper29c22732016-02-26 05:29:32 +0000920 SMRange(StartLoc, EndLoc));
Evan Chengeda1d4f2011-07-27 23:22:03 +0000921 }
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +0000922
Chris Lattner1261b812010-09-22 04:11:10 +0000923 // Parse "%st" as "%st(0)" and "%st(1)", which is multiple tokens.
924 if (RegNo == 0 && (Tok.getString() == "st" || Tok.getString() == "ST")) {
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000925 RegNo = X86::ST0;
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000926 Parser.Lex(); // Eat 'st'
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000927
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000928 // Check to see if we have '(4)' after %st.
929 if (getLexer().isNot(AsmToken::LParen))
930 return false;
931 // Lex the paren.
932 getParser().Lex();
933
934 const AsmToken &IntTok = Parser.getTok();
935 if (IntTok.isNot(AsmToken::Integer))
936 return Error(IntTok.getLoc(), "expected stack index");
937 switch (IntTok.getIntVal()) {
938 case 0: RegNo = X86::ST0; break;
939 case 1: RegNo = X86::ST1; break;
940 case 2: RegNo = X86::ST2; break;
941 case 3: RegNo = X86::ST3; break;
942 case 4: RegNo = X86::ST4; break;
943 case 5: RegNo = X86::ST5; break;
944 case 6: RegNo = X86::ST6; break;
945 case 7: RegNo = X86::ST7; break;
946 default: return Error(IntTok.getLoc(), "invalid stack index");
947 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000948
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000949 if (getParser().Lex().isNot(AsmToken::RParen))
950 return Error(Parser.getTok().getLoc(), "expected ')'");
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000951
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000952 EndLoc = Parser.getTok().getEndLoc();
Chris Lattnerd00faaa2010-02-09 00:49:22 +0000953 Parser.Lex(); // Eat ')'
954 return false;
955 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000956
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000957 EndLoc = Parser.getTok().getEndLoc();
958
Chris Lattner80486622010-06-24 07:29:18 +0000959 // If this is "db[0-7]", match it as an alias
960 // for dr[0-7].
961 if (RegNo == 0 && Tok.getString().size() == 3 &&
962 Tok.getString().startswith("db")) {
963 switch (Tok.getString()[2]) {
964 case '0': RegNo = X86::DR0; break;
965 case '1': RegNo = X86::DR1; break;
966 case '2': RegNo = X86::DR2; break;
967 case '3': RegNo = X86::DR3; break;
968 case '4': RegNo = X86::DR4; break;
969 case '5': RegNo = X86::DR5; break;
970 case '6': RegNo = X86::DR6; break;
971 case '7': RegNo = X86::DR7; break;
972 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000973
Chris Lattner80486622010-06-24 07:29:18 +0000974 if (RegNo != 0) {
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000975 EndLoc = Parser.getTok().getEndLoc();
Chris Lattner80486622010-06-24 07:29:18 +0000976 Parser.Lex(); // Eat it.
977 return false;
978 }
979 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +0000980
Devang Patelce6a2ca2012-01-20 22:32:05 +0000981 if (RegNo == 0) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +0000982 if (isParsingIntelSyntax()) return true;
Benjamin Kramer1930b002011-10-16 12:10:27 +0000983 return Error(StartLoc, "invalid register name",
Jordan Rosee8f1eae2013-01-07 19:00:49 +0000984 SMRange(StartLoc, EndLoc));
Devang Patelce6a2ca2012-01-20 22:32:05 +0000985 }
Daniel Dunbar00331992009-07-29 00:02:19 +0000986
Sean Callanana83fd7d2010-01-19 20:27:46 +0000987 Parser.Lex(); // Eat identifier token.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +0000988 return false;
Daniel Dunbar71475772009-07-17 20:42:00 +0000989}
990
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000991void X86AsmParser::SetFrameRegister(unsigned RegNo) {
Yuri Gorshenine8c81fd2014-10-07 11:03:09 +0000992 Instrumentation->SetInitialFrameRegister(RegNo);
Yuri Gorshenin3939dec2014-09-10 09:45:49 +0000993}
994
David Blaikie960ea3f2014-06-08 16:18:35 +0000995std::unique_ptr<X86Operand> X86AsmParser::DefaultMemSIOperand(SMLoc Loc) {
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000996 unsigned basereg =
997 is64BitMode() ? X86::RSI : (is32BitMode() ? X86::ESI : X86::SI);
Jim Grosbach13760bd2015-05-30 01:25:56 +0000998 const MCExpr *Disp = MCConstantExpr::create(0, getContext());
Craig Topper055845f2015-01-02 07:02:25 +0000999 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
1000 /*BaseReg=*/basereg, /*IndexReg=*/0, /*Scale=*/1,
1001 Loc, Loc, 0);
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001002}
1003
David Blaikie960ea3f2014-06-08 16:18:35 +00001004std::unique_ptr<X86Operand> X86AsmParser::DefaultMemDIOperand(SMLoc Loc) {
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001005 unsigned basereg =
1006 is64BitMode() ? X86::RDI : (is32BitMode() ? X86::EDI : X86::DI);
Jim Grosbach13760bd2015-05-30 01:25:56 +00001007 const MCExpr *Disp = MCConstantExpr::create(0, getContext());
Craig Topper055845f2015-01-02 07:02:25 +00001008 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
1009 /*BaseReg=*/basereg, /*IndexReg=*/0, /*Scale=*/1,
1010 Loc, Loc, 0);
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001011}
1012
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001013bool X86AsmParser::IsSIReg(unsigned Reg) {
1014 switch (Reg) {
Craig Topper4d187632016-02-26 05:29:39 +00001015 default: llvm_unreachable("Only (R|E)SI and (R|E)DI are expected!");
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001016 case X86::RSI:
1017 case X86::ESI:
1018 case X86::SI:
1019 return true;
1020 case X86::RDI:
1021 case X86::EDI:
1022 case X86::DI:
1023 return false;
1024 }
1025}
1026
1027unsigned X86AsmParser::GetSIDIForRegClass(unsigned RegClassID, unsigned Reg,
1028 bool IsSIReg) {
1029 switch (RegClassID) {
Craig Topper4d187632016-02-26 05:29:39 +00001030 default: llvm_unreachable("Unexpected register class");
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001031 case X86::GR64RegClassID:
1032 return IsSIReg ? X86::RSI : X86::RDI;
1033 case X86::GR32RegClassID:
1034 return IsSIReg ? X86::ESI : X86::EDI;
1035 case X86::GR16RegClassID:
1036 return IsSIReg ? X86::SI : X86::DI;
1037 }
1038}
1039
Michael Kupersteinffcc7662015-07-23 10:23:48 +00001040void X86AsmParser::AddDefaultSrcDestOperands(
1041 OperandVector& Operands, std::unique_ptr<llvm::MCParsedAsmOperand> &&Src,
1042 std::unique_ptr<llvm::MCParsedAsmOperand> &&Dst) {
1043 if (isParsingIntelSyntax()) {
1044 Operands.push_back(std::move(Dst));
1045 Operands.push_back(std::move(Src));
1046 }
1047 else {
1048 Operands.push_back(std::move(Src));
1049 Operands.push_back(std::move(Dst));
1050 }
1051}
1052
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001053bool X86AsmParser::VerifyAndAdjustOperands(OperandVector &OrigOperands,
1054 OperandVector &FinalOperands) {
1055
1056 if (OrigOperands.size() > 1) {
Craig Topperd55f4bc2016-02-16 07:45:07 +00001057 // Check if sizes match, OrigOperands also contains the instruction name
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001058 assert(OrigOperands.size() == FinalOperands.size() + 1 &&
Craig Topperd55f4bc2016-02-16 07:45:07 +00001059 "Operand size mismatch");
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001060
Marina Yatsinaff262fa2016-01-21 11:37:06 +00001061 SmallVector<std::pair<SMLoc, std::string>, 2> Warnings;
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001062 // Verify types match
1063 int RegClassID = -1;
1064 for (unsigned int i = 0; i < FinalOperands.size(); ++i) {
1065 X86Operand &OrigOp = static_cast<X86Operand &>(*OrigOperands[i + 1]);
1066 X86Operand &FinalOp = static_cast<X86Operand &>(*FinalOperands[i]);
1067
1068 if (FinalOp.isReg() &&
1069 (!OrigOp.isReg() || FinalOp.getReg() != OrigOp.getReg()))
1070 // Return false and let a normal complaint about bogus operands happen
1071 return false;
1072
1073 if (FinalOp.isMem()) {
1074
1075 if (!OrigOp.isMem())
1076 // Return false and let a normal complaint about bogus operands happen
1077 return false;
1078
1079 unsigned OrigReg = OrigOp.Mem.BaseReg;
1080 unsigned FinalReg = FinalOp.Mem.BaseReg;
1081
1082 // If we've already encounterd a register class, make sure all register
1083 // bases are of the same register class
1084 if (RegClassID != -1 &&
1085 !X86MCRegisterClasses[RegClassID].contains(OrigReg)) {
1086 return Error(OrigOp.getStartLoc(),
1087 "mismatching source and destination index registers");
1088 }
1089
1090 if (X86MCRegisterClasses[X86::GR64RegClassID].contains(OrigReg))
1091 RegClassID = X86::GR64RegClassID;
1092 else if (X86MCRegisterClasses[X86::GR32RegClassID].contains(OrigReg))
1093 RegClassID = X86::GR32RegClassID;
1094 else if (X86MCRegisterClasses[X86::GR16RegClassID].contains(OrigReg))
1095 RegClassID = X86::GR16RegClassID;
Marina Yatsina701938d2016-01-20 14:03:47 +00001096 else
Craig Topper5a62f7e2016-02-16 07:28:03 +00001097 // Unexpected register class type
Marina Yatsina701938d2016-01-20 14:03:47 +00001098 // Return false and let a normal complaint about bogus operands happen
1099 return false;
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001100
1101 bool IsSI = IsSIReg(FinalReg);
1102 FinalReg = GetSIDIForRegClass(RegClassID, FinalReg, IsSI);
1103
1104 if (FinalReg != OrigReg) {
1105 std::string RegName = IsSI ? "ES:(R|E)SI" : "ES:(R|E)DI";
Marina Yatsinaff262fa2016-01-21 11:37:06 +00001106 Warnings.push_back(std::make_pair(
1107 OrigOp.getStartLoc(),
1108 "memory operand is only for determining the size, " + RegName +
1109 " will be used for the location"));
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001110 }
1111
1112 FinalOp.Mem.Size = OrigOp.Mem.Size;
1113 FinalOp.Mem.SegReg = OrigOp.Mem.SegReg;
1114 FinalOp.Mem.BaseReg = FinalReg;
1115 }
1116 }
1117
Marina Yatsinaff262fa2016-01-21 11:37:06 +00001118 // Produce warnings only if all the operands passed the adjustment - prevent
1119 // legal cases like "movsd (%rax), %xmm0" mistakenly produce warnings
Craig Topper16d7eb22016-02-16 07:45:04 +00001120 for (auto &WarningMsg : Warnings) {
1121 Warning(WarningMsg.first, WarningMsg.second);
Marina Yatsinaff262fa2016-01-21 11:37:06 +00001122 }
1123
1124 // Remove old operands
Marina Yatsinab9f4f622016-01-19 15:37:56 +00001125 for (unsigned int i = 0; i < FinalOperands.size(); ++i)
1126 OrigOperands.pop_back();
1127 }
1128 // OrigOperands.append(FinalOperands.begin(), FinalOperands.end());
1129 for (unsigned int i = 0; i < FinalOperands.size(); ++i)
1130 OrigOperands.push_back(std::move(FinalOperands[i]));
1131
1132 return false;
1133}
1134
David Blaikie960ea3f2014-06-08 16:18:35 +00001135std::unique_ptr<X86Operand> X86AsmParser::ParseOperand() {
Devang Patel9a9bb5c2012-01-30 20:02:42 +00001136 if (isParsingIntelSyntax())
Devang Patel46831de2012-01-12 01:36:43 +00001137 return ParseIntelOperand();
1138 return ParseATTOperand();
1139}
1140
Devang Patel41b9dde2012-01-17 18:00:18 +00001141/// getIntelMemOperandSize - Return intel memory operand size.
1142static unsigned getIntelMemOperandSize(StringRef OpStr) {
Chad Rosierb6b8e962012-09-11 21:10:25 +00001143 unsigned Size = StringSwitch<unsigned>(OpStr)
Chad Rosierab53b4f2012-09-12 18:24:26 +00001144 .Cases("BYTE", "byte", 8)
1145 .Cases("WORD", "word", 16)
1146 .Cases("DWORD", "dword", 32)
Marina Yatsina497d44a2015-12-07 13:09:20 +00001147 .Cases("FWORD", "fword", 48)
Chad Rosierab53b4f2012-09-12 18:24:26 +00001148 .Cases("QWORD", "qword", 64)
Michael Zuckerman9beca2e2015-08-24 10:26:54 +00001149 .Cases("MMWORD","mmword", 64)
Chad Rosierab53b4f2012-09-12 18:24:26 +00001150 .Cases("XWORD", "xword", 80)
Michael Kuperstein69e40a42015-07-19 11:03:08 +00001151 .Cases("TBYTE", "tbyte", 80)
Chad Rosierab53b4f2012-09-12 18:24:26 +00001152 .Cases("XMMWORD", "xmmword", 128)
1153 .Cases("YMMWORD", "ymmword", 256)
Craig Topper9ac290a2014-01-17 07:37:39 +00001154 .Cases("ZMMWORD", "zmmword", 512)
Craig Topper2d4b3c92014-01-17 07:44:10 +00001155 .Cases("OPAQUE", "opaque", -1U) // needs to be non-zero, but doesn't matter
Chad Rosierb6b8e962012-09-11 21:10:25 +00001156 .Default(0);
1157 return Size;
Devang Patel46831de2012-01-12 01:36:43 +00001158}
1159
David Blaikie960ea3f2014-06-08 16:18:35 +00001160std::unique_ptr<X86Operand> X86AsmParser::CreateMemForInlineAsm(
1161 unsigned SegReg, const MCExpr *Disp, unsigned BaseReg, unsigned IndexReg,
1162 unsigned Scale, SMLoc Start, SMLoc End, unsigned Size, StringRef Identifier,
1163 InlineAsmIdentifierInfo &Info) {
Reid Kleckner5b37c182014-08-01 20:21:24 +00001164 // If we found a decl other than a VarDecl, then assume it is a FuncDecl or
1165 // some other label reference.
1166 if (isa<MCSymbolRefExpr>(Disp) && Info.OpDecl && !Info.IsVarDecl) {
1167 // Insert an explicit size if the user didn't have one.
1168 if (!Size) {
1169 Size = getPointerWidth();
Craig Topper7d5b2312015-10-10 05:25:02 +00001170 InstInfo->AsmRewrites->emplace_back(AOK_SizeDirective, Start,
1171 /*Len=*/0, Size);
Reid Kleckner5b37c182014-08-01 20:21:24 +00001172 }
1173
1174 // Create an absolute memory reference in order to match against
1175 // instructions taking a PC relative operand.
Craig Topper055845f2015-01-02 07:02:25 +00001176 return X86Operand::CreateMem(getPointerWidth(), Disp, Start, End, Size,
1177 Identifier, Info.OpDecl);
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001178 }
1179
1180 // We either have a direct symbol reference, or an offset from a symbol. The
1181 // parser always puts the symbol on the LHS, so look there for size
1182 // calculation purposes.
1183 const MCBinaryExpr *BinOp = dyn_cast<MCBinaryExpr>(Disp);
1184 bool IsSymRef =
1185 isa<MCSymbolRefExpr>(BinOp ? BinOp->getLHS() : Disp);
1186 if (IsSymRef) {
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001187 if (!Size) {
1188 Size = Info.Type * 8; // Size is in terms of bits in this context.
1189 if (Size)
Craig Topper7d5b2312015-10-10 05:25:02 +00001190 InstInfo->AsmRewrites->emplace_back(AOK_SizeDirective, Start,
1191 /*Len=*/0, Size);
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001192 }
Chad Rosier7ca135b2013-03-19 21:11:56 +00001193 }
1194
Chad Rosier7ca135b2013-03-19 21:11:56 +00001195 // When parsing inline assembly we set the base register to a non-zero value
Chad Rosier175d0ae2013-04-12 18:21:18 +00001196 // if we don't know the actual value at this time. This is necessary to
Chad Rosier7ca135b2013-03-19 21:11:56 +00001197 // get the matching correct in some cases.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001198 BaseReg = BaseReg ? BaseReg : 1;
Craig Topper055845f2015-01-02 07:02:25 +00001199 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
1200 IndexReg, Scale, Start, End, Size, Identifier,
1201 Info.OpDecl);
Chad Rosier7ca135b2013-03-19 21:11:56 +00001202}
1203
Chad Rosierd383db52013-04-12 20:20:54 +00001204static void
Craig Topper7143d802015-10-10 05:25:06 +00001205RewriteIntelBracExpression(SmallVectorImpl<AsmRewrite> &AsmRewrites,
Chad Rosierd383db52013-04-12 20:20:54 +00001206 StringRef SymName, int64_t ImmDisp,
1207 int64_t FinalImmDisp, SMLoc &BracLoc,
1208 SMLoc &StartInBrac, SMLoc &End) {
1209 // Remove the '[' and ']' from the IR string.
Craig Topper7143d802015-10-10 05:25:06 +00001210 AsmRewrites.emplace_back(AOK_Skip, BracLoc, 1);
1211 AsmRewrites.emplace_back(AOK_Skip, End, 1);
Chad Rosierd383db52013-04-12 20:20:54 +00001212
1213 // If ImmDisp is non-zero, then we parsed a displacement before the
1214 // bracketed expression (i.e., ImmDisp [ BaseReg + Scale*IndexReg + Disp])
1215 // If ImmDisp doesn't match the displacement computed by the state machine
1216 // then we have an additional displacement in the bracketed expression.
1217 if (ImmDisp != FinalImmDisp) {
1218 if (ImmDisp) {
1219 // We have an immediate displacement before the bracketed expression.
1220 // Adjust this to match the final immediate displacement.
1221 bool Found = false;
Craig Topper7143d802015-10-10 05:25:06 +00001222 for (AsmRewrite &AR : AsmRewrites) {
1223 if (AR.Loc.getPointer() > BracLoc.getPointer())
Chad Rosierd383db52013-04-12 20:20:54 +00001224 continue;
Craig Topper7143d802015-10-10 05:25:06 +00001225 if (AR.Kind == AOK_ImmPrefix || AR.Kind == AOK_Imm) {
Chad Rosierbfb70992013-04-17 00:11:46 +00001226 assert (!Found && "ImmDisp already rewritten.");
Craig Topper7143d802015-10-10 05:25:06 +00001227 AR.Kind = AOK_Imm;
1228 AR.Len = BracLoc.getPointer() - AR.Loc.getPointer();
1229 AR.Val = FinalImmDisp;
Chad Rosierd383db52013-04-12 20:20:54 +00001230 Found = true;
1231 break;
1232 }
1233 }
1234 assert (Found && "Unable to rewrite ImmDisp.");
Duncan Sands0480b9b2013-05-13 07:50:47 +00001235 (void)Found;
Chad Rosierd383db52013-04-12 20:20:54 +00001236 } else {
1237 // We have a symbolic and an immediate displacement, but no displacement
Chad Rosierbfb70992013-04-17 00:11:46 +00001238 // before the bracketed expression. Put the immediate displacement
Chad Rosierd383db52013-04-12 20:20:54 +00001239 // before the bracketed expression.
Craig Topper7143d802015-10-10 05:25:06 +00001240 AsmRewrites.emplace_back(AOK_Imm, BracLoc, 0, FinalImmDisp);
Chad Rosierd383db52013-04-12 20:20:54 +00001241 }
1242 }
1243 // Remove all the ImmPrefix rewrites within the brackets.
Craig Topper7143d802015-10-10 05:25:06 +00001244 for (AsmRewrite &AR : AsmRewrites) {
1245 if (AR.Loc.getPointer() < StartInBrac.getPointer())
Chad Rosierd383db52013-04-12 20:20:54 +00001246 continue;
Craig Topper7143d802015-10-10 05:25:06 +00001247 if (AR.Kind == AOK_ImmPrefix)
1248 AR.Kind = AOK_Delete;
Chad Rosierd383db52013-04-12 20:20:54 +00001249 }
1250 const char *SymLocPtr = SymName.data();
Michael Liao5bf95782014-12-04 05:20:33 +00001251 // Skip everything before the symbol.
Chad Rosierd383db52013-04-12 20:20:54 +00001252 if (unsigned Len = SymLocPtr - StartInBrac.getPointer()) {
1253 assert(Len > 0 && "Expected a non-negative length.");
Craig Topper7d5b2312015-10-10 05:25:02 +00001254 AsmRewrites.emplace_back(AOK_Skip, StartInBrac, Len);
Chad Rosierd383db52013-04-12 20:20:54 +00001255 }
1256 // Skip everything after the symbol.
1257 if (unsigned Len = End.getPointer() - (SymLocPtr + SymName.size())) {
1258 SMLoc Loc = SMLoc::getFromPointer(SymLocPtr + SymName.size());
1259 assert(Len > 0 && "Expected a non-negative length.");
Craig Topper7d5b2312015-10-10 05:25:02 +00001260 AsmRewrites.emplace_back(AOK_Skip, Loc, Len);
Chad Rosierd383db52013-04-12 20:20:54 +00001261 }
1262}
1263
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001264bool X86AsmParser::ParseIntelExpression(IntelExprStateMachine &SM, SMLoc &End) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001265 MCAsmParser &Parser = getParser();
Chad Rosier6844ea02012-10-24 22:13:37 +00001266 const AsmToken &Tok = Parser.getTok();
Chad Rosier51afe632012-06-27 22:34:28 +00001267
Marina Yatsina8dfd5cb2015-12-24 12:09:51 +00001268 AsmToken::TokenKind PrevTK = AsmToken::Error;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001269 bool Done = false;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001270 while (!Done) {
1271 bool UpdateLocLex = true;
1272
1273 // The period in the dot operator (e.g., [ebx].foo.bar) is parsed as an
1274 // identifier. Don't try an parse it as a register.
1275 if (Tok.getString().startswith("."))
1276 break;
Michael Liao5bf95782014-12-04 05:20:33 +00001277
Chad Rosierbfb70992013-04-17 00:11:46 +00001278 // If we're parsing an immediate expression, we don't expect a '['.
1279 if (SM.getStopOnLBrac() && getLexer().getKind() == AsmToken::LBrac)
1280 break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001281
David Majnemer6a5b8122014-06-19 01:25:43 +00001282 AsmToken::TokenKind TK = getLexer().getKind();
1283 switch (TK) {
Chad Rosier5c118fd2013-01-14 22:31:35 +00001284 default: {
1285 if (SM.isValidEndState()) {
1286 Done = true;
1287 break;
1288 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001289 return Error(Tok.getLoc(), "unknown token in expression");
Chad Rosier5c118fd2013-01-14 22:31:35 +00001290 }
Chad Rosierbfb70992013-04-17 00:11:46 +00001291 case AsmToken::EndOfStatement: {
1292 Done = true;
1293 break;
1294 }
David Majnemer6a5b8122014-06-19 01:25:43 +00001295 case AsmToken::String:
Chad Rosier5c118fd2013-01-14 22:31:35 +00001296 case AsmToken::Identifier: {
Chad Rosier175d0ae2013-04-12 18:21:18 +00001297 // This could be a register or a symbolic displacement.
1298 unsigned TmpReg;
Chad Rosier95ce8892013-04-19 18:39:50 +00001299 const MCExpr *Val;
Chad Rosier152749c2013-04-12 18:54:20 +00001300 SMLoc IdentLoc = Tok.getLoc();
1301 StringRef Identifier = Tok.getString();
David Majnemer6a5b8122014-06-19 01:25:43 +00001302 if (TK != AsmToken::String && !ParseRegister(TmpReg, IdentLoc, End)) {
Chad Rosier5c118fd2013-01-14 22:31:35 +00001303 SM.onRegister(TmpReg);
1304 UpdateLocLex = false;
1305 break;
Chad Rosier95ce8892013-04-19 18:39:50 +00001306 } else {
1307 if (!isParsingInlineAsm()) {
1308 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001309 return Error(Tok.getLoc(), "Unexpected identifier!");
Chad Rosier95ce8892013-04-19 18:39:50 +00001310 } else {
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001311 // This is a dot operator, not an adjacent identifier.
Marina Yatsina8dfd5cb2015-12-24 12:09:51 +00001312 if (Identifier.find('.') != StringRef::npos &&
1313 PrevTK == AsmToken::RBrac) {
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001314 return false;
1315 } else {
1316 InlineAsmIdentifierInfo &Info = SM.getIdentifierInfo();
1317 if (ParseIntelIdentifier(Val, Identifier, Info,
1318 /*Unevaluated=*/false, End))
1319 return true;
1320 }
Chad Rosier95ce8892013-04-19 18:39:50 +00001321 }
1322 SM.onIdentifierExpr(Val, Identifier);
Chad Rosier5c118fd2013-01-14 22:31:35 +00001323 UpdateLocLex = false;
1324 break;
1325 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001326 return Error(Tok.getLoc(), "Unexpected identifier!");
Chad Rosier5c118fd2013-01-14 22:31:35 +00001327 }
Kevin Enderby36eba252013-12-19 23:16:14 +00001328 case AsmToken::Integer: {
Kevin Enderby9d117022014-01-23 21:52:41 +00001329 StringRef ErrMsg;
Chad Rosierbfb70992013-04-17 00:11:46 +00001330 if (isParsingInlineAsm() && SM.getAddImmPrefix())
Craig Topper7d5b2312015-10-10 05:25:02 +00001331 InstInfo->AsmRewrites->emplace_back(AOK_ImmPrefix, Tok.getLoc());
Kevin Enderby36eba252013-12-19 23:16:14 +00001332 // Look for 'b' or 'f' following an Integer as a directional label
1333 SMLoc Loc = getTok().getLoc();
1334 int64_t IntVal = getTok().getIntVal();
1335 End = consumeToken();
1336 UpdateLocLex = false;
1337 if (getLexer().getKind() == AsmToken::Identifier) {
1338 StringRef IDVal = getTok().getString();
1339 if (IDVal == "f" || IDVal == "b") {
1340 MCSymbol *Sym =
Jim Grosbach6f482002015-05-18 18:43:14 +00001341 getContext().getDirectionalLocalSymbol(IntVal, IDVal == "b");
Kevin Enderby36eba252013-12-19 23:16:14 +00001342 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Michael Liao5bf95782014-12-04 05:20:33 +00001343 const MCExpr *Val =
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00001344 MCSymbolRefExpr::create(Sym, Variant, getContext());
Kevin Enderby36eba252013-12-19 23:16:14 +00001345 if (IDVal == "b" && Sym->isUndefined())
1346 return Error(Loc, "invalid reference to undefined symbol");
1347 StringRef Identifier = Sym->getName();
1348 SM.onIdentifierExpr(Val, Identifier);
1349 End = consumeToken();
1350 } else {
Kevin Enderby9d117022014-01-23 21:52:41 +00001351 if (SM.onInteger(IntVal, ErrMsg))
1352 return Error(Loc, ErrMsg);
Kevin Enderby36eba252013-12-19 23:16:14 +00001353 }
1354 } else {
Kevin Enderby9d117022014-01-23 21:52:41 +00001355 if (SM.onInteger(IntVal, ErrMsg))
1356 return Error(Loc, ErrMsg);
Kevin Enderby36eba252013-12-19 23:16:14 +00001357 }
Chad Rosier5c118fd2013-01-14 22:31:35 +00001358 break;
Kevin Enderby36eba252013-12-19 23:16:14 +00001359 }
Chad Rosier5c118fd2013-01-14 22:31:35 +00001360 case AsmToken::Plus: SM.onPlus(); break;
1361 case AsmToken::Minus: SM.onMinus(); break;
Ehsan Akhgari4103da62014-07-04 19:13:05 +00001362 case AsmToken::Tilde: SM.onNot(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001363 case AsmToken::Star: SM.onStar(); break;
Chad Rosier4a7005e2013-04-05 16:28:55 +00001364 case AsmToken::Slash: SM.onDivide(); break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +00001365 case AsmToken::Pipe: SM.onOr(); break;
Michael Kupersteine3de07a2015-06-14 12:59:45 +00001366 case AsmToken::Caret: SM.onXor(); break;
Kevin Enderby2e13b1c2014-01-15 19:05:24 +00001367 case AsmToken::Amp: SM.onAnd(); break;
Kevin Enderbyd6b10712014-02-06 01:21:15 +00001368 case AsmToken::LessLess:
1369 SM.onLShift(); break;
1370 case AsmToken::GreaterGreater:
1371 SM.onRShift(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001372 case AsmToken::LBrac: SM.onLBrac(); break;
1373 case AsmToken::RBrac: SM.onRBrac(); break;
Chad Rosier4a7005e2013-04-05 16:28:55 +00001374 case AsmToken::LParen: SM.onLParen(); break;
1375 case AsmToken::RParen: SM.onRParen(); break;
Chad Rosier5c118fd2013-01-14 22:31:35 +00001376 }
Chad Rosier31246272013-04-17 21:01:45 +00001377 if (SM.hadError())
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001378 return Error(Tok.getLoc(), "unknown token in expression");
Chad Rosier31246272013-04-17 21:01:45 +00001379
Alp Tokera5b88a52013-12-02 16:06:06 +00001380 if (!Done && UpdateLocLex)
1381 End = consumeToken();
Marina Yatsina8dfd5cb2015-12-24 12:09:51 +00001382
1383 PrevTK = TK;
Devang Patel41b9dde2012-01-17 18:00:18 +00001384 }
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001385 return false;
Chad Rosier5362af92013-04-16 18:15:40 +00001386}
1387
David Blaikie960ea3f2014-06-08 16:18:35 +00001388std::unique_ptr<X86Operand>
1389X86AsmParser::ParseIntelBracExpression(unsigned SegReg, SMLoc Start,
1390 int64_t ImmDisp, unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001391 MCAsmParser &Parser = getParser();
Chad Rosier5362af92013-04-16 18:15:40 +00001392 const AsmToken &Tok = Parser.getTok();
1393 SMLoc BracLoc = Tok.getLoc(), End = Tok.getEndLoc();
1394 if (getLexer().isNot(AsmToken::LBrac))
1395 return ErrorOperand(BracLoc, "Expected '[' token!");
1396 Parser.Lex(); // Eat '['
1397
1398 SMLoc StartInBrac = Tok.getLoc();
1399 // Parse [ Symbol + ImmDisp ] and [ BaseReg + Scale*IndexReg + ImmDisp ]. We
1400 // may have already parsed an immediate displacement before the bracketed
1401 // expression.
Chad Rosierbfb70992013-04-17 00:11:46 +00001402 IntelExprStateMachine SM(ImmDisp, /*StopOnLBrac=*/false, /*AddImmPrefix=*/true);
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001403 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001404 return nullptr;
Devang Patel41b9dde2012-01-17 18:00:18 +00001405
Craig Topper062a2ba2014-04-25 05:30:21 +00001406 const MCExpr *Disp = nullptr;
Chad Rosier175d0ae2013-04-12 18:21:18 +00001407 if (const MCExpr *Sym = SM.getSym()) {
Chad Rosierd383db52013-04-12 20:20:54 +00001408 // A symbolic displacement.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001409 Disp = Sym;
Chad Rosierd383db52013-04-12 20:20:54 +00001410 if (isParsingInlineAsm())
Craig Topper7143d802015-10-10 05:25:06 +00001411 RewriteIntelBracExpression(*InstInfo->AsmRewrites, SM.getSymName(),
Chad Rosier5362af92013-04-16 18:15:40 +00001412 ImmDisp, SM.getImm(), BracLoc, StartInBrac,
Chad Rosierd383db52013-04-12 20:20:54 +00001413 End);
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001414 }
1415
1416 if (SM.getImm() || !Disp) {
Jim Grosbach13760bd2015-05-30 01:25:56 +00001417 const MCExpr *Imm = MCConstantExpr::create(SM.getImm(), getContext());
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001418 if (Disp)
Jim Grosbach13760bd2015-05-30 01:25:56 +00001419 Disp = MCBinaryExpr::createAdd(Disp, Imm, getContext());
Reid Klecknerd84e70e2014-03-04 00:33:17 +00001420 else
1421 Disp = Imm; // An immediate displacement only.
Chad Rosier175d0ae2013-04-12 18:21:18 +00001422 }
Devang Pateld0930ff2012-01-20 21:21:01 +00001423
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001424 // Parse struct field access. Intel requires a dot, but MSVC doesn't. MSVC
1425 // will in fact do global lookup the field name inside all global typedefs,
1426 // but we don't emulate that.
1427 if (Tok.getString().find('.') != StringRef::npos) {
Chad Rosier911c1f32012-10-25 17:37:43 +00001428 const MCExpr *NewDisp;
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001429 if (ParseIntelDotOperator(Disp, NewDisp))
Craig Topper062a2ba2014-04-25 05:30:21 +00001430 return nullptr;
Michael Liao5bf95782014-12-04 05:20:33 +00001431
Chad Rosier70f47592013-04-10 20:07:47 +00001432 End = Tok.getEndLoc();
Chad Rosier911c1f32012-10-25 17:37:43 +00001433 Parser.Lex(); // Eat the field.
1434 Disp = NewDisp;
1435 }
Chad Rosier5dcb4662012-10-24 22:21:50 +00001436
Chad Rosier5c118fd2013-01-14 22:31:35 +00001437 int BaseReg = SM.getBaseReg();
1438 int IndexReg = SM.getIndexReg();
Chad Rosier175d0ae2013-04-12 18:21:18 +00001439 int Scale = SM.getScale();
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001440 if (!isParsingInlineAsm()) {
1441 // handle [-42]
1442 if (!BaseReg && !IndexReg) {
1443 if (!SegReg)
Craig Topper055845f2015-01-02 07:02:25 +00001444 return X86Operand::CreateMem(getPointerWidth(), Disp, Start, End, Size);
1445 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
1446 Start, End, Size);
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001447 }
Kevin Enderbybc570f22014-01-23 22:34:42 +00001448 StringRef ErrMsg;
1449 if (CheckBaseRegAndIndexReg(BaseReg, IndexReg, ErrMsg)) {
1450 Error(StartInBrac, ErrMsg);
Craig Topper062a2ba2014-04-25 05:30:21 +00001451 return nullptr;
Kevin Enderbybc570f22014-01-23 22:34:42 +00001452 }
Craig Topper055845f2015-01-02 07:02:25 +00001453 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
1454 IndexReg, Scale, Start, End, Size);
Chad Rosier5c118fd2013-01-14 22:31:35 +00001455 }
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001456
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001457 InlineAsmIdentifierInfo &Info = SM.getIdentifierInfo();
Chad Rosiere8f9bfd2013-04-19 19:29:50 +00001458 return CreateMemForInlineAsm(SegReg, Disp, BaseReg, IndexReg, Scale, Start,
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001459 End, Size, SM.getSymName(), Info);
Devang Patel41b9dde2012-01-17 18:00:18 +00001460}
1461
Chad Rosier8a244662013-04-02 20:02:33 +00001462// Inline assembly may use variable names with namespace alias qualifiers.
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001463bool X86AsmParser::ParseIntelIdentifier(const MCExpr *&Val,
1464 StringRef &Identifier,
1465 InlineAsmIdentifierInfo &Info,
1466 bool IsUnevaluatedOperand, SMLoc &End) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001467 MCAsmParser &Parser = getParser();
Reid Klecknerc2b92542015-08-26 21:57:25 +00001468 assert(isParsingInlineAsm() && "Expected to be parsing inline assembly.");
Craig Topper062a2ba2014-04-25 05:30:21 +00001469 Val = nullptr;
Chad Rosier8a244662013-04-02 20:02:33 +00001470
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001471 StringRef LineBuf(Identifier.data());
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001472 void *Result =
1473 SemaCallback->LookupInlineAsmIdentifier(LineBuf, Info, IsUnevaluatedOperand);
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001474
Chad Rosier8a244662013-04-02 20:02:33 +00001475 const AsmToken &Tok = Parser.getTok();
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001476 SMLoc Loc = Tok.getLoc();
John McCallf73981b2013-05-03 00:15:41 +00001477
1478 // Advance the token stream until the end of the current token is
1479 // after the end of what the frontend claimed.
1480 const char *EndPtr = Tok.getLoc().getPointer() + LineBuf.size();
Reid Klecknerc2b92542015-08-26 21:57:25 +00001481 do {
John McCallf73981b2013-05-03 00:15:41 +00001482 End = Tok.getEndLoc();
1483 getLexer().Lex();
Reid Klecknerc2b92542015-08-26 21:57:25 +00001484 } while (End.getPointer() < EndPtr);
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001485 Identifier = LineBuf;
1486
Reid Klecknerc2b92542015-08-26 21:57:25 +00001487 // The frontend should end parsing on an assembler token boundary, unless it
1488 // failed parsing.
1489 assert((End.getPointer() == EndPtr || !Result) &&
1490 "frontend claimed part of a token?");
1491
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001492 // If the identifier lookup was unsuccessful, assume that we are dealing with
1493 // a label.
1494 if (!Result) {
Ehsan Akhgaribb6bb072014-09-22 20:40:36 +00001495 StringRef InternalName =
1496 SemaCallback->LookupInlineAsmLabel(Identifier, getSourceManager(),
1497 Loc, false);
1498 assert(InternalName.size() && "We should have an internal name here.");
1499 // Push a rewrite for replacing the identifier name with the internal name.
Craig Topper7d5b2312015-10-10 05:25:02 +00001500 InstInfo->AsmRewrites->emplace_back(AOK_Label, Loc, Identifier.size(),
1501 InternalName);
Ehsan Akhgaridb0e7062014-09-22 02:21:35 +00001502 }
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001503
1504 // Create the symbol reference.
Jim Grosbach6f482002015-05-18 18:43:14 +00001505 MCSymbol *Sym = getContext().getOrCreateSymbol(Identifier);
Chad Rosier8a244662013-04-02 20:02:33 +00001506 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Jim Grosbach13760bd2015-05-30 01:25:56 +00001507 Val = MCSymbolRefExpr::create(Sym, Variant, getParser().getContext());
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001508 return false;
Chad Rosier8a244662013-04-02 20:02:33 +00001509}
1510
David Majnemeraa34d792013-08-27 21:56:17 +00001511/// \brief Parse intel style segment override.
David Blaikie960ea3f2014-06-08 16:18:35 +00001512std::unique_ptr<X86Operand>
1513X86AsmParser::ParseIntelSegmentOverride(unsigned SegReg, SMLoc Start,
1514 unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001515 MCAsmParser &Parser = getParser();
David Majnemeraa34d792013-08-27 21:56:17 +00001516 assert(SegReg != 0 && "Tried to parse a segment override without a segment!");
1517 const AsmToken &Tok = Parser.getTok(); // Eat colon.
1518 if (Tok.isNot(AsmToken::Colon))
1519 return ErrorOperand(Tok.getLoc(), "Expected ':' token!");
1520 Parser.Lex(); // Eat ':'
Devang Patel41b9dde2012-01-17 18:00:18 +00001521
David Majnemeraa34d792013-08-27 21:56:17 +00001522 int64_t ImmDisp = 0;
Chad Rosier1530ba52013-03-27 21:49:56 +00001523 if (getLexer().is(AsmToken::Integer)) {
David Majnemeraa34d792013-08-27 21:56:17 +00001524 ImmDisp = Tok.getIntVal();
1525 AsmToken ImmDispToken = Parser.Lex(); // Eat the integer.
1526
Chad Rosier1530ba52013-03-27 21:49:56 +00001527 if (isParsingInlineAsm())
Craig Topper7d5b2312015-10-10 05:25:02 +00001528 InstInfo->AsmRewrites->emplace_back(AOK_ImmPrefix, ImmDispToken.getLoc());
David Majnemeraa34d792013-08-27 21:56:17 +00001529
1530 if (getLexer().isNot(AsmToken::LBrac)) {
1531 // An immediate following a 'segment register', 'colon' token sequence can
1532 // be followed by a bracketed expression. If it isn't we know we have our
1533 // final segment override.
Jim Grosbach13760bd2015-05-30 01:25:56 +00001534 const MCExpr *Disp = MCConstantExpr::create(ImmDisp, getContext());
Craig Topper055845f2015-01-02 07:02:25 +00001535 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp,
1536 /*BaseReg=*/0, /*IndexReg=*/0, /*Scale=*/1,
1537 Start, ImmDispToken.getEndLoc(), Size);
David Majnemeraa34d792013-08-27 21:56:17 +00001538 }
Chad Rosier1530ba52013-03-27 21:49:56 +00001539 }
1540
Chad Rosier91c82662012-10-24 17:22:29 +00001541 if (getLexer().is(AsmToken::LBrac))
Chad Rosierfce4fab2013-04-08 17:43:47 +00001542 return ParseIntelBracExpression(SegReg, Start, ImmDisp, Size);
Devang Patel880bc162012-01-23 18:31:58 +00001543
David Majnemeraa34d792013-08-27 21:56:17 +00001544 const MCExpr *Val;
1545 SMLoc End;
1546 if (!isParsingInlineAsm()) {
1547 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001548 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
David Majnemeraa34d792013-08-27 21:56:17 +00001549
Craig Topper055845f2015-01-02 07:02:25 +00001550 return X86Operand::CreateMem(getPointerWidth(), Val, Start, End, Size);
Devang Patel880bc162012-01-23 18:31:58 +00001551 }
Devang Patel41b9dde2012-01-17 18:00:18 +00001552
David Majnemeraa34d792013-08-27 21:56:17 +00001553 InlineAsmIdentifierInfo Info;
1554 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001555 if (ParseIntelIdentifier(Val, Identifier, Info,
1556 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001557 return nullptr;
David Majnemeraa34d792013-08-27 21:56:17 +00001558 return CreateMemForInlineAsm(/*SegReg=*/0, Val, /*BaseReg=*/0,/*IndexReg=*/0,
1559 /*Scale=*/1, Start, End, Size, Identifier, Info);
1560}
1561
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001562//ParseRoundingModeOp - Parse AVX-512 rounding mode operand
1563std::unique_ptr<X86Operand>
1564X86AsmParser::ParseRoundingModeOp(SMLoc Start, SMLoc End) {
1565 MCAsmParser &Parser = getParser();
1566 const AsmToken &Tok = Parser.getTok();
Elena Demikhovsky29792e92015-05-07 11:24:42 +00001567 // Eat "{" and mark the current place.
1568 const SMLoc consumedToken = consumeToken();
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001569 if (Tok.getIdentifier().startswith("r")){
1570 int rndMode = StringSwitch<int>(Tok.getIdentifier())
1571 .Case("rn", X86::STATIC_ROUNDING::TO_NEAREST_INT)
1572 .Case("rd", X86::STATIC_ROUNDING::TO_NEG_INF)
1573 .Case("ru", X86::STATIC_ROUNDING::TO_POS_INF)
1574 .Case("rz", X86::STATIC_ROUNDING::TO_ZERO)
1575 .Default(-1);
1576 if (-1 == rndMode)
1577 return ErrorOperand(Tok.getLoc(), "Invalid rounding mode.");
1578 Parser.Lex(); // Eat "r*" of r*-sae
1579 if (!getLexer().is(AsmToken::Minus))
1580 return ErrorOperand(Tok.getLoc(), "Expected - at this point");
1581 Parser.Lex(); // Eat "-"
1582 Parser.Lex(); // Eat the sae
1583 if (!getLexer().is(AsmToken::RCurly))
1584 return ErrorOperand(Tok.getLoc(), "Expected } at this point");
1585 Parser.Lex(); // Eat "}"
1586 const MCExpr *RndModeOp =
Jim Grosbach13760bd2015-05-30 01:25:56 +00001587 MCConstantExpr::create(rndMode, Parser.getContext());
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001588 return X86Operand::CreateImm(RndModeOp, Start, End);
1589 }
Elena Demikhovsky29792e92015-05-07 11:24:42 +00001590 if(Tok.getIdentifier().equals("sae")){
1591 Parser.Lex(); // Eat the sae
1592 if (!getLexer().is(AsmToken::RCurly))
1593 return ErrorOperand(Tok.getLoc(), "Expected } at this point");
1594 Parser.Lex(); // Eat "}"
1595 return X86Operand::CreateToken("{sae}", consumedToken);
1596 }
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001597 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
1598}
David Majnemeraa34d792013-08-27 21:56:17 +00001599/// ParseIntelMemOperand - Parse intel style memory operand.
David Blaikie960ea3f2014-06-08 16:18:35 +00001600std::unique_ptr<X86Operand> X86AsmParser::ParseIntelMemOperand(int64_t ImmDisp,
1601 SMLoc Start,
1602 unsigned Size) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001603 MCAsmParser &Parser = getParser();
David Majnemeraa34d792013-08-27 21:56:17 +00001604 const AsmToken &Tok = Parser.getTok();
1605 SMLoc End;
1606
1607 // Parse ImmDisp [ BaseReg + Scale*IndexReg + Disp ].
1608 if (getLexer().is(AsmToken::LBrac))
1609 return ParseIntelBracExpression(/*SegReg=*/0, Start, ImmDisp, Size);
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001610 assert(ImmDisp == 0);
David Majnemeraa34d792013-08-27 21:56:17 +00001611
Chad Rosier95ce8892013-04-19 18:39:50 +00001612 const MCExpr *Val;
1613 if (!isParsingInlineAsm()) {
1614 if (getParser().parsePrimaryExpr(Val, End))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001615 return ErrorOperand(Tok.getLoc(), "unknown token in expression");
Chad Rosier95ce8892013-04-19 18:39:50 +00001616
Craig Topper055845f2015-01-02 07:02:25 +00001617 return X86Operand::CreateMem(getPointerWidth(), Val, Start, End, Size);
Chad Rosier95ce8892013-04-19 18:39:50 +00001618 }
1619
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001620 InlineAsmIdentifierInfo Info;
Chad Rosierce031892013-04-11 23:24:15 +00001621 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001622 if (ParseIntelIdentifier(Val, Identifier, Info,
1623 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001624 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001625
1626 if (!getLexer().is(AsmToken::LBrac))
1627 return CreateMemForInlineAsm(/*SegReg=*/0, Val, /*BaseReg=*/0, /*IndexReg=*/0,
1628 /*Scale=*/1, Start, End, Size, Identifier, Info);
1629
1630 Parser.Lex(); // Eat '['
1631
1632 // Parse Identifier [ ImmDisp ]
1633 IntelExprStateMachine SM(/*ImmDisp=*/0, /*StopOnLBrac=*/true,
1634 /*AddImmPrefix=*/false);
1635 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001636 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001637
1638 if (SM.getSym()) {
1639 Error(Start, "cannot use more than one symbol in memory operand");
Craig Topper062a2ba2014-04-25 05:30:21 +00001640 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001641 }
1642 if (SM.getBaseReg()) {
1643 Error(Start, "cannot use base register with variable reference");
Craig Topper062a2ba2014-04-25 05:30:21 +00001644 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001645 }
1646 if (SM.getIndexReg()) {
1647 Error(Start, "cannot use index register with variable reference");
Craig Topper062a2ba2014-04-25 05:30:21 +00001648 return nullptr;
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001649 }
1650
Jim Grosbach13760bd2015-05-30 01:25:56 +00001651 const MCExpr *Disp = MCConstantExpr::create(SM.getImm(), getContext());
Reid Kleckner4e3bd512014-03-04 17:57:01 +00001652 // BaseReg is non-zero to avoid assertions. In the context of inline asm,
1653 // we're pointing to a local variable in memory, so the base register is
1654 // really the frame or stack pointer.
Craig Topper055845f2015-01-02 07:02:25 +00001655 return X86Operand::CreateMem(getPointerWidth(), /*SegReg=*/0, Disp,
1656 /*BaseReg=*/1, /*IndexReg=*/0, /*Scale=*/1,
1657 Start, End, Size, Identifier, Info.OpDecl);
Chad Rosier91c82662012-10-24 17:22:29 +00001658}
1659
Chad Rosier5dcb4662012-10-24 22:21:50 +00001660/// Parse the '.' operator.
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001661bool X86AsmParser::ParseIntelDotOperator(const MCExpr *Disp,
Chad Rosiercc541e82013-04-19 15:57:00 +00001662 const MCExpr *&NewDisp) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001663 MCAsmParser &Parser = getParser();
Chad Rosier70f47592013-04-10 20:07:47 +00001664 const AsmToken &Tok = Parser.getTok();
Chad Rosier6241c1a2013-04-17 21:14:38 +00001665 int64_t OrigDispVal, DotDispVal;
Chad Rosier911c1f32012-10-25 17:37:43 +00001666
1667 // FIXME: Handle non-constant expressions.
Chad Rosiercc541e82013-04-19 15:57:00 +00001668 if (const MCConstantExpr *OrigDisp = dyn_cast<MCConstantExpr>(Disp))
Chad Rosier911c1f32012-10-25 17:37:43 +00001669 OrigDispVal = OrigDisp->getValue();
Chad Rosiercc541e82013-04-19 15:57:00 +00001670 else
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001671 return Error(Tok.getLoc(), "Non-constant offsets are not supported!");
Chad Rosier5dcb4662012-10-24 22:21:50 +00001672
Reid Kleckner94a1c4d2014-03-06 19:19:12 +00001673 // Drop the optional '.'.
1674 StringRef DotDispStr = Tok.getString();
1675 if (DotDispStr.startswith("."))
1676 DotDispStr = DotDispStr.drop_front(1);
Chad Rosier5dcb4662012-10-24 22:21:50 +00001677
Chad Rosier5dcb4662012-10-24 22:21:50 +00001678 // .Imm gets lexed as a real.
1679 if (Tok.is(AsmToken::Real)) {
1680 APInt DotDisp;
1681 DotDispStr.getAsInteger(10, DotDisp);
Chad Rosier911c1f32012-10-25 17:37:43 +00001682 DotDispVal = DotDisp.getZExtValue();
Chad Rosiercc541e82013-04-19 15:57:00 +00001683 } else if (isParsingInlineAsm() && Tok.is(AsmToken::Identifier)) {
Chad Rosier240b7b92012-10-25 21:51:10 +00001684 unsigned DotDisp;
1685 std::pair<StringRef, StringRef> BaseMember = DotDispStr.split('.');
1686 if (SemaCallback->LookupInlineAsmField(BaseMember.first, BaseMember.second,
Chad Rosiercc541e82013-04-19 15:57:00 +00001687 DotDisp))
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001688 return Error(Tok.getLoc(), "Unable to lookup field reference!");
Chad Rosier240b7b92012-10-25 21:51:10 +00001689 DotDispVal = DotDisp;
Chad Rosiercc541e82013-04-19 15:57:00 +00001690 } else
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001691 return Error(Tok.getLoc(), "Unexpected token type!");
Chad Rosier911c1f32012-10-25 17:37:43 +00001692
Chad Rosier240b7b92012-10-25 21:51:10 +00001693 if (isParsingInlineAsm() && Tok.is(AsmToken::Identifier)) {
1694 SMLoc Loc = SMLoc::getFromPointer(DotDispStr.data());
1695 unsigned Len = DotDispStr.size();
1696 unsigned Val = OrigDispVal + DotDispVal;
Craig Topper7d5b2312015-10-10 05:25:02 +00001697 InstInfo->AsmRewrites->emplace_back(AOK_DotOperator, Loc, Len, Val);
Chad Rosier911c1f32012-10-25 17:37:43 +00001698 }
1699
Jim Grosbach13760bd2015-05-30 01:25:56 +00001700 NewDisp = MCConstantExpr::create(OrigDispVal + DotDispVal, getContext());
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001701 return false;
Chad Rosier5dcb4662012-10-24 22:21:50 +00001702}
1703
Chad Rosier91c82662012-10-24 17:22:29 +00001704/// Parse the 'offset' operator. This operator is used to specify the
1705/// location rather then the content of a variable.
David Blaikie960ea3f2014-06-08 16:18:35 +00001706std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOffsetOfOperator() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001707 MCAsmParser &Parser = getParser();
Chad Rosier18785852013-04-09 20:58:48 +00001708 const AsmToken &Tok = Parser.getTok();
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001709 SMLoc OffsetOfLoc = Tok.getLoc();
Chad Rosier91c82662012-10-24 17:22:29 +00001710 Parser.Lex(); // Eat offset.
Chad Rosier91c82662012-10-24 17:22:29 +00001711
Chad Rosier91c82662012-10-24 17:22:29 +00001712 const MCExpr *Val;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001713 InlineAsmIdentifierInfo Info;
Chad Rosier18785852013-04-09 20:58:48 +00001714 SMLoc Start = Tok.getLoc(), End;
Chad Rosierae7ecd62013-04-11 23:37:34 +00001715 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001716 if (ParseIntelIdentifier(Val, Identifier, Info,
1717 /*Unevaluated=*/false, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001718 return nullptr;
Chad Rosierae7ecd62013-04-11 23:37:34 +00001719
Chad Rosiere2f03772012-10-26 16:09:20 +00001720 // Don't emit the offset operator.
Craig Topper7d5b2312015-10-10 05:25:02 +00001721 InstInfo->AsmRewrites->emplace_back(AOK_Skip, OffsetOfLoc, 7);
Chad Rosiere2f03772012-10-26 16:09:20 +00001722
Chad Rosier91c82662012-10-24 17:22:29 +00001723 // The offset operator will have an 'r' constraint, thus we need to create
1724 // register operand to ensure proper matching. Just pick a GPR based on
1725 // the size of a pointer.
Craig Topper3c80d622014-01-06 04:55:54 +00001726 unsigned RegNo =
1727 is64BitMode() ? X86::RBX : (is32BitMode() ? X86::EBX : X86::BX);
Chad Rosiera4bc9432013-01-10 22:10:27 +00001728 return X86Operand::CreateReg(RegNo, Start, End, /*GetAddress=*/true,
Chad Rosier732b8372013-04-22 22:04:25 +00001729 OffsetOfLoc, Identifier, Info.OpDecl);
Devang Patel41b9dde2012-01-17 18:00:18 +00001730}
1731
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001732enum IntelOperatorKind {
1733 IOK_LENGTH,
1734 IOK_SIZE,
1735 IOK_TYPE
1736};
1737
1738/// Parse the 'LENGTH', 'TYPE' and 'SIZE' operators. The LENGTH operator
1739/// returns the number of elements in an array. It returns the value 1 for
1740/// non-array variables. The SIZE operator returns the size of a C or C++
1741/// variable. A variable's size is the product of its LENGTH and TYPE. The
1742/// TYPE operator returns the size of a C or C++ type or variable. If the
1743/// variable is an array, TYPE returns the size of a single element.
David Blaikie960ea3f2014-06-08 16:18:35 +00001744std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOperator(unsigned OpKind) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001745 MCAsmParser &Parser = getParser();
Chad Rosier18785852013-04-09 20:58:48 +00001746 const AsmToken &Tok = Parser.getTok();
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001747 SMLoc TypeLoc = Tok.getLoc();
1748 Parser.Lex(); // Eat operator.
Chad Rosier11c42f22012-10-26 18:04:20 +00001749
Craig Topper062a2ba2014-04-25 05:30:21 +00001750 const MCExpr *Val = nullptr;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001751 InlineAsmIdentifierInfo Info;
Chad Rosier18785852013-04-09 20:58:48 +00001752 SMLoc Start = Tok.getLoc(), End;
Chad Rosierb67f8052013-04-11 23:57:04 +00001753 StringRef Identifier = Tok.getString();
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001754 if (ParseIntelIdentifier(Val, Identifier, Info,
1755 /*Unevaluated=*/true, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001756 return nullptr;
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001757
1758 if (!Info.OpDecl)
1759 return ErrorOperand(Start, "unable to lookup expression");
Chad Rosier11c42f22012-10-26 18:04:20 +00001760
Chad Rosierf6675c32013-04-22 17:01:46 +00001761 unsigned CVal = 0;
Chad Rosiercb78f0d2013-04-22 19:42:15 +00001762 switch(OpKind) {
1763 default: llvm_unreachable("Unexpected operand kind!");
1764 case IOK_LENGTH: CVal = Info.Length; break;
1765 case IOK_SIZE: CVal = Info.Size; break;
1766 case IOK_TYPE: CVal = Info.Type; break;
1767 }
Chad Rosier11c42f22012-10-26 18:04:20 +00001768
1769 // Rewrite the type operator and the C or C++ type or variable in terms of an
1770 // immediate. E.g. TYPE foo -> $$4
1771 unsigned Len = End.getPointer() - TypeLoc.getPointer();
Craig Topper7d5b2312015-10-10 05:25:02 +00001772 InstInfo->AsmRewrites->emplace_back(AOK_Imm, TypeLoc, Len, CVal);
Chad Rosier11c42f22012-10-26 18:04:20 +00001773
Jim Grosbach13760bd2015-05-30 01:25:56 +00001774 const MCExpr *Imm = MCConstantExpr::create(CVal, getContext());
Chad Rosierf3c04f62013-03-19 21:58:18 +00001775 return X86Operand::CreateImm(Imm, Start, End);
Chad Rosier11c42f22012-10-26 18:04:20 +00001776}
1777
David Blaikie960ea3f2014-06-08 16:18:35 +00001778std::unique_ptr<X86Operand> X86AsmParser::ParseIntelOperand() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001779 MCAsmParser &Parser = getParser();
Chad Rosier70f47592013-04-10 20:07:47 +00001780 const AsmToken &Tok = Parser.getTok();
David Majnemeraa34d792013-08-27 21:56:17 +00001781 SMLoc Start, End;
Chad Rosier91c82662012-10-24 17:22:29 +00001782
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001783 // Offset, length, type and size operators.
1784 if (isParsingInlineAsm()) {
Chad Rosier99e54642013-04-19 17:32:29 +00001785 StringRef AsmTokStr = Tok.getString();
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001786 if (AsmTokStr == "offset" || AsmTokStr == "OFFSET")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001787 return ParseIntelOffsetOfOperator();
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001788 if (AsmTokStr == "length" || AsmTokStr == "LENGTH")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001789 return ParseIntelOperator(IOK_LENGTH);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001790 if (AsmTokStr == "size" || AsmTokStr == "SIZE")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001791 return ParseIntelOperator(IOK_SIZE);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001792 if (AsmTokStr == "type" || AsmTokStr == "TYPE")
Chad Rosier10d1d1c2013-04-09 20:44:09 +00001793 return ParseIntelOperator(IOK_TYPE);
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001794 }
Chad Rosier11c42f22012-10-26 18:04:20 +00001795
Marina Yatsina4b1aea02015-12-03 12:17:03 +00001796 bool PtrInOperand = false;
David Majnemeraa34d792013-08-27 21:56:17 +00001797 unsigned Size = getIntelMemOperandSize(Tok.getString());
1798 if (Size) {
1799 Parser.Lex(); // Eat operand size (e.g., byte, word).
1800 if (Tok.getString() != "PTR" && Tok.getString() != "ptr")
Reid Kleckner71ff3f22014-08-01 00:59:22 +00001801 return ErrorOperand(Tok.getLoc(), "Expected 'PTR' or 'ptr' token!");
David Majnemeraa34d792013-08-27 21:56:17 +00001802 Parser.Lex(); // Eat ptr.
Marina Yatsina4b1aea02015-12-03 12:17:03 +00001803 PtrInOperand = true;
David Majnemeraa34d792013-08-27 21:56:17 +00001804 }
1805 Start = Tok.getLoc();
1806
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001807 // Immediate.
Chad Rosierbfb70992013-04-17 00:11:46 +00001808 if (getLexer().is(AsmToken::Integer) || getLexer().is(AsmToken::Minus) ||
Ehsan Akhgari4103da62014-07-04 19:13:05 +00001809 getLexer().is(AsmToken::Tilde) || getLexer().is(AsmToken::LParen)) {
Chad Rosierbfb70992013-04-17 00:11:46 +00001810 AsmToken StartTok = Tok;
1811 IntelExprStateMachine SM(/*Imm=*/0, /*StopOnLBrac=*/true,
1812 /*AddImmPrefix=*/false);
Benjamin Kramer951b15e2013-12-01 11:47:42 +00001813 if (ParseIntelExpression(SM, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001814 return nullptr;
Chad Rosierbfb70992013-04-17 00:11:46 +00001815
1816 int64_t Imm = SM.getImm();
1817 if (isParsingInlineAsm()) {
1818 unsigned Len = Tok.getLoc().getPointer() - Start.getPointer();
1819 if (StartTok.getString().size() == Len)
1820 // Just add a prefix if this wasn't a complex immediate expression.
Craig Topper7d5b2312015-10-10 05:25:02 +00001821 InstInfo->AsmRewrites->emplace_back(AOK_ImmPrefix, Start);
Chad Rosierbfb70992013-04-17 00:11:46 +00001822 else
1823 // Otherwise, rewrite the complex expression as a single immediate.
Craig Topper7d5b2312015-10-10 05:25:02 +00001824 InstInfo->AsmRewrites->emplace_back(AOK_Imm, Start, Len, Imm);
Devang Patel41b9dde2012-01-17 18:00:18 +00001825 }
Chad Rosierbfb70992013-04-17 00:11:46 +00001826
1827 if (getLexer().isNot(AsmToken::LBrac)) {
Kevin Enderby36eba252013-12-19 23:16:14 +00001828 // If a directional label (ie. 1f or 2b) was parsed above from
1829 // ParseIntelExpression() then SM.getSym() was set to a pointer to
1830 // to the MCExpr with the directional local symbol and this is a
1831 // memory operand not an immediate operand.
1832 if (SM.getSym())
Craig Topper055845f2015-01-02 07:02:25 +00001833 return X86Operand::CreateMem(getPointerWidth(), SM.getSym(), Start, End,
1834 Size);
Kevin Enderby36eba252013-12-19 23:16:14 +00001835
Jim Grosbach13760bd2015-05-30 01:25:56 +00001836 const MCExpr *ImmExpr = MCConstantExpr::create(Imm, getContext());
Chad Rosierbfb70992013-04-17 00:11:46 +00001837 return X86Operand::CreateImm(ImmExpr, Start, End);
1838 }
1839
1840 // Only positive immediates are valid.
1841 if (Imm < 0)
1842 return ErrorOperand(Start, "expected a positive immediate displacement "
1843 "before bracketed expr.");
1844
1845 // Parse ImmDisp [ BaseReg + Scale*IndexReg + Disp ].
David Majnemeraa34d792013-08-27 21:56:17 +00001846 return ParseIntelMemOperand(Imm, Start, Size);
Devang Patel41b9dde2012-01-17 18:00:18 +00001847 }
1848
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001849 // rounding mode token
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001850 if (getSTI().getFeatureBits()[X86::FeatureAVX512] &&
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001851 getLexer().is(AsmToken::LCurly))
1852 return ParseRoundingModeOp(Start, End);
1853
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001854 // Register.
Devang Patelce6a2ca2012-01-20 22:32:05 +00001855 unsigned RegNo = 0;
1856 if (!ParseRegister(RegNo, Start, End)) {
Chad Rosier0397edd2012-10-04 23:59:38 +00001857 // If this is a segment register followed by a ':', then this is the start
David Majnemeraa34d792013-08-27 21:56:17 +00001858 // of a segment override, otherwise this is a normal register reference.
Marina Yatsina4b1aea02015-12-03 12:17:03 +00001859 // In case it is a normal register and there is ptr in the operand this
1860 // is an error
1861 if (getLexer().isNot(AsmToken::Colon)){
1862 if (PtrInOperand){
1863 return ErrorOperand(Start, "expected memory operand after "
1864 "'ptr', found register operand instead");
1865 }
Jordan Rosee8f1eae2013-01-07 19:00:49 +00001866 return X86Operand::CreateReg(RegNo, Start, End);
Marina Yatsina4b1aea02015-12-03 12:17:03 +00001867 }
1868
David Majnemeraa34d792013-08-27 21:56:17 +00001869 return ParseIntelSegmentOverride(/*SegReg=*/RegNo, Start, Size);
Devang Patel46831de2012-01-12 01:36:43 +00001870 }
1871
Chad Rosierd0ed73a2013-01-17 19:21:48 +00001872 // Memory operand.
David Majnemeraa34d792013-08-27 21:56:17 +00001873 return ParseIntelMemOperand(/*Disp=*/0, Start, Size);
Devang Patel46831de2012-01-12 01:36:43 +00001874}
1875
David Blaikie960ea3f2014-06-08 16:18:35 +00001876std::unique_ptr<X86Operand> X86AsmParser::ParseATTOperand() {
Rafael Espindola961d4692014-11-11 05:18:41 +00001877 MCAsmParser &Parser = getParser();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001878 switch (getLexer().getKind()) {
1879 default:
Chris Lattnerb9270732010-04-17 18:56:34 +00001880 // Parse a memory operand with no segment register.
1881 return ParseMemOperand(0, Parser.getTok().getLoc());
Chris Lattnercc2ad082010-01-15 18:27:19 +00001882 case AsmToken::Percent: {
Chris Lattnerb9270732010-04-17 18:56:34 +00001883 // Read the register.
Chris Lattnercc2ad082010-01-15 18:27:19 +00001884 unsigned RegNo;
Chris Lattner0c2538f2010-01-15 18:51:29 +00001885 SMLoc Start, End;
Craig Topper062a2ba2014-04-25 05:30:21 +00001886 if (ParseRegister(RegNo, Start, End)) return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001887 if (RegNo == X86::EIZ || RegNo == X86::RIZ) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00001888 Error(Start, "%eiz and %riz can only be used as index registers",
1889 SMRange(Start, End));
Craig Topper062a2ba2014-04-25 05:30:21 +00001890 return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00001891 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001892
Chris Lattnerb9270732010-04-17 18:56:34 +00001893 // If this is a segment register followed by a ':', then this is the start
1894 // of a memory reference, otherwise this is a normal register reference.
1895 if (getLexer().isNot(AsmToken::Colon))
1896 return X86Operand::CreateReg(RegNo, Start, End);
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001897
Reid Kleckner0c5da972014-07-31 23:03:22 +00001898 if (!X86MCRegisterClasses[X86::SEGMENT_REGRegClassID].contains(RegNo))
1899 return ErrorOperand(Start, "invalid segment register");
1900
Chris Lattnerb9270732010-04-17 18:56:34 +00001901 getParser().Lex(); // Eat the colon.
1902 return ParseMemOperand(RegNo, Start);
Chris Lattnercc2ad082010-01-15 18:27:19 +00001903 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001904 case AsmToken::Dollar: {
1905 // $42 -> immediate.
Sean Callanan936b0d32010-01-19 21:44:56 +00001906 SMLoc Start = Parser.getTok().getLoc(), End;
Sean Callanana83fd7d2010-01-19 20:27:46 +00001907 Parser.Lex();
Daniel Dunbar73da11e2009-08-31 08:08:38 +00001908 const MCExpr *Val;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00001909 if (getParser().parseExpression(Val, End))
Craig Topper062a2ba2014-04-25 05:30:21 +00001910 return nullptr;
Chris Lattner528d00b2010-01-15 19:28:38 +00001911 return X86Operand::CreateImm(Val, Start, End);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001912 }
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001913 case AsmToken::LCurly:{
1914 SMLoc Start = Parser.getTok().getLoc(), End;
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001915 if (getSTI().getFeatureBits()[X86::FeatureAVX512])
Elena Demikhovsky18fd4962015-03-02 15:00:34 +00001916 return ParseRoundingModeOp(Start, End);
1917 return ErrorOperand(Start, "unknown token in expression");
1918 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001919 }
Daniel Dunbar2b11c7d2009-07-20 20:01:54 +00001920}
1921
David Blaikie960ea3f2014-06-08 16:18:35 +00001922bool X86AsmParser::HandleAVX512Operand(OperandVector &Operands,
1923 const MCParsedAsmOperand &Op) {
Rafael Espindola961d4692014-11-11 05:18:41 +00001924 MCAsmParser &Parser = getParser();
Akira Hatanakabd9fc282015-11-14 05:20:05 +00001925 if(getSTI().getFeatureBits()[X86::FeatureAVX512]) {
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001926 if (getLexer().is(AsmToken::LCurly)) {
1927 // Eat "{" and mark the current place.
1928 const SMLoc consumedToken = consumeToken();
1929 // Distinguish {1to<NUM>} from {%k<NUM>}.
1930 if(getLexer().is(AsmToken::Integer)) {
1931 // Parse memory broadcasting ({1to<NUM>}).
1932 if (getLexer().getTok().getIntVal() != 1)
1933 return !ErrorAndEatStatement(getLexer().getLoc(),
1934 "Expected 1to<NUM> at this point");
1935 Parser.Lex(); // Eat "1" of 1to8
1936 if (!getLexer().is(AsmToken::Identifier) ||
1937 !getLexer().getTok().getIdentifier().startswith("to"))
1938 return !ErrorAndEatStatement(getLexer().getLoc(),
1939 "Expected 1to<NUM> at this point");
1940 // Recognize only reasonable suffixes.
1941 const char *BroadcastPrimitive =
1942 StringSwitch<const char*>(getLexer().getTok().getIdentifier())
Robert Khasanovbfa01312014-07-21 14:54:21 +00001943 .Case("to2", "{1to2}")
1944 .Case("to4", "{1to4}")
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001945 .Case("to8", "{1to8}")
1946 .Case("to16", "{1to16}")
Craig Topper062a2ba2014-04-25 05:30:21 +00001947 .Default(nullptr);
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001948 if (!BroadcastPrimitive)
1949 return !ErrorAndEatStatement(getLexer().getLoc(),
1950 "Invalid memory broadcast primitive.");
1951 Parser.Lex(); // Eat "toN" of 1toN
1952 if (!getLexer().is(AsmToken::RCurly))
1953 return !ErrorAndEatStatement(getLexer().getLoc(),
1954 "Expected } at this point");
1955 Parser.Lex(); // Eat "}"
1956 Operands.push_back(X86Operand::CreateToken(BroadcastPrimitive,
1957 consumedToken));
1958 // No AVX512 specific primitives can pass
1959 // after memory broadcasting, so return.
1960 return true;
1961 } else {
1962 // Parse mask register {%k1}
1963 Operands.push_back(X86Operand::CreateToken("{", consumedToken));
David Blaikie960ea3f2014-06-08 16:18:35 +00001964 if (std::unique_ptr<X86Operand> Op = ParseOperand()) {
1965 Operands.push_back(std::move(Op));
Elena Demikhovskyc9657012014-02-20 06:34:39 +00001966 if (!getLexer().is(AsmToken::RCurly))
1967 return !ErrorAndEatStatement(getLexer().getLoc(),
1968 "Expected } at this point");
1969 Operands.push_back(X86Operand::CreateToken("}", consumeToken()));
1970
1971 // Parse "zeroing non-masked" semantic {z}
1972 if (getLexer().is(AsmToken::LCurly)) {
1973 Operands.push_back(X86Operand::CreateToken("{z}", consumeToken()));
1974 if (!getLexer().is(AsmToken::Identifier) ||
1975 getLexer().getTok().getIdentifier() != "z")
1976 return !ErrorAndEatStatement(getLexer().getLoc(),
1977 "Expected z at this point");
1978 Parser.Lex(); // Eat the z
1979 if (!getLexer().is(AsmToken::RCurly))
1980 return !ErrorAndEatStatement(getLexer().getLoc(),
1981 "Expected } at this point");
1982 Parser.Lex(); // Eat the }
1983 }
1984 }
1985 }
1986 }
1987 }
1988 return true;
1989}
1990
Chris Lattnerb9270732010-04-17 18:56:34 +00001991/// ParseMemOperand: segment: disp(basereg, indexreg, scale). The '%ds:' prefix
1992/// has already been parsed if present.
David Blaikie960ea3f2014-06-08 16:18:35 +00001993std::unique_ptr<X86Operand> X86AsmParser::ParseMemOperand(unsigned SegReg,
1994 SMLoc MemStart) {
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00001995
Rafael Espindola961d4692014-11-11 05:18:41 +00001996 MCAsmParser &Parser = getParser();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00001997 // We have to disambiguate a parenthesized expression "(4+5)" from the start
1998 // of a memory operand with a missing displacement "(%ebx)" or "(,%eax)". The
Chris Lattner807a3bc2010-01-24 01:07:33 +00001999 // only way to do this without lookahead is to eat the '(' and see what is
2000 // after it.
Jim Grosbach13760bd2015-05-30 01:25:56 +00002001 const MCExpr *Disp = MCConstantExpr::create(0, getParser().getContext());
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002002 if (getLexer().isNot(AsmToken::LParen)) {
Chris Lattnere17df0b2010-01-15 19:39:23 +00002003 SMLoc ExprEnd;
Craig Topper062a2ba2014-04-25 05:30:21 +00002004 if (getParser().parseExpression(Disp, ExprEnd)) return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002005
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002006 // After parsing the base expression we could either have a parenthesized
2007 // memory address or not. If not, return now. If so, eat the (.
2008 if (getLexer().isNot(AsmToken::LParen)) {
Daniel Dunbara4fc8d92009-07-31 22:22:54 +00002009 // Unless we have a segment register, treat this as an immediate.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002010 if (SegReg == 0)
Craig Topper055845f2015-01-02 07:02:25 +00002011 return X86Operand::CreateMem(getPointerWidth(), Disp, MemStart, ExprEnd);
2012 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
2013 MemStart, ExprEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002014 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002015
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002016 // Eat the '('.
Sean Callanana83fd7d2010-01-19 20:27:46 +00002017 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002018 } else {
2019 // Okay, we have a '('. We don't know if this is an expression or not, but
2020 // so we have to eat the ( to see beyond it.
Sean Callanan936b0d32010-01-19 21:44:56 +00002021 SMLoc LParenLoc = Parser.getTok().getLoc();
Sean Callanana83fd7d2010-01-19 20:27:46 +00002022 Parser.Lex(); // Eat the '('.
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002023
Kevin Enderby7d912182009-09-03 17:15:07 +00002024 if (getLexer().is(AsmToken::Percent) || getLexer().is(AsmToken::Comma)) {
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002025 // Nothing to do here, fall into the code below with the '(' part of the
2026 // memory operand consumed.
2027 } else {
Chris Lattner528d00b2010-01-15 19:28:38 +00002028 SMLoc ExprEnd;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002029
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002030 // It must be an parenthesized expression, parse it now.
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002031 if (getParser().parseParenExpression(Disp, ExprEnd))
Craig Topper062a2ba2014-04-25 05:30:21 +00002032 return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002033
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002034 // After parsing the base expression we could either have a parenthesized
2035 // memory address or not. If not, return now. If so, eat the (.
2036 if (getLexer().isNot(AsmToken::LParen)) {
Daniel Dunbara4fc8d92009-07-31 22:22:54 +00002037 // Unless we have a segment register, treat this as an immediate.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002038 if (SegReg == 0)
Craig Topper055845f2015-01-02 07:02:25 +00002039 return X86Operand::CreateMem(getPointerWidth(), Disp, LParenLoc,
2040 ExprEnd);
2041 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, 0, 0, 1,
2042 MemStart, ExprEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002043 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002044
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002045 // Eat the '('.
Sean Callanana83fd7d2010-01-19 20:27:46 +00002046 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002047 }
2048 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002049
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002050 // If we reached here, then we just ate the ( of the memory operand. Process
2051 // the rest of the memory operand.
Daniel Dunbar3ebf8482009-07-31 20:53:16 +00002052 unsigned BaseReg = 0, IndexReg = 0, Scale = 1;
David Woodhouse6dbda442014-01-08 12:58:28 +00002053 SMLoc IndexLoc, BaseLoc;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002054
Chris Lattner0c2538f2010-01-15 18:51:29 +00002055 if (getLexer().is(AsmToken::Percent)) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00002056 SMLoc StartLoc, EndLoc;
David Woodhouse6dbda442014-01-08 12:58:28 +00002057 BaseLoc = Parser.getTok().getLoc();
Craig Topper062a2ba2014-04-25 05:30:21 +00002058 if (ParseRegister(BaseReg, StartLoc, EndLoc)) return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00002059 if (BaseReg == X86::EIZ || BaseReg == X86::RIZ) {
Benjamin Kramer1930b002011-10-16 12:10:27 +00002060 Error(StartLoc, "eiz and riz can only be used as index registers",
2061 SMRange(StartLoc, EndLoc));
Craig Topper062a2ba2014-04-25 05:30:21 +00002062 return nullptr;
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00002063 }
Chris Lattner0c2538f2010-01-15 18:51:29 +00002064 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002065
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002066 if (getLexer().is(AsmToken::Comma)) {
Sean Callanana83fd7d2010-01-19 20:27:46 +00002067 Parser.Lex(); // Eat the comma.
Kevin Enderbyfb3110b2012-03-12 21:32:09 +00002068 IndexLoc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002069
2070 // Following the comma we should have either an index register, or a scale
2071 // value. We don't support the later form, but we want to parse it
2072 // correctly.
2073 //
2074 // Not that even though it would be completely consistent to support syntax
Bruno Cardoso Lopes306a1f92010-07-24 00:06:39 +00002075 // like "1(%eax,,1)", the assembler doesn't. Use "eiz" or "riz" for this.
Kevin Enderby7d912182009-09-03 17:15:07 +00002076 if (getLexer().is(AsmToken::Percent)) {
Chris Lattner0c2538f2010-01-15 18:51:29 +00002077 SMLoc L;
Craig Topper062a2ba2014-04-25 05:30:21 +00002078 if (ParseRegister(IndexReg, L, L)) return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002079
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002080 if (getLexer().isNot(AsmToken::RParen)) {
2081 // Parse the scale amount:
2082 // ::= ',' [scale-expression]
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002083 if (getLexer().isNot(AsmToken::Comma)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00002084 Error(Parser.getTok().getLoc(),
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002085 "expected comma in scale expression");
Craig Topper062a2ba2014-04-25 05:30:21 +00002086 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002087 }
Sean Callanana83fd7d2010-01-19 20:27:46 +00002088 Parser.Lex(); // Eat the comma.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002089
2090 if (getLexer().isNot(AsmToken::RParen)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00002091 SMLoc Loc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002092
2093 int64_t ScaleVal;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002094 if (getParser().parseAbsoluteExpression(ScaleVal)){
Kevin Enderbydeed5aa2012-03-09 22:24:10 +00002095 Error(Loc, "expected scale expression");
Craig Topper062a2ba2014-04-25 05:30:21 +00002096 return nullptr;
Craig Topper6bf3ed42012-07-18 04:59:16 +00002097 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002098
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002099 // Validate the scale amount.
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00002100 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg) &&
David Woodhouse6dbda442014-01-08 12:58:28 +00002101 ScaleVal != 1) {
2102 Error(Loc, "scale factor in 16-bit address must be 1");
Craig Topper062a2ba2014-04-25 05:30:21 +00002103 return nullptr;
NAKAMURA Takumi0a7d0ad2015-09-22 11:15:07 +00002104 }
2105 if (ScaleVal != 1 && ScaleVal != 2 && ScaleVal != 4 &&
2106 ScaleVal != 8) {
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002107 Error(Loc, "scale factor in address must be 1, 2, 4 or 8");
Craig Topper062a2ba2014-04-25 05:30:21 +00002108 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002109 }
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002110 Scale = (unsigned)ScaleVal;
2111 }
2112 }
2113 } else if (getLexer().isNot(AsmToken::RParen)) {
Daniel Dunbar94b84a12010-08-24 19:13:38 +00002114 // A scale amount without an index is ignored.
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002115 // index.
Sean Callanan936b0d32010-01-19 21:44:56 +00002116 SMLoc Loc = Parser.getTok().getLoc();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002117
2118 int64_t Value;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002119 if (getParser().parseAbsoluteExpression(Value))
Craig Topper062a2ba2014-04-25 05:30:21 +00002120 return nullptr;
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002121
Daniel Dunbar94b84a12010-08-24 19:13:38 +00002122 if (Value != 1)
2123 Warning(Loc, "scale factor without index register is ignored");
2124 Scale = 1;
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002125 }
2126 }
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002127
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002128 // Ok, we've eaten the memory operand, verify we have a ')' and eat it too.
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002129 if (getLexer().isNot(AsmToken::RParen)) {
Sean Callanan936b0d32010-01-19 21:44:56 +00002130 Error(Parser.getTok().getLoc(), "unexpected token in memory operand");
Craig Topper062a2ba2014-04-25 05:30:21 +00002131 return nullptr;
Chris Lattnera2bbb7c2010-01-15 18:44:13 +00002132 }
Jordan Rosee8f1eae2013-01-07 19:00:49 +00002133 SMLoc MemEnd = Parser.getTok().getEndLoc();
Sean Callanana83fd7d2010-01-19 20:27:46 +00002134 Parser.Lex(); // Eat the ')'.
Bruno Cardoso Lopesd65cd1d2010-07-23 22:15:26 +00002135
David Woodhouse6dbda442014-01-08 12:58:28 +00002136 // Check for use of invalid 16-bit registers. Only BX/BP/SI/DI are allowed,
2137 // and then only in non-64-bit modes. Except for DX, which is a special case
2138 // because an unofficial form of in/out instructions uses it.
2139 if (X86MCRegisterClasses[X86::GR16RegClassID].contains(BaseReg) &&
2140 (is64BitMode() || (BaseReg != X86::BX && BaseReg != X86::BP &&
2141 BaseReg != X86::SI && BaseReg != X86::DI)) &&
2142 BaseReg != X86::DX) {
2143 Error(BaseLoc, "invalid 16-bit base register");
Craig Topper062a2ba2014-04-25 05:30:21 +00002144 return nullptr;
David Woodhouse6dbda442014-01-08 12:58:28 +00002145 }
2146 if (BaseReg == 0 &&
2147 X86MCRegisterClasses[X86::GR16RegClassID].contains(IndexReg)) {
2148 Error(IndexLoc, "16-bit memory operand may not include only index register");
Craig Topper062a2ba2014-04-25 05:30:21 +00002149 return nullptr;
David Woodhouse6dbda442014-01-08 12:58:28 +00002150 }
Kevin Enderbybc570f22014-01-23 22:34:42 +00002151
2152 StringRef ErrMsg;
2153 if (CheckBaseRegAndIndexReg(BaseReg, IndexReg, ErrMsg)) {
2154 Error(BaseLoc, ErrMsg);
Craig Topper062a2ba2014-04-25 05:30:21 +00002155 return nullptr;
Kevin Enderbyfb3110b2012-03-12 21:32:09 +00002156 }
2157
Reid Klecknerb7e2f602014-07-31 23:26:35 +00002158 if (SegReg || BaseReg || IndexReg)
Craig Topper055845f2015-01-02 07:02:25 +00002159 return X86Operand::CreateMem(getPointerWidth(), SegReg, Disp, BaseReg,
2160 IndexReg, Scale, MemStart, MemEnd);
2161 return X86Operand::CreateMem(getPointerWidth(), Disp, MemStart, MemEnd);
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002162}
2163
David Blaikie960ea3f2014-06-08 16:18:35 +00002164bool X86AsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
2165 SMLoc NameLoc, OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002166 MCAsmParser &Parser = getParser();
Chad Rosierf0e87202012-10-25 20:41:34 +00002167 InstInfo = &Info;
Chris Lattner2cb092d2010-10-30 19:23:13 +00002168 StringRef PatchedName = Name;
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002169
Chris Lattner7e8a99b2010-11-28 20:23:50 +00002170 // FIXME: Hack to recognize setneb as setne.
2171 if (PatchedName.startswith("set") && PatchedName.endswith("b") &&
2172 PatchedName != "setb" && PatchedName != "setnb")
2173 PatchedName = PatchedName.substr(0, Name.size()-1);
Chad Rosier51afe632012-06-27 22:34:28 +00002174
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002175 // FIXME: Hack to recognize cmp<comparison code>{ss,sd,ps,pd}.
Bruno Cardoso Lopes3183dd52010-06-23 21:10:57 +00002176 if ((PatchedName.startswith("cmp") || PatchedName.startswith("vcmp")) &&
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002177 (PatchedName.endswith("ss") || PatchedName.endswith("sd") ||
2178 PatchedName.endswith("ps") || PatchedName.endswith("pd"))) {
Craig Toppera0a603e2012-03-29 07:11:23 +00002179 bool IsVCMP = PatchedName[0] == 'v';
Craig Topper78c424d2015-02-15 07:13:48 +00002180 unsigned CCIdx = IsVCMP ? 4 : 3;
2181 unsigned ComparisonCode = StringSwitch<unsigned>(
2182 PatchedName.slice(CCIdx, PatchedName.size() - 2))
Craig Toppera0a603e2012-03-29 07:11:23 +00002183 .Case("eq", 0x00)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002184 .Case("eq_oq", 0x00)
Craig Toppera0a603e2012-03-29 07:11:23 +00002185 .Case("lt", 0x01)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002186 .Case("lt_os", 0x01)
Craig Toppera0a603e2012-03-29 07:11:23 +00002187 .Case("le", 0x02)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002188 .Case("le_os", 0x02)
Craig Toppera0a603e2012-03-29 07:11:23 +00002189 .Case("unord", 0x03)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002190 .Case("unord_q", 0x03)
Craig Toppera0a603e2012-03-29 07:11:23 +00002191 .Case("neq", 0x04)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002192 .Case("neq_uq", 0x04)
Craig Toppera0a603e2012-03-29 07:11:23 +00002193 .Case("nlt", 0x05)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002194 .Case("nlt_us", 0x05)
Craig Toppera0a603e2012-03-29 07:11:23 +00002195 .Case("nle", 0x06)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002196 .Case("nle_us", 0x06)
Craig Toppera0a603e2012-03-29 07:11:23 +00002197 .Case("ord", 0x07)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002198 .Case("ord_q", 0x07)
Craig Toppera0a603e2012-03-29 07:11:23 +00002199 /* AVX only from here */
2200 .Case("eq_uq", 0x08)
2201 .Case("nge", 0x09)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002202 .Case("nge_us", 0x09)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002203 .Case("ngt", 0x0A)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002204 .Case("ngt_us", 0x0A)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002205 .Case("false", 0x0B)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002206 .Case("false_oq", 0x0B)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002207 .Case("neq_oq", 0x0C)
2208 .Case("ge", 0x0D)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002209 .Case("ge_os", 0x0D)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002210 .Case("gt", 0x0E)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002211 .Case("gt_os", 0x0E)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002212 .Case("true", 0x0F)
Michael Zuckerman72b72232016-01-25 08:43:26 +00002213 .Case("true_uq", 0x0F)
Bruno Cardoso Lopes6c614512010-07-07 22:24:03 +00002214 .Case("eq_os", 0x10)
2215 .Case("lt_oq", 0x11)
2216 .Case("le_oq", 0x12)
2217 .Case("unord_s", 0x13)
2218 .Case("neq_us", 0x14)
2219 .Case("nlt_uq", 0x15)
2220 .Case("nle_uq", 0x16)
2221 .Case("ord_s", 0x17)
2222 .Case("eq_us", 0x18)
2223 .Case("nge_uq", 0x19)
2224 .Case("ngt_uq", 0x1A)
2225 .Case("false_os", 0x1B)
2226 .Case("neq_os", 0x1C)
2227 .Case("ge_oq", 0x1D)
2228 .Case("gt_oq", 0x1E)
2229 .Case("true_us", 0x1F)
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002230 .Default(~0U);
Craig Topper78c424d2015-02-15 07:13:48 +00002231 if (ComparisonCode != ~0U && (IsVCMP || ComparisonCode < 8)) {
Craig Topper43860832015-02-14 21:54:03 +00002232
Craig Topper78c424d2015-02-15 07:13:48 +00002233 Operands.push_back(X86Operand::CreateToken(PatchedName.slice(0, CCIdx),
Craig Topper43860832015-02-14 21:54:03 +00002234 NameLoc));
2235
Jim Grosbach13760bd2015-05-30 01:25:56 +00002236 const MCExpr *ImmOp = MCConstantExpr::create(ComparisonCode,
Craig Topper43860832015-02-14 21:54:03 +00002237 getParser().getContext());
2238 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2239
2240 PatchedName = PatchedName.substr(PatchedName.size() - 2);
Daniel Dunbar0e767d72010-05-25 19:49:32 +00002241 }
2242 }
Bruno Cardoso Lopesea0e05a2010-07-23 18:41:12 +00002243
Craig Topper78c424d2015-02-15 07:13:48 +00002244 // FIXME: Hack to recognize vpcmp<comparison code>{ub,uw,ud,uq,b,w,d,q}.
2245 if (PatchedName.startswith("vpcmp") &&
2246 (PatchedName.endswith("b") || PatchedName.endswith("w") ||
2247 PatchedName.endswith("d") || PatchedName.endswith("q"))) {
2248 unsigned CCIdx = PatchedName.drop_back().back() == 'u' ? 2 : 1;
2249 unsigned ComparisonCode = StringSwitch<unsigned>(
2250 PatchedName.slice(5, PatchedName.size() - CCIdx))
2251 .Case("eq", 0x0) // Only allowed on unsigned. Checked below.
2252 .Case("lt", 0x1)
2253 .Case("le", 0x2)
2254 //.Case("false", 0x3) // Not a documented alias.
2255 .Case("neq", 0x4)
2256 .Case("nlt", 0x5)
2257 .Case("nle", 0x6)
2258 //.Case("true", 0x7) // Not a documented alias.
2259 .Default(~0U);
2260 if (ComparisonCode != ~0U && (ComparisonCode != 0 || CCIdx == 2)) {
2261 Operands.push_back(X86Operand::CreateToken("vpcmp", NameLoc));
2262
Jim Grosbach13760bd2015-05-30 01:25:56 +00002263 const MCExpr *ImmOp = MCConstantExpr::create(ComparisonCode,
Craig Topper78c424d2015-02-15 07:13:48 +00002264 getParser().getContext());
2265 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2266
2267 PatchedName = PatchedName.substr(PatchedName.size() - CCIdx);
2268 }
2269 }
2270
Craig Topper916708f2015-02-13 07:42:25 +00002271 // FIXME: Hack to recognize vpcom<comparison code>{ub,uw,ud,uq,b,w,d,q}.
2272 if (PatchedName.startswith("vpcom") &&
2273 (PatchedName.endswith("b") || PatchedName.endswith("w") ||
2274 PatchedName.endswith("d") || PatchedName.endswith("q"))) {
Craig Topper78c424d2015-02-15 07:13:48 +00002275 unsigned CCIdx = PatchedName.drop_back().back() == 'u' ? 2 : 1;
2276 unsigned ComparisonCode = StringSwitch<unsigned>(
2277 PatchedName.slice(5, PatchedName.size() - CCIdx))
Craig Topper916708f2015-02-13 07:42:25 +00002278 .Case("lt", 0x0)
2279 .Case("le", 0x1)
2280 .Case("gt", 0x2)
2281 .Case("ge", 0x3)
2282 .Case("eq", 0x4)
2283 .Case("neq", 0x5)
2284 .Case("false", 0x6)
2285 .Case("true", 0x7)
2286 .Default(~0U);
Craig Topper78c424d2015-02-15 07:13:48 +00002287 if (ComparisonCode != ~0U) {
Craig Topper916708f2015-02-13 07:42:25 +00002288 Operands.push_back(X86Operand::CreateToken("vpcom", NameLoc));
2289
Jim Grosbach13760bd2015-05-30 01:25:56 +00002290 const MCExpr *ImmOp = MCConstantExpr::create(ComparisonCode,
Craig Topper916708f2015-02-13 07:42:25 +00002291 getParser().getContext());
2292 Operands.push_back(X86Operand::CreateImm(ImmOp, NameLoc, NameLoc));
2293
Craig Topper78c424d2015-02-15 07:13:48 +00002294 PatchedName = PatchedName.substr(PatchedName.size() - CCIdx);
Craig Topper916708f2015-02-13 07:42:25 +00002295 }
2296 }
2297
Daniel Dunbar3e0c9792010-02-10 21:19:28 +00002298 Operands.push_back(X86Operand::CreateToken(PatchedName, NameLoc));
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002299
Chris Lattner086a83a2010-09-08 05:17:37 +00002300 // Determine whether this is an instruction prefix.
2301 bool isPrefix =
Chris Lattner2cb092d2010-10-30 19:23:13 +00002302 Name == "lock" || Name == "rep" ||
2303 Name == "repe" || Name == "repz" ||
Rafael Espindolaf6c05b12010-11-23 11:23:24 +00002304 Name == "repne" || Name == "repnz" ||
Rafael Espindolaeab08002010-11-27 20:29:45 +00002305 Name == "rex64" || Name == "data16";
Michael J. Spencer530ce852010-10-09 11:00:50 +00002306
Chris Lattner086a83a2010-09-08 05:17:37 +00002307 // This does the actual operand parsing. Don't parse any more if we have a
2308 // prefix juxtaposed with an operation like "lock incl 4(%rax)", because we
2309 // just want to parse the "lock" as the first instruction and the "incl" as
2310 // the next one.
2311 if (getLexer().isNot(AsmToken::EndOfStatement) && !isPrefix) {
Daniel Dunbar71527c12009-08-11 05:00:25 +00002312
2313 // Parse '*' modifier.
Alp Tokera5b88a52013-12-02 16:06:06 +00002314 if (getLexer().is(AsmToken::Star))
2315 Operands.push_back(X86Operand::CreateToken("*", consumeToken()));
Daniel Dunbar71527c12009-08-11 05:00:25 +00002316
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002317 // Read the operands.
2318 while(1) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002319 if (std::unique_ptr<X86Operand> Op = ParseOperand()) {
2320 Operands.push_back(std::move(Op));
2321 if (!HandleAVX512Operand(Operands, *Operands.back()))
Elena Demikhovsky89529742013-09-12 08:55:00 +00002322 return true;
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002323 } else {
2324 Parser.eatToEndOfStatement();
2325 return true;
Elena Demikhovsky89529742013-09-12 08:55:00 +00002326 }
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002327 // check for comma and eat it
2328 if (getLexer().is(AsmToken::Comma))
2329 Parser.Lex();
2330 else
2331 break;
2332 }
Elena Demikhovsky89529742013-09-12 08:55:00 +00002333
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002334 if (getLexer().isNot(AsmToken::EndOfStatement))
Elena Demikhovsky9f09b3e2014-02-20 07:00:10 +00002335 return ErrorAndEatStatement(getLexer().getLoc(),
2336 "unexpected token in argument list");
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002337 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002338
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002339 // Consume the EndOfStatement or the prefix separator Slash
Elena Demikhovsky9f09b3e2014-02-20 07:00:10 +00002340 if (getLexer().is(AsmToken::EndOfStatement) ||
2341 (isPrefix && getLexer().is(AsmToken::Slash)))
Elena Demikhovskyc9657012014-02-20 06:34:39 +00002342 Parser.Lex();
Daniel Dunbare1fdb0e2009-07-28 22:40:46 +00002343
Michael Zuckermanfd3fe9e2015-11-12 16:58:51 +00002344 // This is for gas compatibility and cannot be done in td.
2345 // Adding "p" for some floating point with no argument.
2346 // For example: fsub --> fsubp
2347 bool IsFp =
2348 Name == "fsub" || Name == "fdiv" || Name == "fsubr" || Name == "fdivr";
2349 if (IsFp && Operands.size() == 1) {
2350 const char *Repl = StringSwitch<const char *>(Name)
2351 .Case("fsub", "fsubp")
2352 .Case("fdiv", "fdivp")
2353 .Case("fsubr", "fsubrp")
2354 .Case("fdivr", "fdivrp");
2355 static_cast<X86Operand &>(*Operands[0]).setTokenValue(Repl);
2356 }
2357
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002358 // This is a terrible hack to handle "out[bwl]? %al, (%dx)" ->
2359 // "outb %al, %dx". Out doesn't take a memory form, but this is a widely
2360 // documented form in various unofficial manuals, so a lot of code uses it.
2361 if ((Name == "outb" || Name == "outw" || Name == "outl" || Name == "out") &&
2362 Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002363 X86Operand &Op = (X86Operand &)*Operands.back();
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002364 if (Op.isMem() && Op.Mem.SegReg == 0 &&
2365 isa<MCConstantExpr>(Op.Mem.Disp) &&
2366 cast<MCConstantExpr>(Op.Mem.Disp)->getValue() == 0 &&
2367 Op.Mem.BaseReg == MatchRegisterName("dx") && Op.Mem.IndexReg == 0) {
2368 SMLoc Loc = Op.getEndLoc();
2369 Operands.back() = X86Operand::CreateReg(Op.Mem.BaseReg, Loc, Loc);
Chris Lattnerb6f8e822010-11-06 19:25:43 +00002370 }
2371 }
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002372 // Same hack for "in[bwl]? (%dx), %al" -> "inb %dx, %al".
2373 if ((Name == "inb" || Name == "inw" || Name == "inl" || Name == "in") &&
2374 Operands.size() == 3) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002375 X86Operand &Op = (X86Operand &)*Operands[1];
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002376 if (Op.isMem() && Op.Mem.SegReg == 0 &&
2377 isa<MCConstantExpr>(Op.Mem.Disp) &&
2378 cast<MCConstantExpr>(Op.Mem.Disp)->getValue() == 0 &&
2379 Op.Mem.BaseReg == MatchRegisterName("dx") && Op.Mem.IndexReg == 0) {
2380 SMLoc Loc = Op.getEndLoc();
David Blaikie960ea3f2014-06-08 16:18:35 +00002381 Operands[1] = X86Operand::CreateReg(Op.Mem.BaseReg, Loc, Loc);
Joerg Sonnenbergerb7e635d2011-02-22 20:40:09 +00002382 }
2383 }
David Woodhouse4ce66062014-01-22 15:08:55 +00002384
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002385 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 2> TmpOperands;
2386 bool HadVerifyError = false;
2387
David Woodhouse4ce66062014-01-22 15:08:55 +00002388 // Append default arguments to "ins[bwld]"
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002389 if (Name.startswith("ins") &&
2390 (Operands.size() == 1 || Operands.size() == 3) &&
2391 (Name == "insb" || Name == "insw" || Name == "insl" || Name == "insd" ||
2392 Name == "ins")) {
2393
2394 AddDefaultSrcDestOperands(TmpOperands,
Michael Kupersteinffcc7662015-07-23 10:23:48 +00002395 X86Operand::CreateReg(X86::DX, NameLoc, NameLoc),
2396 DefaultMemDIOperand(NameLoc));
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002397 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002398 }
2399
David Woodhousec472b812014-01-22 15:08:49 +00002400 // Append default arguments to "outs[bwld]"
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002401 if (Name.startswith("outs") &&
2402 (Operands.size() == 1 || Operands.size() == 3) &&
David Woodhousec472b812014-01-22 15:08:49 +00002403 (Name == "outsb" || Name == "outsw" || Name == "outsl" ||
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002404 Name == "outsd" || Name == "outs")) {
2405 AddDefaultSrcDestOperands(TmpOperands, DefaultMemSIOperand(NameLoc),
Michael Kupersteinffcc7662015-07-23 10:23:48 +00002406 X86Operand::CreateReg(X86::DX, NameLoc, NameLoc));
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002407 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002408 }
2409
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00002410 // Transform "lods[bwlq]" into "lods[bwlq] ($SIREG)" for appropriate
2411 // values of $SIREG according to the mode. It would be nice if this
2412 // could be achieved with InstAlias in the tables.
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002413 if (Name.startswith("lods") &&
2414 (Operands.size() == 1 || Operands.size() == 2) &&
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002415 (Name == "lods" || Name == "lodsb" || Name == "lodsw" ||
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002416 Name == "lodsl" || Name == "lodsd" || Name == "lodsq")) {
2417 TmpOperands.push_back(DefaultMemSIOperand(NameLoc));
2418 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
2419 }
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00002420
David Woodhouseb33c2ef2014-01-22 15:08:21 +00002421 // Transform "stos[bwlq]" into "stos[bwlq] ($DIREG)" for appropriate
2422 // values of $DIREG according to the mode. It would be nice if this
2423 // could be achieved with InstAlias in the tables.
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002424 if (Name.startswith("stos") &&
2425 (Operands.size() == 1 || Operands.size() == 2) &&
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002426 (Name == "stos" || Name == "stosb" || Name == "stosw" ||
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002427 Name == "stosl" || Name == "stosd" || Name == "stosq")) {
2428 TmpOperands.push_back(DefaultMemDIOperand(NameLoc));
2429 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
2430 }
Joerg Sonnenberger3fbfcc02011-03-18 11:59:40 +00002431
David Woodhouse20fe4802014-01-22 15:08:27 +00002432 // Transform "scas[bwlq]" into "scas[bwlq] ($DIREG)" for appropriate
2433 // values of $DIREG according to the mode. It would be nice if this
2434 // could be achieved with InstAlias in the tables.
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002435 if (Name.startswith("scas") &&
2436 (Operands.size() == 1 || Operands.size() == 2) &&
David Woodhouse20fe4802014-01-22 15:08:27 +00002437 (Name == "scas" || Name == "scasb" || Name == "scasw" ||
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002438 Name == "scasl" || Name == "scasd" || Name == "scasq")) {
2439 TmpOperands.push_back(DefaultMemDIOperand(NameLoc));
2440 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
2441 }
David Woodhouse20fe4802014-01-22 15:08:27 +00002442
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00002443 // Add default SI and DI operands to "cmps[bwlq]".
2444 if (Name.startswith("cmps") &&
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002445 (Operands.size() == 1 || Operands.size() == 3) &&
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00002446 (Name == "cmps" || Name == "cmpsb" || Name == "cmpsw" ||
2447 Name == "cmpsl" || Name == "cmpsd" || Name == "cmpsq")) {
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002448 AddDefaultSrcDestOperands(TmpOperands, DefaultMemDIOperand(NameLoc),
2449 DefaultMemSIOperand(NameLoc));
2450 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
David Woodhouse9bbf7ca2014-01-22 15:08:36 +00002451 }
2452
David Woodhouse6f417de2014-01-22 15:08:42 +00002453 // Add default SI and DI operands to "movs[bwlq]".
Marina Yatsinab9f4f622016-01-19 15:37:56 +00002454 if (((Name.startswith("movs") &&
2455 (Name == "movs" || Name == "movsb" || Name == "movsw" ||
2456 Name == "movsl" || Name == "movsd" || Name == "movsq")) ||
2457 (Name.startswith("smov") &&
2458 (Name == "smov" || Name == "smovb" || Name == "smovw" ||
2459 Name == "smovl" || Name == "smovd" || Name == "smovq"))) &&
2460 (Operands.size() == 1 || Operands.size() == 3)) {
2461 if (Name == "movsd" && Operands.size() == 1)
2462 Operands.back() = X86Operand::CreateToken("movsl", NameLoc);
2463 AddDefaultSrcDestOperands(TmpOperands, DefaultMemSIOperand(NameLoc),
2464 DefaultMemDIOperand(NameLoc));
2465 HadVerifyError = VerifyAndAdjustOperands(Operands, TmpOperands);
2466 }
2467
2468 // Check if we encountered an error for one the string insturctions
2469 if (HadVerifyError) {
2470 return HadVerifyError;
David Woodhouse6f417de2014-01-22 15:08:42 +00002471 }
2472
Chris Lattner4bd21712010-09-15 04:33:27 +00002473 // FIXME: Hack to handle recognize s{hr,ar,hl} $1, <op>. Canonicalize to
Chris Lattner30561ab2010-09-11 16:32:12 +00002474 // "shift <op>".
Daniel Dunbar18fc3442010-03-13 00:47:29 +00002475 if ((Name.startswith("shr") || Name.startswith("sar") ||
Chris Lattner64f91b92010-11-06 21:23:40 +00002476 Name.startswith("shl") || Name.startswith("sal") ||
2477 Name.startswith("rcl") || Name.startswith("rcr") ||
2478 Name.startswith("rol") || Name.startswith("ror")) &&
Chris Lattner4cfbcdc2010-09-06 18:32:06 +00002479 Operands.size() == 3) {
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002480 if (isParsingIntelSyntax()) {
Devang Patela410ed32012-01-24 21:43:36 +00002481 // Intel syntax
David Blaikie960ea3f2014-06-08 16:18:35 +00002482 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[2]);
2483 if (Op1.isImm() && isa<MCConstantExpr>(Op1.getImm()) &&
2484 cast<MCConstantExpr>(Op1.getImm())->getValue() == 1)
Craig Topper6bf3ed42012-07-18 04:59:16 +00002485 Operands.pop_back();
Devang Patela410ed32012-01-24 21:43:36 +00002486 } else {
David Blaikie960ea3f2014-06-08 16:18:35 +00002487 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[1]);
2488 if (Op1.isImm() && isa<MCConstantExpr>(Op1.getImm()) &&
2489 cast<MCConstantExpr>(Op1.getImm())->getValue() == 1)
Craig Topper6bf3ed42012-07-18 04:59:16 +00002490 Operands.erase(Operands.begin() + 1);
Chris Lattner4cfbcdc2010-09-06 18:32:06 +00002491 }
Daniel Dunbarfbd12cc2010-03-20 22:36:38 +00002492 }
Chad Rosier51afe632012-06-27 22:34:28 +00002493
Chris Lattnerfc4fe002011-04-09 19:41:05 +00002494 // Transforms "int $3" into "int3" as a size optimization. We can't write an
2495 // instalias with an immediate operand yet.
2496 if (Name == "int" && Operands.size() == 2) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002497 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[1]);
Duncan P. N. Exon Smithd5313222015-07-23 19:27:07 +00002498 if (Op1.isImm())
2499 if (auto *CE = dyn_cast<MCConstantExpr>(Op1.getImm()))
2500 if (CE->getValue() == 3) {
2501 Operands.erase(Operands.begin() + 1);
2502 static_cast<X86Operand &>(*Operands[0]).setTokenValue("int3");
2503 }
Chris Lattnerfc4fe002011-04-09 19:41:05 +00002504 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002505
Marina Yatsinad9658d12016-01-19 16:35:38 +00002506 // Transforms "xlat mem8" into "xlatb"
2507 if ((Name == "xlat" || Name == "xlatb") && Operands.size() == 2) {
2508 X86Operand &Op1 = static_cast<X86Operand &>(*Operands[1]);
2509 if (Op1.isMem8()) {
2510 Warning(Op1.getStartLoc(), "memory operand is only for determining the "
2511 "size, (R|E)BX will be used for the location");
2512 Operands.pop_back();
2513 static_cast<X86Operand &>(*Operands[0]).setTokenValue("xlatb");
2514 }
2515 }
2516
Chris Lattnerf29c0b62010-01-14 22:21:20 +00002517 return false;
Daniel Dunbar3c2a8932009-07-20 18:55:04 +00002518}
2519
David Blaikie960ea3f2014-06-08 16:18:35 +00002520bool X86AsmParser::processInstruction(MCInst &Inst, const OperandVector &Ops) {
Devang Patelde47cce2012-01-18 22:42:29 +00002521 switch (Inst.getOpcode()) {
2522 default: return false;
Craig Topperd6b661d2015-10-12 04:57:59 +00002523 case X86::VMOVZPQILo2PQIrr:
Craig Toppera0e07352013-10-07 05:42:48 +00002524 case X86::VMOVAPDrr:
2525 case X86::VMOVAPDYrr:
2526 case X86::VMOVAPSrr:
2527 case X86::VMOVAPSYrr:
2528 case X86::VMOVDQArr:
2529 case X86::VMOVDQAYrr:
2530 case X86::VMOVDQUrr:
2531 case X86::VMOVDQUYrr:
2532 case X86::VMOVUPDrr:
2533 case X86::VMOVUPDYrr:
2534 case X86::VMOVUPSrr:
2535 case X86::VMOVUPSYrr: {
2536 if (X86II::isX86_64ExtendedReg(Inst.getOperand(0).getReg()) ||
2537 !X86II::isX86_64ExtendedReg(Inst.getOperand(1).getReg()))
2538 return false;
2539
2540 unsigned NewOpc;
2541 switch (Inst.getOpcode()) {
2542 default: llvm_unreachable("Invalid opcode");
Craig Topperd6b661d2015-10-12 04:57:59 +00002543 case X86::VMOVZPQILo2PQIrr: NewOpc = X86::VMOVPQI2QIrr; break;
2544 case X86::VMOVAPDrr: NewOpc = X86::VMOVAPDrr_REV; break;
2545 case X86::VMOVAPDYrr: NewOpc = X86::VMOVAPDYrr_REV; break;
2546 case X86::VMOVAPSrr: NewOpc = X86::VMOVAPSrr_REV; break;
2547 case X86::VMOVAPSYrr: NewOpc = X86::VMOVAPSYrr_REV; break;
2548 case X86::VMOVDQArr: NewOpc = X86::VMOVDQArr_REV; break;
2549 case X86::VMOVDQAYrr: NewOpc = X86::VMOVDQAYrr_REV; break;
2550 case X86::VMOVDQUrr: NewOpc = X86::VMOVDQUrr_REV; break;
2551 case X86::VMOVDQUYrr: NewOpc = X86::VMOVDQUYrr_REV; break;
2552 case X86::VMOVUPDrr: NewOpc = X86::VMOVUPDrr_REV; break;
2553 case X86::VMOVUPDYrr: NewOpc = X86::VMOVUPDYrr_REV; break;
2554 case X86::VMOVUPSrr: NewOpc = X86::VMOVUPSrr_REV; break;
2555 case X86::VMOVUPSYrr: NewOpc = X86::VMOVUPSYrr_REV; break;
Craig Toppera0e07352013-10-07 05:42:48 +00002556 }
2557 Inst.setOpcode(NewOpc);
2558 return true;
2559 }
2560 case X86::VMOVSDrr:
2561 case X86::VMOVSSrr: {
2562 if (X86II::isX86_64ExtendedReg(Inst.getOperand(0).getReg()) ||
2563 !X86II::isX86_64ExtendedReg(Inst.getOperand(2).getReg()))
2564 return false;
2565 unsigned NewOpc;
2566 switch (Inst.getOpcode()) {
2567 default: llvm_unreachable("Invalid opcode");
2568 case X86::VMOVSDrr: NewOpc = X86::VMOVSDrr_REV; break;
2569 case X86::VMOVSSrr: NewOpc = X86::VMOVSSrr_REV; break;
2570 }
2571 Inst.setOpcode(NewOpc);
2572 return true;
2573 }
Devang Patelde47cce2012-01-18 22:42:29 +00002574 }
Devang Patelde47cce2012-01-18 22:42:29 +00002575}
2576
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002577static const char *getSubtargetFeatureName(uint64_t Val);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002578
David Blaikie960ea3f2014-06-08 16:18:35 +00002579void X86AsmParser::EmitInstruction(MCInst &Inst, OperandVector &Operands,
2580 MCStreamer &Out) {
Evgeniy Stepanov77ad8662014-07-31 09:11:04 +00002581 Instrumentation->InstrumentAndEmitInstruction(Inst, Operands, getContext(),
2582 MII, Out);
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002583}
2584
David Blaikie960ea3f2014-06-08 16:18:35 +00002585bool X86AsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
2586 OperandVector &Operands,
Tim Northover26bb14e2014-08-18 11:49:42 +00002587 MCStreamer &Out, uint64_t &ErrorInfo,
David Blaikie960ea3f2014-06-08 16:18:35 +00002588 bool MatchingInlineAsm) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002589 if (isParsingIntelSyntax())
2590 return MatchAndEmitIntelInstruction(IDLoc, Opcode, Operands, Out, ErrorInfo,
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002591 MatchingInlineAsm);
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002592 return MatchAndEmitATTInstruction(IDLoc, Opcode, Operands, Out, ErrorInfo,
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002593 MatchingInlineAsm);
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002594}
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002595
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002596void X86AsmParser::MatchFPUWaitAlias(SMLoc IDLoc, X86Operand &Op,
2597 OperandVector &Operands, MCStreamer &Out,
2598 bool MatchingInlineAsm) {
Chris Lattnera63292a2010-09-29 01:50:45 +00002599 // FIXME: This should be replaced with a real .td file alias mechanism.
Chad Rosier3b1336c2012-08-28 23:57:47 +00002600 // Also, MatchInstructionImpl should actually *do* the EmitInstruction
Chris Lattner4869d342010-11-06 19:57:21 +00002601 // call.
Reid Klecknerb1f2d2f2014-07-31 00:07:33 +00002602 const char *Repl = StringSwitch<const char *>(Op.getToken())
2603 .Case("finit", "fninit")
2604 .Case("fsave", "fnsave")
2605 .Case("fstcw", "fnstcw")
2606 .Case("fstcww", "fnstcw")
2607 .Case("fstenv", "fnstenv")
2608 .Case("fstsw", "fnstsw")
2609 .Case("fstsww", "fnstsw")
2610 .Case("fclex", "fnclex")
2611 .Default(nullptr);
2612 if (Repl) {
Chris Lattnera63292a2010-09-29 01:50:45 +00002613 MCInst Inst;
2614 Inst.setOpcode(X86::WAIT);
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002615 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002616 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002617 EmitInstruction(Inst, Operands, Out);
Chris Lattneradc0dbe2010-09-30 16:39:29 +00002618 Operands[0] = X86Operand::CreateToken(Repl, IDLoc);
Chris Lattnera63292a2010-09-29 01:50:45 +00002619 }
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002620}
2621
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002622bool X86AsmParser::ErrorMissingFeature(SMLoc IDLoc, uint64_t ErrorInfo,
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002623 bool MatchingInlineAsm) {
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002624 assert(ErrorInfo && "Unknown missing feature!");
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002625 ArrayRef<SMRange> EmptyRanges = None;
2626 SmallString<126> Msg;
2627 raw_svector_ostream OS(Msg);
2628 OS << "instruction requires:";
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002629 uint64_t Mask = 1;
2630 for (unsigned i = 0; i < (sizeof(ErrorInfo)*8-1); ++i) {
2631 if (ErrorInfo & Mask)
2632 OS << ' ' << getSubtargetFeatureName(ErrorInfo & Mask);
2633 Mask <<= 1;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002634 }
2635 return Error(IDLoc, OS.str(), EmptyRanges, MatchingInlineAsm);
2636}
2637
2638bool X86AsmParser::MatchAndEmitATTInstruction(SMLoc IDLoc, unsigned &Opcode,
2639 OperandVector &Operands,
2640 MCStreamer &Out,
2641 uint64_t &ErrorInfo,
2642 bool MatchingInlineAsm) {
2643 assert(!Operands.empty() && "Unexpect empty operand list!");
2644 X86Operand &Op = static_cast<X86Operand &>(*Operands[0]);
2645 assert(Op.isToken() && "Leading operand should always be a mnemonic!");
2646 ArrayRef<SMRange> EmptyRanges = None;
2647
2648 // First, handle aliases that expand to multiple instructions.
2649 MatchFPUWaitAlias(IDLoc, Op, Operands, Out, MatchingInlineAsm);
Michael J. Spencer530ce852010-10-09 11:00:50 +00002650
Chris Lattner628fbec2010-09-06 21:54:15 +00002651 bool WasOriginallyInvalidOperand = false;
Chris Lattnerb44fd242010-09-29 01:42:58 +00002652 MCInst Inst;
Michael J. Spencer530ce852010-10-09 11:00:50 +00002653
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002654 // First, try a direct match.
Chad Rosier2f480a82012-10-12 22:53:36 +00002655 switch (MatchInstructionImpl(Operands, Inst,
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002656 ErrorInfo, MatchingInlineAsm,
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002657 isParsingIntelSyntax())) {
Craig Topper589ceee2015-01-03 08:16:34 +00002658 default: llvm_unreachable("Unexpected match result!");
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002659 case Match_Success:
Devang Patelde47cce2012-01-18 22:42:29 +00002660 // Some instructions need post-processing to, for example, tweak which
2661 // encoding is selected. Loop on it while changes happen so the
Chad Rosier51afe632012-06-27 22:34:28 +00002662 // individual transformations can chain off each other.
Chad Rosier4453e842012-10-12 23:09:25 +00002663 if (!MatchingInlineAsm)
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002664 while (processInstruction(Inst, Operands))
2665 ;
Devang Patelde47cce2012-01-18 22:42:29 +00002666
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002667 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002668 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002669 EmitInstruction(Inst, Operands, Out);
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002670 Opcode = Inst.getOpcode();
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002671 return false;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002672 case Match_MissingFeature:
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002673 return ErrorMissingFeature(IDLoc, ErrorInfo, MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002674 case Match_InvalidOperand:
2675 WasOriginallyInvalidOperand = true;
2676 break;
2677 case Match_MnemonicFail:
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002678 break;
2679 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002680
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002681 // FIXME: Ideally, we would only attempt suffix matches for things which are
2682 // valid prefixes, and we could just infer the right unambiguous
2683 // type. However, that requires substantially more matcher support than the
2684 // following hack.
Michael J. Spencer530ce852010-10-09 11:00:50 +00002685
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002686 // Change the operand to point to a temporary token.
David Blaikie960ea3f2014-06-08 16:18:35 +00002687 StringRef Base = Op.getToken();
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002688 SmallString<16> Tmp;
2689 Tmp += Base;
2690 Tmp += ' ';
Yaron Keren075759a2015-03-30 15:42:36 +00002691 Op.setTokenValue(Tmp);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002692
Chris Lattnerfab94132010-11-06 18:28:02 +00002693 // If this instruction starts with an 'f', then it is a floating point stack
2694 // instruction. These come in up to three forms for 32-bit, 64-bit, and
2695 // 80-bit floating point, which use the suffixes s,l,t respectively.
2696 //
2697 // Otherwise, we assume that this may be an integer instruction, which comes
2698 // in 8/16/32/64-bit forms using the b,w,l,q suffixes respectively.
2699 const char *Suffixes = Base[0] != 'f' ? "bwlq" : "slt\0";
Chad Rosier51afe632012-06-27 22:34:28 +00002700
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002701 // Check for the various suffix matches.
Tim Northover26bb14e2014-08-18 11:49:42 +00002702 uint64_t ErrorInfoIgnore;
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002703 uint64_t ErrorInfoMissingFeature = 0; // Init suppresses compiler warnings.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002704 unsigned Match[4];
Chad Rosier51afe632012-06-27 22:34:28 +00002705
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002706 for (unsigned I = 0, E = array_lengthof(Match); I != E; ++I) {
2707 Tmp.back() = Suffixes[I];
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002708 Match[I] = MatchInstructionImpl(Operands, Inst, ErrorInfoIgnore,
2709 MatchingInlineAsm, isParsingIntelSyntax());
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002710 // If this returned as a missing feature failure, remember that.
2711 if (Match[I] == Match_MissingFeature)
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002712 ErrorInfoMissingFeature = ErrorInfoIgnore;
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002713 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002714
2715 // Restore the old token.
David Blaikie960ea3f2014-06-08 16:18:35 +00002716 Op.setTokenValue(Base);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002717
2718 // If exactly one matched, then we treat that as a successful match (and the
2719 // instruction will already have been filled in correctly, since the failing
2720 // matches won't have modified it).
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002721 unsigned NumSuccessfulMatches =
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002722 std::count(std::begin(Match), std::end(Match), Match_Success);
Chris Lattnerb44fd242010-09-29 01:42:58 +00002723 if (NumSuccessfulMatches == 1) {
Jim Grosbach8f28dbd2012-01-27 00:51:27 +00002724 Inst.setLoc(IDLoc);
Chad Rosier4453e842012-10-12 23:09:25 +00002725 if (!MatchingInlineAsm)
Evgeniy Stepanov49e26252014-03-14 08:58:04 +00002726 EmitInstruction(Inst, Operands, Out);
Chad Rosierf4e35dc2012-10-01 23:45:51 +00002727 Opcode = Inst.getOpcode();
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002728 return false;
Chris Lattnerb44fd242010-09-29 01:42:58 +00002729 }
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002730
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002731 // Otherwise, the match failed, try to produce a decent error message.
Daniel Dunbar2ecc3bb2010-08-12 00:55:38 +00002732
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002733 // If we had multiple suffix matches, then identify this as an ambiguous
2734 // match.
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002735 if (NumSuccessfulMatches > 1) {
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002736 char MatchChars[4];
2737 unsigned NumMatches = 0;
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002738 for (unsigned I = 0, E = array_lengthof(Match); I != E; ++I)
2739 if (Match[I] == Match_Success)
2740 MatchChars[NumMatches++] = Suffixes[I];
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002741
Alp Tokere69170a2014-06-26 22:52:05 +00002742 SmallString<126> Msg;
2743 raw_svector_ostream OS(Msg);
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002744 OS << "ambiguous instructions require an explicit suffix (could be ";
2745 for (unsigned i = 0; i != NumMatches; ++i) {
2746 if (i != 0)
2747 OS << ", ";
2748 if (i + 1 == NumMatches)
2749 OS << "or ";
2750 OS << "'" << Base << MatchChars[i] << "'";
2751 }
2752 OS << ")";
Chad Rosier4453e842012-10-12 23:09:25 +00002753 Error(IDLoc, OS.str(), EmptyRanges, MatchingInlineAsm);
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002754 return true;
Daniel Dunbar7d7b4d12010-08-12 00:55:42 +00002755 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002756
Chris Lattner628fbec2010-09-06 21:54:15 +00002757 // Okay, we know that none of the variants matched successfully.
Michael J. Spencer530ce852010-10-09 11:00:50 +00002758
Chris Lattner628fbec2010-09-06 21:54:15 +00002759 // If all of the instructions reported an invalid mnemonic, then the original
2760 // mnemonic was invalid.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002761 if (std::count(std::begin(Match), std::end(Match), Match_MnemonicFail) == 4) {
Chris Lattner339cc7b2010-09-06 22:11:18 +00002762 if (!WasOriginallyInvalidOperand) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002763 ArrayRef<SMRange> Ranges =
2764 MatchingInlineAsm ? EmptyRanges : Op.getLocRange();
Benjamin Kramerd416bae2011-10-16 11:28:29 +00002765 return Error(IDLoc, "invalid instruction mnemonic '" + Base + "'",
Chad Rosier4453e842012-10-12 23:09:25 +00002766 Ranges, MatchingInlineAsm);
Chris Lattner339cc7b2010-09-06 22:11:18 +00002767 }
2768
2769 // Recover location info for the operand if we know which was the problem.
Tim Northover26bb14e2014-08-18 11:49:42 +00002770 if (ErrorInfo != ~0ULL) {
Chad Rosier49963552012-10-13 00:26:04 +00002771 if (ErrorInfo >= Operands.size())
Chad Rosier3d4bc622012-08-21 19:36:59 +00002772 return Error(IDLoc, "too few operands for instruction",
Chad Rosier4453e842012-10-12 23:09:25 +00002773 EmptyRanges, MatchingInlineAsm);
Michael J. Spencer530ce852010-10-09 11:00:50 +00002774
David Blaikie960ea3f2014-06-08 16:18:35 +00002775 X86Operand &Operand = (X86Operand &)*Operands[ErrorInfo];
2776 if (Operand.getStartLoc().isValid()) {
2777 SMRange OperandRange = Operand.getLocRange();
2778 return Error(Operand.getStartLoc(), "invalid operand for instruction",
Chad Rosier4453e842012-10-12 23:09:25 +00002779 OperandRange, MatchingInlineAsm);
Chris Lattnera3a06812011-10-16 04:47:35 +00002780 }
Chris Lattner339cc7b2010-09-06 22:11:18 +00002781 }
2782
Chad Rosier3d4bc622012-08-21 19:36:59 +00002783 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
Chad Rosier4453e842012-10-12 23:09:25 +00002784 MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002785 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002786
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002787 // If one instruction matched with a missing feature, report this as a
2788 // missing feature.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002789 if (std::count(std::begin(Match), std::end(Match),
2790 Match_MissingFeature) == 1) {
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002791 ErrorInfo = ErrorInfoMissingFeature;
2792 return ErrorMissingFeature(IDLoc, ErrorInfoMissingFeature,
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002793 MatchingInlineAsm);
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002794 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002795
Chris Lattner628fbec2010-09-06 21:54:15 +00002796 // If one instruction matched with an invalid operand, report this as an
2797 // operand failure.
Reid Kleckner7b1e1a02014-07-30 22:23:11 +00002798 if (std::count(std::begin(Match), std::end(Match),
2799 Match_InvalidOperand) == 1) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002800 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
2801 MatchingInlineAsm);
Chris Lattner628fbec2010-09-06 21:54:15 +00002802 }
Michael J. Spencer530ce852010-10-09 11:00:50 +00002803
Chris Lattnerb4be28f2010-09-06 20:08:02 +00002804 // If all of these were an outright failure, report it in a useless way.
Chad Rosier3d4bc622012-08-21 19:36:59 +00002805 Error(IDLoc, "unknown use of instruction mnemonic without a size suffix",
Chad Rosier4453e842012-10-12 23:09:25 +00002806 EmptyRanges, MatchingInlineAsm);
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002807 return true;
2808}
2809
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002810bool X86AsmParser::MatchAndEmitIntelInstruction(SMLoc IDLoc, unsigned &Opcode,
2811 OperandVector &Operands,
2812 MCStreamer &Out,
2813 uint64_t &ErrorInfo,
2814 bool MatchingInlineAsm) {
2815 assert(!Operands.empty() && "Unexpect empty operand list!");
2816 X86Operand &Op = static_cast<X86Operand &>(*Operands[0]);
2817 assert(Op.isToken() && "Leading operand should always be a mnemonic!");
2818 StringRef Mnemonic = Op.getToken();
2819 ArrayRef<SMRange> EmptyRanges = None;
2820
2821 // First, handle aliases that expand to multiple instructions.
2822 MatchFPUWaitAlias(IDLoc, Op, Operands, Out, MatchingInlineAsm);
2823
2824 MCInst Inst;
2825
2826 // Find one unsized memory operand, if present.
2827 X86Operand *UnsizedMemOp = nullptr;
2828 for (const auto &Op : Operands) {
2829 X86Operand *X86Op = static_cast<X86Operand *>(Op.get());
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002830 if (X86Op->isMemUnsized())
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002831 UnsizedMemOp = X86Op;
2832 }
2833
2834 // Allow some instructions to have implicitly pointer-sized operands. This is
2835 // compatible with gas.
2836 if (UnsizedMemOp) {
2837 static const char *const PtrSizedInstrs[] = {"call", "jmp", "push"};
2838 for (const char *Instr : PtrSizedInstrs) {
2839 if (Mnemonic == Instr) {
Craig Topper055845f2015-01-02 07:02:25 +00002840 UnsizedMemOp->Mem.Size = getPointerWidth();
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002841 break;
2842 }
2843 }
2844 }
2845
2846 // If an unsized memory operand is present, try to match with each memory
2847 // operand size. In Intel assembly, the size is not part of the instruction
2848 // mnemonic.
2849 SmallVector<unsigned, 8> Match;
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002850 uint64_t ErrorInfoMissingFeature = 0;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002851 if (UnsizedMemOp && UnsizedMemOp->isMemUnsized()) {
Ahmed Bougachad65f7872014-12-03 02:03:26 +00002852 static const unsigned MopSizes[] = {8, 16, 32, 64, 80, 128, 256, 512};
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002853 for (unsigned Size : MopSizes) {
2854 UnsizedMemOp->Mem.Size = Size;
2855 uint64_t ErrorInfoIgnore;
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002856 unsigned LastOpcode = Inst.getOpcode();
2857 unsigned M =
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002858 MatchInstructionImpl(Operands, Inst, ErrorInfoIgnore,
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002859 MatchingInlineAsm, isParsingIntelSyntax());
2860 if (Match.empty() || LastOpcode != Inst.getOpcode())
2861 Match.push_back(M);
2862
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002863 // If this returned as a missing feature failure, remember that.
2864 if (Match.back() == Match_MissingFeature)
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002865 ErrorInfoMissingFeature = ErrorInfoIgnore;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002866 }
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002867
2868 // Restore the size of the unsized memory operand if we modified it.
2869 if (UnsizedMemOp)
2870 UnsizedMemOp->Mem.Size = 0;
2871 }
2872
2873 // If we haven't matched anything yet, this is not a basic integer or FPU
Saleem Abdulrasoolc3f8ad32015-01-16 20:16:06 +00002874 // operation. There shouldn't be any ambiguity in our mnemonic table, so try
Reid Kleckner7b7a5992014-08-27 20:10:38 +00002875 // matching with the unsized operand.
2876 if (Match.empty()) {
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002877 Match.push_back(MatchInstructionImpl(Operands, Inst, ErrorInfo,
2878 MatchingInlineAsm,
2879 isParsingIntelSyntax()));
2880 // If this returned as a missing feature failure, remember that.
2881 if (Match.back() == Match_MissingFeature)
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002882 ErrorInfoMissingFeature = ErrorInfo;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002883 }
2884
2885 // Restore the size of the unsized memory operand if we modified it.
2886 if (UnsizedMemOp)
2887 UnsizedMemOp->Mem.Size = 0;
2888
2889 // If it's a bad mnemonic, all results will be the same.
2890 if (Match.back() == Match_MnemonicFail) {
2891 ArrayRef<SMRange> Ranges =
2892 MatchingInlineAsm ? EmptyRanges : Op.getLocRange();
2893 return Error(IDLoc, "invalid instruction mnemonic '" + Mnemonic + "'",
2894 Ranges, MatchingInlineAsm);
2895 }
2896
2897 // If exactly one matched, then we treat that as a successful match (and the
2898 // instruction will already have been filled in correctly, since the failing
2899 // matches won't have modified it).
2900 unsigned NumSuccessfulMatches =
2901 std::count(std::begin(Match), std::end(Match), Match_Success);
2902 if (NumSuccessfulMatches == 1) {
2903 // Some instructions need post-processing to, for example, tweak which
2904 // encoding is selected. Loop on it while changes happen so the individual
2905 // transformations can chain off each other.
2906 if (!MatchingInlineAsm)
2907 while (processInstruction(Inst, Operands))
2908 ;
2909 Inst.setLoc(IDLoc);
2910 if (!MatchingInlineAsm)
2911 EmitInstruction(Inst, Operands, Out);
2912 Opcode = Inst.getOpcode();
2913 return false;
2914 } else if (NumSuccessfulMatches > 1) {
2915 assert(UnsizedMemOp &&
2916 "multiple matches only possible with unsized memory operands");
2917 ArrayRef<SMRange> Ranges =
2918 MatchingInlineAsm ? EmptyRanges : UnsizedMemOp->getLocRange();
2919 return Error(UnsizedMemOp->getStartLoc(),
2920 "ambiguous operand size for instruction '" + Mnemonic + "\'",
2921 Ranges, MatchingInlineAsm);
2922 }
2923
2924 // If one instruction matched with a missing feature, report this as a
2925 // missing feature.
2926 if (std::count(std::begin(Match), std::end(Match),
2927 Match_MissingFeature) == 1) {
Ranjeet Singh86ecbb72015-06-30 12:32:53 +00002928 ErrorInfo = ErrorInfoMissingFeature;
Reid Klecknerf6fb7802014-08-26 20:32:34 +00002929 return ErrorMissingFeature(IDLoc, ErrorInfoMissingFeature,
2930 MatchingInlineAsm);
2931 }
2932
2933 // If one instruction matched with an invalid operand, report this as an
2934 // operand failure.
2935 if (std::count(std::begin(Match), std::end(Match),
2936 Match_InvalidOperand) == 1) {
2937 return Error(IDLoc, "invalid operand for instruction", EmptyRanges,
2938 MatchingInlineAsm);
2939 }
2940
2941 // If all of these were an outright failure, report it in a useless way.
2942 return Error(IDLoc, "unknown instruction mnemonic", EmptyRanges,
2943 MatchingInlineAsm);
2944}
2945
Nico Weber42f79db2014-07-17 20:24:55 +00002946bool X86AsmParser::OmitRegisterFromClobberLists(unsigned RegNo) {
2947 return X86MCRegisterClasses[X86::SEGMENT_REGRegClassID].contains(RegNo);
2948}
Daniel Dunbar9b816a12010-05-04 16:12:42 +00002949
Devang Patel4a6e7782012-01-12 18:03:40 +00002950bool X86AsmParser::ParseDirective(AsmToken DirectiveID) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002951 MCAsmParser &Parser = getParser();
Chris Lattner72c0b592010-10-30 17:38:55 +00002952 StringRef IDVal = DirectiveID.getIdentifier();
2953 if (IDVal == ".word")
2954 return ParseDirectiveWord(2, DirectiveID.getLoc());
Evan Cheng481ebb02011-07-27 00:38:12 +00002955 else if (IDVal.startswith(".code"))
2956 return ParseDirectiveCode(IDVal, DirectiveID.getLoc());
Chad Rosier6f8d8b22012-09-10 20:54:39 +00002957 else if (IDVal.startswith(".att_syntax")) {
Reid Klecknerce63b792014-08-06 23:21:13 +00002958 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2959 if (Parser.getTok().getString() == "prefix")
2960 Parser.Lex();
2961 else if (Parser.getTok().getString() == "noprefix")
2962 return Error(DirectiveID.getLoc(), "'.att_syntax noprefix' is not "
2963 "supported: registers must have a "
2964 "'%' prefix in .att_syntax");
2965 }
Chad Rosier6f8d8b22012-09-10 20:54:39 +00002966 getParser().setAssemblerDialect(0);
2967 return false;
2968 } else if (IDVal.startswith(".intel_syntax")) {
Devang Patela173ee52012-01-31 18:14:05 +00002969 getParser().setAssemblerDialect(1);
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002970 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00002971 if (Parser.getTok().getString() == "noprefix")
Craig Topper6bf3ed42012-07-18 04:59:16 +00002972 Parser.Lex();
Reid Klecknerce63b792014-08-06 23:21:13 +00002973 else if (Parser.getTok().getString() == "prefix")
2974 return Error(DirectiveID.getLoc(), "'.intel_syntax prefix' is not "
2975 "supported: registers must not have "
2976 "a '%' prefix in .intel_syntax");
Devang Patel9a9bb5c2012-01-30 20:02:42 +00002977 }
2978 return false;
Michael Zuckerman02ecd432015-12-13 17:07:23 +00002979 } else if (IDVal == ".even")
2980 return parseDirectiveEven(DirectiveID.getLoc());
Chris Lattner72c0b592010-10-30 17:38:55 +00002981 return true;
2982}
2983
Michael Zuckerman02ecd432015-12-13 17:07:23 +00002984/// parseDirectiveEven
2985/// ::= .even
2986bool X86AsmParser::parseDirectiveEven(SMLoc L) {
2987 const MCSection *Section = getStreamer().getCurrentSection().first;
2988 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2989 TokError("unexpected token in directive");
2990 return false;
2991 }
2992 if (!Section) {
2993 getStreamer().InitSections(false);
2994 Section = getStreamer().getCurrentSection().first;
2995 }
2996 if (Section->UseCodeAlign())
2997 getStreamer().EmitCodeAlignment(2, 0);
2998 else
2999 getStreamer().EmitValueToAlignment(2, 0, 1, 0);
3000 return false;
3001}
Chris Lattner72c0b592010-10-30 17:38:55 +00003002/// ParseDirectiveWord
3003/// ::= .word [ expression (, expression)* ]
Devang Patel4a6e7782012-01-12 18:03:40 +00003004bool X86AsmParser::ParseDirectiveWord(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003005 MCAsmParser &Parser = getParser();
Chris Lattner72c0b592010-10-30 17:38:55 +00003006 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3007 for (;;) {
3008 const MCExpr *Value;
David Majnemera375b262015-10-26 02:45:50 +00003009 SMLoc ExprLoc = getLexer().getLoc();
Jim Grosbachd2037eb2013-02-20 22:21:35 +00003010 if (getParser().parseExpression(Value))
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00003011 return false;
Chad Rosier51afe632012-06-27 22:34:28 +00003012
David Majnemera375b262015-10-26 02:45:50 +00003013 if (const auto *MCE = dyn_cast<MCConstantExpr>(Value)) {
3014 assert(Size <= 8 && "Invalid size");
3015 uint64_t IntValue = MCE->getValue();
3016 if (!isUIntN(8 * Size, IntValue) && !isIntN(8 * Size, IntValue))
3017 return Error(ExprLoc, "literal value out of range for directive");
3018 getStreamer().EmitIntValue(IntValue, Size);
3019 } else {
3020 getStreamer().EmitValue(Value, Size, ExprLoc);
3021 }
Chad Rosier51afe632012-06-27 22:34:28 +00003022
Chris Lattner72c0b592010-10-30 17:38:55 +00003023 if (getLexer().is(AsmToken::EndOfStatement))
3024 break;
Chad Rosier51afe632012-06-27 22:34:28 +00003025
Chris Lattner72c0b592010-10-30 17:38:55 +00003026 // FIXME: Improve diagnostic.
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00003027 if (getLexer().isNot(AsmToken::Comma)) {
3028 Error(L, "unexpected token in directive");
3029 return false;
3030 }
Chris Lattner72c0b592010-10-30 17:38:55 +00003031 Parser.Lex();
3032 }
3033 }
Chad Rosier51afe632012-06-27 22:34:28 +00003034
Chris Lattner72c0b592010-10-30 17:38:55 +00003035 Parser.Lex();
3036 return false;
3037}
3038
Evan Cheng481ebb02011-07-27 00:38:12 +00003039/// ParseDirectiveCode
Craig Topper3c80d622014-01-06 04:55:54 +00003040/// ::= .code16 | .code32 | .code64
Devang Patel4a6e7782012-01-12 18:03:40 +00003041bool X86AsmParser::ParseDirectiveCode(StringRef IDVal, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003042 MCAsmParser &Parser = getParser();
Craig Topper3c80d622014-01-06 04:55:54 +00003043 if (IDVal == ".code16") {
Evan Cheng481ebb02011-07-27 00:38:12 +00003044 Parser.Lex();
Craig Topper3c80d622014-01-06 04:55:54 +00003045 if (!is16BitMode()) {
3046 SwitchMode(X86::Mode16Bit);
3047 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code16);
3048 }
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00003049 } else if (IDVal == ".code32") {
Craig Topper3c80d622014-01-06 04:55:54 +00003050 Parser.Lex();
3051 if (!is32BitMode()) {
3052 SwitchMode(X86::Mode32Bit);
Evan Cheng481ebb02011-07-27 00:38:12 +00003053 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code32);
3054 }
3055 } else if (IDVal == ".code64") {
3056 Parser.Lex();
3057 if (!is64BitMode()) {
Craig Topper3c80d622014-01-06 04:55:54 +00003058 SwitchMode(X86::Mode64Bit);
Evan Cheng481ebb02011-07-27 00:38:12 +00003059 getParser().getStreamer().EmitAssemblerFlag(MCAF_Code64);
3060 }
3061 } else {
Saleem Abdulrasoola6505ca2014-01-13 01:15:39 +00003062 Error(L, "unknown directive " + IDVal);
3063 return false;
Evan Cheng481ebb02011-07-27 00:38:12 +00003064 }
Chris Lattner72c0b592010-10-30 17:38:55 +00003065
Evan Cheng481ebb02011-07-27 00:38:12 +00003066 return false;
3067}
Chris Lattner72c0b592010-10-30 17:38:55 +00003068
Daniel Dunbar71475772009-07-17 20:42:00 +00003069// Force static initialization.
3070extern "C" void LLVMInitializeX86AsmParser() {
Devang Patel4a6e7782012-01-12 18:03:40 +00003071 RegisterMCAsmParser<X86AsmParser> X(TheX86_32Target);
3072 RegisterMCAsmParser<X86AsmParser> Y(TheX86_64Target);
Daniel Dunbar71475772009-07-17 20:42:00 +00003073}
Daniel Dunbar00331992009-07-29 00:02:19 +00003074
Chris Lattner3e4582a2010-09-06 19:11:01 +00003075#define GET_REGISTER_MATCHER
3076#define GET_MATCHER_IMPLEMENTATION
Jim Grosbach6f1f41b2012-11-14 18:04:47 +00003077#define GET_SUBTARGET_FEATURE_NAME
Daniel Dunbar00331992009-07-29 00:02:19 +00003078#include "X86GenAsmMatcher.inc"