blob: 7db5b34204c340cdb78054d757db85d1cf34ff51 [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsAsmParser.cpp - Parse Mips assembly to MCInst instructions ----===//
Rafael Espindola870c4e92012-01-11 03:56:41 +00002//
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
Petar Jovanovica5da5882014-02-04 18:41:57 +000010#include "MCTargetDesc/MipsMCExpr.h"
Rafael Espindola870c4e92012-01-11 03:56:41 +000011#include "MCTargetDesc/MipsMCTargetDesc.h"
Jack Carterb4dbc172012-09-05 23:34:03 +000012#include "MipsRegisterInfo.h"
Rafael Espindolaa17151a2013-10-08 13:08:17 +000013#include "MipsTargetStreamer.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000014#include "llvm/ADT/APInt.h"
Toma Tabacu9db22db2014-09-09 10:15:38 +000015#include "llvm/ADT/SmallVector.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000016#include "llvm/ADT/StringSwitch.h"
Jack Carterb4dbc172012-09-05 23:34:03 +000017#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCExpr.h"
19#include "llvm/MC/MCInst.h"
Daniel Sandersa771fef2014-03-24 14:05:39 +000020#include "llvm/MC/MCInstBuilder.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/MC/MCParser/MCAsmLexer.h"
22#include "llvm/MC/MCParser/MCParsedAsmOperand.h"
Jack Carterb4dbc172012-09-05 23:34:03 +000023#include "llvm/MC/MCStreamer.h"
24#include "llvm/MC/MCSubtargetInfo.h"
25#include "llvm/MC/MCSymbol.h"
Akira Hatanaka7605630c2012-08-17 20:16:42 +000026#include "llvm/MC/MCTargetAsmParser.h"
Daniel Sandersb50ccf82014-04-01 10:35:28 +000027#include "llvm/Support/Debug.h"
Matheus Almeidae0d75aa2013-12-13 11:11:02 +000028#include "llvm/Support/MathExtras.h"
Daniel Sandersef638fe2014-10-03 15:37:37 +000029#include "llvm/Support/SourceMgr.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000030#include "llvm/Support/TargetRegistry.h"
Toma Tabacu9db22db2014-09-09 10:15:38 +000031#include <memory>
Rafael Espindola870c4e92012-01-11 03:56:41 +000032
33using namespace llvm;
34
Chandler Carruthe96dd892014-04-21 22:55:11 +000035#define DEBUG_TYPE "mips-asm-parser"
36
Joey Gouly0e76fa72013-09-12 10:28:05 +000037namespace llvm {
38class MCInstrInfo;
39}
40
Rafael Espindola870c4e92012-01-11 03:56:41 +000041namespace {
Jack Carter0b744b32012-10-04 02:29:46 +000042class MipsAssemblerOptions {
43public:
Toma Tabacu9db22db2014-09-09 10:15:38 +000044 MipsAssemblerOptions(uint64_t Features_) :
45 ATReg(1), Reorder(true), Macro(true), Features(Features_) {}
Jack Carterb4dbc172012-09-05 23:34:03 +000046
Toma Tabacu9db22db2014-09-09 10:15:38 +000047 MipsAssemblerOptions(const MipsAssemblerOptions *Opts) {
48 ATReg = Opts->getATRegNum();
49 Reorder = Opts->isReorder();
50 Macro = Opts->isMacro();
51 Features = Opts->getFeatures();
52 }
53
54 unsigned getATRegNum() const { return ATReg; }
Jack Carter0b744b32012-10-04 02:29:46 +000055 bool setATReg(unsigned Reg);
56
Toma Tabacu9db22db2014-09-09 10:15:38 +000057 bool isReorder() const { return Reorder; }
Toma Tabacu3c24b042014-09-05 15:43:21 +000058 void setReorder() { Reorder = true; }
59 void setNoReorder() { Reorder = false; }
Jack Carter0b744b32012-10-04 02:29:46 +000060
Toma Tabacu9db22db2014-09-09 10:15:38 +000061 bool isMacro() const { return Macro; }
Toma Tabacu3c24b042014-09-05 15:43:21 +000062 void setMacro() { Macro = true; }
63 void setNoMacro() { Macro = false; }
Jack Carter0b744b32012-10-04 02:29:46 +000064
Toma Tabacu9db22db2014-09-09 10:15:38 +000065 uint64_t getFeatures() const { return Features; }
66 void setFeatures(uint64_t Features_) { Features = Features_; }
67
Daniel Sandersf0df2212014-08-04 12:20:00 +000068 // Set of features that are either architecture features or referenced
69 // by them (e.g.: FeatureNaN2008 implied by FeatureMips32r6).
70 // The full table can be found in MipsGenSubtargetInfo.inc (MipsFeatureKV[]).
71 // The reason we need this mask is explained in the selectArch function.
72 // FIXME: Ideally we would like TableGen to generate this information.
73 static const uint64_t AllArchRelatedMask =
74 Mips::FeatureMips1 | Mips::FeatureMips2 | Mips::FeatureMips3 |
75 Mips::FeatureMips3_32 | Mips::FeatureMips3_32r2 | Mips::FeatureMips4 |
76 Mips::FeatureMips4_32 | Mips::FeatureMips4_32r2 | Mips::FeatureMips5 |
77 Mips::FeatureMips5_32r2 | Mips::FeatureMips32 | Mips::FeatureMips32r2 |
78 Mips::FeatureMips32r6 | Mips::FeatureMips64 | Mips::FeatureMips64r2 |
79 Mips::FeatureMips64r6 | Mips::FeatureCnMips | Mips::FeatureFP64Bit |
80 Mips::FeatureGP64Bit | Mips::FeatureNaN2008;
81
Jack Carter0b744b32012-10-04 02:29:46 +000082private:
Toma Tabacu3c24b042014-09-05 15:43:21 +000083 unsigned ATReg;
84 bool Reorder;
85 bool Macro;
Toma Tabacu9db22db2014-09-09 10:15:38 +000086 uint64_t Features;
Jack Carter0b744b32012-10-04 02:29:46 +000087};
88}
89
90namespace {
Rafael Espindola870c4e92012-01-11 03:56:41 +000091class MipsAsmParser : public MCTargetAsmParser {
Rafael Espindolaa17151a2013-10-08 13:08:17 +000092 MipsTargetStreamer &getTargetStreamer() {
Rafael Espindola961d4692014-11-11 05:18:41 +000093 MCTargetStreamer &TS = *getParser().getStreamer().getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +000094 return static_cast<MipsTargetStreamer &>(TS);
95 }
96
Jack Carterb4dbc172012-09-05 23:34:03 +000097 MCSubtargetInfo &STI;
Toma Tabacu9db22db2014-09-09 10:15:38 +000098 SmallVector<std::unique_ptr<MipsAssemblerOptions>, 2> AssemblerOptions;
Daniel Sandersd97a6342014-08-13 10:07:34 +000099 MCSymbol *CurrentFn; // Pointer to the function being parsed. It may be a
100 // nullptr, which indicates that no function is currently
101 // selected. This usually happens after an '.end func'
102 // directive.
Jack Carter0b744b32012-10-04 02:29:46 +0000103
Daniel Sandersef638fe2014-10-03 15:37:37 +0000104 // Print a warning along with its fix-it message at the given range.
105 void printWarningWithFixIt(const Twine &Msg, const Twine &FixMsg,
106 SMRange Range, bool ShowColors = true);
107
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000108#define GET_ASSEMBLER_HEADER
109#include "MipsGenAsmMatcher.inc"
110
Matheus Almeida595fcab2014-06-11 15:05:56 +0000111 unsigned checkTargetMatchPredicate(MCInst &Inst) override;
112
Chad Rosier49963552012-10-13 00:26:04 +0000113 bool MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
David Blaikie960ea3f2014-06-08 16:18:35 +0000114 OperandVector &Operands, MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +0000115 uint64_t &ErrorInfo,
Craig Topper56c590a2014-04-29 07:58:02 +0000116 bool MatchingInlineAsm) override;
Rafael Espindola870c4e92012-01-11 03:56:41 +0000117
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000118 /// Parse a register as used in CFI directives
Craig Topper56c590a2014-04-29 07:58:02 +0000119 bool ParseRegister(unsigned &RegNo, SMLoc &StartLoc, SMLoc &EndLoc) override;
Rafael Espindola870c4e92012-01-11 03:56:41 +0000120
Toma Tabacu13964452014-09-04 13:23:44 +0000121 bool parseParenSuffix(StringRef Name, OperandVector &Operands);
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000122
Toma Tabacu13964452014-09-04 13:23:44 +0000123 bool parseBracketSuffix(StringRef Name, OperandVector &Operands);
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000124
David Blaikie960ea3f2014-06-08 16:18:35 +0000125 bool ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
126 SMLoc NameLoc, OperandVector &Operands) override;
Rafael Espindola870c4e92012-01-11 03:56:41 +0000127
Craig Topper56c590a2014-04-29 07:58:02 +0000128 bool ParseDirective(AsmToken DirectiveID) override;
Rafael Espindola870c4e92012-01-11 03:56:41 +0000129
David Blaikie960ea3f2014-06-08 16:18:35 +0000130 MipsAsmParser::OperandMatchResultTy parseMemOperand(OperandVector &Operands);
Akira Hatanaka9bfa2e22013-08-28 00:55:15 +0000131
132 MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +0000133 matchAnyRegisterNameWithoutDollar(OperandVector &Operands,
David Blaikie960ea3f2014-06-08 16:18:35 +0000134 StringRef Identifier, SMLoc S);
Akira Hatanaka9bfa2e22013-08-28 00:55:15 +0000135
Jack Carter873c7242013-01-12 01:03:14 +0000136 MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +0000137 matchAnyRegisterWithoutDollar(OperandVector &Operands, SMLoc S);
Jack Carter873c7242013-01-12 01:03:14 +0000138
Toma Tabacu13964452014-09-04 13:23:44 +0000139 MipsAsmParser::OperandMatchResultTy parseAnyRegister(OperandVector &Operands);
Jack Carter873c7242013-01-12 01:03:14 +0000140
Toma Tabacu13964452014-09-04 13:23:44 +0000141 MipsAsmParser::OperandMatchResultTy parseImm(OperandVector &Operands);
Matheus Almeidaa591fdc2013-10-21 12:26:50 +0000142
Toma Tabacu13964452014-09-04 13:23:44 +0000143 MipsAsmParser::OperandMatchResultTy parseJumpTarget(OperandVector &Operands);
Vladimir Medic2b953d02013-10-01 09:48:56 +0000144
David Blaikie960ea3f2014-06-08 16:18:35 +0000145 MipsAsmParser::OperandMatchResultTy parseInvNum(OperandVector &Operands);
Matheus Almeida779c5932013-11-18 12:32:49 +0000146
Toma Tabacu13964452014-09-04 13:23:44 +0000147 MipsAsmParser::OperandMatchResultTy parseLSAImm(OperandVector &Operands);
Jack Carterd76b2372013-03-21 21:44:16 +0000148
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000149 MipsAsmParser::OperandMatchResultTy
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000150 parseRegisterPair (OperandVector &Operands);
151
152 MipsAsmParser::OperandMatchResultTy
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000153 parseRegisterList (OperandVector &Operands);
154
David Blaikie960ea3f2014-06-08 16:18:35 +0000155 bool searchSymbolAlias(OperandVector &Operands);
156
Toma Tabacu13964452014-09-04 13:23:44 +0000157 bool parseOperand(OperandVector &, StringRef Mnemonic);
Jack Carterb4dbc172012-09-05 23:34:03 +0000158
Jack Carter30a59822012-10-04 04:03:53 +0000159 bool needsExpansion(MCInst &Inst);
160
Matheus Almeida3813d572014-06-19 14:39:14 +0000161 // Expands assembly pseudo instructions.
162 // Returns false on success, true otherwise.
163 bool expandInstruction(MCInst &Inst, SMLoc IDLoc,
Jack Carter92995f12012-10-06 00:53:28 +0000164 SmallVectorImpl<MCInst> &Instructions);
Matheus Almeida3813d572014-06-19 14:39:14 +0000165
166 bool expandLoadImm(MCInst &Inst, SMLoc IDLoc,
Jack Carter92995f12012-10-06 00:53:28 +0000167 SmallVectorImpl<MCInst> &Instructions);
Matheus Almeida3813d572014-06-19 14:39:14 +0000168
169 bool expandLoadAddressImm(MCInst &Inst, SMLoc IDLoc,
Jack Carter543fdf82012-10-09 23:29:45 +0000170 SmallVectorImpl<MCInst> &Instructions);
Matheus Almeida3813d572014-06-19 14:39:14 +0000171
172 bool expandLoadAddressReg(MCInst &Inst, SMLoc IDLoc,
Jack Carter543fdf82012-10-09 23:29:45 +0000173 SmallVectorImpl<MCInst> &Instructions);
Matheus Almeida3813d572014-06-19 14:39:14 +0000174
Toma Tabacu0d64b202014-08-14 10:29:17 +0000175 void expandLoadAddressSym(MCInst &Inst, SMLoc IDLoc,
176 SmallVectorImpl<MCInst> &Instructions);
177
Jack Carter9e65aa32013-03-22 00:05:30 +0000178 void expandMemInst(MCInst &Inst, SMLoc IDLoc,
Vladimir Medic4c299852013-11-06 11:27:05 +0000179 SmallVectorImpl<MCInst> &Instructions, bool isLoad,
180 bool isImmOpnd);
Daniel Sandersc7dbc632014-07-08 10:11:38 +0000181 bool reportParseError(Twine ErrorMsg);
182 bool reportParseError(SMLoc Loc, Twine ErrorMsg);
Jack Carter0b744b32012-10-04 02:29:46 +0000183
Jack Carterb5cf5902013-04-17 00:18:04 +0000184 bool parseMemOffset(const MCExpr *&Res, bool isParenExpr);
Jack Carter873c7242013-01-12 01:03:14 +0000185 bool parseRelocOperand(const MCExpr *&Res);
Jack Carter0b744b32012-10-04 02:29:46 +0000186
Vladimir Medic4c299852013-11-06 11:27:05 +0000187 const MCExpr *evaluateRelocExpr(const MCExpr *Expr, StringRef RelocStr);
Jack Carterb5cf5902013-04-17 00:18:04 +0000188
189 bool isEvaluated(const MCExpr *Expr);
Toma Tabacu26647792014-09-09 12:52:14 +0000190 bool parseSetMips0Directive();
Toma Tabacu85618b32014-08-19 14:22:52 +0000191 bool parseSetArchDirective();
Matheus Almeidafe1e39d2014-03-26 14:26:27 +0000192 bool parseSetFeature(uint64_t Feature);
Toma Tabacuc4c202a2014-10-01 14:53:19 +0000193 bool parseDirectiveCpLoad(SMLoc Loc);
Daniel Sanders5bce5f62014-03-27 13:52:53 +0000194 bool parseDirectiveCPSetup();
Matheus Almeida0051f2d2014-04-16 15:48:55 +0000195 bool parseDirectiveNaN();
Jack Carter0b744b32012-10-04 02:29:46 +0000196 bool parseDirectiveSet();
Jack Carter0cd3c192014-01-06 23:27:31 +0000197 bool parseDirectiveOption();
Jack Carter0b744b32012-10-04 02:29:46 +0000198
199 bool parseSetAtDirective();
200 bool parseSetNoAtDirective();
201 bool parseSetMacroDirective();
202 bool parseSetNoMacroDirective();
Daniel Sanders44934432014-08-07 12:03:36 +0000203 bool parseSetMsaDirective();
204 bool parseSetNoMsaDirective();
Toma Tabacu351b2fe2014-09-17 09:01:54 +0000205 bool parseSetNoDspDirective();
Jack Carter0b744b32012-10-04 02:29:46 +0000206 bool parseSetReorderDirective();
207 bool parseSetNoReorderDirective();
Toma Tabacucc2502d2014-11-04 17:18:07 +0000208 bool parseSetMips16Directive();
Jack Carter39536722014-01-22 23:08:42 +0000209 bool parseSetNoMips16Directive();
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000210 bool parseSetFpDirective();
Toma Tabacu9db22db2014-09-09 10:15:38 +0000211 bool parseSetPopDirective();
212 bool parseSetPushDirective();
Jack Carter0b744b32012-10-04 02:29:46 +0000213
Jack Carterd76b2372013-03-21 21:44:16 +0000214 bool parseSetAssignment();
215
Matheus Almeida3e2a7022014-03-26 15:24:36 +0000216 bool parseDataDirective(unsigned Size, SMLoc L);
Vladimir Medic4c299852013-11-06 11:27:05 +0000217 bool parseDirectiveGpWord();
Rafael Espindola2378d4c2014-03-31 14:15:07 +0000218 bool parseDirectiveGpDWord();
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000219 bool parseDirectiveModule();
Daniel Sandersc7dbc632014-07-08 10:11:38 +0000220 bool parseDirectiveModuleFP();
Daniel Sanders7e527422014-07-10 13:38:23 +0000221 bool parseFpABIValue(MipsABIFlagsSection::FpABIKind &FpABI,
222 StringRef Directive);
Jack Carter07c818d2013-01-25 01:31:34 +0000223
Jack Carterdc1e35d2012-09-06 20:00:02 +0000224 MCSymbolRefExpr::VariantKind getVariantKind(StringRef Symbol);
Jack Cartera63b16a2012-09-07 00:23:42 +0000225
Daniel Sanders5bce5f62014-03-27 13:52:53 +0000226 bool eatComma(StringRef ErrorStr);
227
Jack Carter1ac53222013-02-20 23:11:17 +0000228 int matchCPURegisterName(StringRef Symbol);
229
Vasileios Kalintiris10b5ba32014-11-11 10:31:31 +0000230 int matchHWRegsRegisterName(StringRef Symbol);
231
Jack Carter873c7242013-01-12 01:03:14 +0000232 int matchRegisterByNumber(unsigned RegNum, unsigned RegClass);
Jack Carterb4dbc172012-09-05 23:34:03 +0000233
Vladimir Medic27c87ea2013-08-13 13:07:09 +0000234 int matchFPURegisterName(StringRef Name);
Vladimir Medic8cd17102013-06-20 11:21:49 +0000235
Vladimir Medic27c87ea2013-08-13 13:07:09 +0000236 int matchFCCRegisterName(StringRef Name);
Jack Cartera63b16a2012-09-07 00:23:42 +0000237
Vladimir Medic27c87ea2013-08-13 13:07:09 +0000238 int matchACRegisterName(StringRef Name);
Jack Cartera63b16a2012-09-07 00:23:42 +0000239
Jack Carter5dc8ac92013-09-25 23:50:44 +0000240 int matchMSA128RegisterName(StringRef Name);
241
Matheus Almeidaa591fdc2013-10-21 12:26:50 +0000242 int matchMSA128CtrlRegisterName(StringRef Name);
243
Jack Carterd0bd6422013-04-18 00:41:53 +0000244 unsigned getReg(int RC, int RegNo);
Chad Rosier391d29972012-09-03 18:47:45 +0000245
Daniel Sanders5bce5f62014-03-27 13:52:53 +0000246 unsigned getGPR(int RegNo);
247
Matheus Almeida7de68e72014-06-18 14:46:05 +0000248 int getATReg(SMLoc Loc);
Jack Carter9e65aa32013-03-22 00:05:30 +0000249
250 bool processInstruction(MCInst &Inst, SMLoc IDLoc,
Vladimir Medic4c299852013-11-06 11:27:05 +0000251 SmallVectorImpl<MCInst> &Instructions);
Matheus Almeidab74293d2013-10-14 11:49:30 +0000252
253 // Helper function that checks if the value of a vector index is within the
254 // boundaries of accepted values for each RegisterKind
255 // Example: INSERT.B $w0[n], $1 => 16 > n >= 0
256 bool validateMSAIndex(int Val, int RegKind);
257
Daniel Sandersf0df2212014-08-04 12:20:00 +0000258 // Selects a new architecture by updating the FeatureBits with the necessary
259 // info including implied dependencies.
260 // Internally, it clears all the feature bits related to *any* architecture
261 // and selects the new one using the ToggleFeature functionality of the
262 // MCSubtargetInfo object that handles implied dependencies. The reason we
263 // clear all the arch related bits manually is because ToggleFeature only
264 // clears the features that imply the feature being cleared and not the
265 // features implied by the feature being cleared. This is easier to see
266 // with an example:
267 // --------------------------------------------------
268 // | Feature | Implies |
269 // | -------------------------------------------------|
270 // | FeatureMips1 | None |
271 // | FeatureMips2 | FeatureMips1 |
272 // | FeatureMips3 | FeatureMips2 | FeatureMipsGP64 |
273 // | FeatureMips4 | FeatureMips3 |
274 // | ... | |
275 // --------------------------------------------------
276 //
277 // Setting Mips3 is equivalent to set: (FeatureMips3 | FeatureMips2 |
278 // FeatureMipsGP64 | FeatureMips1)
279 // Clearing Mips3 is equivalent to clear (FeatureMips3 | FeatureMips4).
280 void selectArch(StringRef ArchFeature) {
281 uint64_t FeatureBits = STI.getFeatureBits();
282 FeatureBits &= ~MipsAssemblerOptions::AllArchRelatedMask;
283 STI.setFeatureBits(FeatureBits);
284 setAvailableFeatures(
285 ComputeAvailableFeatures(STI.ToggleFeature(ArchFeature)));
Toma Tabacu9db22db2014-09-09 10:15:38 +0000286 AssemblerOptions.back()->setFeatures(getAvailableFeatures());
Daniel Sandersf0df2212014-08-04 12:20:00 +0000287 }
288
Toma Tabacu901ba6e2014-09-05 16:32:09 +0000289 void setFeatureBits(uint64_t Feature, StringRef FeatureString) {
Vladimir Medic615b26e2014-03-04 09:54:09 +0000290 if (!(STI.getFeatureBits() & Feature)) {
Matheus Almeida2852af82014-04-22 10:15:54 +0000291 setAvailableFeatures(
292 ComputeAvailableFeatures(STI.ToggleFeature(FeatureString)));
Vladimir Medic615b26e2014-03-04 09:54:09 +0000293 }
Toma Tabacu9db22db2014-09-09 10:15:38 +0000294 AssemblerOptions.back()->setFeatures(getAvailableFeatures());
Vladimir Medic615b26e2014-03-04 09:54:09 +0000295 }
296
Toma Tabacu901ba6e2014-09-05 16:32:09 +0000297 void clearFeatureBits(uint64_t Feature, StringRef FeatureString) {
Vladimir Medic615b26e2014-03-04 09:54:09 +0000298 if (STI.getFeatureBits() & Feature) {
Matheus Almeida2852af82014-04-22 10:15:54 +0000299 setAvailableFeatures(
300 ComputeAvailableFeatures(STI.ToggleFeature(FeatureString)));
Vladimir Medic615b26e2014-03-04 09:54:09 +0000301 }
Toma Tabacu9db22db2014-09-09 10:15:38 +0000302 AssemblerOptions.back()->setFeatures(getAvailableFeatures());
Vladimir Medic615b26e2014-03-04 09:54:09 +0000303 }
304
Rafael Espindola870c4e92012-01-11 03:56:41 +0000305public:
Matheus Almeida595fcab2014-06-11 15:05:56 +0000306 enum MipsMatchResultTy {
307 Match_RequiresDifferentSrcAndDst = FIRST_TARGET_MATCH_RESULT_TY
308#define GET_OPERAND_DIAGNOSTIC_TYPES
309#include "MipsGenAsmMatcher.inc"
310#undef GET_OPERAND_DIAGNOSTIC_TYPES
311
312 };
313
Joey Gouly0e76fa72013-09-12 10:28:05 +0000314 MipsAsmParser(MCSubtargetInfo &sti, MCAsmParser &parser,
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000315 const MCInstrInfo &MII, const MCTargetOptions &Options)
Rafael Espindola961d4692014-11-11 05:18:41 +0000316 : MCTargetAsmParser(), STI(sti) {
317 MCAsmParserExtension::Initialize(parser);
318
Jack Carterb4dbc172012-09-05 23:34:03 +0000319 // Initialize the set of available features.
320 setAvailableFeatures(ComputeAvailableFeatures(STI.getFeatureBits()));
Toma Tabacu9db22db2014-09-09 10:15:38 +0000321
322 // Remember the initial assembler options. The user can not modify these.
Craig Topperfec61ef2014-09-12 05:17:20 +0000323 AssemblerOptions.push_back(
324 make_unique<MipsAssemblerOptions>(getAvailableFeatures()));
Toma Tabacu9db22db2014-09-09 10:15:38 +0000325
326 // Create an assembler options environment for the user to modify.
Craig Topperfec61ef2014-09-12 05:17:20 +0000327 AssemblerOptions.push_back(
328 make_unique<MipsAssemblerOptions>(getAvailableFeatures()));
Daniel Sanders5a1449d2014-02-20 14:58:19 +0000329
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000330 getTargetStreamer().updateABIInfo(*this);
331
Daniel Sanders5a1449d2014-02-20 14:58:19 +0000332 // Assert exactly one ABI was chosen.
333 assert((((STI.getFeatureBits() & Mips::FeatureO32) != 0) +
334 ((STI.getFeatureBits() & Mips::FeatureEABI) != 0) +
335 ((STI.getFeatureBits() & Mips::FeatureN32) != 0) +
336 ((STI.getFeatureBits() & Mips::FeatureN64) != 0)) == 1);
Daniel Sanders7e527422014-07-10 13:38:23 +0000337
Daniel Sanders9ee2aee2014-07-14 10:26:15 +0000338 if (!isABI_O32() && !useOddSPReg() != 0)
Daniel Sanders7e527422014-07-10 13:38:23 +0000339 report_fatal_error("-mno-odd-spreg requires the O32 ABI");
Daniel Sandersd97a6342014-08-13 10:07:34 +0000340
341 CurrentFn = nullptr;
Rafael Espindola870c4e92012-01-11 03:56:41 +0000342 }
343
Daniel Sanders3d3ea532014-06-12 15:00:17 +0000344 /// True if all of $fcc0 - $fcc7 exist for the current ISA.
345 bool hasEightFccRegisters() const { return hasMips4() || hasMips32(); }
346
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000347 bool isGP64bit() const { return STI.getFeatureBits() & Mips::FeatureGP64Bit; }
348 bool isFP64bit() const { return STI.getFeatureBits() & Mips::FeatureFP64Bit; }
349 bool isABI_N32() const { return STI.getFeatureBits() & Mips::FeatureN32; }
350 bool isABI_N64() const { return STI.getFeatureBits() & Mips::FeatureN64; }
351 bool isABI_O32() const { return STI.getFeatureBits() & Mips::FeatureO32; }
Daniel Sandersa6e125f2014-07-15 15:31:39 +0000352 bool isABI_FPXX() const { return STI.getFeatureBits() & Mips::FeatureFPXX; }
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000353
Daniel Sanders9ee2aee2014-07-14 10:26:15 +0000354 bool useOddSPReg() const {
Daniel Sanders7e527422014-07-10 13:38:23 +0000355 return !(STI.getFeatureBits() & Mips::FeatureNoOddSPReg);
356 }
357
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000358 bool inMicroMipsMode() const {
359 return STI.getFeatureBits() & Mips::FeatureMicroMips;
360 }
361 bool hasMips1() const { return STI.getFeatureBits() & Mips::FeatureMips1; }
362 bool hasMips2() const { return STI.getFeatureBits() & Mips::FeatureMips2; }
363 bool hasMips3() const { return STI.getFeatureBits() & Mips::FeatureMips3; }
364 bool hasMips4() const { return STI.getFeatureBits() & Mips::FeatureMips4; }
365 bool hasMips5() const { return STI.getFeatureBits() & Mips::FeatureMips5; }
366 bool hasMips32() const {
367 return (STI.getFeatureBits() & Mips::FeatureMips32);
368 }
369 bool hasMips64() const {
370 return (STI.getFeatureBits() & Mips::FeatureMips64);
371 }
372 bool hasMips32r2() const {
373 return (STI.getFeatureBits() & Mips::FeatureMips32r2);
374 }
375 bool hasMips64r2() const {
376 return (STI.getFeatureBits() & Mips::FeatureMips64r2);
377 }
378 bool hasMips32r6() const {
379 return (STI.getFeatureBits() & Mips::FeatureMips32r6);
380 }
381 bool hasMips64r6() const {
382 return (STI.getFeatureBits() & Mips::FeatureMips64r6);
383 }
384 bool hasDSP() const { return (STI.getFeatureBits() & Mips::FeatureDSP); }
385 bool hasDSPR2() const { return (STI.getFeatureBits() & Mips::FeatureDSPR2); }
386 bool hasMSA() const { return (STI.getFeatureBits() & Mips::FeatureMSA); }
387
388 bool inMips16Mode() const {
389 return STI.getFeatureBits() & Mips::FeatureMips16;
390 }
391 // TODO: see how can we get this info.
Eric Christopher7394e232014-07-18 00:08:50 +0000392 bool abiUsesSoftFloat() const { return false; }
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000393
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000394 /// Warn if RegNo is the current assembler temporary.
Toma Tabacu13964452014-09-04 13:23:44 +0000395 void warnIfAssemblerTemporary(int RegNo, SMLoc Loc);
Rafael Espindola870c4e92012-01-11 03:56:41 +0000396};
397}
398
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000399namespace {
400
401/// MipsOperand - Instances of this class represent a parsed Mips machine
402/// instruction.
403class MipsOperand : public MCParsedAsmOperand {
Daniel Sanderse34a1202014-03-31 18:51:43 +0000404public:
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000405 /// Broad categories of register classes
406 /// The exact class is finalized by the render method.
407 enum RegKind {
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000408 RegKind_GPR = 1, /// GPR32 and GPR64 (depending on isGP64bit())
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000409 RegKind_FGR = 2, /// FGR32, FGR64, AFGR64 (depending on context and
Vladimir Medicfb8a2a92014-07-08 08:59:22 +0000410 /// isFP64bit())
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000411 RegKind_FCC = 4, /// FCC
412 RegKind_MSA128 = 8, /// MSA128[BHWD] (makes no difference which)
413 RegKind_MSACtrl = 16, /// MSA control registers
414 RegKind_COP2 = 32, /// COP2
415 RegKind_ACC = 64, /// HI32DSP, LO32DSP, and ACC64DSP (depending on
416 /// context).
417 RegKind_CCR = 128, /// CCR
418 RegKind_HWRegs = 256, /// HWRegs
Daniel Sanderscdbbe082014-05-08 13:02:11 +0000419 RegKind_COP3 = 512, /// COP3
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000420
421 /// Potentially any (e.g. $1)
422 RegKind_Numeric = RegKind_GPR | RegKind_FGR | RegKind_FCC | RegKind_MSA128 |
423 RegKind_MSACtrl | RegKind_COP2 | RegKind_ACC |
Daniel Sanderscdbbe082014-05-08 13:02:11 +0000424 RegKind_CCR | RegKind_HWRegs | RegKind_COP3
Jack Carter873c7242013-01-12 01:03:14 +0000425 };
426
427private:
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000428 enum KindTy {
Daniel Sanders21bce302014-04-01 12:35:23 +0000429 k_Immediate, /// An immediate (possibly involving symbol references)
430 k_Memory, /// Base + Offset Memory Address
431 k_PhysRegister, /// A physical register from the Mips namespace
432 k_RegisterIndex, /// A register index in one or more RegKind.
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000433 k_Token, /// A simple token
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000434 k_RegList, /// A physical register list
435 k_RegPair /// A pair of physical register
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000436 } Kind;
437
David Blaikie960ea3f2014-06-08 16:18:35 +0000438public:
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000439 MipsOperand(KindTy K, MipsAsmParser &Parser)
440 : MCParsedAsmOperand(), Kind(K), AsmParser(Parser) {}
441
David Blaikie960ea3f2014-06-08 16:18:35 +0000442private:
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000443 /// For diagnostics, and checking the assembler temporary
444 MipsAsmParser &AsmParser;
Jack Carterb4dbc172012-09-05 23:34:03 +0000445
Eric Christopher8996c5d2013-03-15 00:42:55 +0000446 struct Token {
447 const char *Data;
448 unsigned Length;
449 };
450
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000451 struct PhysRegOp {
452 unsigned Num; /// Register Number
453 };
454
455 struct RegIdxOp {
456 unsigned Index; /// Index into the register class
457 RegKind Kind; /// Bitfield of the kinds it could possibly be
458 const MCRegisterInfo *RegInfo;
Eric Christopher8996c5d2013-03-15 00:42:55 +0000459 };
460
461 struct ImmOp {
462 const MCExpr *Val;
463 };
464
465 struct MemOp {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000466 MipsOperand *Base;
Eric Christopher8996c5d2013-03-15 00:42:55 +0000467 const MCExpr *Off;
468 };
469
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000470 struct RegListOp {
471 SmallVector<unsigned, 10> *List;
472 };
473
Jack Carterb4dbc172012-09-05 23:34:03 +0000474 union {
Eric Christopher8996c5d2013-03-15 00:42:55 +0000475 struct Token Tok;
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000476 struct PhysRegOp PhysReg;
477 struct RegIdxOp RegIdx;
Eric Christopher8996c5d2013-03-15 00:42:55 +0000478 struct ImmOp Imm;
479 struct MemOp Mem;
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000480 struct RegListOp RegList;
Jack Carterb4dbc172012-09-05 23:34:03 +0000481 };
482
483 SMLoc StartLoc, EndLoc;
484
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000485 /// Internal constructor for register kinds
David Blaikie960ea3f2014-06-08 16:18:35 +0000486 static std::unique_ptr<MipsOperand> CreateReg(unsigned Index, RegKind RegKind,
487 const MCRegisterInfo *RegInfo,
488 SMLoc S, SMLoc E,
489 MipsAsmParser &Parser) {
490 auto Op = make_unique<MipsOperand>(k_RegisterIndex, Parser);
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000491 Op->RegIdx.Index = Index;
492 Op->RegIdx.RegInfo = RegInfo;
493 Op->RegIdx.Kind = RegKind;
494 Op->StartLoc = S;
495 Op->EndLoc = E;
496 return Op;
497 }
498
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000499public:
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000500 /// Coerce the register to GPR32 and return the real register for the current
501 /// target.
502 unsigned getGPR32Reg() const {
503 assert(isRegIdx() && (RegIdx.Kind & RegKind_GPR) && "Invalid access!");
Toma Tabacu13964452014-09-04 13:23:44 +0000504 AsmParser.warnIfAssemblerTemporary(RegIdx.Index, StartLoc);
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000505 unsigned ClassID = Mips::GPR32RegClassID;
506 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000507 }
Jack Carterb4dbc172012-09-05 23:34:03 +0000508
Zoran Jovanovicb0852e52014-10-21 08:23:11 +0000509 /// Coerce the register to GPR32 and return the real register for the current
510 /// target.
511 unsigned getGPRMM16Reg() const {
512 assert(isRegIdx() && (RegIdx.Kind & RegKind_GPR) && "Invalid access!");
513 unsigned ClassID = Mips::GPR32RegClassID;
514 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
515 }
516
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000517 /// Coerce the register to GPR64 and return the real register for the current
518 /// target.
519 unsigned getGPR64Reg() const {
520 assert(isRegIdx() && (RegIdx.Kind & RegKind_GPR) && "Invalid access!");
521 unsigned ClassID = Mips::GPR64RegClassID;
522 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
Akira Hatanaka9bfa2e22013-08-28 00:55:15 +0000523 }
524
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000525private:
526 /// Coerce the register to AFGR64 and return the real register for the current
527 /// target.
528 unsigned getAFGR64Reg() const {
529 assert(isRegIdx() && (RegIdx.Kind & RegKind_FGR) && "Invalid access!");
530 if (RegIdx.Index % 2 != 0)
531 AsmParser.Warning(StartLoc, "Float register should be even.");
532 return RegIdx.RegInfo->getRegClass(Mips::AFGR64RegClassID)
533 .getRegister(RegIdx.Index / 2);
534 }
535
536 /// Coerce the register to FGR64 and return the real register for the current
537 /// target.
538 unsigned getFGR64Reg() const {
539 assert(isRegIdx() && (RegIdx.Kind & RegKind_FGR) && "Invalid access!");
540 return RegIdx.RegInfo->getRegClass(Mips::FGR64RegClassID)
541 .getRegister(RegIdx.Index);
542 }
543
544 /// Coerce the register to FGR32 and return the real register for the current
545 /// target.
546 unsigned getFGR32Reg() const {
547 assert(isRegIdx() && (RegIdx.Kind & RegKind_FGR) && "Invalid access!");
548 return RegIdx.RegInfo->getRegClass(Mips::FGR32RegClassID)
549 .getRegister(RegIdx.Index);
550 }
551
552 /// Coerce the register to FGRH32 and return the real register for the current
553 /// target.
554 unsigned getFGRH32Reg() const {
555 assert(isRegIdx() && (RegIdx.Kind & RegKind_FGR) && "Invalid access!");
556 return RegIdx.RegInfo->getRegClass(Mips::FGRH32RegClassID)
557 .getRegister(RegIdx.Index);
558 }
559
560 /// Coerce the register to FCC and return the real register for the current
561 /// target.
562 unsigned getFCCReg() const {
563 assert(isRegIdx() && (RegIdx.Kind & RegKind_FCC) && "Invalid access!");
564 return RegIdx.RegInfo->getRegClass(Mips::FCCRegClassID)
565 .getRegister(RegIdx.Index);
566 }
567
568 /// Coerce the register to MSA128 and return the real register for the current
569 /// target.
570 unsigned getMSA128Reg() const {
571 assert(isRegIdx() && (RegIdx.Kind & RegKind_MSA128) && "Invalid access!");
572 // It doesn't matter which of the MSA128[BHWD] classes we use. They are all
573 // identical
574 unsigned ClassID = Mips::MSA128BRegClassID;
575 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
576 }
577
578 /// Coerce the register to MSACtrl and return the real register for the
579 /// current target.
580 unsigned getMSACtrlReg() const {
581 assert(isRegIdx() && (RegIdx.Kind & RegKind_MSACtrl) && "Invalid access!");
582 unsigned ClassID = Mips::MSACtrlRegClassID;
583 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
584 }
585
586 /// Coerce the register to COP2 and return the real register for the
587 /// current target.
588 unsigned getCOP2Reg() const {
589 assert(isRegIdx() && (RegIdx.Kind & RegKind_COP2) && "Invalid access!");
590 unsigned ClassID = Mips::COP2RegClassID;
591 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
592 }
593
Daniel Sanderscdbbe082014-05-08 13:02:11 +0000594 /// Coerce the register to COP3 and return the real register for the
595 /// current target.
596 unsigned getCOP3Reg() const {
597 assert(isRegIdx() && (RegIdx.Kind & RegKind_COP3) && "Invalid access!");
598 unsigned ClassID = Mips::COP3RegClassID;
599 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
600 }
601
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000602 /// Coerce the register to ACC64DSP and return the real register for the
603 /// current target.
604 unsigned getACC64DSPReg() const {
605 assert(isRegIdx() && (RegIdx.Kind & RegKind_ACC) && "Invalid access!");
606 unsigned ClassID = Mips::ACC64DSPRegClassID;
607 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
608 }
609
610 /// Coerce the register to HI32DSP and return the real register for the
611 /// current target.
612 unsigned getHI32DSPReg() const {
613 assert(isRegIdx() && (RegIdx.Kind & RegKind_ACC) && "Invalid access!");
614 unsigned ClassID = Mips::HI32DSPRegClassID;
615 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
616 }
617
618 /// Coerce the register to LO32DSP and return the real register for the
619 /// current target.
620 unsigned getLO32DSPReg() const {
621 assert(isRegIdx() && (RegIdx.Kind & RegKind_ACC) && "Invalid access!");
622 unsigned ClassID = Mips::LO32DSPRegClassID;
623 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
624 }
625
626 /// Coerce the register to CCR and return the real register for the
627 /// current target.
628 unsigned getCCRReg() const {
629 assert(isRegIdx() && (RegIdx.Kind & RegKind_CCR) && "Invalid access!");
630 unsigned ClassID = Mips::CCRRegClassID;
631 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
632 }
633
634 /// Coerce the register to HWRegs and return the real register for the
635 /// current target.
636 unsigned getHWRegsReg() const {
637 assert(isRegIdx() && (RegIdx.Kind & RegKind_HWRegs) && "Invalid access!");
638 unsigned ClassID = Mips::HWRegsRegClassID;
639 return RegIdx.RegInfo->getRegClass(ClassID).getRegister(RegIdx.Index);
640 }
641
642public:
Vladimir Medic4c299852013-11-06 11:27:05 +0000643 void addExpr(MCInst &Inst, const MCExpr *Expr) const {
Jack Carterb4dbc172012-09-05 23:34:03 +0000644 // Add as immediate when possible. Null MCExpr = 0.
Craig Topper062a2ba2014-04-25 05:30:21 +0000645 if (!Expr)
Jack Carterb4dbc172012-09-05 23:34:03 +0000646 Inst.addOperand(MCOperand::CreateImm(0));
647 else if (const MCConstantExpr *CE = dyn_cast<MCConstantExpr>(Expr))
648 Inst.addOperand(MCOperand::CreateImm(CE->getValue()));
649 else
650 Inst.addOperand(MCOperand::CreateExpr(Expr));
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000651 }
Jack Carterb4dbc172012-09-05 23:34:03 +0000652
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000653 void addRegOperands(MCInst &Inst, unsigned N) const {
654 llvm_unreachable("Use a custom parser instead");
655 }
656
Daniel Sanders21bce302014-04-01 12:35:23 +0000657 /// Render the operand to an MCInst as a GPR32
658 /// Asserts if the wrong number of operands are requested, or the operand
659 /// is not a k_RegisterIndex compatible with RegKind_GPR
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000660 void addGPR32AsmRegOperands(MCInst &Inst, unsigned N) const {
661 assert(N == 1 && "Invalid number of operands!");
662 Inst.addOperand(MCOperand::CreateReg(getGPR32Reg()));
663 }
664
Zoran Jovanovicb0852e52014-10-21 08:23:11 +0000665 void addGPRMM16AsmRegOperands(MCInst &Inst, unsigned N) const {
666 assert(N == 1 && "Invalid number of operands!");
667 Inst.addOperand(MCOperand::CreateReg(getGPRMM16Reg()));
668 }
669
Jozef Kolek1904fa22014-11-24 14:25:53 +0000670 void addGPRMM16AsmRegZeroOperands(MCInst &Inst, unsigned N) const {
671 assert(N == 1 && "Invalid number of operands!");
672 Inst.addOperand(MCOperand::CreateReg(getGPRMM16Reg()));
673 }
674
Daniel Sanders21bce302014-04-01 12:35:23 +0000675 /// Render the operand to an MCInst as a GPR64
676 /// Asserts if the wrong number of operands are requested, or the operand
677 /// is not a k_RegisterIndex compatible with RegKind_GPR
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000678 void addGPR64AsmRegOperands(MCInst &Inst, unsigned N) const {
679 assert(N == 1 && "Invalid number of operands!");
680 Inst.addOperand(MCOperand::CreateReg(getGPR64Reg()));
681 }
682
683 void addAFGR64AsmRegOperands(MCInst &Inst, unsigned N) const {
684 assert(N == 1 && "Invalid number of operands!");
685 Inst.addOperand(MCOperand::CreateReg(getAFGR64Reg()));
686 }
687
688 void addFGR64AsmRegOperands(MCInst &Inst, unsigned N) const {
689 assert(N == 1 && "Invalid number of operands!");
690 Inst.addOperand(MCOperand::CreateReg(getFGR64Reg()));
691 }
692
693 void addFGR32AsmRegOperands(MCInst &Inst, unsigned N) const {
694 assert(N == 1 && "Invalid number of operands!");
695 Inst.addOperand(MCOperand::CreateReg(getFGR32Reg()));
Daniel Sanders7e527422014-07-10 13:38:23 +0000696 // FIXME: We ought to do this for -integrated-as without -via-file-asm too.
Daniel Sanders9ee2aee2014-07-14 10:26:15 +0000697 if (!AsmParser.useOddSPReg() && RegIdx.Index & 1)
Daniel Sanders7e527422014-07-10 13:38:23 +0000698 AsmParser.Error(StartLoc, "-mno-odd-spreg prohibits the use of odd FPU "
699 "registers");
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000700 }
701
702 void addFGRH32AsmRegOperands(MCInst &Inst, unsigned N) const {
703 assert(N == 1 && "Invalid number of operands!");
704 Inst.addOperand(MCOperand::CreateReg(getFGRH32Reg()));
705 }
706
707 void addFCCAsmRegOperands(MCInst &Inst, unsigned N) const {
708 assert(N == 1 && "Invalid number of operands!");
709 Inst.addOperand(MCOperand::CreateReg(getFCCReg()));
710 }
711
712 void addMSA128AsmRegOperands(MCInst &Inst, unsigned N) const {
713 assert(N == 1 && "Invalid number of operands!");
714 Inst.addOperand(MCOperand::CreateReg(getMSA128Reg()));
715 }
716
717 void addMSACtrlAsmRegOperands(MCInst &Inst, unsigned N) const {
718 assert(N == 1 && "Invalid number of operands!");
719 Inst.addOperand(MCOperand::CreateReg(getMSACtrlReg()));
720 }
721
722 void addCOP2AsmRegOperands(MCInst &Inst, unsigned N) const {
723 assert(N == 1 && "Invalid number of operands!");
724 Inst.addOperand(MCOperand::CreateReg(getCOP2Reg()));
725 }
726
Daniel Sanderscdbbe082014-05-08 13:02:11 +0000727 void addCOP3AsmRegOperands(MCInst &Inst, unsigned N) const {
728 assert(N == 1 && "Invalid number of operands!");
729 Inst.addOperand(MCOperand::CreateReg(getCOP3Reg()));
730 }
731
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000732 void addACC64DSPAsmRegOperands(MCInst &Inst, unsigned N) const {
733 assert(N == 1 && "Invalid number of operands!");
734 Inst.addOperand(MCOperand::CreateReg(getACC64DSPReg()));
735 }
736
737 void addHI32DSPAsmRegOperands(MCInst &Inst, unsigned N) const {
738 assert(N == 1 && "Invalid number of operands!");
739 Inst.addOperand(MCOperand::CreateReg(getHI32DSPReg()));
740 }
741
742 void addLO32DSPAsmRegOperands(MCInst &Inst, unsigned N) const {
743 assert(N == 1 && "Invalid number of operands!");
744 Inst.addOperand(MCOperand::CreateReg(getLO32DSPReg()));
745 }
746
747 void addCCRAsmRegOperands(MCInst &Inst, unsigned N) const {
748 assert(N == 1 && "Invalid number of operands!");
749 Inst.addOperand(MCOperand::CreateReg(getCCRReg()));
750 }
751
752 void addHWRegsAsmRegOperands(MCInst &Inst, unsigned N) const {
753 assert(N == 1 && "Invalid number of operands!");
754 Inst.addOperand(MCOperand::CreateReg(getHWRegsReg()));
755 }
756
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000757 void addImmOperands(MCInst &Inst, unsigned N) const {
Jack Carterb4dbc172012-09-05 23:34:03 +0000758 assert(N == 1 && "Invalid number of operands!");
759 const MCExpr *Expr = getImm();
Jack Carterd0bd6422013-04-18 00:41:53 +0000760 addExpr(Inst, Expr);
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000761 }
Jack Carterb4dbc172012-09-05 23:34:03 +0000762
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000763 void addMemOperands(MCInst &Inst, unsigned N) const {
Jack Carterdc1e35d2012-09-06 20:00:02 +0000764 assert(N == 2 && "Invalid number of operands!");
765
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000766 Inst.addOperand(MCOperand::CreateReg(getMemBase()->getGPR32Reg()));
Jack Carterdc1e35d2012-09-06 20:00:02 +0000767
768 const MCExpr *Expr = getMemOff();
Jack Carterd0bd6422013-04-18 00:41:53 +0000769 addExpr(Inst, Expr);
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000770 }
771
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000772 void addMicroMipsMemOperands(MCInst &Inst, unsigned N) const {
773 assert(N == 2 && "Invalid number of operands!");
774
775 Inst.addOperand(MCOperand::CreateReg(getMemBase()->getGPRMM16Reg()));
776
777 const MCExpr *Expr = getMemOff();
778 addExpr(Inst, Expr);
779 }
780
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000781 void addRegListOperands(MCInst &Inst, unsigned N) const {
782 assert(N == 1 && "Invalid number of operands!");
783
784 for (auto RegNo : getRegList())
785 Inst.addOperand(MCOperand::CreateReg(RegNo));
786 }
787
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000788 void addRegPairOperands(MCInst &Inst, unsigned N) const {
789 assert(N == 2 && "Invalid number of operands!");
790 unsigned RegNo = getRegPair();
791 Inst.addOperand(MCOperand::CreateReg(RegNo++));
792 Inst.addOperand(MCOperand::CreateReg(RegNo));
793 }
794
Craig Topper56c590a2014-04-29 07:58:02 +0000795 bool isReg() const override {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000796 // As a special case until we sort out the definition of div/divu, pretend
797 // that $0/$zero are k_PhysRegister so that MCK_ZERO works correctly.
798 if (isGPRAsmReg() && RegIdx.Index == 0)
799 return true;
800
801 return Kind == k_PhysRegister;
802 }
803 bool isRegIdx() const { return Kind == k_RegisterIndex; }
Craig Topper56c590a2014-04-29 07:58:02 +0000804 bool isImm() const override { return Kind == k_Immediate; }
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000805 bool isConstantImm() const {
806 return isImm() && dyn_cast<MCConstantExpr>(getImm());
807 }
Craig Topper56c590a2014-04-29 07:58:02 +0000808 bool isToken() const override {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000809 // Note: It's not possible to pretend that other operand kinds are tokens.
810 // The matcher emitter checks tokens first.
811 return Kind == k_Token;
812 }
Craig Topper56c590a2014-04-29 07:58:02 +0000813 bool isMem() const override { return Kind == k_Memory; }
Daniel Sanders5e6f54e2014-06-16 10:00:45 +0000814 bool isConstantMemOff() const {
815 return isMem() && dyn_cast<MCConstantExpr>(getMemOff());
816 }
817 template <unsigned Bits> bool isMemWithSimmOffset() const {
818 return isMem() && isConstantMemOff() && isInt<Bits>(getConstantMemOff());
819 }
Jozef Koleke8c9d1e2014-11-24 14:39:13 +0000820 bool isMemWithGRPMM16Base() const {
821 return isMem() && getMemBase()->isMM16AsmReg();
822 }
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000823 template <unsigned Bits> bool isMemWithUimmOffsetSP() const {
824 return isMem() && isConstantMemOff() && isUInt<Bits>(getConstantMemOff())
825 && getMemBase()->isRegIdx() && (getMemBase()->getGPR32Reg() == Mips::SP);
826 }
Jozef Kolek12c69822014-12-23 16:16:33 +0000827 template <unsigned Bits> bool isMemWithUimmWordAlignedOffsetSP() const {
828 return isMem() && isConstantMemOff() && isUInt<Bits>(getConstantMemOff())
829 && (getConstantMemOff() % 4 == 0) && getMemBase()->isRegIdx()
830 && (getMemBase()->getGPR32Reg() == Mips::SP);
831 }
Zoran Jovanovicf9a02502014-11-27 18:28:59 +0000832 bool isRegList16() const {
833 if (!isRegList())
834 return false;
835
836 int Size = RegList.List->size();
837 if (Size < 2 || Size > 5 || *RegList.List->begin() != Mips::S0 ||
838 RegList.List->back() != Mips::RA)
839 return false;
840
841 int PrevReg = *RegList.List->begin();
842 for (int i = 1; i < Size - 1; i++) {
843 int Reg = (*(RegList.List))[i];
844 if ( Reg != PrevReg + 1)
845 return false;
846 PrevReg = Reg;
847 }
848
849 return true;
850 }
Vladimir Medic2b953d02013-10-01 09:48:56 +0000851 bool isInvNum() const { return Kind == k_Immediate; }
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000852 bool isLSAImm() const {
853 if (!isConstantImm())
854 return false;
855 int64_t Val = getConstantImm();
856 return 1 <= Val && Val <= 4;
857 }
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000858 bool isRegList() const { return Kind == k_RegList; }
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000859
860 StringRef getToken() const {
861 assert(Kind == k_Token && "Invalid access!");
Jack Carterb4dbc172012-09-05 23:34:03 +0000862 return StringRef(Tok.Data, Tok.Length);
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000863 }
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000864 bool isRegPair() const { return Kind == k_RegPair; }
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000865
Craig Topper56c590a2014-04-29 07:58:02 +0000866 unsigned getReg() const override {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000867 // As a special case until we sort out the definition of div/divu, pretend
868 // that $0/$zero are k_PhysRegister so that MCK_ZERO works correctly.
869 if (Kind == k_RegisterIndex && RegIdx.Index == 0 &&
870 RegIdx.Kind & RegKind_GPR)
871 return getGPR32Reg(); // FIXME: GPR64 too
Akira Hatanaka7605630c2012-08-17 20:16:42 +0000872
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000873 assert(Kind == k_PhysRegister && "Invalid access!");
874 return PhysReg.Num;
Jack Carter873c7242013-01-12 01:03:14 +0000875 }
876
Jack Carterb4dbc172012-09-05 23:34:03 +0000877 const MCExpr *getImm() const {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000878 assert((Kind == k_Immediate) && "Invalid access!");
Jack Carterb4dbc172012-09-05 23:34:03 +0000879 return Imm.Val;
880 }
881
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000882 int64_t getConstantImm() const {
883 const MCExpr *Val = getImm();
884 return static_cast<const MCConstantExpr *>(Val)->getValue();
885 }
886
887 MipsOperand *getMemBase() const {
Jack Carterdc1e35d2012-09-06 20:00:02 +0000888 assert((Kind == k_Memory) && "Invalid access!");
889 return Mem.Base;
890 }
891
892 const MCExpr *getMemOff() const {
893 assert((Kind == k_Memory) && "Invalid access!");
894 return Mem.Off;
895 }
896
Daniel Sanders5e6f54e2014-06-16 10:00:45 +0000897 int64_t getConstantMemOff() const {
898 return static_cast<const MCConstantExpr *>(getMemOff())->getValue();
899 }
900
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +0000901 const SmallVectorImpl<unsigned> &getRegList() const {
902 assert((Kind == k_RegList) && "Invalid access!");
903 return *(RegList.List);
904 }
905
Zoran Jovanovic2deca342014-12-16 14:59:10 +0000906 unsigned getRegPair() const {
907 assert((Kind == k_RegPair) && "Invalid access!");
908 return RegIdx.Index;
909 }
910
David Blaikie960ea3f2014-06-08 16:18:35 +0000911 static std::unique_ptr<MipsOperand> CreateToken(StringRef Str, SMLoc S,
912 MipsAsmParser &Parser) {
913 auto Op = make_unique<MipsOperand>(k_Token, Parser);
Jack Carterb4dbc172012-09-05 23:34:03 +0000914 Op->Tok.Data = Str.data();
915 Op->Tok.Length = Str.size();
916 Op->StartLoc = S;
917 Op->EndLoc = S;
918 return Op;
919 }
920
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000921 /// Create a numeric register (e.g. $1). The exact register remains
922 /// unresolved until an instruction successfully matches
David Blaikie960ea3f2014-06-08 16:18:35 +0000923 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000924 createNumericReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S,
David Blaikie960ea3f2014-06-08 16:18:35 +0000925 SMLoc E, MipsAsmParser &Parser) {
Toma Tabacu13964452014-09-04 13:23:44 +0000926 DEBUG(dbgs() << "createNumericReg(" << Index << ", ...)\n");
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000927 return CreateReg(Index, RegKind_Numeric, RegInfo, S, E, Parser);
Jack Carterb4dbc172012-09-05 23:34:03 +0000928 }
929
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000930 /// Create a register that is definitely a GPR.
931 /// This is typically only used for named registers such as $gp.
David Blaikie960ea3f2014-06-08 16:18:35 +0000932 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000933 createGPRReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S, SMLoc E,
David Blaikie960ea3f2014-06-08 16:18:35 +0000934 MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000935 return CreateReg(Index, RegKind_GPR, RegInfo, S, E, Parser);
Akira Hatanaka9bfa2e22013-08-28 00:55:15 +0000936 }
937
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000938 /// Create a register that is definitely a FGR.
939 /// This is typically only used for named registers such as $f0.
David Blaikie960ea3f2014-06-08 16:18:35 +0000940 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000941 createFGRReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S, SMLoc E,
David Blaikie960ea3f2014-06-08 16:18:35 +0000942 MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000943 return CreateReg(Index, RegKind_FGR, RegInfo, S, E, Parser);
944 }
945
Vasileios Kalintiris10b5ba32014-11-11 10:31:31 +0000946 /// Create a register that is definitely a HWReg.
947 /// This is typically only used for named registers such as $hwr_cpunum.
948 static std::unique_ptr<MipsOperand>
949 createHWRegsReg(unsigned Index, const MCRegisterInfo *RegInfo,
950 SMLoc S, SMLoc E, MipsAsmParser &Parser) {
951 return CreateReg(Index, RegKind_HWRegs, RegInfo, S, E, Parser);
952 }
953
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000954 /// Create a register that is definitely an FCC.
955 /// This is typically only used for named registers such as $fcc0.
David Blaikie960ea3f2014-06-08 16:18:35 +0000956 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000957 createFCCReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S, SMLoc E,
David Blaikie960ea3f2014-06-08 16:18:35 +0000958 MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000959 return CreateReg(Index, RegKind_FCC, RegInfo, S, E, Parser);
960 }
961
962 /// Create a register that is definitely an ACC.
963 /// This is typically only used for named registers such as $ac0.
David Blaikie960ea3f2014-06-08 16:18:35 +0000964 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000965 createACCReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S, SMLoc E,
David Blaikie960ea3f2014-06-08 16:18:35 +0000966 MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000967 return CreateReg(Index, RegKind_ACC, RegInfo, S, E, Parser);
968 }
969
970 /// Create a register that is definitely an MSA128.
971 /// This is typically only used for named registers such as $w0.
David Blaikie960ea3f2014-06-08 16:18:35 +0000972 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000973 createMSA128Reg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S,
David Blaikie960ea3f2014-06-08 16:18:35 +0000974 SMLoc E, MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000975 return CreateReg(Index, RegKind_MSA128, RegInfo, S, E, Parser);
976 }
977
978 /// Create a register that is definitely an MSACtrl.
979 /// This is typically only used for named registers such as $msaaccess.
David Blaikie960ea3f2014-06-08 16:18:35 +0000980 static std::unique_ptr<MipsOperand>
Toma Tabacu13964452014-09-04 13:23:44 +0000981 createMSACtrlReg(unsigned Index, const MCRegisterInfo *RegInfo, SMLoc S,
David Blaikie960ea3f2014-06-08 16:18:35 +0000982 SMLoc E, MipsAsmParser &Parser) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +0000983 return CreateReg(Index, RegKind_MSACtrl, RegInfo, S, E, Parser);
984 }
985
David Blaikie960ea3f2014-06-08 16:18:35 +0000986 static std::unique_ptr<MipsOperand>
987 CreateImm(const MCExpr *Val, SMLoc S, SMLoc E, MipsAsmParser &Parser) {
988 auto Op = make_unique<MipsOperand>(k_Immediate, Parser);
Jack Carterb4dbc172012-09-05 23:34:03 +0000989 Op->Imm.Val = Val;
990 Op->StartLoc = S;
991 Op->EndLoc = E;
992 return Op;
993 }
994
David Blaikie960ea3f2014-06-08 16:18:35 +0000995 static std::unique_ptr<MipsOperand>
996 CreateMem(std::unique_ptr<MipsOperand> Base, const MCExpr *Off, SMLoc S,
997 SMLoc E, MipsAsmParser &Parser) {
998 auto Op = make_unique<MipsOperand>(k_Memory, Parser);
999 Op->Mem.Base = Base.release();
Jack Carterdc1e35d2012-09-06 20:00:02 +00001000 Op->Mem.Off = Off;
1001 Op->StartLoc = S;
1002 Op->EndLoc = E;
1003 return Op;
1004 }
1005
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00001006 static std::unique_ptr<MipsOperand>
1007 CreateRegList(SmallVectorImpl<unsigned> &Regs, SMLoc StartLoc, SMLoc EndLoc,
1008 MipsAsmParser &Parser) {
1009 assert (Regs.size() > 0 && "Empty list not allowed");
1010
1011 auto Op = make_unique<MipsOperand>(k_RegList, Parser);
1012 Op->RegList.List = new SmallVector<unsigned, 10>();
1013 for (auto Reg : Regs)
1014 Op->RegList.List->push_back(Reg);
1015 Op->StartLoc = StartLoc;
1016 Op->EndLoc = EndLoc;
1017 return Op;
1018 }
1019
Zoran Jovanovic2deca342014-12-16 14:59:10 +00001020 static std::unique_ptr<MipsOperand>
1021 CreateRegPair(unsigned RegNo, SMLoc S, SMLoc E, MipsAsmParser &Parser) {
1022 auto Op = make_unique<MipsOperand>(k_RegPair, Parser);
1023 Op->RegIdx.Index = RegNo;
1024 Op->StartLoc = S;
1025 Op->EndLoc = E;
1026 return Op;
1027 }
1028
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001029 bool isGPRAsmReg() const {
1030 return isRegIdx() && RegIdx.Kind & RegKind_GPR && RegIdx.Index <= 31;
Jack Carter873c7242013-01-12 01:03:14 +00001031 }
Zoran Jovanovicb0852e52014-10-21 08:23:11 +00001032 bool isMM16AsmReg() const {
1033 if (!(isRegIdx() && RegIdx.Kind))
1034 return false;
1035 return ((RegIdx.Index >= 2 && RegIdx.Index <= 7)
1036 || RegIdx.Index == 16 || RegIdx.Index == 17);
1037 }
Jozef Kolek1904fa22014-11-24 14:25:53 +00001038 bool isMM16AsmRegZero() const {
1039 if (!(isRegIdx() && RegIdx.Kind))
1040 return false;
1041 return (RegIdx.Index == 0 ||
1042 (RegIdx.Index >= 2 && RegIdx.Index <= 7) ||
1043 RegIdx.Index == 17);
1044 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001045 bool isFGRAsmReg() const {
1046 // AFGR64 is $0-$15 but we handle this in getAFGR64()
1047 return isRegIdx() && RegIdx.Kind & RegKind_FGR && RegIdx.Index <= 31;
Jack Carter873c7242013-01-12 01:03:14 +00001048 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001049 bool isHWRegsAsmReg() const {
1050 return isRegIdx() && RegIdx.Kind & RegKind_HWRegs && RegIdx.Index <= 31;
Jack Carter873c7242013-01-12 01:03:14 +00001051 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001052 bool isCCRAsmReg() const {
1053 return isRegIdx() && RegIdx.Kind & RegKind_CCR && RegIdx.Index <= 31;
Jack Carter873c7242013-01-12 01:03:14 +00001054 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001055 bool isFCCAsmReg() const {
Daniel Sanders3d3ea532014-06-12 15:00:17 +00001056 if (!(isRegIdx() && RegIdx.Kind & RegKind_FCC))
1057 return false;
1058 if (!AsmParser.hasEightFccRegisters())
1059 return RegIdx.Index == 0;
1060 return RegIdx.Index <= 7;
Jack Carter873c7242013-01-12 01:03:14 +00001061 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001062 bool isACCAsmReg() const {
1063 return isRegIdx() && RegIdx.Kind & RegKind_ACC && RegIdx.Index <= 3;
Vladimir Medic233dd512013-06-24 10:05:34 +00001064 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001065 bool isCOP2AsmReg() const {
1066 return isRegIdx() && RegIdx.Kind & RegKind_COP2 && RegIdx.Index <= 31;
Vladimir Medic233dd512013-06-24 10:05:34 +00001067 }
Daniel Sanderscdbbe082014-05-08 13:02:11 +00001068 bool isCOP3AsmReg() const {
1069 return isRegIdx() && RegIdx.Kind & RegKind_COP3 && RegIdx.Index <= 31;
1070 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001071 bool isMSA128AsmReg() const {
1072 return isRegIdx() && RegIdx.Kind & RegKind_MSA128 && RegIdx.Index <= 31;
Vladimir Medic233dd512013-06-24 10:05:34 +00001073 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001074 bool isMSACtrlAsmReg() const {
1075 return isRegIdx() && RegIdx.Kind & RegKind_MSACtrl && RegIdx.Index <= 7;
Matheus Almeidaa591fdc2013-10-21 12:26:50 +00001076 }
1077
Jack Carterb4dbc172012-09-05 23:34:03 +00001078 /// getStartLoc - Get the location of the first token of this operand.
Craig Topper56c590a2014-04-29 07:58:02 +00001079 SMLoc getStartLoc() const override { return StartLoc; }
Jack Carterb4dbc172012-09-05 23:34:03 +00001080 /// getEndLoc - Get the location of the last token of this operand.
Craig Topper56c590a2014-04-29 07:58:02 +00001081 SMLoc getEndLoc() const override { return EndLoc; }
Jack Carterb4dbc172012-09-05 23:34:03 +00001082
NAKAMURA Takumie1f35832014-04-15 14:13:21 +00001083 virtual ~MipsOperand() {
1084 switch (Kind) {
1085 case k_Immediate:
1086 break;
1087 case k_Memory:
1088 delete Mem.Base;
1089 break;
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00001090 case k_RegList:
1091 delete RegList.List;
NAKAMURA Takumie1f35832014-04-15 14:13:21 +00001092 case k_PhysRegister:
1093 case k_RegisterIndex:
1094 case k_Token:
Zoran Jovanovic2deca342014-12-16 14:59:10 +00001095 case k_RegPair:
NAKAMURA Takumie1f35832014-04-15 14:13:21 +00001096 break;
1097 }
1098 }
1099
Craig Topper56c590a2014-04-29 07:58:02 +00001100 void print(raw_ostream &OS) const override {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001101 switch (Kind) {
1102 case k_Immediate:
1103 OS << "Imm<";
1104 Imm.Val->print(OS);
1105 OS << ">";
1106 break;
1107 case k_Memory:
1108 OS << "Mem<";
1109 Mem.Base->print(OS);
1110 OS << ", ";
1111 Mem.Off->print(OS);
1112 OS << ">";
1113 break;
1114 case k_PhysRegister:
1115 OS << "PhysReg<" << PhysReg.Num << ">";
1116 break;
1117 case k_RegisterIndex:
1118 OS << "RegIdx<" << RegIdx.Index << ":" << RegIdx.Kind << ">";
1119 break;
1120 case k_Token:
1121 OS << Tok.Data;
1122 break;
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00001123 case k_RegList:
1124 OS << "RegList< ";
1125 for (auto Reg : (*RegList.List))
1126 OS << Reg << " ";
1127 OS << ">";
1128 break;
Zoran Jovanovic2deca342014-12-16 14:59:10 +00001129 case k_RegPair:
1130 OS << "RegPair<" << RegIdx.Index << "," << RegIdx.Index + 1 << ">";
1131 break;
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001132 }
Akira Hatanaka7605630c2012-08-17 20:16:42 +00001133 }
Jack Carterd0bd6422013-04-18 00:41:53 +00001134}; // class MipsOperand
Vladimir Medic4c299852013-11-06 11:27:05 +00001135} // namespace
Akira Hatanaka7605630c2012-08-17 20:16:42 +00001136
Jack Carter9e65aa32013-03-22 00:05:30 +00001137namespace llvm {
1138extern const MCInstrDesc MipsInsts[];
1139}
1140static const MCInstrDesc &getInstDesc(unsigned Opcode) {
1141 return MipsInsts[Opcode];
1142}
1143
Zoran Jovanovicac9ef122014-09-12 13:43:41 +00001144static bool hasShortDelaySlot(unsigned Opcode) {
1145 switch (Opcode) {
1146 case Mips::JALS_MM:
1147 case Mips::JALRS_MM:
Zoran Jovanovic6097bad2014-10-10 13:22:28 +00001148 case Mips::JALRS16_MM:
Zoran Jovanoviced6dd6b2014-09-12 13:51:58 +00001149 case Mips::BGEZALS_MM:
1150 case Mips::BLTZALS_MM:
Zoran Jovanovicac9ef122014-09-12 13:43:41 +00001151 return true;
1152 default:
1153 return false;
1154 }
1155}
1156
Jack Carter9e65aa32013-03-22 00:05:30 +00001157bool MipsAsmParser::processInstruction(MCInst &Inst, SMLoc IDLoc,
Jack Carterb5cf5902013-04-17 00:18:04 +00001158 SmallVectorImpl<MCInst> &Instructions) {
Jack Carter9e65aa32013-03-22 00:05:30 +00001159 const MCInstrDesc &MCID = getInstDesc(Inst.getOpcode());
Daniel Sandersa771fef2014-03-24 14:05:39 +00001160
Jack Carter9e65aa32013-03-22 00:05:30 +00001161 Inst.setLoc(IDLoc);
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001162
1163 if (MCID.isBranch() || MCID.isCall()) {
1164 const unsigned Opcode = Inst.getOpcode();
1165 MCOperand Offset;
1166
1167 switch (Opcode) {
1168 default:
1169 break;
1170 case Mips::BEQ:
1171 case Mips::BNE:
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001172 case Mips::BEQ_MM:
1173 case Mips::BNE_MM:
Jack Carter3b2c96e2014-01-22 23:31:38 +00001174 assert(MCID.getNumOperands() == 3 && "unexpected number of operands");
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001175 Offset = Inst.getOperand(2);
1176 if (!Offset.isImm())
1177 break; // We'll deal with this situation later on when applying fixups.
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001178 if (!isIntN(inMicroMipsMode() ? 17 : 18, Offset.getImm()))
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001179 return Error(IDLoc, "branch target out of range");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001180 if (OffsetToAlignment(Offset.getImm(),
1181 1LL << (inMicroMipsMode() ? 1 : 2)))
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001182 return Error(IDLoc, "branch to misaligned address");
1183 break;
1184 case Mips::BGEZ:
1185 case Mips::BGTZ:
1186 case Mips::BLEZ:
1187 case Mips::BLTZ:
1188 case Mips::BGEZAL:
1189 case Mips::BLTZAL:
1190 case Mips::BC1F:
1191 case Mips::BC1T:
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001192 case Mips::BGEZ_MM:
1193 case Mips::BGTZ_MM:
1194 case Mips::BLEZ_MM:
1195 case Mips::BLTZ_MM:
1196 case Mips::BGEZAL_MM:
1197 case Mips::BLTZAL_MM:
1198 case Mips::BC1F_MM:
1199 case Mips::BC1T_MM:
Jack Carter3b2c96e2014-01-22 23:31:38 +00001200 assert(MCID.getNumOperands() == 2 && "unexpected number of operands");
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001201 Offset = Inst.getOperand(1);
1202 if (!Offset.isImm())
1203 break; // We'll deal with this situation later on when applying fixups.
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001204 if (!isIntN(inMicroMipsMode() ? 17 : 18, Offset.getImm()))
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001205 return Error(IDLoc, "branch target out of range");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001206 if (OffsetToAlignment(Offset.getImm(),
1207 1LL << (inMicroMipsMode() ? 1 : 2)))
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001208 return Error(IDLoc, "branch to misaligned address");
1209 break;
Jozef Kolek9761e962015-01-12 12:03:34 +00001210 case Mips::BEQZ16_MM:
1211 case Mips::BNEZ16_MM:
1212 assert(MCID.getNumOperands() == 2 && "unexpected number of operands");
1213 Offset = Inst.getOperand(1);
1214 if (!Offset.isImm())
1215 break; // We'll deal with this situation later on when applying fixups.
1216 if (!isIntN(8, Offset.getImm()))
1217 return Error(IDLoc, "branch target out of range");
1218 if (OffsetToAlignment(Offset.getImm(), 2LL))
1219 return Error(IDLoc, "branch to misaligned address");
1220 break;
Matheus Almeidae0d75aa2013-12-13 11:11:02 +00001221 }
1222 }
1223
Daniel Sandersa84989a2014-06-16 13:25:35 +00001224 // SSNOP is deprecated on MIPS32r6/MIPS64r6
1225 // We still accept it but it is a normal nop.
1226 if (hasMips32r6() && Inst.getOpcode() == Mips::SSNOP) {
1227 std::string ISA = hasMips64r6() ? "MIPS64r6" : "MIPS32r6";
1228 Warning(IDLoc, "ssnop is deprecated for " + ISA + " and is equivalent to a "
1229 "nop instruction");
1230 }
1231
Toma Tabacu9db22db2014-09-09 10:15:38 +00001232 if (MCID.hasDelaySlot() && AssemblerOptions.back()->isReorder()) {
Jack Carterc15c1d22013-04-25 23:31:35 +00001233 // If this instruction has a delay slot and .set reorder is active,
1234 // emit a NOP after it.
1235 Instructions.push_back(Inst);
1236 MCInst NopInst;
Zoran Jovanovicac9ef122014-09-12 13:43:41 +00001237 if (hasShortDelaySlot(Inst.getOpcode())) {
1238 NopInst.setOpcode(Mips::MOVE16_MM);
1239 NopInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
1240 NopInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
1241 } else {
1242 NopInst.setOpcode(Mips::SLL);
1243 NopInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
1244 NopInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
1245 NopInst.addOperand(MCOperand::CreateImm(0));
1246 }
Jack Carterc15c1d22013-04-25 23:31:35 +00001247 Instructions.push_back(NopInst);
1248 return false;
1249 }
1250
Jack Carter9e65aa32013-03-22 00:05:30 +00001251 if (MCID.mayLoad() || MCID.mayStore()) {
1252 // Check the offset of memory operand, if it is a symbol
Jack Carterd0bd6422013-04-18 00:41:53 +00001253 // reference or immediate we may have to expand instructions.
1254 for (unsigned i = 0; i < MCID.getNumOperands(); i++) {
Jack Carter9e65aa32013-03-22 00:05:30 +00001255 const MCOperandInfo &OpInfo = MCID.OpInfo[i];
Vladimir Medic4c299852013-11-06 11:27:05 +00001256 if ((OpInfo.OperandType == MCOI::OPERAND_MEMORY) ||
1257 (OpInfo.OperandType == MCOI::OPERAND_UNKNOWN)) {
Jack Carter9e65aa32013-03-22 00:05:30 +00001258 MCOperand &Op = Inst.getOperand(i);
1259 if (Op.isImm()) {
1260 int MemOffset = Op.getImm();
1261 if (MemOffset < -32768 || MemOffset > 32767) {
Jack Carterd0bd6422013-04-18 00:41:53 +00001262 // Offset can't exceed 16bit value.
1263 expandMemInst(Inst, IDLoc, Instructions, MCID.mayLoad(), true);
Jack Carter9e65aa32013-03-22 00:05:30 +00001264 return false;
1265 }
1266 } else if (Op.isExpr()) {
1267 const MCExpr *Expr = Op.getExpr();
Jack Carterd0bd6422013-04-18 00:41:53 +00001268 if (Expr->getKind() == MCExpr::SymbolRef) {
Jack Carter9e65aa32013-03-22 00:05:30 +00001269 const MCSymbolRefExpr *SR =
Vladimir Medic4c299852013-11-06 11:27:05 +00001270 static_cast<const MCSymbolRefExpr *>(Expr);
Jack Carter9e65aa32013-03-22 00:05:30 +00001271 if (SR->getKind() == MCSymbolRefExpr::VK_None) {
Jack Carterd0bd6422013-04-18 00:41:53 +00001272 // Expand symbol.
1273 expandMemInst(Inst, IDLoc, Instructions, MCID.mayLoad(), false);
Jack Carter9e65aa32013-03-22 00:05:30 +00001274 return false;
1275 }
Jack Carterb5cf5902013-04-17 00:18:04 +00001276 } else if (!isEvaluated(Expr)) {
Jack Carterd0bd6422013-04-18 00:41:53 +00001277 expandMemInst(Inst, IDLoc, Instructions, MCID.mayLoad(), false);
Jack Carterb5cf5902013-04-17 00:18:04 +00001278 return false;
Jack Carter9e65aa32013-03-22 00:05:30 +00001279 }
1280 }
1281 }
Jack Carterd0bd6422013-04-18 00:41:53 +00001282 } // for
Vladimir Medic4c299852013-11-06 11:27:05 +00001283 } // if load/store
Jack Carter9e65aa32013-03-22 00:05:30 +00001284
Zoran Jovanovicb26f8892014-10-10 13:45:34 +00001285 // TODO: Handle this with the AsmOperandClass.PredicateMethod.
1286 if (inMicroMipsMode()) {
1287 MCOperand Opnd;
1288 int Imm;
1289
1290 switch (Inst.getOpcode()) {
1291 default:
1292 break;
1293 case Mips::ADDIUS5_MM:
1294 Opnd = Inst.getOperand(2);
1295 if (!Opnd.isImm())
1296 return Error(IDLoc, "expected immediate operand kind");
1297 Imm = Opnd.getImm();
1298 if (Imm < -8 || Imm > 7)
1299 return Error(IDLoc, "immediate operand value out of range");
1300 break;
Zoran Jovanovic98bd58c2014-10-10 14:37:30 +00001301 case Mips::ADDIUSP_MM:
1302 Opnd = Inst.getOperand(0);
1303 if (!Opnd.isImm())
1304 return Error(IDLoc, "expected immediate operand kind");
1305 Imm = Opnd.getImm();
1306 if (Imm < -1032 || Imm > 1028 || (Imm < 8 && Imm > -12) ||
1307 Imm % 4 != 0)
1308 return Error(IDLoc, "immediate operand value out of range");
1309 break;
Zoran Jovanovic4a00fdc2014-10-23 10:42:01 +00001310 case Mips::SLL16_MM:
1311 case Mips::SRL16_MM:
1312 Opnd = Inst.getOperand(2);
1313 if (!Opnd.isImm())
1314 return Error(IDLoc, "expected immediate operand kind");
1315 Imm = Opnd.getImm();
1316 if (Imm < 1 || Imm > 8)
1317 return Error(IDLoc, "immediate operand value out of range");
1318 break;
Zoran Jovanovic9bda2f12014-10-23 10:59:24 +00001319 case Mips::LI16_MM:
1320 Opnd = Inst.getOperand(1);
1321 if (!Opnd.isImm())
1322 return Error(IDLoc, "expected immediate operand kind");
1323 Imm = Opnd.getImm();
1324 if (Imm < -1 || Imm > 126)
1325 return Error(IDLoc, "immediate operand value out of range");
1326 break;
Zoran Jovanovicbac36192014-10-23 11:06:34 +00001327 case Mips::ADDIUR2_MM:
1328 Opnd = Inst.getOperand(2);
1329 if (!Opnd.isImm())
1330 return Error(IDLoc, "expected immediate operand kind");
1331 Imm = Opnd.getImm();
1332 if (!(Imm == 1 || Imm == -1 ||
1333 ((Imm % 4 == 0) && Imm < 28 && Imm > 0)))
1334 return Error(IDLoc, "immediate operand value out of range");
1335 break;
Zoran Jovanovic42b84442014-10-23 11:13:59 +00001336 case Mips::ADDIUR1SP_MM:
1337 Opnd = Inst.getOperand(1);
1338 if (!Opnd.isImm())
1339 return Error(IDLoc, "expected immediate operand kind");
1340 Imm = Opnd.getImm();
1341 if (OffsetToAlignment(Imm, 4LL))
1342 return Error(IDLoc, "misaligned immediate operand value");
1343 if (Imm < 0 || Imm > 255)
1344 return Error(IDLoc, "immediate operand value out of range");
1345 break;
Zoran Jovanovic88531712014-11-05 17:31:00 +00001346 case Mips::ANDI16_MM:
1347 Opnd = Inst.getOperand(2);
1348 if (!Opnd.isImm())
1349 return Error(IDLoc, "expected immediate operand kind");
1350 Imm = Opnd.getImm();
1351 if (!(Imm == 128 || (Imm >= 1 && Imm <= 4) || Imm == 7 || Imm == 8 ||
1352 Imm == 15 || Imm == 16 || Imm == 31 || Imm == 32 || Imm == 63 ||
1353 Imm == 64 || Imm == 255 || Imm == 32768 || Imm == 65535))
1354 return Error(IDLoc, "immediate operand value out of range");
1355 break;
Jozef Koleke8c9d1e2014-11-24 14:39:13 +00001356 case Mips::LBU16_MM:
1357 Opnd = Inst.getOperand(2);
1358 if (!Opnd.isImm())
1359 return Error(IDLoc, "expected immediate operand kind");
1360 Imm = Opnd.getImm();
1361 if (Imm < -1 || Imm > 14)
1362 return Error(IDLoc, "immediate operand value out of range");
1363 break;
1364 case Mips::SB16_MM:
1365 Opnd = Inst.getOperand(2);
1366 if (!Opnd.isImm())
1367 return Error(IDLoc, "expected immediate operand kind");
1368 Imm = Opnd.getImm();
1369 if (Imm < 0 || Imm > 15)
1370 return Error(IDLoc, "immediate operand value out of range");
1371 break;
1372 case Mips::LHU16_MM:
1373 case Mips::SH16_MM:
1374 Opnd = Inst.getOperand(2);
1375 if (!Opnd.isImm())
1376 return Error(IDLoc, "expected immediate operand kind");
1377 Imm = Opnd.getImm();
1378 if (Imm < 0 || Imm > 30 || (Imm % 2 != 0))
1379 return Error(IDLoc, "immediate operand value out of range");
1380 break;
1381 case Mips::LW16_MM:
1382 case Mips::SW16_MM:
1383 Opnd = Inst.getOperand(2);
1384 if (!Opnd.isImm())
1385 return Error(IDLoc, "expected immediate operand kind");
1386 Imm = Opnd.getImm();
1387 if (Imm < 0 || Imm > 60 || (Imm % 4 != 0))
1388 return Error(IDLoc, "immediate operand value out of range");
1389 break;
Jozef Kolekab6d1cc2014-12-23 19:55:34 +00001390 case Mips::CACHE:
1391 case Mips::PREF:
1392 Opnd = Inst.getOperand(2);
1393 if (!Opnd.isImm())
1394 return Error(IDLoc, "expected immediate operand kind");
1395 Imm = Opnd.getImm();
1396 if (!isUInt<5>(Imm))
1397 return Error(IDLoc, "immediate operand value out of range");
1398 break;
Zoran Jovanovicb26f8892014-10-10 13:45:34 +00001399 }
1400 }
1401
Jack Carter9e65aa32013-03-22 00:05:30 +00001402 if (needsExpansion(Inst))
Matheus Almeida3813d572014-06-19 14:39:14 +00001403 return expandInstruction(Inst, IDLoc, Instructions);
Jack Carter9e65aa32013-03-22 00:05:30 +00001404 else
1405 Instructions.push_back(Inst);
1406
1407 return false;
1408}
1409
Jack Carter30a59822012-10-04 04:03:53 +00001410bool MipsAsmParser::needsExpansion(MCInst &Inst) {
1411
Jack Carterd0bd6422013-04-18 00:41:53 +00001412 switch (Inst.getOpcode()) {
1413 case Mips::LoadImm32Reg:
1414 case Mips::LoadAddr32Imm:
1415 case Mips::LoadAddr32Reg:
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001416 case Mips::LoadImm64Reg:
Jack Carterd0bd6422013-04-18 00:41:53 +00001417 return true;
1418 default:
1419 return false;
Jack Carter30a59822012-10-04 04:03:53 +00001420 }
1421}
Jack Carter92995f12012-10-06 00:53:28 +00001422
Matheus Almeida3813d572014-06-19 14:39:14 +00001423bool MipsAsmParser::expandInstruction(MCInst &Inst, SMLoc IDLoc,
Vladimir Medic4c299852013-11-06 11:27:05 +00001424 SmallVectorImpl<MCInst> &Instructions) {
Jack Carterd0bd6422013-04-18 00:41:53 +00001425 switch (Inst.getOpcode()) {
Craig Topperd3c02f12015-01-05 10:15:49 +00001426 default: llvm_unreachable("unimplemented expansion");
Jack Carterd0bd6422013-04-18 00:41:53 +00001427 case Mips::LoadImm32Reg:
1428 return expandLoadImm(Inst, IDLoc, Instructions);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001429 case Mips::LoadImm64Reg:
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001430 if (!isGP64bit()) {
Toma Tabacu65f10572014-09-16 15:00:52 +00001431 Error(IDLoc, "instruction requires a 64-bit architecture");
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001432 return true;
1433 }
1434 return expandLoadImm(Inst, IDLoc, Instructions);
Jack Carterd0bd6422013-04-18 00:41:53 +00001435 case Mips::LoadAddr32Imm:
1436 return expandLoadAddressImm(Inst, IDLoc, Instructions);
1437 case Mips::LoadAddr32Reg:
1438 return expandLoadAddressReg(Inst, IDLoc, Instructions);
1439 }
Jack Carter30a59822012-10-04 04:03:53 +00001440}
Jack Carter92995f12012-10-06 00:53:28 +00001441
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001442namespace {
Toma Tabacu0d64b202014-08-14 10:29:17 +00001443template <bool PerformShift>
1444void createShiftOr(MCOperand Operand, unsigned RegNo, SMLoc IDLoc,
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001445 SmallVectorImpl<MCInst> &Instructions) {
1446 MCInst tmpInst;
1447 if (PerformShift) {
1448 tmpInst.setOpcode(Mips::DSLL);
1449 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
1450 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
1451 tmpInst.addOperand(MCOperand::CreateImm(16));
1452 tmpInst.setLoc(IDLoc);
1453 Instructions.push_back(tmpInst);
1454 tmpInst.clear();
1455 }
1456 tmpInst.setOpcode(Mips::ORi);
1457 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
1458 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
Toma Tabacu0d64b202014-08-14 10:29:17 +00001459 tmpInst.addOperand(Operand);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001460 tmpInst.setLoc(IDLoc);
1461 Instructions.push_back(tmpInst);
1462}
Toma Tabacu0d64b202014-08-14 10:29:17 +00001463
1464template <int Shift, bool PerformShift>
1465void createShiftOr(int64_t Value, unsigned RegNo, SMLoc IDLoc,
1466 SmallVectorImpl<MCInst> &Instructions) {
1467 createShiftOr<PerformShift>(
1468 MCOperand::CreateImm(((Value & (0xffffLL << Shift)) >> Shift)), RegNo,
1469 IDLoc, Instructions);
1470}
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001471}
1472
Matheus Almeida3813d572014-06-19 14:39:14 +00001473bool MipsAsmParser::expandLoadImm(MCInst &Inst, SMLoc IDLoc,
Jack Carterd0bd6422013-04-18 00:41:53 +00001474 SmallVectorImpl<MCInst> &Instructions) {
Jack Carter92995f12012-10-06 00:53:28 +00001475 MCInst tmpInst;
Jack Carter30a59822012-10-04 04:03:53 +00001476 const MCOperand &ImmOp = Inst.getOperand(1);
Jack Carter543fdf82012-10-09 23:29:45 +00001477 assert(ImmOp.isImm() && "expected immediate operand kind");
Jack Carter30a59822012-10-04 04:03:53 +00001478 const MCOperand &RegOp = Inst.getOperand(0);
1479 assert(RegOp.isReg() && "expected register operand kind");
1480
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001481 int64_t ImmValue = ImmOp.getImm();
Jack Carter92995f12012-10-06 00:53:28 +00001482 tmpInst.setLoc(IDLoc);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001483 // FIXME: gas has a special case for values that are 000...1111, which
1484 // becomes a li -1 and then a dsrl
Jack Carterd0bd6422013-04-18 00:41:53 +00001485 if (0 <= ImmValue && ImmValue <= 65535) {
1486 // For 0 <= j <= 65535.
Jack Carter30a59822012-10-04 04:03:53 +00001487 // li d,j => ori d,$zero,j
Jack Carter873c7242013-01-12 01:03:14 +00001488 tmpInst.setOpcode(Mips::ORi);
Jack Carter92995f12012-10-06 00:53:28 +00001489 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
Jack Carterd0bd6422013-04-18 00:41:53 +00001490 tmpInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
Jack Carter92995f12012-10-06 00:53:28 +00001491 tmpInst.addOperand(MCOperand::CreateImm(ImmValue));
Jack Carter30a59822012-10-04 04:03:53 +00001492 Instructions.push_back(tmpInst);
Jack Carterd0bd6422013-04-18 00:41:53 +00001493 } else if (ImmValue < 0 && ImmValue >= -32768) {
1494 // For -32768 <= j < 0.
Jack Carter30a59822012-10-04 04:03:53 +00001495 // li d,j => addiu d,$zero,j
Jack Carter873c7242013-01-12 01:03:14 +00001496 tmpInst.setOpcode(Mips::ADDiu);
Jack Carter92995f12012-10-06 00:53:28 +00001497 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
Jack Carterd0bd6422013-04-18 00:41:53 +00001498 tmpInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
Jack Carter92995f12012-10-06 00:53:28 +00001499 tmpInst.addOperand(MCOperand::CreateImm(ImmValue));
Jack Carter30a59822012-10-04 04:03:53 +00001500 Instructions.push_back(tmpInst);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001501 } else if ((ImmValue & 0xffffffff) == ImmValue) {
1502 // For any value of j that is representable as a 32-bit integer, create
1503 // a sequence of:
Jack Carter30a59822012-10-04 04:03:53 +00001504 // li d,j => lui d,hi16(j)
Jack Carter543fdf82012-10-09 23:29:45 +00001505 // ori d,d,lo16(j)
Jack Carter873c7242013-01-12 01:03:14 +00001506 tmpInst.setOpcode(Mips::LUi);
Jack Carter92995f12012-10-06 00:53:28 +00001507 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
1508 tmpInst.addOperand(MCOperand::CreateImm((ImmValue & 0xffff0000) >> 16));
Jack Carter30a59822012-10-04 04:03:53 +00001509 Instructions.push_back(tmpInst);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001510 createShiftOr<0, false>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
1511 } else if ((ImmValue & (0xffffLL << 48)) == 0) {
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001512 if (!isGP64bit()) {
Toma Tabacu65f10572014-09-16 15:00:52 +00001513 Error(IDLoc, "instruction requires a 64-bit architecture");
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001514 return true;
1515 }
1516
1517 // <------- lo32 ------>
1518 // <------- hi32 ------>
1519 // <- hi16 -> <- lo16 ->
1520 // _________________________________
1521 // | | | |
1522 // | 16-bytes | 16-bytes | 16-bytes |
1523 // |__________|__________|__________|
1524 //
1525 // For any value of j that is representable as a 48-bit integer, create
1526 // a sequence of:
1527 // li d,j => lui d,hi16(j)
1528 // ori d,d,hi16(lo32(j))
1529 // dsll d,d,16
1530 // ori d,d,lo16(lo32(j))
1531 tmpInst.setOpcode(Mips::LUi);
Jack Carter92995f12012-10-06 00:53:28 +00001532 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001533 tmpInst.addOperand(
1534 MCOperand::CreateImm((ImmValue & (0xffffLL << 32)) >> 32));
Jack Carter30a59822012-10-04 04:03:53 +00001535 Instructions.push_back(tmpInst);
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001536 createShiftOr<16, false>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
1537 createShiftOr<0, true>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
1538 } else {
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001539 if (!isGP64bit()) {
Toma Tabacu65f10572014-09-16 15:00:52 +00001540 Error(IDLoc, "instruction requires a 64-bit architecture");
Matheus Almeida4f7ef8c2014-06-19 15:08:04 +00001541 return true;
1542 }
1543
1544 // <------- hi32 ------> <------- lo32 ------>
1545 // <- hi16 -> <- lo16 ->
1546 // ___________________________________________
1547 // | | | | |
1548 // | 16-bytes | 16-bytes | 16-bytes | 16-bytes |
1549 // |__________|__________|__________|__________|
1550 //
1551 // For any value of j that isn't representable as a 48-bit integer.
1552 // li d,j => lui d,hi16(j)
1553 // ori d,d,lo16(hi32(j))
1554 // dsll d,d,16
1555 // ori d,d,hi16(lo32(j))
1556 // dsll d,d,16
1557 // ori d,d,lo16(lo32(j))
1558 tmpInst.setOpcode(Mips::LUi);
1559 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
1560 tmpInst.addOperand(
1561 MCOperand::CreateImm((ImmValue & (0xffffLL << 48)) >> 48));
1562 Instructions.push_back(tmpInst);
1563 createShiftOr<32, false>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
1564 createShiftOr<16, true>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
1565 createShiftOr<0, true>(ImmValue, RegOp.getReg(), IDLoc, Instructions);
Jack Carter30a59822012-10-04 04:03:53 +00001566 }
Matheus Almeida3813d572014-06-19 14:39:14 +00001567 return false;
Jack Carter30a59822012-10-04 04:03:53 +00001568}
Jack Carter92995f12012-10-06 00:53:28 +00001569
Matheus Almeida3813d572014-06-19 14:39:14 +00001570bool
Vladimir Medic4c299852013-11-06 11:27:05 +00001571MipsAsmParser::expandLoadAddressReg(MCInst &Inst, SMLoc IDLoc,
1572 SmallVectorImpl<MCInst> &Instructions) {
Jack Carter543fdf82012-10-09 23:29:45 +00001573 MCInst tmpInst;
1574 const MCOperand &ImmOp = Inst.getOperand(2);
Toma Tabacu0d64b202014-08-14 10:29:17 +00001575 assert((ImmOp.isImm() || ImmOp.isExpr()) &&
1576 "expected immediate operand kind");
1577 if (!ImmOp.isImm()) {
1578 expandLoadAddressSym(Inst, IDLoc, Instructions);
1579 return false;
1580 }
Jack Carter543fdf82012-10-09 23:29:45 +00001581 const MCOperand &SrcRegOp = Inst.getOperand(1);
1582 assert(SrcRegOp.isReg() && "expected register operand kind");
1583 const MCOperand &DstRegOp = Inst.getOperand(0);
1584 assert(DstRegOp.isReg() && "expected register operand kind");
1585 int ImmValue = ImmOp.getImm();
Jack Carterd0bd6422013-04-18 00:41:53 +00001586 if (-32768 <= ImmValue && ImmValue <= 65535) {
1587 // For -32768 <= j <= 65535.
1588 // la d,j(s) => addiu d,s,j
Jack Carter873c7242013-01-12 01:03:14 +00001589 tmpInst.setOpcode(Mips::ADDiu);
Jack Carter543fdf82012-10-09 23:29:45 +00001590 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1591 tmpInst.addOperand(MCOperand::CreateReg(SrcRegOp.getReg()));
1592 tmpInst.addOperand(MCOperand::CreateImm(ImmValue));
1593 Instructions.push_back(tmpInst);
1594 } else {
Jack Carterd0bd6422013-04-18 00:41:53 +00001595 // For any other value of j that is representable as a 32-bit integer.
1596 // la d,j(s) => lui d,hi16(j)
1597 // ori d,d,lo16(j)
1598 // addu d,d,s
Jack Carter873c7242013-01-12 01:03:14 +00001599 tmpInst.setOpcode(Mips::LUi);
Jack Carter543fdf82012-10-09 23:29:45 +00001600 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1601 tmpInst.addOperand(MCOperand::CreateImm((ImmValue & 0xffff0000) >> 16));
1602 Instructions.push_back(tmpInst);
1603 tmpInst.clear();
Jack Carter873c7242013-01-12 01:03:14 +00001604 tmpInst.setOpcode(Mips::ORi);
Jack Carter543fdf82012-10-09 23:29:45 +00001605 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1606 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1607 tmpInst.addOperand(MCOperand::CreateImm(ImmValue & 0xffff));
1608 Instructions.push_back(tmpInst);
1609 tmpInst.clear();
1610 tmpInst.setOpcode(Mips::ADDu);
1611 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1612 tmpInst.addOperand(MCOperand::CreateReg(DstRegOp.getReg()));
1613 tmpInst.addOperand(MCOperand::CreateReg(SrcRegOp.getReg()));
1614 Instructions.push_back(tmpInst);
1615 }
Matheus Almeida3813d572014-06-19 14:39:14 +00001616 return false;
Jack Carter543fdf82012-10-09 23:29:45 +00001617}
1618
Matheus Almeida3813d572014-06-19 14:39:14 +00001619bool
Vladimir Medic4c299852013-11-06 11:27:05 +00001620MipsAsmParser::expandLoadAddressImm(MCInst &Inst, SMLoc IDLoc,
1621 SmallVectorImpl<MCInst> &Instructions) {
Jack Carter543fdf82012-10-09 23:29:45 +00001622 MCInst tmpInst;
1623 const MCOperand &ImmOp = Inst.getOperand(1);
Toma Tabacu0d64b202014-08-14 10:29:17 +00001624 assert((ImmOp.isImm() || ImmOp.isExpr()) &&
1625 "expected immediate operand kind");
1626 if (!ImmOp.isImm()) {
1627 expandLoadAddressSym(Inst, IDLoc, Instructions);
1628 return false;
1629 }
Jack Carter543fdf82012-10-09 23:29:45 +00001630 const MCOperand &RegOp = Inst.getOperand(0);
1631 assert(RegOp.isReg() && "expected register operand kind");
1632 int ImmValue = ImmOp.getImm();
Jack Carterd0bd6422013-04-18 00:41:53 +00001633 if (-32768 <= ImmValue && ImmValue <= 65535) {
1634 // For -32768 <= j <= 65535.
1635 // la d,j => addiu d,$zero,j
Jack Carter543fdf82012-10-09 23:29:45 +00001636 tmpInst.setOpcode(Mips::ADDiu);
1637 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
Jack Carterd0bd6422013-04-18 00:41:53 +00001638 tmpInst.addOperand(MCOperand::CreateReg(Mips::ZERO));
Jack Carter543fdf82012-10-09 23:29:45 +00001639 tmpInst.addOperand(MCOperand::CreateImm(ImmValue));
1640 Instructions.push_back(tmpInst);
1641 } else {
Jack Carterd0bd6422013-04-18 00:41:53 +00001642 // For any other value of j that is representable as a 32-bit integer.
1643 // la d,j => lui d,hi16(j)
1644 // ori d,d,lo16(j)
Jack Carter873c7242013-01-12 01:03:14 +00001645 tmpInst.setOpcode(Mips::LUi);
Jack Carter543fdf82012-10-09 23:29:45 +00001646 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
1647 tmpInst.addOperand(MCOperand::CreateImm((ImmValue & 0xffff0000) >> 16));
1648 Instructions.push_back(tmpInst);
1649 tmpInst.clear();
Jack Carter873c7242013-01-12 01:03:14 +00001650 tmpInst.setOpcode(Mips::ORi);
Jack Carter543fdf82012-10-09 23:29:45 +00001651 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
1652 tmpInst.addOperand(MCOperand::CreateReg(RegOp.getReg()));
1653 tmpInst.addOperand(MCOperand::CreateImm(ImmValue & 0xffff));
1654 Instructions.push_back(tmpInst);
1655 }
Matheus Almeida3813d572014-06-19 14:39:14 +00001656 return false;
Jack Carter543fdf82012-10-09 23:29:45 +00001657}
1658
Toma Tabacu0d64b202014-08-14 10:29:17 +00001659void
1660MipsAsmParser::expandLoadAddressSym(MCInst &Inst, SMLoc IDLoc,
1661 SmallVectorImpl<MCInst> &Instructions) {
1662 // FIXME: If we do have a valid at register to use, we should generate a
1663 // slightly shorter sequence here.
1664 MCInst tmpInst;
1665 int ExprOperandNo = 1;
1666 // Sometimes the assembly parser will get the immediate expression as
1667 // a $zero + an immediate.
1668 if (Inst.getNumOperands() == 3) {
1669 assert(Inst.getOperand(1).getReg() ==
1670 (isGP64bit() ? Mips::ZERO_64 : Mips::ZERO));
1671 ExprOperandNo = 2;
1672 }
1673 const MCOperand &SymOp = Inst.getOperand(ExprOperandNo);
1674 assert(SymOp.isExpr() && "expected symbol operand kind");
1675 const MCOperand &RegOp = Inst.getOperand(0);
1676 unsigned RegNo = RegOp.getReg();
1677 const MCSymbolRefExpr *Symbol = cast<MCSymbolRefExpr>(SymOp.getExpr());
1678 const MCSymbolRefExpr *HiExpr =
1679 MCSymbolRefExpr::Create(Symbol->getSymbol().getName(),
1680 MCSymbolRefExpr::VK_Mips_ABS_HI, getContext());
1681 const MCSymbolRefExpr *LoExpr =
1682 MCSymbolRefExpr::Create(Symbol->getSymbol().getName(),
1683 MCSymbolRefExpr::VK_Mips_ABS_LO, getContext());
1684 if (isGP64bit()) {
1685 // If it's a 64-bit architecture, expand to:
1686 // la d,sym => lui d,highest(sym)
1687 // ori d,d,higher(sym)
1688 // dsll d,d,16
1689 // ori d,d,hi16(sym)
1690 // dsll d,d,16
1691 // ori d,d,lo16(sym)
1692 const MCSymbolRefExpr *HighestExpr =
1693 MCSymbolRefExpr::Create(Symbol->getSymbol().getName(),
1694 MCSymbolRefExpr::VK_Mips_HIGHEST, getContext());
1695 const MCSymbolRefExpr *HigherExpr =
1696 MCSymbolRefExpr::Create(Symbol->getSymbol().getName(),
1697 MCSymbolRefExpr::VK_Mips_HIGHER, getContext());
1698
1699 tmpInst.setOpcode(Mips::LUi);
1700 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
1701 tmpInst.addOperand(MCOperand::CreateExpr(HighestExpr));
1702 Instructions.push_back(tmpInst);
1703
1704 createShiftOr<false>(MCOperand::CreateExpr(HigherExpr), RegNo, SMLoc(),
1705 Instructions);
1706 createShiftOr<true>(MCOperand::CreateExpr(HiExpr), RegNo, SMLoc(),
1707 Instructions);
1708 createShiftOr<true>(MCOperand::CreateExpr(LoExpr), RegNo, SMLoc(),
1709 Instructions);
1710 } else {
1711 // Otherwise, expand to:
1712 // la d,sym => lui d,hi16(sym)
1713 // ori d,d,lo16(sym)
1714 tmpInst.setOpcode(Mips::LUi);
1715 tmpInst.addOperand(MCOperand::CreateReg(RegNo));
1716 tmpInst.addOperand(MCOperand::CreateExpr(HiExpr));
1717 Instructions.push_back(tmpInst);
1718
1719 createShiftOr<false>(MCOperand::CreateExpr(LoExpr), RegNo, SMLoc(),
1720 Instructions);
1721 }
1722}
1723
Jack Carter9e65aa32013-03-22 00:05:30 +00001724void MipsAsmParser::expandMemInst(MCInst &Inst, SMLoc IDLoc,
Vladimir Medic4c299852013-11-06 11:27:05 +00001725 SmallVectorImpl<MCInst> &Instructions,
1726 bool isLoad, bool isImmOpnd) {
Jack Carter9e65aa32013-03-22 00:05:30 +00001727 const MCSymbolRefExpr *SR;
1728 MCInst TempInst;
Jack Carterd0bd6422013-04-18 00:41:53 +00001729 unsigned ImmOffset, HiOffset, LoOffset;
Jack Carter9e65aa32013-03-22 00:05:30 +00001730 const MCExpr *ExprOffset;
1731 unsigned TmpRegNum;
Jack Carterd0bd6422013-04-18 00:41:53 +00001732 // 1st operand is either the source or destination register.
Jack Carter9e65aa32013-03-22 00:05:30 +00001733 assert(Inst.getOperand(0).isReg() && "expected register operand kind");
1734 unsigned RegOpNum = Inst.getOperand(0).getReg();
Jack Carterd0bd6422013-04-18 00:41:53 +00001735 // 2nd operand is the base register.
Jack Carter9e65aa32013-03-22 00:05:30 +00001736 assert(Inst.getOperand(1).isReg() && "expected register operand kind");
1737 unsigned BaseRegNum = Inst.getOperand(1).getReg();
Jack Carterd0bd6422013-04-18 00:41:53 +00001738 // 3rd operand is either an immediate or expression.
Jack Carter9e65aa32013-03-22 00:05:30 +00001739 if (isImmOpnd) {
1740 assert(Inst.getOperand(2).isImm() && "expected immediate operand kind");
1741 ImmOffset = Inst.getOperand(2).getImm();
1742 LoOffset = ImmOffset & 0x0000ffff;
1743 HiOffset = (ImmOffset & 0xffff0000) >> 16;
Jack Carterd0bd6422013-04-18 00:41:53 +00001744 // If msb of LoOffset is 1(negative number) we must increment HiOffset.
Jack Carter9e65aa32013-03-22 00:05:30 +00001745 if (LoOffset & 0x8000)
1746 HiOffset++;
Jack Carterd0bd6422013-04-18 00:41:53 +00001747 } else
Jack Carter9e65aa32013-03-22 00:05:30 +00001748 ExprOffset = Inst.getOperand(2).getExpr();
Jack Carterd0bd6422013-04-18 00:41:53 +00001749 // All instructions will have the same location.
Jack Carter9e65aa32013-03-22 00:05:30 +00001750 TempInst.setLoc(IDLoc);
Matheus Almeida78f8b7b2014-06-18 14:49:56 +00001751 // These are some of the types of expansions we perform here:
1752 // 1) lw $8, sym => lui $8, %hi(sym)
1753 // lw $8, %lo(sym)($8)
1754 // 2) lw $8, offset($9) => lui $8, %hi(offset)
1755 // add $8, $8, $9
1756 // lw $8, %lo(offset)($9)
1757 // 3) lw $8, offset($8) => lui $at, %hi(offset)
1758 // add $at, $at, $8
1759 // lw $8, %lo(offset)($at)
1760 // 4) sw $8, sym => lui $at, %hi(sym)
1761 // sw $8, %lo(sym)($at)
1762 // 5) sw $8, offset($8) => lui $at, %hi(offset)
1763 // add $at, $at, $8
1764 // sw $8, %lo(offset)($at)
1765 // 6) ldc1 $f0, sym => lui $at, %hi(sym)
1766 // ldc1 $f0, %lo(sym)($at)
1767 //
1768 // For load instructions we can use the destination register as a temporary
1769 // if base and dst are different (examples 1 and 2) and if the base register
1770 // is general purpose otherwise we must use $at (example 6) and error if it's
1771 // not available. For stores we must use $at (examples 4 and 5) because we
1772 // must not clobber the source register setting up the offset.
1773 const MCInstrDesc &Desc = getInstDesc(Inst.getOpcode());
1774 int16_t RegClassOp0 = Desc.OpInfo[0].RegClass;
1775 unsigned RegClassIDOp0 =
1776 getContext().getRegisterInfo()->getRegClass(RegClassOp0).getID();
1777 bool IsGPR = (RegClassIDOp0 == Mips::GPR32RegClassID) ||
1778 (RegClassIDOp0 == Mips::GPR64RegClassID);
1779 if (isLoad && IsGPR && (BaseRegNum != RegOpNum))
Matheus Almeida29e254f2014-06-18 14:15:42 +00001780 TmpRegNum = RegOpNum;
Matheus Almeida7de68e72014-06-18 14:46:05 +00001781 else {
1782 int AT = getATReg(IDLoc);
1783 // At this point we need AT to perform the expansions and we exit if it is
1784 // not available.
1785 if (!AT)
1786 return;
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00001787 TmpRegNum = getReg(
1788 (isGP64bit()) ? Mips::GPR64RegClassID : Mips::GPR32RegClassID, AT);
Matheus Almeida7de68e72014-06-18 14:46:05 +00001789 }
Matheus Almeida29e254f2014-06-18 14:15:42 +00001790
Jack Carter9e65aa32013-03-22 00:05:30 +00001791 TempInst.setOpcode(Mips::LUi);
1792 TempInst.addOperand(MCOperand::CreateReg(TmpRegNum));
1793 if (isImmOpnd)
1794 TempInst.addOperand(MCOperand::CreateImm(HiOffset));
1795 else {
1796 if (ExprOffset->getKind() == MCExpr::SymbolRef) {
Vladimir Medic4c299852013-11-06 11:27:05 +00001797 SR = static_cast<const MCSymbolRefExpr *>(ExprOffset);
Jack Carterd0bd6422013-04-18 00:41:53 +00001798 const MCSymbolRefExpr *HiExpr = MCSymbolRefExpr::Create(
1799 SR->getSymbol().getName(), MCSymbolRefExpr::VK_Mips_ABS_HI,
1800 getContext());
Jack Carter9e65aa32013-03-22 00:05:30 +00001801 TempInst.addOperand(MCOperand::CreateExpr(HiExpr));
Jack Carterb5cf5902013-04-17 00:18:04 +00001802 } else {
Jack Carterd0bd6422013-04-18 00:41:53 +00001803 const MCExpr *HiExpr = evaluateRelocExpr(ExprOffset, "hi");
Jack Carterb5cf5902013-04-17 00:18:04 +00001804 TempInst.addOperand(MCOperand::CreateExpr(HiExpr));
Jack Carter9e65aa32013-03-22 00:05:30 +00001805 }
1806 }
Jack Carterd0bd6422013-04-18 00:41:53 +00001807 // Add the instruction to the list.
Jack Carter9e65aa32013-03-22 00:05:30 +00001808 Instructions.push_back(TempInst);
Jack Carterd0bd6422013-04-18 00:41:53 +00001809 // Prepare TempInst for next instruction.
Jack Carter9e65aa32013-03-22 00:05:30 +00001810 TempInst.clear();
Jack Carterd0bd6422013-04-18 00:41:53 +00001811 // Add temp register to base.
Jack Carter9e65aa32013-03-22 00:05:30 +00001812 TempInst.setOpcode(Mips::ADDu);
1813 TempInst.addOperand(MCOperand::CreateReg(TmpRegNum));
1814 TempInst.addOperand(MCOperand::CreateReg(TmpRegNum));
1815 TempInst.addOperand(MCOperand::CreateReg(BaseRegNum));
1816 Instructions.push_back(TempInst);
1817 TempInst.clear();
Alp Tokercb402912014-01-24 17:20:08 +00001818 // And finally, create original instruction with low part
Jack Carterd0bd6422013-04-18 00:41:53 +00001819 // of offset and new base.
Jack Carter9e65aa32013-03-22 00:05:30 +00001820 TempInst.setOpcode(Inst.getOpcode());
1821 TempInst.addOperand(MCOperand::CreateReg(RegOpNum));
1822 TempInst.addOperand(MCOperand::CreateReg(TmpRegNum));
1823 if (isImmOpnd)
1824 TempInst.addOperand(MCOperand::CreateImm(LoOffset));
1825 else {
1826 if (ExprOffset->getKind() == MCExpr::SymbolRef) {
Jack Carterd0bd6422013-04-18 00:41:53 +00001827 const MCSymbolRefExpr *LoExpr = MCSymbolRefExpr::Create(
1828 SR->getSymbol().getName(), MCSymbolRefExpr::VK_Mips_ABS_LO,
1829 getContext());
Jack Carter9e65aa32013-03-22 00:05:30 +00001830 TempInst.addOperand(MCOperand::CreateExpr(LoExpr));
Jack Carterb5cf5902013-04-17 00:18:04 +00001831 } else {
Jack Carterd0bd6422013-04-18 00:41:53 +00001832 const MCExpr *LoExpr = evaluateRelocExpr(ExprOffset, "lo");
Jack Carterb5cf5902013-04-17 00:18:04 +00001833 TempInst.addOperand(MCOperand::CreateExpr(LoExpr));
Jack Carter9e65aa32013-03-22 00:05:30 +00001834 }
1835 }
1836 Instructions.push_back(TempInst);
1837 TempInst.clear();
1838}
1839
Matheus Almeida595fcab2014-06-11 15:05:56 +00001840unsigned MipsAsmParser::checkTargetMatchPredicate(MCInst &Inst) {
1841 // As described by the Mips32r2 spec, the registers Rd and Rs for
1842 // jalr.hb must be different.
1843 unsigned Opcode = Inst.getOpcode();
1844
1845 if (Opcode == Mips::JALR_HB &&
1846 (Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg()))
1847 return Match_RequiresDifferentSrcAndDst;
1848
1849 return Match_Success;
1850}
1851
David Blaikie960ea3f2014-06-08 16:18:35 +00001852bool MipsAsmParser::MatchAndEmitInstruction(SMLoc IDLoc, unsigned &Opcode,
1853 OperandVector &Operands,
1854 MCStreamer &Out,
Tim Northover26bb14e2014-08-18 11:49:42 +00001855 uint64_t &ErrorInfo,
David Blaikie960ea3f2014-06-08 16:18:35 +00001856 bool MatchingInlineAsm) {
Matheus Almeida595fcab2014-06-11 15:05:56 +00001857
Jack Carterb4dbc172012-09-05 23:34:03 +00001858 MCInst Inst;
Jack Carter9e65aa32013-03-22 00:05:30 +00001859 SmallVector<MCInst, 8> Instructions;
Vladimir Medic4c299852013-11-06 11:27:05 +00001860 unsigned MatchResult =
1861 MatchInstructionImpl(Operands, Inst, ErrorInfo, MatchingInlineAsm);
Jack Carterb4dbc172012-09-05 23:34:03 +00001862
1863 switch (MatchResult) {
Jack Carterb4dbc172012-09-05 23:34:03 +00001864 case Match_Success: {
Jack Carterd0bd6422013-04-18 00:41:53 +00001865 if (processInstruction(Inst, IDLoc, Instructions))
Jack Carter9e65aa32013-03-22 00:05:30 +00001866 return true;
Jack Carterd0bd6422013-04-18 00:41:53 +00001867 for (unsigned i = 0; i < Instructions.size(); i++)
David Woodhousee6c13e42014-01-28 23:12:42 +00001868 Out.EmitInstruction(Instructions[i], STI);
Jack Carterb4dbc172012-09-05 23:34:03 +00001869 return false;
1870 }
1871 case Match_MissingFeature:
1872 Error(IDLoc, "instruction requires a CPU feature not currently enabled");
1873 return true;
1874 case Match_InvalidOperand: {
1875 SMLoc ErrorLoc = IDLoc;
Tim Northover26bb14e2014-08-18 11:49:42 +00001876 if (ErrorInfo != ~0ULL) {
Jack Carterb4dbc172012-09-05 23:34:03 +00001877 if (ErrorInfo >= Operands.size())
1878 return Error(IDLoc, "too few operands for instruction");
1879
David Blaikie960ea3f2014-06-08 16:18:35 +00001880 ErrorLoc = ((MipsOperand &)*Operands[ErrorInfo]).getStartLoc();
Jack Carterd0bd6422013-04-18 00:41:53 +00001881 if (ErrorLoc == SMLoc())
1882 ErrorLoc = IDLoc;
Jack Carterb4dbc172012-09-05 23:34:03 +00001883 }
1884
1885 return Error(ErrorLoc, "invalid operand for instruction");
1886 }
1887 case Match_MnemonicFail:
1888 return Error(IDLoc, "invalid instruction");
Matheus Almeida595fcab2014-06-11 15:05:56 +00001889 case Match_RequiresDifferentSrcAndDst:
1890 return Error(IDLoc, "source and destination must be different");
Jack Carterb4dbc172012-09-05 23:34:03 +00001891 }
Craig Topper589ceee2015-01-03 08:16:34 +00001892
1893 llvm_unreachable("Implement any new match types added!");
Rafael Espindola870c4e92012-01-11 03:56:41 +00001894}
1895
Toma Tabacu13964452014-09-04 13:23:44 +00001896void MipsAsmParser::warnIfAssemblerTemporary(int RegIndex, SMLoc Loc) {
Toma Tabacu9db22db2014-09-09 10:15:38 +00001897 if ((RegIndex != 0) &&
1898 ((int)AssemblerOptions.back()->getATRegNum() == RegIndex)) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001899 if (RegIndex == 1)
Toma Tabacu65f10572014-09-16 15:00:52 +00001900 Warning(Loc, "used $at without \".set noat\"");
Daniel Sandersb1d7e532014-03-25 11:16:03 +00001901 else
Toma Tabacu65f10572014-09-16 15:00:52 +00001902 Warning(Loc, Twine("used $") + Twine(RegIndex) + " with \".set at=$" +
Daniel Sandersb50ccf82014-04-01 10:35:28 +00001903 Twine(RegIndex) + "\"");
Daniel Sandersb1d7e532014-03-25 11:16:03 +00001904 }
1905}
1906
Daniel Sandersef638fe2014-10-03 15:37:37 +00001907void
1908MipsAsmParser::printWarningWithFixIt(const Twine &Msg, const Twine &FixMsg,
1909 SMRange Range, bool ShowColors) {
1910 getSourceManager().PrintMessage(Range.Start, SourceMgr::DK_Warning, Msg,
Hans Wennborg6a654332014-10-03 17:16:24 +00001911 Range, SMFixIt(Range, FixMsg),
Daniel Sandersef638fe2014-10-03 15:37:37 +00001912 ShowColors);
1913}
1914
Jack Carter1ac53222013-02-20 23:11:17 +00001915int MipsAsmParser::matchCPURegisterName(StringRef Name) {
Vladimir Medic4c299852013-11-06 11:27:05 +00001916 int CC;
Jack Carter1ac53222013-02-20 23:11:17 +00001917
Vladimir Medic4c299852013-11-06 11:27:05 +00001918 CC = StringSwitch<unsigned>(Name)
1919 .Case("zero", 0)
Daniel Sandersb1d7e532014-03-25 11:16:03 +00001920 .Case("at", 1)
Vladimir Medic4c299852013-11-06 11:27:05 +00001921 .Case("a0", 4)
1922 .Case("a1", 5)
1923 .Case("a2", 6)
1924 .Case("a3", 7)
1925 .Case("v0", 2)
1926 .Case("v1", 3)
1927 .Case("s0", 16)
1928 .Case("s1", 17)
1929 .Case("s2", 18)
1930 .Case("s3", 19)
1931 .Case("s4", 20)
1932 .Case("s5", 21)
1933 .Case("s6", 22)
1934 .Case("s7", 23)
1935 .Case("k0", 26)
1936 .Case("k1", 27)
Daniel Sanders85f482b2014-03-26 11:05:24 +00001937 .Case("gp", 28)
Vladimir Medic4c299852013-11-06 11:27:05 +00001938 .Case("sp", 29)
1939 .Case("fp", 30)
Daniel Sanders85f482b2014-03-26 11:05:24 +00001940 .Case("s8", 30)
Vladimir Medic4c299852013-11-06 11:27:05 +00001941 .Case("ra", 31)
1942 .Case("t0", 8)
1943 .Case("t1", 9)
1944 .Case("t2", 10)
1945 .Case("t3", 11)
1946 .Case("t4", 12)
1947 .Case("t5", 13)
1948 .Case("t6", 14)
1949 .Case("t7", 15)
1950 .Case("t8", 24)
1951 .Case("t9", 25)
1952 .Default(-1);
Jack Carter1ac53222013-02-20 23:11:17 +00001953
Toma Tabacufda445c2014-09-15 15:33:01 +00001954 if (!(isABI_N32() || isABI_N64()))
1955 return CC;
Jack Carter1ac53222013-02-20 23:11:17 +00001956
Daniel Sandersef638fe2014-10-03 15:37:37 +00001957 if (12 <= CC && CC <= 15) {
1958 // Name is one of t4-t7
1959 AsmToken RegTok = getLexer().peekTok();
1960 SMRange RegRange = RegTok.getLocRange();
1961
1962 StringRef FixedName = StringSwitch<StringRef>(Name)
1963 .Case("t4", "t0")
1964 .Case("t5", "t1")
1965 .Case("t6", "t2")
1966 .Case("t7", "t3")
1967 .Default("");
1968 assert(FixedName != "" && "Register name is not one of t4-t7.");
1969
1970 printWarningWithFixIt("register names $t4-$t7 are only available in O32.",
1971 "Did you mean $" + FixedName + "?", RegRange);
1972 }
1973
Toma Tabacufda445c2014-09-15 15:33:01 +00001974 // Although SGI documentation just cuts out t0-t3 for n32/n64,
1975 // GNU pushes the values of t0-t3 to override the o32/o64 values for t4-t7
1976 // We are supporting both cases, so for t0-t3 we'll just push them to t4-t7.
1977 if (8 <= CC && CC <= 11)
1978 CC += 4;
1979
1980 if (CC == -1)
1981 CC = StringSwitch<unsigned>(Name)
1982 .Case("a4", 8)
1983 .Case("a5", 9)
1984 .Case("a6", 10)
1985 .Case("a7", 11)
1986 .Case("kt0", 26)
1987 .Case("kt1", 27)
1988 .Default(-1);
Jack Carter1ac53222013-02-20 23:11:17 +00001989
1990 return CC;
1991}
Jack Carterd0bd6422013-04-18 00:41:53 +00001992
Vasileios Kalintiris10b5ba32014-11-11 10:31:31 +00001993int MipsAsmParser::matchHWRegsRegisterName(StringRef Name) {
1994 int CC;
1995
1996 CC = StringSwitch<unsigned>(Name)
1997 .Case("hwr_cpunum", 0)
1998 .Case("hwr_synci_step", 1)
1999 .Case("hwr_cc", 2)
2000 .Case("hwr_ccres", 3)
Vasileios Kalintiris8c1c95e2014-11-11 11:22:39 +00002001 .Case("hwr_ulr", 29)
Vasileios Kalintiris10b5ba32014-11-11 10:31:31 +00002002 .Default(-1);
2003
2004 return CC;
2005}
2006
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002007int MipsAsmParser::matchFPURegisterName(StringRef Name) {
Jack Carterb4dbc172012-09-05 23:34:03 +00002008
Jack Cartera63b16a2012-09-07 00:23:42 +00002009 if (Name[0] == 'f') {
2010 StringRef NumString = Name.substr(1);
2011 unsigned IntVal;
Jack Carterd0bd6422013-04-18 00:41:53 +00002012 if (NumString.getAsInteger(10, IntVal))
Vladimir Medic4c299852013-11-06 11:27:05 +00002013 return -1; // This is not an integer.
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002014 if (IntVal > 31) // Maximum index for fpu register.
Jack Cartera63b16a2012-09-07 00:23:42 +00002015 return -1;
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002016 return IntVal;
2017 }
2018 return -1;
2019}
Jack Cartera63b16a2012-09-07 00:23:42 +00002020
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002021int MipsAsmParser::matchFCCRegisterName(StringRef Name) {
2022
2023 if (Name.startswith("fcc")) {
2024 StringRef NumString = Name.substr(3);
2025 unsigned IntVal;
2026 if (NumString.getAsInteger(10, IntVal))
Vladimir Medic4c299852013-11-06 11:27:05 +00002027 return -1; // This is not an integer.
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002028 if (IntVal > 7) // There are only 8 fcc registers.
2029 return -1;
2030 return IntVal;
2031 }
2032 return -1;
2033}
2034
2035int MipsAsmParser::matchACRegisterName(StringRef Name) {
2036
Akira Hatanaka274d24c2013-08-14 01:15:52 +00002037 if (Name.startswith("ac")) {
2038 StringRef NumString = Name.substr(2);
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002039 unsigned IntVal;
2040 if (NumString.getAsInteger(10, IntVal))
Vladimir Medic4c299852013-11-06 11:27:05 +00002041 return -1; // This is not an integer.
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002042 if (IntVal > 3) // There are only 3 acc registers.
2043 return -1;
2044 return IntVal;
Jack Cartera63b16a2012-09-07 00:23:42 +00002045 }
Jack Carterb4dbc172012-09-05 23:34:03 +00002046 return -1;
2047}
Jack Carterd0bd6422013-04-18 00:41:53 +00002048
Jack Carter5dc8ac92013-09-25 23:50:44 +00002049int MipsAsmParser::matchMSA128RegisterName(StringRef Name) {
2050 unsigned IntVal;
2051
2052 if (Name.front() != 'w' || Name.drop_front(1).getAsInteger(10, IntVal))
2053 return -1;
2054
2055 if (IntVal > 31)
2056 return -1;
2057
2058 return IntVal;
2059}
2060
Matheus Almeidaa591fdc2013-10-21 12:26:50 +00002061int MipsAsmParser::matchMSA128CtrlRegisterName(StringRef Name) {
2062 int CC;
2063
2064 CC = StringSwitch<unsigned>(Name)
Vladimir Medic4c299852013-11-06 11:27:05 +00002065 .Case("msair", 0)
2066 .Case("msacsr", 1)
2067 .Case("msaaccess", 2)
2068 .Case("msasave", 3)
2069 .Case("msamodify", 4)
2070 .Case("msarequest", 5)
2071 .Case("msamap", 6)
2072 .Case("msaunmap", 7)
2073 .Default(-1);
Matheus Almeidaa591fdc2013-10-21 12:26:50 +00002074
2075 return CC;
2076}
2077
Jack Carter0b744b32012-10-04 02:29:46 +00002078bool MipsAssemblerOptions::setATReg(unsigned Reg) {
2079 if (Reg > 31)
2080 return false;
2081
Toma Tabacu3c24b042014-09-05 15:43:21 +00002082 ATReg = Reg;
Jack Carter0b744b32012-10-04 02:29:46 +00002083 return true;
2084}
2085
Matheus Almeida7de68e72014-06-18 14:46:05 +00002086int MipsAsmParser::getATReg(SMLoc Loc) {
Toma Tabacu9db22db2014-09-09 10:15:38 +00002087 int AT = AssemblerOptions.back()->getATRegNum();
Daniel Sandersd89b1362014-03-24 16:48:01 +00002088 if (AT == 0)
Matheus Almeida7de68e72014-06-18 14:46:05 +00002089 reportParseError(Loc,
Toma Tabacu65f10572014-09-16 15:00:52 +00002090 "pseudo-instruction requires $at, which is not available");
Daniel Sandersd89b1362014-03-24 16:48:01 +00002091 return AT;
2092}
Jack Carter0b744b32012-10-04 02:29:46 +00002093
Jack Carterd0bd6422013-04-18 00:41:53 +00002094unsigned MipsAsmParser::getReg(int RC, int RegNo) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00002095 return *(getContext().getRegisterInfo()->getRegClass(RC).begin() + RegNo);
Jack Carterb4dbc172012-09-05 23:34:03 +00002096}
2097
Daniel Sanders5bce5f62014-03-27 13:52:53 +00002098unsigned MipsAsmParser::getGPR(int RegNo) {
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00002099 return getReg(isGP64bit() ? Mips::GPR64RegClassID : Mips::GPR32RegClassID,
Daniel Sanders5e94e682014-03-27 16:42:17 +00002100 RegNo);
Daniel Sanders5bce5f62014-03-27 13:52:53 +00002101}
2102
Jack Carter873c7242013-01-12 01:03:14 +00002103int MipsAsmParser::matchRegisterByNumber(unsigned RegNum, unsigned RegClass) {
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002104 if (RegNum >
Daniel Sanders64cf5a42014-03-27 15:00:44 +00002105 getContext().getRegisterInfo()->getRegClass(RegClass).getNumRegs() - 1)
Jack Carterb4dbc172012-09-05 23:34:03 +00002106 return -1;
2107
Jack Carter873c7242013-01-12 01:03:14 +00002108 return getReg(RegClass, RegNum);
Jack Carterb4dbc172012-09-05 23:34:03 +00002109}
2110
Toma Tabacu13964452014-09-04 13:23:44 +00002111bool MipsAsmParser::parseOperand(OperandVector &Operands, StringRef Mnemonic) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002112 MCAsmParser &Parser = getParser();
Toma Tabacu13964452014-09-04 13:23:44 +00002113 DEBUG(dbgs() << "parseOperand\n");
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002114
Jack Carter30a59822012-10-04 04:03:53 +00002115 // Check if the current operand has a custom associated parser, if so, try to
2116 // custom parse the operand, or fallback to the general approach.
Jack Carterb4dbc172012-09-05 23:34:03 +00002117 OperandMatchResultTy ResTy = MatchOperandParserImpl(Operands, Mnemonic);
2118 if (ResTy == MatchOperand_Success)
2119 return false;
2120 // If there wasn't a custom match, try the generic matcher below. Otherwise,
2121 // there was a match, but an error occurred, in which case, just return that
2122 // the operand parsing failed.
2123 if (ResTy == MatchOperand_ParseFail)
2124 return true;
2125
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002126 DEBUG(dbgs() << ".. Generic Parser\n");
2127
Jack Carterb4dbc172012-09-05 23:34:03 +00002128 switch (getLexer().getKind()) {
2129 default:
2130 Error(Parser.getTok().getLoc(), "unexpected token in operand");
2131 return true;
2132 case AsmToken::Dollar: {
Jack Carterd0bd6422013-04-18 00:41:53 +00002133 // Parse the register.
Jack Carterb4dbc172012-09-05 23:34:03 +00002134 SMLoc S = Parser.getTok().getLoc();
Jack Carterb4dbc172012-09-05 23:34:03 +00002135
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002136 // Almost all registers have been parsed by custom parsers. There is only
2137 // one exception to this. $zero (and it's alias $0) will reach this point
2138 // for div, divu, and similar instructions because it is not an operand
2139 // to the instruction definition but an explicit register. Special case
2140 // this situation for now.
Toma Tabacu13964452014-09-04 13:23:44 +00002141 if (parseAnyRegister(Operands) != MatchOperand_NoMatch)
Jack Carterb4dbc172012-09-05 23:34:03 +00002142 return false;
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002143
Jack Carterd0bd6422013-04-18 00:41:53 +00002144 // Maybe it is a symbol reference.
Jack Carterb4dbc172012-09-05 23:34:03 +00002145 StringRef Identifier;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002146 if (Parser.parseIdentifier(Identifier))
Jack Carterb4dbc172012-09-05 23:34:03 +00002147 return true;
2148
Jack Carter873c7242013-01-12 01:03:14 +00002149 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
Benjamin Kramerfa530572012-09-07 09:47:42 +00002150 MCSymbol *Sym = getContext().GetOrCreateSymbol("$" + Identifier);
Jack Carterd0bd6422013-04-18 00:41:53 +00002151 // Otherwise create a symbol reference.
Vladimir Medic4c299852013-11-06 11:27:05 +00002152 const MCExpr *Res =
2153 MCSymbolRefExpr::Create(Sym, MCSymbolRefExpr::VK_None, getContext());
Jack Carterb4dbc172012-09-05 23:34:03 +00002154
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002155 Operands.push_back(MipsOperand::CreateImm(Res, S, E, *this));
Jack Carterb4dbc172012-09-05 23:34:03 +00002156 return false;
2157 }
Vladimir Medic4c299852013-11-06 11:27:05 +00002158 // Else drop to expression parsing.
Jack Carterb4dbc172012-09-05 23:34:03 +00002159 case AsmToken::LParen:
2160 case AsmToken::Minus:
2161 case AsmToken::Plus:
2162 case AsmToken::Integer:
Matheus Almeidaee73cc52014-06-18 13:55:18 +00002163 case AsmToken::Tilde:
Jack Carterb4dbc172012-09-05 23:34:03 +00002164 case AsmToken::String: {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002165 DEBUG(dbgs() << ".. generic integer\n");
Toma Tabacu13964452014-09-04 13:23:44 +00002166 OperandMatchResultTy ResTy = parseImm(Operands);
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002167 return ResTy != MatchOperand_Success;
Jack Carterb4dbc172012-09-05 23:34:03 +00002168 }
Jack Carterdc1e35d2012-09-06 20:00:02 +00002169 case AsmToken::Percent: {
Jack Carterd0bd6422013-04-18 00:41:53 +00002170 // It is a symbol reference or constant expression.
Jack Carterdc1e35d2012-09-06 20:00:02 +00002171 const MCExpr *IdVal;
Jack Carterd0bd6422013-04-18 00:41:53 +00002172 SMLoc S = Parser.getTok().getLoc(); // Start location of the operand.
Jack Carter873c7242013-01-12 01:03:14 +00002173 if (parseRelocOperand(IdVal))
Jack Carterdc1e35d2012-09-06 20:00:02 +00002174 return true;
2175
Jack Carter873c7242013-01-12 01:03:14 +00002176 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
2177
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002178 Operands.push_back(MipsOperand::CreateImm(IdVal, S, E, *this));
Jack Carterdc1e35d2012-09-06 20:00:02 +00002179 return false;
Jack Carter0b744b32012-10-04 02:29:46 +00002180 } // case AsmToken::Percent
2181 } // switch(getLexer().getKind())
Rafael Espindola870c4e92012-01-11 03:56:41 +00002182 return true;
2183}
2184
Vladimir Medic4c299852013-11-06 11:27:05 +00002185const MCExpr *MipsAsmParser::evaluateRelocExpr(const MCExpr *Expr,
Jack Carterb5cf5902013-04-17 00:18:04 +00002186 StringRef RelocStr) {
Jack Carterb5cf5902013-04-17 00:18:04 +00002187 const MCExpr *Res;
Jack Carterd0bd6422013-04-18 00:41:53 +00002188 // Check the type of the expression.
Jack Carterb5cf5902013-04-17 00:18:04 +00002189 if (const MCConstantExpr *MCE = dyn_cast<MCConstantExpr>(Expr)) {
Sasa Stankovic06c47802014-04-03 10:37:45 +00002190 // It's a constant, evaluate reloc value.
2191 int16_t Val;
2192 switch (getVariantKind(RelocStr)) {
2193 case MCSymbolRefExpr::VK_Mips_ABS_LO:
2194 // Get the 1st 16-bits.
2195 Val = MCE->getValue() & 0xffff;
2196 break;
2197 case MCSymbolRefExpr::VK_Mips_ABS_HI:
2198 // Get the 2nd 16-bits. Also add 1 if bit 15 is 1, to compensate for low
2199 // 16 bits being negative.
2200 Val = ((MCE->getValue() + 0x8000) >> 16) & 0xffff;
2201 break;
2202 case MCSymbolRefExpr::VK_Mips_HIGHER:
2203 // Get the 3rd 16-bits.
2204 Val = ((MCE->getValue() + 0x80008000LL) >> 32) & 0xffff;
2205 break;
2206 case MCSymbolRefExpr::VK_Mips_HIGHEST:
2207 // Get the 4th 16-bits.
2208 Val = ((MCE->getValue() + 0x800080008000LL) >> 48) & 0xffff;
2209 break;
2210 default:
Toma Tabacu65f10572014-09-16 15:00:52 +00002211 report_fatal_error("unsupported reloc value");
Jack Carterdc1e35d2012-09-06 20:00:02 +00002212 }
Sasa Stankovic06c47802014-04-03 10:37:45 +00002213 return MCConstantExpr::Create(Val, getContext());
Jack Carterdc1e35d2012-09-06 20:00:02 +00002214 }
2215
Jack Carterb5cf5902013-04-17 00:18:04 +00002216 if (const MCSymbolRefExpr *MSRE = dyn_cast<MCSymbolRefExpr>(Expr)) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002217 // It's a symbol, create a symbolic expression from the symbol.
Benjamin Kramerfa530572012-09-07 09:47:42 +00002218 StringRef Symbol = MSRE->getSymbol().getName();
Jack Carterb5cf5902013-04-17 00:18:04 +00002219 MCSymbolRefExpr::VariantKind VK = getVariantKind(RelocStr);
Jack Carterd0bd6422013-04-18 00:41:53 +00002220 Res = MCSymbolRefExpr::Create(Symbol, VK, getContext());
Jack Carterb5cf5902013-04-17 00:18:04 +00002221 return Res;
2222 }
2223
2224 if (const MCBinaryExpr *BE = dyn_cast<MCBinaryExpr>(Expr)) {
Petar Jovanovica5da5882014-02-04 18:41:57 +00002225 MCSymbolRefExpr::VariantKind VK = getVariantKind(RelocStr);
2226
Sasa Stankovic06c47802014-04-03 10:37:45 +00002227 // Try to create target expression.
2228 if (MipsMCExpr::isSupportedBinaryExpr(VK, BE))
2229 return MipsMCExpr::Create(VK, Expr, getContext());
Petar Jovanovica5da5882014-02-04 18:41:57 +00002230
Jack Carterd0bd6422013-04-18 00:41:53 +00002231 const MCExpr *LExp = evaluateRelocExpr(BE->getLHS(), RelocStr);
2232 const MCExpr *RExp = evaluateRelocExpr(BE->getRHS(), RelocStr);
Jack Carterb5cf5902013-04-17 00:18:04 +00002233 Res = MCBinaryExpr::Create(BE->getOpcode(), LExp, RExp, getContext());
2234 return Res;
2235 }
2236
2237 if (const MCUnaryExpr *UN = dyn_cast<MCUnaryExpr>(Expr)) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002238 const MCExpr *UnExp = evaluateRelocExpr(UN->getSubExpr(), RelocStr);
2239 Res = MCUnaryExpr::Create(UN->getOpcode(), UnExp, getContext());
2240 return Res;
Jack Carterb5cf5902013-04-17 00:18:04 +00002241 }
Jack Carterd0bd6422013-04-18 00:41:53 +00002242 // Just return the original expression.
Jack Carterb5cf5902013-04-17 00:18:04 +00002243 return Expr;
2244}
2245
2246bool MipsAsmParser::isEvaluated(const MCExpr *Expr) {
2247
2248 switch (Expr->getKind()) {
2249 case MCExpr::Constant:
2250 return true;
2251 case MCExpr::SymbolRef:
2252 return (cast<MCSymbolRefExpr>(Expr)->getKind() != MCSymbolRefExpr::VK_None);
2253 case MCExpr::Binary:
2254 if (const MCBinaryExpr *BE = dyn_cast<MCBinaryExpr>(Expr)) {
2255 if (!isEvaluated(BE->getLHS()))
2256 return false;
2257 return isEvaluated(BE->getRHS());
2258 }
2259 case MCExpr::Unary:
2260 return isEvaluated(cast<MCUnaryExpr>(Expr)->getSubExpr());
Petar Jovanovica5da5882014-02-04 18:41:57 +00002261 case MCExpr::Target:
2262 return true;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002263 }
Jack Carterb5cf5902013-04-17 00:18:04 +00002264 return false;
Jack Carterb5cf5902013-04-17 00:18:04 +00002265}
Jack Carterd0bd6422013-04-18 00:41:53 +00002266
Jack Carterb5cf5902013-04-17 00:18:04 +00002267bool MipsAsmParser::parseRelocOperand(const MCExpr *&Res) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002268 MCAsmParser &Parser = getParser();
Vladimir Medic4c299852013-11-06 11:27:05 +00002269 Parser.Lex(); // Eat the % token.
Jack Carterd0bd6422013-04-18 00:41:53 +00002270 const AsmToken &Tok = Parser.getTok(); // Get next token, operation.
Jack Carterb5cf5902013-04-17 00:18:04 +00002271 if (Tok.isNot(AsmToken::Identifier))
2272 return true;
2273
2274 std::string Str = Tok.getIdentifier().str();
2275
Jack Carterd0bd6422013-04-18 00:41:53 +00002276 Parser.Lex(); // Eat the identifier.
2277 // Now make an expression from the rest of the operand.
Jack Carterb5cf5902013-04-17 00:18:04 +00002278 const MCExpr *IdVal;
2279 SMLoc EndLoc;
2280
2281 if (getLexer().getKind() == AsmToken::LParen) {
2282 while (1) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002283 Parser.Lex(); // Eat the '(' token.
Jack Carterb5cf5902013-04-17 00:18:04 +00002284 if (getLexer().getKind() == AsmToken::Percent) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002285 Parser.Lex(); // Eat the % token.
Jack Carterb5cf5902013-04-17 00:18:04 +00002286 const AsmToken &nextTok = Parser.getTok();
2287 if (nextTok.isNot(AsmToken::Identifier))
2288 return true;
2289 Str += "(%";
2290 Str += nextTok.getIdentifier();
Jack Carterd0bd6422013-04-18 00:41:53 +00002291 Parser.Lex(); // Eat the identifier.
Jack Carterb5cf5902013-04-17 00:18:04 +00002292 if (getLexer().getKind() != AsmToken::LParen)
2293 return true;
2294 } else
2295 break;
2296 }
Jack Carterd0bd6422013-04-18 00:41:53 +00002297 if (getParser().parseParenExpression(IdVal, EndLoc))
Jack Carterb5cf5902013-04-17 00:18:04 +00002298 return true;
2299
2300 while (getLexer().getKind() == AsmToken::RParen)
Jack Carterd0bd6422013-04-18 00:41:53 +00002301 Parser.Lex(); // Eat the ')' token.
Jack Carterb5cf5902013-04-17 00:18:04 +00002302
2303 } else
Jack Carterd0bd6422013-04-18 00:41:53 +00002304 return true; // Parenthesis must follow the relocation operand.
Jack Carterb5cf5902013-04-17 00:18:04 +00002305
Jack Carterd0bd6422013-04-18 00:41:53 +00002306 Res = evaluateRelocExpr(IdVal, Str);
Jack Carterb5cf5902013-04-17 00:18:04 +00002307 return false;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002308}
2309
Jack Carterb4dbc172012-09-05 23:34:03 +00002310bool MipsAsmParser::ParseRegister(unsigned &RegNo, SMLoc &StartLoc,
2311 SMLoc &EndLoc) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002312 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 1> Operands;
Toma Tabacu13964452014-09-04 13:23:44 +00002313 OperandMatchResultTy ResTy = parseAnyRegister(Operands);
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002314 if (ResTy == MatchOperand_Success) {
2315 assert(Operands.size() == 1);
David Blaikie960ea3f2014-06-08 16:18:35 +00002316 MipsOperand &Operand = static_cast<MipsOperand &>(*Operands.front());
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002317 StartLoc = Operand.getStartLoc();
2318 EndLoc = Operand.getEndLoc();
2319
2320 // AFAIK, we only support numeric registers and named GPR's in CFI
2321 // directives.
2322 // Don't worry about eating tokens before failing. Using an unrecognised
2323 // register is a parse error.
2324 if (Operand.isGPRAsmReg()) {
2325 // Resolve to GPR32 or GPR64 appropriately.
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00002326 RegNo = isGP64bit() ? Operand.getGPR64Reg() : Operand.getGPR32Reg();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002327 }
2328
2329 return (RegNo == (unsigned)-1);
2330 }
2331
2332 assert(Operands.size() == 0);
Vladimir Medic4c299852013-11-06 11:27:05 +00002333 return (RegNo == (unsigned)-1);
Jack Carterb4dbc172012-09-05 23:34:03 +00002334}
2335
Jack Carterb5cf5902013-04-17 00:18:04 +00002336bool MipsAsmParser::parseMemOffset(const MCExpr *&Res, bool isParenExpr) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002337 MCAsmParser &Parser = getParser();
Jack Carter873c7242013-01-12 01:03:14 +00002338 SMLoc S;
Jack Carterb5cf5902013-04-17 00:18:04 +00002339 bool Result = true;
2340
2341 while (getLexer().getKind() == AsmToken::LParen)
2342 Parser.Lex();
Jack Carter873c7242013-01-12 01:03:14 +00002343
Jack Carterd0bd6422013-04-18 00:41:53 +00002344 switch (getLexer().getKind()) {
Jack Carterdc1e35d2012-09-06 20:00:02 +00002345 default:
2346 return true;
Jack Carter9e65aa32013-03-22 00:05:30 +00002347 case AsmToken::Identifier:
Jack Carterb5cf5902013-04-17 00:18:04 +00002348 case AsmToken::LParen:
Jack Carterdc1e35d2012-09-06 20:00:02 +00002349 case AsmToken::Integer:
2350 case AsmToken::Minus:
2351 case AsmToken::Plus:
Jack Carterb5cf5902013-04-17 00:18:04 +00002352 if (isParenExpr)
Jack Carterd0bd6422013-04-18 00:41:53 +00002353 Result = getParser().parseParenExpression(Res, S);
Jack Carterb5cf5902013-04-17 00:18:04 +00002354 else
2355 Result = (getParser().parseExpression(Res));
Jack Carterd0bd6422013-04-18 00:41:53 +00002356 while (getLexer().getKind() == AsmToken::RParen)
Jack Carterb5cf5902013-04-17 00:18:04 +00002357 Parser.Lex();
Jack Carterd0bd6422013-04-18 00:41:53 +00002358 break;
Jack Carter873c7242013-01-12 01:03:14 +00002359 case AsmToken::Percent:
Jack Carterb5cf5902013-04-17 00:18:04 +00002360 Result = parseRelocOperand(Res);
Jack Carterdc1e35d2012-09-06 20:00:02 +00002361 }
Jack Carterb5cf5902013-04-17 00:18:04 +00002362 return Result;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002363}
2364
David Blaikie960ea3f2014-06-08 16:18:35 +00002365MipsAsmParser::OperandMatchResultTy
2366MipsAsmParser::parseMemOperand(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002367 MCAsmParser &Parser = getParser();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002368 DEBUG(dbgs() << "parseMemOperand\n");
Craig Topper062a2ba2014-04-25 05:30:21 +00002369 const MCExpr *IdVal = nullptr;
Jack Carter873c7242013-01-12 01:03:14 +00002370 SMLoc S;
Jack Carterb5cf5902013-04-17 00:18:04 +00002371 bool isParenExpr = false;
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002372 MipsAsmParser::OperandMatchResultTy Res = MatchOperand_NoMatch;
Jack Carterd0bd6422013-04-18 00:41:53 +00002373 // First operand is the offset.
Jack Carter873c7242013-01-12 01:03:14 +00002374 S = Parser.getTok().getLoc();
Jack Carterdc1e35d2012-09-06 20:00:02 +00002375
Jack Carterb5cf5902013-04-17 00:18:04 +00002376 if (getLexer().getKind() == AsmToken::LParen) {
2377 Parser.Lex();
2378 isParenExpr = true;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002379 }
2380
Jack Carterb5cf5902013-04-17 00:18:04 +00002381 if (getLexer().getKind() != AsmToken::Dollar) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002382 if (parseMemOffset(IdVal, isParenExpr))
Jack Carterb5cf5902013-04-17 00:18:04 +00002383 return MatchOperand_ParseFail;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002384
Jack Carterd0bd6422013-04-18 00:41:53 +00002385 const AsmToken &Tok = Parser.getTok(); // Get the next token.
Jack Carterb5cf5902013-04-17 00:18:04 +00002386 if (Tok.isNot(AsmToken::LParen)) {
David Blaikie960ea3f2014-06-08 16:18:35 +00002387 MipsOperand &Mnemonic = static_cast<MipsOperand &>(*Operands[0]);
2388 if (Mnemonic.getToken() == "la") {
Vladimir Medic4c299852013-11-06 11:27:05 +00002389 SMLoc E =
2390 SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002391 Operands.push_back(MipsOperand::CreateImm(IdVal, S, E, *this));
Jack Carterb5cf5902013-04-17 00:18:04 +00002392 return MatchOperand_Success;
2393 }
2394 if (Tok.is(AsmToken::EndOfStatement)) {
Vladimir Medic4c299852013-11-06 11:27:05 +00002395 SMLoc E =
2396 SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
Jack Carterb5cf5902013-04-17 00:18:04 +00002397
Jack Carterd0bd6422013-04-18 00:41:53 +00002398 // Zero register assumed, add a memory operand with ZERO as its base.
NAKAMURA Takumie1f35832014-04-15 14:13:21 +00002399 // "Base" will be managed by k_Memory.
Toma Tabacu13964452014-09-04 13:23:44 +00002400 auto Base = MipsOperand::createGPRReg(0, getContext().getRegisterInfo(),
David Blaikie960ea3f2014-06-08 16:18:35 +00002401 S, E, *this);
2402 Operands.push_back(
2403 MipsOperand::CreateMem(std::move(Base), IdVal, S, E, *this));
Jack Carterb5cf5902013-04-17 00:18:04 +00002404 return MatchOperand_Success;
2405 }
2406 Error(Parser.getTok().getLoc(), "'(' expected");
2407 return MatchOperand_ParseFail;
2408 }
2409
Jack Carterd0bd6422013-04-18 00:41:53 +00002410 Parser.Lex(); // Eat the '(' token.
Jack Carterb5cf5902013-04-17 00:18:04 +00002411 }
2412
Toma Tabacu13964452014-09-04 13:23:44 +00002413 Res = parseAnyRegister(Operands);
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002414 if (Res != MatchOperand_Success)
2415 return Res;
Jack Carterdc1e35d2012-09-06 20:00:02 +00002416
Vladimir Medic27c87ea2013-08-13 13:07:09 +00002417 if (Parser.getTok().isNot(AsmToken::RParen)) {
Jack Carterdc1e35d2012-09-06 20:00:02 +00002418 Error(Parser.getTok().getLoc(), "')' expected");
2419 return MatchOperand_ParseFail;
2420 }
2421
Jack Carter873c7242013-01-12 01:03:14 +00002422 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
2423
Jack Carterd0bd6422013-04-18 00:41:53 +00002424 Parser.Lex(); // Eat the ')' token.
Jack Carterdc1e35d2012-09-06 20:00:02 +00002425
Craig Topper062a2ba2014-04-25 05:30:21 +00002426 if (!IdVal)
Jack Carterdc1e35d2012-09-06 20:00:02 +00002427 IdVal = MCConstantExpr::Create(0, getContext());
2428
Jack Carterd0bd6422013-04-18 00:41:53 +00002429 // Replace the register operand with the memory operand.
David Blaikie960ea3f2014-06-08 16:18:35 +00002430 std::unique_ptr<MipsOperand> op(
2431 static_cast<MipsOperand *>(Operands.back().release()));
Jack Carterd0bd6422013-04-18 00:41:53 +00002432 // Remove the register from the operands.
NAKAMURA Takumie1f35832014-04-15 14:13:21 +00002433 // "op" will be managed by k_Memory.
Jack Carterdc1e35d2012-09-06 20:00:02 +00002434 Operands.pop_back();
Jack Carterd0bd6422013-04-18 00:41:53 +00002435 // Add the memory operand.
Jack Carterb5cf5902013-04-17 00:18:04 +00002436 if (const MCBinaryExpr *BE = dyn_cast<MCBinaryExpr>(IdVal)) {
2437 int64_t Imm;
2438 if (IdVal->EvaluateAsAbsolute(Imm))
2439 IdVal = MCConstantExpr::Create(Imm, getContext());
2440 else if (BE->getLHS()->getKind() != MCExpr::SymbolRef)
2441 IdVal = MCBinaryExpr::Create(BE->getOpcode(), BE->getRHS(), BE->getLHS(),
2442 getContext());
2443 }
2444
David Blaikie960ea3f2014-06-08 16:18:35 +00002445 Operands.push_back(MipsOperand::CreateMem(std::move(op), IdVal, S, E, *this));
Jack Carterb4dbc172012-09-05 23:34:03 +00002446 return MatchOperand_Success;
2447}
2448
David Blaikie960ea3f2014-06-08 16:18:35 +00002449bool MipsAsmParser::searchSymbolAlias(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002450 MCAsmParser &Parser = getParser();
Jack Carterd76b2372013-03-21 21:44:16 +00002451 MCSymbol *Sym = getContext().LookupSymbol(Parser.getTok().getIdentifier());
2452 if (Sym) {
2453 SMLoc S = Parser.getTok().getLoc();
2454 const MCExpr *Expr;
2455 if (Sym->isVariable())
2456 Expr = Sym->getVariableValue();
2457 else
2458 return false;
2459 if (Expr->getKind() == MCExpr::SymbolRef) {
Vladimir Medic4c299852013-11-06 11:27:05 +00002460 const MCSymbolRefExpr *Ref = static_cast<const MCSymbolRefExpr *>(Expr);
Craig Topper6dc4a8bc2014-08-30 16:48:02 +00002461 StringRef DefSymbol = Ref->getSymbol().getName();
Jack Carterd76b2372013-03-21 21:44:16 +00002462 if (DefSymbol.startswith("$")) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002463 OperandMatchResultTy ResTy =
Toma Tabacu13964452014-09-04 13:23:44 +00002464 matchAnyRegisterNameWithoutDollar(Operands, DefSymbol.substr(1), S);
Daniel Sanders09934572014-04-01 10:37:46 +00002465 if (ResTy == MatchOperand_Success) {
2466 Parser.Lex();
Jack Carterd76b2372013-03-21 21:44:16 +00002467 return true;
Daniel Sanders09934572014-04-01 10:37:46 +00002468 } else if (ResTy == MatchOperand_ParseFail)
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002469 llvm_unreachable("Should never ParseFail");
2470 return false;
Jack Carterd76b2372013-03-21 21:44:16 +00002471 }
2472 } else if (Expr->getKind() == MCExpr::Constant) {
2473 Parser.Lex();
Vladimir Medic4c299852013-11-06 11:27:05 +00002474 const MCConstantExpr *Const = static_cast<const MCConstantExpr *>(Expr);
David Blaikie960ea3f2014-06-08 16:18:35 +00002475 Operands.push_back(
2476 MipsOperand::CreateImm(Const, S, Parser.getTok().getLoc(), *this));
Jack Carterd76b2372013-03-21 21:44:16 +00002477 return true;
2478 }
2479 }
2480 return false;
2481}
Jack Carterd0bd6422013-04-18 00:41:53 +00002482
Jack Carter873c7242013-01-12 01:03:14 +00002483MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002484MipsAsmParser::matchAnyRegisterNameWithoutDollar(OperandVector &Operands,
David Blaikie960ea3f2014-06-08 16:18:35 +00002485 StringRef Identifier,
2486 SMLoc S) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002487 int Index = matchCPURegisterName(Identifier);
2488 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002489 Operands.push_back(MipsOperand::createGPRReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002490 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2491 return MatchOperand_Success;
2492 }
2493
Vasileios Kalintiris10b5ba32014-11-11 10:31:31 +00002494 Index = matchHWRegsRegisterName(Identifier);
2495 if (Index != -1) {
2496 Operands.push_back(MipsOperand::createHWRegsReg(
2497 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2498 return MatchOperand_Success;
2499 }
2500
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002501 Index = matchFPURegisterName(Identifier);
2502 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002503 Operands.push_back(MipsOperand::createFGRReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002504 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2505 return MatchOperand_Success;
2506 }
2507
2508 Index = matchFCCRegisterName(Identifier);
2509 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002510 Operands.push_back(MipsOperand::createFCCReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002511 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2512 return MatchOperand_Success;
2513 }
2514
2515 Index = matchACRegisterName(Identifier);
2516 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002517 Operands.push_back(MipsOperand::createACCReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002518 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2519 return MatchOperand_Success;
2520 }
2521
2522 Index = matchMSA128RegisterName(Identifier);
2523 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002524 Operands.push_back(MipsOperand::createMSA128Reg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002525 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2526 return MatchOperand_Success;
2527 }
2528
2529 Index = matchMSA128CtrlRegisterName(Identifier);
2530 if (Index != -1) {
Toma Tabacu13964452014-09-04 13:23:44 +00002531 Operands.push_back(MipsOperand::createMSACtrlReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002532 Index, getContext().getRegisterInfo(), S, getLexer().getLoc(), *this));
2533 return MatchOperand_Success;
2534 }
2535
2536 return MatchOperand_NoMatch;
Jack Carter873c7242013-01-12 01:03:14 +00002537}
2538
2539MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002540MipsAsmParser::matchAnyRegisterWithoutDollar(OperandVector &Operands, SMLoc S) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002541 MCAsmParser &Parser = getParser();
Daniel Sanders315386c2014-04-01 10:40:14 +00002542 auto Token = Parser.getLexer().peekTok(false);
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002543
2544 if (Token.is(AsmToken::Identifier)) {
2545 DEBUG(dbgs() << ".. identifier\n");
2546 StringRef Identifier = Token.getIdentifier();
Daniel Sanders09934572014-04-01 10:37:46 +00002547 OperandMatchResultTy ResTy =
Toma Tabacu13964452014-09-04 13:23:44 +00002548 matchAnyRegisterNameWithoutDollar(Operands, Identifier, S);
Daniel Sanders09934572014-04-01 10:37:46 +00002549 return ResTy;
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002550 } else if (Token.is(AsmToken::Integer)) {
2551 DEBUG(dbgs() << ".. integer\n");
Toma Tabacu13964452014-09-04 13:23:44 +00002552 Operands.push_back(MipsOperand::createNumericReg(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002553 Token.getIntVal(), getContext().getRegisterInfo(), S, Token.getLoc(),
2554 *this));
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002555 return MatchOperand_Success;
2556 }
2557
2558 DEBUG(dbgs() << Parser.getTok().getKind() << "\n");
2559
2560 return MatchOperand_NoMatch;
2561}
2562
David Blaikie960ea3f2014-06-08 16:18:35 +00002563MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002564MipsAsmParser::parseAnyRegister(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002565 MCAsmParser &Parser = getParser();
Toma Tabacu13964452014-09-04 13:23:44 +00002566 DEBUG(dbgs() << "parseAnyRegister\n");
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002567
2568 auto Token = Parser.getTok();
2569
2570 SMLoc S = Token.getLoc();
2571
2572 if (Token.isNot(AsmToken::Dollar)) {
2573 DEBUG(dbgs() << ".. !$ -> try sym aliasing\n");
2574 if (Token.is(AsmToken::Identifier)) {
2575 if (searchSymbolAlias(Operands))
2576 return MatchOperand_Success;
2577 }
2578 DEBUG(dbgs() << ".. !symalias -> NoMatch\n");
2579 return MatchOperand_NoMatch;
2580 }
2581 DEBUG(dbgs() << ".. $\n");
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002582
Toma Tabacu13964452014-09-04 13:23:44 +00002583 OperandMatchResultTy ResTy = matchAnyRegisterWithoutDollar(Operands, S);
Daniel Sanders315386c2014-04-01 10:40:14 +00002584 if (ResTy == MatchOperand_Success) {
2585 Parser.Lex(); // $
2586 Parser.Lex(); // identifier
2587 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002588 return ResTy;
2589}
2590
2591MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002592MipsAsmParser::parseImm(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002593 MCAsmParser &Parser = getParser();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002594 switch (getLexer().getKind()) {
2595 default:
2596 return MatchOperand_NoMatch;
2597 case AsmToken::LParen:
2598 case AsmToken::Minus:
2599 case AsmToken::Plus:
2600 case AsmToken::Integer:
Matheus Almeidaee73cc52014-06-18 13:55:18 +00002601 case AsmToken::Tilde:
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002602 case AsmToken::String:
2603 break;
2604 }
2605
2606 const MCExpr *IdVal;
2607 SMLoc S = Parser.getTok().getLoc();
2608 if (getParser().parseExpression(IdVal))
2609 return MatchOperand_ParseFail;
2610
2611 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
2612 Operands.push_back(MipsOperand::CreateImm(IdVal, S, E, *this));
2613 return MatchOperand_Success;
2614}
2615
David Blaikie960ea3f2014-06-08 16:18:35 +00002616MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002617MipsAsmParser::parseJumpTarget(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002618 MCAsmParser &Parser = getParser();
Toma Tabacu13964452014-09-04 13:23:44 +00002619 DEBUG(dbgs() << "parseJumpTarget\n");
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002620
2621 SMLoc S = getLexer().getLoc();
2622
2623 // Integers and expressions are acceptable
Toma Tabacu13964452014-09-04 13:23:44 +00002624 OperandMatchResultTy ResTy = parseImm(Operands);
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002625 if (ResTy != MatchOperand_NoMatch)
2626 return ResTy;
2627
Daniel Sanders315386c2014-04-01 10:40:14 +00002628 // Registers are a valid target and have priority over symbols.
Toma Tabacu13964452014-09-04 13:23:44 +00002629 ResTy = parseAnyRegister(Operands);
Daniel Sanders315386c2014-04-01 10:40:14 +00002630 if (ResTy != MatchOperand_NoMatch)
2631 return ResTy;
2632
Daniel Sandersffd84362014-04-01 10:41:48 +00002633 const MCExpr *Expr = nullptr;
2634 if (Parser.parseExpression(Expr)) {
2635 // We have no way of knowing if a symbol was consumed so we must ParseFail
2636 return MatchOperand_ParseFail;
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002637 }
Daniel Sandersffd84362014-04-01 10:41:48 +00002638 Operands.push_back(
2639 MipsOperand::CreateImm(Expr, S, getLexer().getLoc(), *this));
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002640 return MatchOperand_Success;
Jack Carter873c7242013-01-12 01:03:14 +00002641}
2642
Vladimir Medic2b953d02013-10-01 09:48:56 +00002643MipsAsmParser::OperandMatchResultTy
David Blaikie960ea3f2014-06-08 16:18:35 +00002644MipsAsmParser::parseInvNum(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002645 MCAsmParser &Parser = getParser();
Vladimir Medic2b953d02013-10-01 09:48:56 +00002646 const MCExpr *IdVal;
2647 // If the first token is '$' we may have register operand.
2648 if (Parser.getTok().is(AsmToken::Dollar))
2649 return MatchOperand_NoMatch;
2650 SMLoc S = Parser.getTok().getLoc();
2651 if (getParser().parseExpression(IdVal))
2652 return MatchOperand_ParseFail;
2653 const MCConstantExpr *MCE = dyn_cast<MCConstantExpr>(IdVal);
Vladimir Medic4c299852013-11-06 11:27:05 +00002654 assert(MCE && "Unexpected MCExpr type.");
Vladimir Medic2b953d02013-10-01 09:48:56 +00002655 int64_t Val = MCE->getValue();
2656 SMLoc E = SMLoc::getFromPointer(Parser.getTok().getLoc().getPointer() - 1);
2657 Operands.push_back(MipsOperand::CreateImm(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002658 MCConstantExpr::Create(0 - Val, getContext()), S, E, *this));
Vladimir Medic2b953d02013-10-01 09:48:56 +00002659 return MatchOperand_Success;
2660}
2661
Matheus Almeida779c5932013-11-18 12:32:49 +00002662MipsAsmParser::OperandMatchResultTy
Toma Tabacu13964452014-09-04 13:23:44 +00002663MipsAsmParser::parseLSAImm(OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002664 MCAsmParser &Parser = getParser();
Matheus Almeida779c5932013-11-18 12:32:49 +00002665 switch (getLexer().getKind()) {
2666 default:
2667 return MatchOperand_NoMatch;
2668 case AsmToken::LParen:
2669 case AsmToken::Plus:
2670 case AsmToken::Minus:
2671 case AsmToken::Integer:
2672 break;
2673 }
2674
2675 const MCExpr *Expr;
2676 SMLoc S = Parser.getTok().getLoc();
2677
2678 if (getParser().parseExpression(Expr))
2679 return MatchOperand_ParseFail;
2680
2681 int64_t Val;
2682 if (!Expr->EvaluateAsAbsolute(Val)) {
2683 Error(S, "expected immediate value");
2684 return MatchOperand_ParseFail;
2685 }
2686
2687 // The LSA instruction allows a 2-bit unsigned immediate. For this reason
2688 // and because the CPU always adds one to the immediate field, the allowed
2689 // range becomes 1..4. We'll only check the range here and will deal
2690 // with the addition/subtraction when actually decoding/encoding
2691 // the instruction.
2692 if (Val < 1 || Val > 4) {
2693 Error(S, "immediate not in range (1..4)");
2694 return MatchOperand_ParseFail;
2695 }
2696
Jack Carter3b2c96e2014-01-22 23:31:38 +00002697 Operands.push_back(
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002698 MipsOperand::CreateImm(Expr, S, Parser.getTok().getLoc(), *this));
Matheus Almeida779c5932013-11-18 12:32:49 +00002699 return MatchOperand_Success;
2700}
2701
Zoran Jovanovica4c4b5f2014-11-19 16:44:02 +00002702MipsAsmParser::OperandMatchResultTy
2703MipsAsmParser::parseRegisterList(OperandVector &Operands) {
2704 MCAsmParser &Parser = getParser();
2705 SmallVector<unsigned, 10> Regs;
2706 unsigned RegNo;
2707 unsigned PrevReg = Mips::NoRegister;
2708 bool RegRange = false;
2709 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 8> TmpOperands;
2710
2711 if (Parser.getTok().isNot(AsmToken::Dollar))
2712 return MatchOperand_ParseFail;
2713
2714 SMLoc S = Parser.getTok().getLoc();
2715 while (parseAnyRegister(TmpOperands) == MatchOperand_Success) {
2716 SMLoc E = getLexer().getLoc();
2717 MipsOperand &Reg = static_cast<MipsOperand &>(*TmpOperands.back());
2718 RegNo = isGP64bit() ? Reg.getGPR64Reg() : Reg.getGPR32Reg();
2719 if (RegRange) {
2720 // Remove last register operand because registers from register range
2721 // should be inserted first.
2722 if (RegNo == Mips::RA) {
2723 Regs.push_back(RegNo);
2724 } else {
2725 unsigned TmpReg = PrevReg + 1;
2726 while (TmpReg <= RegNo) {
2727 if ((TmpReg < Mips::S0) || (TmpReg > Mips::S7)) {
2728 Error(E, "invalid register operand");
2729 return MatchOperand_ParseFail;
2730 }
2731
2732 PrevReg = TmpReg;
2733 Regs.push_back(TmpReg++);
2734 }
2735 }
2736
2737 RegRange = false;
2738 } else {
2739 if ((PrevReg == Mips::NoRegister) && (RegNo != Mips::S0) &&
2740 (RegNo != Mips::RA)) {
2741 Error(E, "$16 or $31 expected");
2742 return MatchOperand_ParseFail;
2743 } else if (((RegNo < Mips::S0) || (RegNo > Mips::S7)) &&
2744 (RegNo != Mips::FP) && (RegNo != Mips::RA)) {
2745 Error(E, "invalid register operand");
2746 return MatchOperand_ParseFail;
2747 } else if ((PrevReg != Mips::NoRegister) && (RegNo != PrevReg + 1) &&
2748 (RegNo != Mips::FP) && (RegNo != Mips::RA)) {
2749 Error(E, "consecutive register numbers expected");
2750 return MatchOperand_ParseFail;
2751 }
2752
2753 Regs.push_back(RegNo);
2754 }
2755
2756 if (Parser.getTok().is(AsmToken::Minus))
2757 RegRange = true;
2758
2759 if (!Parser.getTok().isNot(AsmToken::Minus) &&
2760 !Parser.getTok().isNot(AsmToken::Comma)) {
2761 Error(E, "',' or '-' expected");
2762 return MatchOperand_ParseFail;
2763 }
2764
2765 Lex(); // Consume comma or minus
2766 if (Parser.getTok().isNot(AsmToken::Dollar))
2767 break;
2768
2769 PrevReg = RegNo;
2770 }
2771
2772 SMLoc E = Parser.getTok().getLoc();
2773 Operands.push_back(MipsOperand::CreateRegList(Regs, S, E, *this));
2774 parseMemOperand(Operands);
2775 return MatchOperand_Success;
2776}
2777
Zoran Jovanovic2deca342014-12-16 14:59:10 +00002778MipsAsmParser::OperandMatchResultTy
2779MipsAsmParser::parseRegisterPair(OperandVector &Operands) {
2780 MCAsmParser &Parser = getParser();
2781
2782 SMLoc S = Parser.getTok().getLoc();
2783 if (parseAnyRegister(Operands) != MatchOperand_Success)
2784 return MatchOperand_ParseFail;
2785
2786 SMLoc E = Parser.getTok().getLoc();
2787 MipsOperand &Op = static_cast<MipsOperand &>(*Operands.back());
2788 unsigned Reg = Op.getGPR32Reg();
2789 Operands.pop_back();
2790 Operands.push_back(MipsOperand::CreateRegPair(Reg, S, E, *this));
2791 return MatchOperand_Success;
2792}
2793
Jack Carterdc1e35d2012-09-06 20:00:02 +00002794MCSymbolRefExpr::VariantKind MipsAsmParser::getVariantKind(StringRef Symbol) {
2795
Vladimir Medic4c299852013-11-06 11:27:05 +00002796 MCSymbolRefExpr::VariantKind VK =
2797 StringSwitch<MCSymbolRefExpr::VariantKind>(Symbol)
2798 .Case("hi", MCSymbolRefExpr::VK_Mips_ABS_HI)
2799 .Case("lo", MCSymbolRefExpr::VK_Mips_ABS_LO)
2800 .Case("gp_rel", MCSymbolRefExpr::VK_Mips_GPREL)
2801 .Case("call16", MCSymbolRefExpr::VK_Mips_GOT_CALL)
2802 .Case("got", MCSymbolRefExpr::VK_Mips_GOT)
2803 .Case("tlsgd", MCSymbolRefExpr::VK_Mips_TLSGD)
2804 .Case("tlsldm", MCSymbolRefExpr::VK_Mips_TLSLDM)
2805 .Case("dtprel_hi", MCSymbolRefExpr::VK_Mips_DTPREL_HI)
2806 .Case("dtprel_lo", MCSymbolRefExpr::VK_Mips_DTPREL_LO)
2807 .Case("gottprel", MCSymbolRefExpr::VK_Mips_GOTTPREL)
2808 .Case("tprel_hi", MCSymbolRefExpr::VK_Mips_TPREL_HI)
2809 .Case("tprel_lo", MCSymbolRefExpr::VK_Mips_TPREL_LO)
2810 .Case("got_disp", MCSymbolRefExpr::VK_Mips_GOT_DISP)
2811 .Case("got_page", MCSymbolRefExpr::VK_Mips_GOT_PAGE)
2812 .Case("got_ofst", MCSymbolRefExpr::VK_Mips_GOT_OFST)
2813 .Case("hi(%neg(%gp_rel", MCSymbolRefExpr::VK_Mips_GPOFF_HI)
2814 .Case("lo(%neg(%gp_rel", MCSymbolRefExpr::VK_Mips_GPOFF_LO)
Daniel Sandersa567da52014-03-31 15:15:02 +00002815 .Case("got_hi", MCSymbolRefExpr::VK_Mips_GOT_HI16)
2816 .Case("got_lo", MCSymbolRefExpr::VK_Mips_GOT_LO16)
2817 .Case("call_hi", MCSymbolRefExpr::VK_Mips_CALL_HI16)
2818 .Case("call_lo", MCSymbolRefExpr::VK_Mips_CALL_LO16)
2819 .Case("higher", MCSymbolRefExpr::VK_Mips_HIGHER)
2820 .Case("highest", MCSymbolRefExpr::VK_Mips_HIGHEST)
Zoran Jovanovicb355e8f2014-05-27 14:58:51 +00002821 .Case("pcrel_hi", MCSymbolRefExpr::VK_Mips_PCREL_HI16)
2822 .Case("pcrel_lo", MCSymbolRefExpr::VK_Mips_PCREL_LO16)
Vladimir Medic4c299852013-11-06 11:27:05 +00002823 .Default(MCSymbolRefExpr::VK_None);
Jack Carterdc1e35d2012-09-06 20:00:02 +00002824
Matheus Almeida2852af82014-04-22 10:15:54 +00002825 assert(VK != MCSymbolRefExpr::VK_None);
Daniel Sandersa567da52014-03-31 15:15:02 +00002826
Jack Carterdc1e35d2012-09-06 20:00:02 +00002827 return VK;
2828}
Jack Cartera63b16a2012-09-07 00:23:42 +00002829
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002830/// Sometimes (i.e. load/stores) the operand may be followed immediately by
2831/// either this.
2832/// ::= '(', register, ')'
2833/// handle it before we iterate so we don't get tripped up by the lack of
2834/// a comma.
Toma Tabacu13964452014-09-04 13:23:44 +00002835bool MipsAsmParser::parseParenSuffix(StringRef Name, OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002836 MCAsmParser &Parser = getParser();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002837 if (getLexer().is(AsmToken::LParen)) {
2838 Operands.push_back(
2839 MipsOperand::CreateToken("(", getLexer().getLoc(), *this));
2840 Parser.Lex();
Toma Tabacu13964452014-09-04 13:23:44 +00002841 if (parseOperand(Operands, Name)) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002842 SMLoc Loc = getLexer().getLoc();
2843 Parser.eatToEndOfStatement();
2844 return Error(Loc, "unexpected token in argument list");
2845 }
2846 if (Parser.getTok().isNot(AsmToken::RParen)) {
2847 SMLoc Loc = getLexer().getLoc();
2848 Parser.eatToEndOfStatement();
2849 return Error(Loc, "unexpected token, expected ')'");
2850 }
2851 Operands.push_back(
2852 MipsOperand::CreateToken(")", getLexer().getLoc(), *this));
2853 Parser.Lex();
2854 }
2855 return false;
2856}
2857
2858/// Sometimes (i.e. in MSA) the operand may be followed immediately by
2859/// either one of these.
2860/// ::= '[', register, ']'
2861/// ::= '[', integer, ']'
2862/// handle it before we iterate so we don't get tripped up by the lack of
2863/// a comma.
Toma Tabacu13964452014-09-04 13:23:44 +00002864bool MipsAsmParser::parseBracketSuffix(StringRef Name,
David Blaikie960ea3f2014-06-08 16:18:35 +00002865 OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002866 MCAsmParser &Parser = getParser();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002867 if (getLexer().is(AsmToken::LBrac)) {
2868 Operands.push_back(
2869 MipsOperand::CreateToken("[", getLexer().getLoc(), *this));
2870 Parser.Lex();
Toma Tabacu13964452014-09-04 13:23:44 +00002871 if (parseOperand(Operands, Name)) {
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002872 SMLoc Loc = getLexer().getLoc();
2873 Parser.eatToEndOfStatement();
2874 return Error(Loc, "unexpected token in argument list");
2875 }
2876 if (Parser.getTok().isNot(AsmToken::RBrac)) {
2877 SMLoc Loc = getLexer().getLoc();
2878 Parser.eatToEndOfStatement();
2879 return Error(Loc, "unexpected token, expected ']'");
2880 }
2881 Operands.push_back(
2882 MipsOperand::CreateToken("]", getLexer().getLoc(), *this));
2883 Parser.Lex();
2884 }
2885 return false;
2886}
2887
David Blaikie960ea3f2014-06-08 16:18:35 +00002888bool MipsAsmParser::ParseInstruction(ParseInstructionInfo &Info, StringRef Name,
2889 SMLoc NameLoc, OperandVector &Operands) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002890 MCAsmParser &Parser = getParser();
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002891 DEBUG(dbgs() << "ParseInstruction\n");
Daniel Sanderscdb45fa2014-08-14 09:18:14 +00002892
2893 // We have reached first instruction, module directive are now forbidden.
2894 getTargetStreamer().forbidModuleDirective();
2895
Vladimir Medic74593e62013-07-17 15:00:42 +00002896 // Check if we have valid mnemonic
Craig Topper690d8ea2013-07-24 07:33:14 +00002897 if (!mnemonicIsValid(Name, 0)) {
Vladimir Medic74593e62013-07-17 15:00:42 +00002898 Parser.eatToEndOfStatement();
Toma Tabacu65f10572014-09-16 15:00:52 +00002899 return Error(NameLoc, "unknown instruction");
Vladimir Medic74593e62013-07-17 15:00:42 +00002900 }
Vladimir Medic64828a12013-07-16 10:07:14 +00002901 // First operand in MCInst is instruction mnemonic.
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002902 Operands.push_back(MipsOperand::CreateToken(Name, NameLoc, *this));
Jack Carterb4dbc172012-09-05 23:34:03 +00002903
2904 // Read the remaining operands.
2905 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2906 // Read the first operand.
Toma Tabacu13964452014-09-04 13:23:44 +00002907 if (parseOperand(Operands, Name)) {
Jack Carterb4dbc172012-09-05 23:34:03 +00002908 SMLoc Loc = getLexer().getLoc();
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002909 Parser.eatToEndOfStatement();
Jack Carterb4dbc172012-09-05 23:34:03 +00002910 return Error(Loc, "unexpected token in argument list");
2911 }
Toma Tabacu13964452014-09-04 13:23:44 +00002912 if (getLexer().is(AsmToken::LBrac) && parseBracketSuffix(Name, Operands))
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002913 return true;
2914 // AFAIK, parenthesis suffixes are never on the first operand
Jack Carterb4dbc172012-09-05 23:34:03 +00002915
Jack Carterd0bd6422013-04-18 00:41:53 +00002916 while (getLexer().is(AsmToken::Comma)) {
2917 Parser.Lex(); // Eat the comma.
Jack Carterb4dbc172012-09-05 23:34:03 +00002918 // Parse and remember the operand.
Toma Tabacu13964452014-09-04 13:23:44 +00002919 if (parseOperand(Operands, Name)) {
Jack Carterb4dbc172012-09-05 23:34:03 +00002920 SMLoc Loc = getLexer().getLoc();
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002921 Parser.eatToEndOfStatement();
Jack Carterb4dbc172012-09-05 23:34:03 +00002922 return Error(Loc, "unexpected token in argument list");
2923 }
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002924 // Parse bracket and parenthesis suffixes before we iterate
2925 if (getLexer().is(AsmToken::LBrac)) {
Toma Tabacu13964452014-09-04 13:23:44 +00002926 if (parseBracketSuffix(Name, Operands))
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002927 return true;
2928 } else if (getLexer().is(AsmToken::LParen) &&
Toma Tabacu13964452014-09-04 13:23:44 +00002929 parseParenSuffix(Name, Operands))
Daniel Sandersb50ccf82014-04-01 10:35:28 +00002930 return true;
Jack Carterb4dbc172012-09-05 23:34:03 +00002931 }
2932 }
Jack Carterb4dbc172012-09-05 23:34:03 +00002933 if (getLexer().isNot(AsmToken::EndOfStatement)) {
2934 SMLoc Loc = getLexer().getLoc();
Jim Grosbachd2037eb2013-02-20 22:21:35 +00002935 Parser.eatToEndOfStatement();
Jack Carterb4dbc172012-09-05 23:34:03 +00002936 return Error(Loc, "unexpected token in argument list");
2937 }
Jack Carterd0bd6422013-04-18 00:41:53 +00002938 Parser.Lex(); // Consume the EndOfStatement.
Jack Carterb4dbc172012-09-05 23:34:03 +00002939 return false;
Rafael Espindola870c4e92012-01-11 03:56:41 +00002940}
2941
Daniel Sandersc7dbc632014-07-08 10:11:38 +00002942bool MipsAsmParser::reportParseError(Twine ErrorMsg) {
Rafael Espindola961d4692014-11-11 05:18:41 +00002943 MCAsmParser &Parser = getParser();
Jack Carterd0bd6422013-04-18 00:41:53 +00002944 SMLoc Loc = getLexer().getLoc();
2945 Parser.eatToEndOfStatement();
2946 return Error(Loc, ErrorMsg);
Jack Carter0b744b32012-10-04 02:29:46 +00002947}
2948
Daniel Sandersc7dbc632014-07-08 10:11:38 +00002949bool MipsAsmParser::reportParseError(SMLoc Loc, Twine ErrorMsg) {
Matheus Almeida525bc4f2014-04-30 11:28:42 +00002950 return Error(Loc, ErrorMsg);
2951}
2952
Jack Carter0b744b32012-10-04 02:29:46 +00002953bool MipsAsmParser::parseSetNoAtDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00002954 MCAsmParser &Parser = getParser();
Jack Carterd0bd6422013-04-18 00:41:53 +00002955 // Line should look like: ".set noat".
2956 // set at reg to 0.
Toma Tabacu9db22db2014-09-09 10:15:38 +00002957 AssemblerOptions.back()->setATReg(0);
Jack Carter0b744b32012-10-04 02:29:46 +00002958 // eat noat
2959 Parser.Lex();
Jack Carterd0bd6422013-04-18 00:41:53 +00002960 // If this is not the end of the statement, report an error.
Jack Carter0b744b32012-10-04 02:29:46 +00002961 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00002962 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00002963 return false;
2964 }
Jack Carterd0bd6422013-04-18 00:41:53 +00002965 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00002966 return false;
2967}
Jack Carterd0bd6422013-04-18 00:41:53 +00002968
Jack Carter0b744b32012-10-04 02:29:46 +00002969bool MipsAsmParser::parseSetAtDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00002970 MCAsmParser &Parser = getParser();
Jack Carterd0bd6422013-04-18 00:41:53 +00002971 // Line can be .set at - defaults to $1
Jack Carter0b744b32012-10-04 02:29:46 +00002972 // or .set at=$reg
Jack Carter1ac53222013-02-20 23:11:17 +00002973 int AtRegNo;
Jack Carter0b744b32012-10-04 02:29:46 +00002974 getParser().Lex();
2975 if (getLexer().is(AsmToken::EndOfStatement)) {
Toma Tabacu9db22db2014-09-09 10:15:38 +00002976 AssemblerOptions.back()->setATReg(1);
Jack Carterd0bd6422013-04-18 00:41:53 +00002977 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00002978 return false;
2979 } else if (getLexer().is(AsmToken::Equal)) {
Jack Carterd0bd6422013-04-18 00:41:53 +00002980 getParser().Lex(); // Eat the '='.
Jack Carter0b744b32012-10-04 02:29:46 +00002981 if (getLexer().isNot(AsmToken::Dollar)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00002982 reportParseError("unexpected token, expected dollar sign '$'");
Jack Carter0b744b32012-10-04 02:29:46 +00002983 return false;
2984 }
Jack Carterd0bd6422013-04-18 00:41:53 +00002985 Parser.Lex(); // Eat the '$'.
Jack Carter1ac53222013-02-20 23:11:17 +00002986 const AsmToken &Reg = Parser.getTok();
2987 if (Reg.is(AsmToken::Identifier)) {
2988 AtRegNo = matchCPURegisterName(Reg.getIdentifier());
2989 } else if (Reg.is(AsmToken::Integer)) {
2990 AtRegNo = Reg.getIntVal();
2991 } else {
Toma Tabacu65f10572014-09-16 15:00:52 +00002992 reportParseError("unexpected token, expected identifier or integer");
Jack Carter0b744b32012-10-04 02:29:46 +00002993 return false;
2994 }
Jack Carter1ac53222013-02-20 23:11:17 +00002995
Daniel Sanders71a89d922014-03-25 13:01:06 +00002996 if (AtRegNo < 0 || AtRegNo > 31) {
Jack Carter1ac53222013-02-20 23:11:17 +00002997 reportParseError("unexpected token in statement");
2998 return false;
2999 }
3000
Toma Tabacu9db22db2014-09-09 10:15:38 +00003001 if (!AssemblerOptions.back()->setATReg(AtRegNo)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003002 reportParseError("invalid register");
Jack Carter0b744b32012-10-04 02:29:46 +00003003 return false;
3004 }
Jack Carterd0bd6422013-04-18 00:41:53 +00003005 getParser().Lex(); // Eat the register.
Jack Carter0b744b32012-10-04 02:29:46 +00003006
3007 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003008 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00003009 return false;
Jack Carterd0bd6422013-04-18 00:41:53 +00003010 }
3011 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00003012 return false;
3013 } else {
3014 reportParseError("unexpected token in statement");
3015 return false;
3016 }
3017}
3018
3019bool MipsAsmParser::parseSetReorderDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003020 MCAsmParser &Parser = getParser();
Jack Carter0b744b32012-10-04 02:29:46 +00003021 Parser.Lex();
Jack Carterd0bd6422013-04-18 00:41:53 +00003022 // If this is not the end of the statement, report an error.
Jack Carter0b744b32012-10-04 02:29:46 +00003023 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003024 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00003025 return false;
3026 }
Toma Tabacu9db22db2014-09-09 10:15:38 +00003027 AssemblerOptions.back()->setReorder();
Matheus Almeida64459d22014-03-10 13:21:10 +00003028 getTargetStreamer().emitDirectiveSetReorder();
Jack Carterd0bd6422013-04-18 00:41:53 +00003029 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00003030 return false;
3031}
3032
3033bool MipsAsmParser::parseSetNoReorderDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003034 MCAsmParser &Parser = getParser();
Jack Carterd0bd6422013-04-18 00:41:53 +00003035 Parser.Lex();
3036 // If this is not the end of the statement, report an error.
3037 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003038 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00003039 return false;
Jack Carterd0bd6422013-04-18 00:41:53 +00003040 }
Toma Tabacu9db22db2014-09-09 10:15:38 +00003041 AssemblerOptions.back()->setNoReorder();
Rafael Espindolacb1953f2014-01-26 06:57:13 +00003042 getTargetStreamer().emitDirectiveSetNoReorder();
Jack Carterd0bd6422013-04-18 00:41:53 +00003043 Parser.Lex(); // Consume the EndOfStatement.
3044 return false;
Jack Carter0b744b32012-10-04 02:29:46 +00003045}
3046
3047bool MipsAsmParser::parseSetMacroDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003048 MCAsmParser &Parser = getParser();
Jack Carter0b744b32012-10-04 02:29:46 +00003049 Parser.Lex();
Jack Carterd0bd6422013-04-18 00:41:53 +00003050 // If this is not the end of the statement, report an error.
Jack Carter0b744b32012-10-04 02:29:46 +00003051 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003052 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00003053 return false;
3054 }
Toma Tabacu9db22db2014-09-09 10:15:38 +00003055 AssemblerOptions.back()->setMacro();
Jack Carterd0bd6422013-04-18 00:41:53 +00003056 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00003057 return false;
3058}
3059
3060bool MipsAsmParser::parseSetNoMacroDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003061 MCAsmParser &Parser = getParser();
Jack Carter0b744b32012-10-04 02:29:46 +00003062 Parser.Lex();
Jack Carterd0bd6422013-04-18 00:41:53 +00003063 // If this is not the end of the statement, report an error.
Jack Carter0b744b32012-10-04 02:29:46 +00003064 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003065 reportParseError("unexpected token, expected end of statement");
Jack Carter0b744b32012-10-04 02:29:46 +00003066 return false;
3067 }
Toma Tabacu9db22db2014-09-09 10:15:38 +00003068 if (AssemblerOptions.back()->isReorder()) {
Jack Carter0b744b32012-10-04 02:29:46 +00003069 reportParseError("`noreorder' must be set before `nomacro'");
3070 return false;
3071 }
Toma Tabacu9db22db2014-09-09 10:15:38 +00003072 AssemblerOptions.back()->setNoMacro();
Jack Carterd0bd6422013-04-18 00:41:53 +00003073 Parser.Lex(); // Consume the EndOfStatement.
Jack Carter0b744b32012-10-04 02:29:46 +00003074 return false;
3075}
Jack Carterd76b2372013-03-21 21:44:16 +00003076
Daniel Sanders44934432014-08-07 12:03:36 +00003077bool MipsAsmParser::parseSetMsaDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003078 MCAsmParser &Parser = getParser();
Daniel Sanders44934432014-08-07 12:03:36 +00003079 Parser.Lex();
3080
3081 // If this is not the end of the statement, report an error.
3082 if (getLexer().isNot(AsmToken::EndOfStatement))
Toma Tabacu65f10572014-09-16 15:00:52 +00003083 return reportParseError("unexpected token, expected end of statement");
Daniel Sanders44934432014-08-07 12:03:36 +00003084
3085 setFeatureBits(Mips::FeatureMSA, "msa");
3086 getTargetStreamer().emitDirectiveSetMsa();
3087 return false;
3088}
3089
3090bool MipsAsmParser::parseSetNoMsaDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003091 MCAsmParser &Parser = getParser();
Daniel Sanders44934432014-08-07 12:03:36 +00003092 Parser.Lex();
3093
3094 // If this is not the end of the statement, report an error.
3095 if (getLexer().isNot(AsmToken::EndOfStatement))
Toma Tabacu65f10572014-09-16 15:00:52 +00003096 return reportParseError("unexpected token, expected end of statement");
Daniel Sanders44934432014-08-07 12:03:36 +00003097
3098 clearFeatureBits(Mips::FeatureMSA, "msa");
3099 getTargetStreamer().emitDirectiveSetNoMsa();
3100 return false;
3101}
3102
Toma Tabacu351b2fe2014-09-17 09:01:54 +00003103bool MipsAsmParser::parseSetNoDspDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003104 MCAsmParser &Parser = getParser();
Toma Tabacu351b2fe2014-09-17 09:01:54 +00003105 Parser.Lex(); // Eat "nodsp".
3106
3107 // If this is not the end of the statement, report an error.
3108 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3109 reportParseError("unexpected token, expected end of statement");
3110 return false;
3111 }
3112
3113 clearFeatureBits(Mips::FeatureDSP, "dsp");
3114 getTargetStreamer().emitDirectiveSetNoDsp();
3115 return false;
3116}
3117
Toma Tabacucc2502d2014-11-04 17:18:07 +00003118bool MipsAsmParser::parseSetMips16Directive() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003119 MCAsmParser &Parser = getParser();
Toma Tabacucc2502d2014-11-04 17:18:07 +00003120 Parser.Lex(); // Eat "mips16".
3121
Jack Carter39536722014-01-22 23:08:42 +00003122 // If this is not the end of the statement, report an error.
3123 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003124 reportParseError("unexpected token, expected end of statement");
Jack Carter39536722014-01-22 23:08:42 +00003125 return false;
3126 }
Toma Tabacucc2502d2014-11-04 17:18:07 +00003127
3128 setFeatureBits(Mips::FeatureMips16, "mips16");
3129 getTargetStreamer().emitDirectiveSetMips16();
3130 Parser.Lex(); // Consume the EndOfStatement.
3131 return false;
3132}
3133
3134bool MipsAsmParser::parseSetNoMips16Directive() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003135 MCAsmParser &Parser = getParser();
Toma Tabacucc2502d2014-11-04 17:18:07 +00003136 Parser.Lex(); // Eat "nomips16".
3137
3138 // If this is not the end of the statement, report an error.
3139 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3140 reportParseError("unexpected token, expected end of statement");
3141 return false;
3142 }
3143
3144 clearFeatureBits(Mips::FeatureMips16, "mips16");
3145 getTargetStreamer().emitDirectiveSetNoMips16();
Jack Carter39536722014-01-22 23:08:42 +00003146 Parser.Lex(); // Consume the EndOfStatement.
3147 return false;
3148}
3149
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003150bool MipsAsmParser::parseSetFpDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003151 MCAsmParser &Parser = getParser();
Daniel Sanders7e527422014-07-10 13:38:23 +00003152 MipsABIFlagsSection::FpABIKind FpAbiVal;
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003153 // Line can be: .set fp=32
3154 // .set fp=xx
3155 // .set fp=64
3156 Parser.Lex(); // Eat fp token
3157 AsmToken Tok = Parser.getTok();
3158 if (Tok.isNot(AsmToken::Equal)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003159 reportParseError("unexpected token, expected equals sign '='");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003160 return false;
3161 }
3162 Parser.Lex(); // Eat '=' token.
3163 Tok = Parser.getTok();
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003164
3165 if (!parseFpABIValue(FpAbiVal, ".set"))
3166 return false;
3167
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003168 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003169 reportParseError("unexpected token, expected end of statement");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003170 return false;
3171 }
Daniel Sanders7e527422014-07-10 13:38:23 +00003172 getTargetStreamer().emitDirectiveSetFp(FpAbiVal);
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003173 Parser.Lex(); // Consume the EndOfStatement.
3174 return false;
3175}
3176
Toma Tabacu9db22db2014-09-09 10:15:38 +00003177bool MipsAsmParser::parseSetPopDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003178 MCAsmParser &Parser = getParser();
Toma Tabacu9db22db2014-09-09 10:15:38 +00003179 SMLoc Loc = getLexer().getLoc();
3180
3181 Parser.Lex();
3182 if (getLexer().isNot(AsmToken::EndOfStatement))
3183 return reportParseError("unexpected token, expected end of statement");
3184
3185 // Always keep an element on the options "stack" to prevent the user
3186 // from changing the initial options. This is how we remember them.
3187 if (AssemblerOptions.size() == 2)
3188 return reportParseError(Loc, ".set pop with no .set push");
3189
3190 AssemblerOptions.pop_back();
3191 setAvailableFeatures(AssemblerOptions.back()->getFeatures());
3192
3193 getTargetStreamer().emitDirectiveSetPop();
3194 return false;
3195}
3196
3197bool MipsAsmParser::parseSetPushDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003198 MCAsmParser &Parser = getParser();
Toma Tabacu9db22db2014-09-09 10:15:38 +00003199 Parser.Lex();
3200 if (getLexer().isNot(AsmToken::EndOfStatement))
3201 return reportParseError("unexpected token, expected end of statement");
3202
3203 // Create a copy of the current assembler options environment and push it.
Craig Topperfec61ef2014-09-12 05:17:20 +00003204 AssemblerOptions.push_back(
3205 make_unique<MipsAssemblerOptions>(AssemblerOptions.back().get()));
Toma Tabacu9db22db2014-09-09 10:15:38 +00003206
3207 getTargetStreamer().emitDirectiveSetPush();
3208 return false;
3209}
3210
Jack Carterd76b2372013-03-21 21:44:16 +00003211bool MipsAsmParser::parseSetAssignment() {
3212 StringRef Name;
3213 const MCExpr *Value;
Rafael Espindola961d4692014-11-11 05:18:41 +00003214 MCAsmParser &Parser = getParser();
Jack Carterd76b2372013-03-21 21:44:16 +00003215
3216 if (Parser.parseIdentifier(Name))
3217 reportParseError("expected identifier after .set");
3218
3219 if (getLexer().isNot(AsmToken::Comma))
Toma Tabacu65f10572014-09-16 15:00:52 +00003220 return reportParseError("unexpected token, expected comma");
Jack Carterb5cf5902013-04-17 00:18:04 +00003221 Lex(); // Eat comma
Jack Carterd76b2372013-03-21 21:44:16 +00003222
Jack Carter3b2c96e2014-01-22 23:31:38 +00003223 if (Parser.parseExpression(Value))
Jack Carter02593002013-05-28 22:21:05 +00003224 return reportParseError("expected valid expression after comma");
Jack Carterd76b2372013-03-21 21:44:16 +00003225
Jack Carterd0bd6422013-04-18 00:41:53 +00003226 // Check if the Name already exists as a symbol.
Jack Carterd76b2372013-03-21 21:44:16 +00003227 MCSymbol *Sym = getContext().LookupSymbol(Name);
Jack Carterd0bd6422013-04-18 00:41:53 +00003228 if (Sym)
Jack Carterd76b2372013-03-21 21:44:16 +00003229 return reportParseError("symbol already defined");
Jack Carterd76b2372013-03-21 21:44:16 +00003230 Sym = getContext().GetOrCreateSymbol(Name);
3231 Sym->setVariableValue(Value);
3232
3233 return false;
3234}
Jack Carterd0bd6422013-04-18 00:41:53 +00003235
Toma Tabacu26647792014-09-09 12:52:14 +00003236bool MipsAsmParser::parseSetMips0Directive() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003237 MCAsmParser &Parser = getParser();
Toma Tabacu26647792014-09-09 12:52:14 +00003238 Parser.Lex();
3239 if (getLexer().isNot(AsmToken::EndOfStatement))
3240 return reportParseError("unexpected token, expected end of statement");
3241
3242 // Reset assembler options to their initial values.
3243 setAvailableFeatures(AssemblerOptions.front()->getFeatures());
3244 AssemblerOptions.back()->setFeatures(AssemblerOptions.front()->getFeatures());
3245
3246 getTargetStreamer().emitDirectiveSetMips0();
3247 return false;
3248}
3249
Toma Tabacu85618b32014-08-19 14:22:52 +00003250bool MipsAsmParser::parseSetArchDirective() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003251 MCAsmParser &Parser = getParser();
Toma Tabacu85618b32014-08-19 14:22:52 +00003252 Parser.Lex();
3253 if (getLexer().isNot(AsmToken::Equal))
3254 return reportParseError("unexpected token, expected equals sign");
3255
3256 Parser.Lex();
3257 StringRef Arch;
3258 if (Parser.parseIdentifier(Arch))
3259 return reportParseError("expected arch identifier");
3260
3261 StringRef ArchFeatureName =
3262 StringSwitch<StringRef>(Arch)
3263 .Case("mips1", "mips1")
3264 .Case("mips2", "mips2")
3265 .Case("mips3", "mips3")
3266 .Case("mips4", "mips4")
3267 .Case("mips5", "mips5")
3268 .Case("mips32", "mips32")
3269 .Case("mips32r2", "mips32r2")
3270 .Case("mips32r6", "mips32r6")
3271 .Case("mips64", "mips64")
3272 .Case("mips64r2", "mips64r2")
3273 .Case("mips64r6", "mips64r6")
3274 .Case("cnmips", "cnmips")
3275 .Case("r4000", "mips3") // This is an implementation of Mips3.
3276 .Default("");
3277
3278 if (ArchFeatureName.empty())
3279 return reportParseError("unsupported architecture");
3280
3281 selectArch(ArchFeatureName);
3282 getTargetStreamer().emitDirectiveSetArch(Arch);
3283 return false;
3284}
3285
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003286bool MipsAsmParser::parseSetFeature(uint64_t Feature) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003287 MCAsmParser &Parser = getParser();
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003288 Parser.Lex();
3289 if (getLexer().isNot(AsmToken::EndOfStatement))
Toma Tabacu65f10572014-09-16 15:00:52 +00003290 return reportParseError("unexpected token, expected end of statement");
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003291
Matheus Almeida2852af82014-04-22 10:15:54 +00003292 switch (Feature) {
3293 default:
3294 llvm_unreachable("Unimplemented feature");
3295 case Mips::FeatureDSP:
3296 setFeatureBits(Mips::FeatureDSP, "dsp");
3297 getTargetStreamer().emitDirectiveSetDsp();
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003298 break;
Matheus Almeida2852af82014-04-22 10:15:54 +00003299 case Mips::FeatureMicroMips:
3300 getTargetStreamer().emitDirectiveSetMicroMips();
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003301 break;
Daniel Sandersf0df2212014-08-04 12:20:00 +00003302 case Mips::FeatureMips1:
3303 selectArch("mips1");
3304 getTargetStreamer().emitDirectiveSetMips1();
3305 break;
3306 case Mips::FeatureMips2:
3307 selectArch("mips2");
3308 getTargetStreamer().emitDirectiveSetMips2();
3309 break;
3310 case Mips::FeatureMips3:
3311 selectArch("mips3");
3312 getTargetStreamer().emitDirectiveSetMips3();
3313 break;
3314 case Mips::FeatureMips4:
3315 selectArch("mips4");
3316 getTargetStreamer().emitDirectiveSetMips4();
3317 break;
3318 case Mips::FeatureMips5:
3319 selectArch("mips5");
3320 getTargetStreamer().emitDirectiveSetMips5();
3321 break;
3322 case Mips::FeatureMips32:
3323 selectArch("mips32");
3324 getTargetStreamer().emitDirectiveSetMips32();
3325 break;
Matheus Almeida2852af82014-04-22 10:15:54 +00003326 case Mips::FeatureMips32r2:
Daniel Sandersf0df2212014-08-04 12:20:00 +00003327 selectArch("mips32r2");
Matheus Almeida2852af82014-04-22 10:15:54 +00003328 getTargetStreamer().emitDirectiveSetMips32R2();
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003329 break;
Daniel Sandersf0df2212014-08-04 12:20:00 +00003330 case Mips::FeatureMips32r6:
3331 selectArch("mips32r6");
3332 getTargetStreamer().emitDirectiveSetMips32R6();
3333 break;
Matheus Almeida2852af82014-04-22 10:15:54 +00003334 case Mips::FeatureMips64:
Daniel Sandersf0df2212014-08-04 12:20:00 +00003335 selectArch("mips64");
Matheus Almeida2852af82014-04-22 10:15:54 +00003336 getTargetStreamer().emitDirectiveSetMips64();
Matheus Almeida3b9c63d2014-03-26 15:14:32 +00003337 break;
Matheus Almeida2852af82014-04-22 10:15:54 +00003338 case Mips::FeatureMips64r2:
Daniel Sandersf0df2212014-08-04 12:20:00 +00003339 selectArch("mips64r2");
Matheus Almeida2852af82014-04-22 10:15:54 +00003340 getTargetStreamer().emitDirectiveSetMips64R2();
Matheus Almeidaa2cd0092014-03-26 14:52:22 +00003341 break;
Daniel Sandersf0df2212014-08-04 12:20:00 +00003342 case Mips::FeatureMips64r6:
3343 selectArch("mips64r6");
3344 getTargetStreamer().emitDirectiveSetMips64R6();
3345 break;
Matheus Almeidafe1e39d2014-03-26 14:26:27 +00003346 }
3347 return false;
3348}
3349
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003350bool MipsAsmParser::eatComma(StringRef ErrorStr) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003351 MCAsmParser &Parser = getParser();
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003352 if (getLexer().isNot(AsmToken::Comma)) {
3353 SMLoc Loc = getLexer().getLoc();
3354 Parser.eatToEndOfStatement();
3355 return Error(Loc, ErrorStr);
3356 }
3357
Matheus Almeida2852af82014-04-22 10:15:54 +00003358 Parser.Lex(); // Eat the comma.
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003359 return true;
3360}
3361
Toma Tabacuc4c202a2014-10-01 14:53:19 +00003362bool MipsAsmParser::parseDirectiveCpLoad(SMLoc Loc) {
Toma Tabacu9db22db2014-09-09 10:15:38 +00003363 if (AssemblerOptions.back()->isReorder())
Toma Tabacudde4c462014-11-06 10:02:45 +00003364 Warning(Loc, ".cpload should be inside a noreorder section");
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003365
Toma Tabacudde4c462014-11-06 10:02:45 +00003366 if (inMips16Mode()) {
3367 reportParseError(".cpload is not supported in Mips16 mode");
3368 return false;
3369 }
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003370
David Blaikie960ea3f2014-06-08 16:18:35 +00003371 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 1> Reg;
Toma Tabacu13964452014-09-04 13:23:44 +00003372 OperandMatchResultTy ResTy = parseAnyRegister(Reg);
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003373 if (ResTy == MatchOperand_NoMatch || ResTy == MatchOperand_ParseFail) {
3374 reportParseError("expected register containing function address");
3375 return false;
3376 }
3377
David Blaikie960ea3f2014-06-08 16:18:35 +00003378 MipsOperand &RegOpnd = static_cast<MipsOperand &>(*Reg[0]);
3379 if (!RegOpnd.isGPRAsmReg()) {
3380 reportParseError(RegOpnd.getStartLoc(), "invalid register");
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003381 return false;
3382 }
3383
Toma Tabacudde4c462014-11-06 10:02:45 +00003384 // If this is not the end of the statement, report an error.
3385 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3386 reportParseError("unexpected token, expected end of statement");
3387 return false;
3388 }
3389
Toma Tabacuc4c202a2014-10-01 14:53:19 +00003390 getTargetStreamer().emitDirectiveCpLoad(RegOpnd.getGPR32Reg());
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003391 return false;
3392}
3393
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003394bool MipsAsmParser::parseDirectiveCPSetup() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003395 MCAsmParser &Parser = getParser();
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003396 unsigned FuncReg;
3397 unsigned Save;
3398 bool SaveIsReg = true;
3399
Matheus Almeida7e815762014-06-18 13:08:59 +00003400 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 1> TmpReg;
Toma Tabacu13964452014-09-04 13:23:44 +00003401 OperandMatchResultTy ResTy = parseAnyRegister(TmpReg);
Matheus Almeida7e815762014-06-18 13:08:59 +00003402 if (ResTy == MatchOperand_NoMatch) {
3403 reportParseError("expected register containing function address");
3404 Parser.eatToEndOfStatement();
3405 return false;
3406 }
3407
3408 MipsOperand &FuncRegOpnd = static_cast<MipsOperand &>(*TmpReg[0]);
3409 if (!FuncRegOpnd.isGPRAsmReg()) {
3410 reportParseError(FuncRegOpnd.getStartLoc(), "invalid register");
3411 Parser.eatToEndOfStatement();
3412 return false;
3413 }
3414
3415 FuncReg = FuncRegOpnd.getGPR32Reg();
3416 TmpReg.clear();
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003417
Toma Tabacu65f10572014-09-16 15:00:52 +00003418 if (!eatComma("unexpected token, expected comma"))
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003419 return true;
3420
Toma Tabacu13964452014-09-04 13:23:44 +00003421 ResTy = parseAnyRegister(TmpReg);
Matheus Almeida7e815762014-06-18 13:08:59 +00003422 if (ResTy == MatchOperand_NoMatch) {
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003423 const AsmToken &Tok = Parser.getTok();
3424 if (Tok.is(AsmToken::Integer)) {
3425 Save = Tok.getIntVal();
3426 SaveIsReg = false;
3427 Parser.Lex();
Matheus Almeida7e815762014-06-18 13:08:59 +00003428 } else {
3429 reportParseError("expected save register or stack offset");
3430 Parser.eatToEndOfStatement();
3431 return false;
3432 }
3433 } else {
3434 MipsOperand &SaveOpnd = static_cast<MipsOperand &>(*TmpReg[0]);
3435 if (!SaveOpnd.isGPRAsmReg()) {
3436 reportParseError(SaveOpnd.getStartLoc(), "invalid register");
3437 Parser.eatToEndOfStatement();
3438 return false;
3439 }
3440 Save = SaveOpnd.getGPR32Reg();
3441 }
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003442
Toma Tabacu65f10572014-09-16 15:00:52 +00003443 if (!eatComma("unexpected token, expected comma"))
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003444 return true;
3445
3446 StringRef Name;
3447 if (Parser.parseIdentifier(Name))
3448 reportParseError("expected identifier");
3449 MCSymbol *Sym = getContext().GetOrCreateSymbol(Name);
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003450
Matheus Almeidad92a3fa2014-05-01 10:24:46 +00003451 getTargetStreamer().emitDirectiveCpsetup(FuncReg, Save, *Sym, SaveIsReg);
Daniel Sanders5bce5f62014-03-27 13:52:53 +00003452 return false;
3453}
3454
Matheus Almeida0051f2d2014-04-16 15:48:55 +00003455bool MipsAsmParser::parseDirectiveNaN() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003456 MCAsmParser &Parser = getParser();
Matheus Almeida0051f2d2014-04-16 15:48:55 +00003457 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3458 const AsmToken &Tok = Parser.getTok();
3459
3460 if (Tok.getString() == "2008") {
3461 Parser.Lex();
3462 getTargetStreamer().emitDirectiveNaN2008();
3463 return false;
3464 } else if (Tok.getString() == "legacy") {
3465 Parser.Lex();
3466 getTargetStreamer().emitDirectiveNaNLegacy();
3467 return false;
3468 }
3469 }
3470 // If we don't recognize the option passed to the .nan
3471 // directive (e.g. no option or unknown option), emit an error.
3472 reportParseError("invalid option in .nan directive");
3473 return false;
3474}
3475
Jack Carter0b744b32012-10-04 02:29:46 +00003476bool MipsAsmParser::parseDirectiveSet() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003477 MCAsmParser &Parser = getParser();
Jack Carterd0bd6422013-04-18 00:41:53 +00003478 // Get the next token.
Jack Carter0b744b32012-10-04 02:29:46 +00003479 const AsmToken &Tok = Parser.getTok();
3480
3481 if (Tok.getString() == "noat") {
3482 return parseSetNoAtDirective();
3483 } else if (Tok.getString() == "at") {
3484 return parseSetAtDirective();
Toma Tabacu85618b32014-08-19 14:22:52 +00003485 } else if (Tok.getString() == "arch") {
3486 return parseSetArchDirective();
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003487 } else if (Tok.getString() == "fp") {
3488 return parseSetFpDirective();
Toma Tabacu9db22db2014-09-09 10:15:38 +00003489 } else if (Tok.getString() == "pop") {
3490 return parseSetPopDirective();
3491 } else if (Tok.getString() == "push") {
3492 return parseSetPushDirective();
Jack Carter0b744b32012-10-04 02:29:46 +00003493 } else if (Tok.getString() == "reorder") {
3494 return parseSetReorderDirective();
3495 } else if (Tok.getString() == "noreorder") {
3496 return parseSetNoReorderDirective();
3497 } else if (Tok.getString() == "macro") {
3498 return parseSetMacroDirective();
3499 } else if (Tok.getString() == "nomacro") {
3500 return parseSetNoMacroDirective();
Jack Carter39536722014-01-22 23:08:42 +00003501 } else if (Tok.getString() == "mips16") {
Toma Tabacucc2502d2014-11-04 17:18:07 +00003502 return parseSetMips16Directive();
Jack Carter0b744b32012-10-04 02:29:46 +00003503 } else if (Tok.getString() == "nomips16") {
Jack Carter39536722014-01-22 23:08:42 +00003504 return parseSetNoMips16Directive();
Jack Carter0b744b32012-10-04 02:29:46 +00003505 } else if (Tok.getString() == "nomicromips") {
Rafael Espindola6d5f7ce2014-01-14 04:25:13 +00003506 getTargetStreamer().emitDirectiveSetNoMicroMips();
3507 Parser.eatToEndOfStatement();
3508 return false;
3509 } else if (Tok.getString() == "micromips") {
Matheus Almeida2852af82014-04-22 10:15:54 +00003510 return parseSetFeature(Mips::FeatureMicroMips);
Toma Tabacu26647792014-09-09 12:52:14 +00003511 } else if (Tok.getString() == "mips0") {
3512 return parseSetMips0Directive();
Daniel Sandersf0df2212014-08-04 12:20:00 +00003513 } else if (Tok.getString() == "mips1") {
3514 return parseSetFeature(Mips::FeatureMips1);
3515 } else if (Tok.getString() == "mips2") {
3516 return parseSetFeature(Mips::FeatureMips2);
3517 } else if (Tok.getString() == "mips3") {
3518 return parseSetFeature(Mips::FeatureMips3);
3519 } else if (Tok.getString() == "mips4") {
3520 return parseSetFeature(Mips::FeatureMips4);
3521 } else if (Tok.getString() == "mips5") {
3522 return parseSetFeature(Mips::FeatureMips5);
3523 } else if (Tok.getString() == "mips32") {
3524 return parseSetFeature(Mips::FeatureMips32);
Vladimir Medic615b26e2014-03-04 09:54:09 +00003525 } else if (Tok.getString() == "mips32r2") {
Matheus Almeida2852af82014-04-22 10:15:54 +00003526 return parseSetFeature(Mips::FeatureMips32r2);
Daniel Sandersf0df2212014-08-04 12:20:00 +00003527 } else if (Tok.getString() == "mips32r6") {
3528 return parseSetFeature(Mips::FeatureMips32r6);
Matheus Almeida3b9c63d2014-03-26 15:14:32 +00003529 } else if (Tok.getString() == "mips64") {
Matheus Almeida2852af82014-04-22 10:15:54 +00003530 return parseSetFeature(Mips::FeatureMips64);
Matheus Almeidaa2cd0092014-03-26 14:52:22 +00003531 } else if (Tok.getString() == "mips64r2") {
Matheus Almeida2852af82014-04-22 10:15:54 +00003532 return parseSetFeature(Mips::FeatureMips64r2);
Daniel Sandersf0df2212014-08-04 12:20:00 +00003533 } else if (Tok.getString() == "mips64r6") {
3534 return parseSetFeature(Mips::FeatureMips64r6);
Vladimir Medic27c398e2014-03-05 11:05:09 +00003535 } else if (Tok.getString() == "dsp") {
Matheus Almeida2852af82014-04-22 10:15:54 +00003536 return parseSetFeature(Mips::FeatureDSP);
Toma Tabacu351b2fe2014-09-17 09:01:54 +00003537 } else if (Tok.getString() == "nodsp") {
3538 return parseSetNoDspDirective();
Daniel Sanders44934432014-08-07 12:03:36 +00003539 } else if (Tok.getString() == "msa") {
3540 return parseSetMsaDirective();
3541 } else if (Tok.getString() == "nomsa") {
3542 return parseSetNoMsaDirective();
Jack Carterd76b2372013-03-21 21:44:16 +00003543 } else {
Jack Carterd0bd6422013-04-18 00:41:53 +00003544 // It is just an identifier, look for an assignment.
Jack Carterd76b2372013-03-21 21:44:16 +00003545 parseSetAssignment();
3546 return false;
Jack Carter0b744b32012-10-04 02:29:46 +00003547 }
Jack Carter07c818d2013-01-25 01:31:34 +00003548
Jack Carter0b744b32012-10-04 02:29:46 +00003549 return true;
3550}
3551
Matheus Almeida3e2a7022014-03-26 15:24:36 +00003552/// parseDataDirective
Jack Carter07c818d2013-01-25 01:31:34 +00003553/// ::= .word [ expression (, expression)* ]
Matheus Almeida3e2a7022014-03-26 15:24:36 +00003554bool MipsAsmParser::parseDataDirective(unsigned Size, SMLoc L) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003555 MCAsmParser &Parser = getParser();
Jack Carter07c818d2013-01-25 01:31:34 +00003556 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3557 for (;;) {
3558 const MCExpr *Value;
Jim Grosbachd2037eb2013-02-20 22:21:35 +00003559 if (getParser().parseExpression(Value))
Jack Carter07c818d2013-01-25 01:31:34 +00003560 return true;
3561
3562 getParser().getStreamer().EmitValue(Value, Size);
3563
3564 if (getLexer().is(AsmToken::EndOfStatement))
3565 break;
3566
Jack Carter07c818d2013-01-25 01:31:34 +00003567 if (getLexer().isNot(AsmToken::Comma))
Toma Tabacu65f10572014-09-16 15:00:52 +00003568 return Error(L, "unexpected token, expected comma");
Jack Carter07c818d2013-01-25 01:31:34 +00003569 Parser.Lex();
3570 }
3571 }
3572
3573 Parser.Lex();
3574 return false;
3575}
3576
Vladimir Medic4c299852013-11-06 11:27:05 +00003577/// parseDirectiveGpWord
3578/// ::= .gpword local_sym
3579bool MipsAsmParser::parseDirectiveGpWord() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003580 MCAsmParser &Parser = getParser();
Vladimir Medic4c299852013-11-06 11:27:05 +00003581 const MCExpr *Value;
3582 // EmitGPRel32Value requires an expression, so we are using base class
3583 // method to evaluate the expression.
3584 if (getParser().parseExpression(Value))
3585 return true;
Vladimir Medic4c299852013-11-06 11:27:05 +00003586 getParser().getStreamer().EmitGPRel32Value(Value);
Vladimir Medic4c299852013-11-06 11:27:05 +00003587
Vladimir Medice10c1122013-11-13 13:18:04 +00003588 if (getLexer().isNot(AsmToken::EndOfStatement))
Toma Tabacu65f10572014-09-16 15:00:52 +00003589 return Error(getLexer().getLoc(),
3590 "unexpected token, expected end of statement");
Vladimir Medice10c1122013-11-13 13:18:04 +00003591 Parser.Lex(); // Eat EndOfStatement token.
Vladimir Medic4c299852013-11-06 11:27:05 +00003592 return false;
3593}
3594
Rafael Espindola2378d4c2014-03-31 14:15:07 +00003595/// parseDirectiveGpDWord
Rafael Espindolab59fb732014-03-28 18:50:26 +00003596/// ::= .gpdword local_sym
Rafael Espindola2378d4c2014-03-31 14:15:07 +00003597bool MipsAsmParser::parseDirectiveGpDWord() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003598 MCAsmParser &Parser = getParser();
Rafael Espindolab59fb732014-03-28 18:50:26 +00003599 const MCExpr *Value;
3600 // EmitGPRel64Value requires an expression, so we are using base class
3601 // method to evaluate the expression.
3602 if (getParser().parseExpression(Value))
3603 return true;
3604 getParser().getStreamer().EmitGPRel64Value(Value);
3605
3606 if (getLexer().isNot(AsmToken::EndOfStatement))
Toma Tabacu65f10572014-09-16 15:00:52 +00003607 return Error(getLexer().getLoc(),
3608 "unexpected token, expected end of statement");
Rafael Espindolab59fb732014-03-28 18:50:26 +00003609 Parser.Lex(); // Eat EndOfStatement token.
3610 return false;
3611}
3612
Jack Carter0cd3c192014-01-06 23:27:31 +00003613bool MipsAsmParser::parseDirectiveOption() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003614 MCAsmParser &Parser = getParser();
Jack Carter0cd3c192014-01-06 23:27:31 +00003615 // Get the option token.
3616 AsmToken Tok = Parser.getTok();
3617 // At the moment only identifiers are supported.
3618 if (Tok.isNot(AsmToken::Identifier)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003619 Error(Parser.getTok().getLoc(), "unexpected token, expected identifier");
Jack Carter0cd3c192014-01-06 23:27:31 +00003620 Parser.eatToEndOfStatement();
3621 return false;
3622 }
3623
3624 StringRef Option = Tok.getIdentifier();
3625
3626 if (Option == "pic0") {
3627 getTargetStreamer().emitDirectiveOptionPic0();
3628 Parser.Lex();
3629 if (Parser.getTok().isNot(AsmToken::EndOfStatement)) {
3630 Error(Parser.getTok().getLoc(),
Toma Tabacu65f10572014-09-16 15:00:52 +00003631 "unexpected token, expected end of statement");
Jack Carter0cd3c192014-01-06 23:27:31 +00003632 Parser.eatToEndOfStatement();
3633 }
3634 return false;
3635 }
3636
Matheus Almeidaf79b2812014-03-26 13:40:29 +00003637 if (Option == "pic2") {
3638 getTargetStreamer().emitDirectiveOptionPic2();
3639 Parser.Lex();
3640 if (Parser.getTok().isNot(AsmToken::EndOfStatement)) {
3641 Error(Parser.getTok().getLoc(),
Toma Tabacu65f10572014-09-16 15:00:52 +00003642 "unexpected token, expected end of statement");
Matheus Almeidaf79b2812014-03-26 13:40:29 +00003643 Parser.eatToEndOfStatement();
3644 }
3645 return false;
3646 }
3647
Jack Carter0cd3c192014-01-06 23:27:31 +00003648 // Unknown option.
Toma Tabacu65f10572014-09-16 15:00:52 +00003649 Warning(Parser.getTok().getLoc(),
3650 "unknown option, expected 'pic0' or 'pic2'");
Jack Carter0cd3c192014-01-06 23:27:31 +00003651 Parser.eatToEndOfStatement();
3652 return false;
3653}
3654
Daniel Sanders7e527422014-07-10 13:38:23 +00003655/// parseDirectiveModule
3656/// ::= .module oddspreg
3657/// ::= .module nooddspreg
3658/// ::= .module fp=value
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003659bool MipsAsmParser::parseDirectiveModule() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003660 MCAsmParser &Parser = getParser();
Daniel Sanders7e527422014-07-10 13:38:23 +00003661 MCAsmLexer &Lexer = getLexer();
3662 SMLoc L = Lexer.getLoc();
3663
Daniel Sanderscdb45fa2014-08-14 09:18:14 +00003664 if (!getTargetStreamer().isModuleDirectiveAllowed()) {
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003665 // TODO : get a better message.
3666 reportParseError(".module directive must appear before any code");
3667 return false;
3668 }
Daniel Sanders7e527422014-07-10 13:38:23 +00003669
3670 if (Lexer.is(AsmToken::Identifier)) {
3671 StringRef Option = Parser.getTok().getString();
3672 Parser.Lex();
3673
3674 if (Option == "oddspreg") {
3675 getTargetStreamer().emitDirectiveModuleOddSPReg(true, isABI_O32());
3676 clearFeatureBits(Mips::FeatureNoOddSPReg, "nooddspreg");
3677
3678 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003679 reportParseError("unexpected token, expected end of statement");
Daniel Sanders7e527422014-07-10 13:38:23 +00003680 return false;
3681 }
3682
3683 return false;
3684 } else if (Option == "nooddspreg") {
3685 if (!isABI_O32()) {
3686 Error(L, "'.module nooddspreg' requires the O32 ABI");
3687 return false;
3688 }
3689
3690 getTargetStreamer().emitDirectiveModuleOddSPReg(false, isABI_O32());
3691 setFeatureBits(Mips::FeatureNoOddSPReg, "nooddspreg");
3692
3693 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003694 reportParseError("unexpected token, expected end of statement");
Daniel Sanders7e527422014-07-10 13:38:23 +00003695 return false;
3696 }
3697
3698 return false;
3699 } else if (Option == "fp") {
3700 return parseDirectiveModuleFP();
3701 }
3702
3703 return Error(L, "'" + Twine(Option) + "' is not a valid .module option.");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003704 }
Daniel Sanders7e527422014-07-10 13:38:23 +00003705
3706 return false;
3707}
3708
3709/// parseDirectiveModuleFP
3710/// ::= =32
3711/// ::= =xx
3712/// ::= =64
3713bool MipsAsmParser::parseDirectiveModuleFP() {
Rafael Espindola961d4692014-11-11 05:18:41 +00003714 MCAsmParser &Parser = getParser();
Daniel Sanders7e527422014-07-10 13:38:23 +00003715 MCAsmLexer &Lexer = getLexer();
3716
3717 if (Lexer.isNot(AsmToken::Equal)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003718 reportParseError("unexpected token, expected equals sign '='");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003719 return false;
3720 }
3721 Parser.Lex(); // Eat '=' token.
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003722
Daniel Sanders7e527422014-07-10 13:38:23 +00003723 MipsABIFlagsSection::FpABIKind FpABI;
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003724 if (!parseFpABIValue(FpABI, ".module"))
3725 return false;
3726
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003727 if (getLexer().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00003728 reportParseError("unexpected token, expected end of statement");
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003729 return false;
3730 }
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003731
Daniel Sanders7201a3e2014-07-08 10:35:52 +00003732 // Emit appropriate flags.
3733 getTargetStreamer().emitDirectiveModuleFP(FpABI, isABI_O32());
Daniel Sanders7e527422014-07-10 13:38:23 +00003734 Parser.Lex(); // Consume the EndOfStatement.
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00003735 return false;
3736}
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003737
Daniel Sanders7e527422014-07-10 13:38:23 +00003738bool MipsAsmParser::parseFpABIValue(MipsABIFlagsSection::FpABIKind &FpABI,
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003739 StringRef Directive) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003740 MCAsmParser &Parser = getParser();
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003741 MCAsmLexer &Lexer = getLexer();
3742
3743 if (Lexer.is(AsmToken::Identifier)) {
3744 StringRef Value = Parser.getTok().getString();
3745 Parser.Lex();
3746
3747 if (Value != "xx") {
3748 reportParseError("unsupported value, expected 'xx', '32' or '64'");
3749 return false;
3750 }
3751
3752 if (!isABI_O32()) {
3753 reportParseError("'" + Directive + " fp=xx' requires the O32 ABI");
3754 return false;
3755 }
3756
Daniel Sanders7e527422014-07-10 13:38:23 +00003757 FpABI = MipsABIFlagsSection::FpABIKind::XX;
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003758 return true;
3759 }
3760
3761 if (Lexer.is(AsmToken::Integer)) {
3762 unsigned Value = Parser.getTok().getIntVal();
3763 Parser.Lex();
3764
3765 if (Value != 32 && Value != 64) {
3766 reportParseError("unsupported value, expected 'xx', '32' or '64'");
3767 return false;
3768 }
3769
3770 if (Value == 32) {
3771 if (!isABI_O32()) {
3772 reportParseError("'" + Directive + " fp=32' requires the O32 ABI");
3773 return false;
3774 }
3775
Daniel Sanders7e527422014-07-10 13:38:23 +00003776 FpABI = MipsABIFlagsSection::FpABIKind::S32;
3777 } else
3778 FpABI = MipsABIFlagsSection::FpABIKind::S64;
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003779
Daniel Sanders7e527422014-07-10 13:38:23 +00003780 return true;
Daniel Sandersc7dbc632014-07-08 10:11:38 +00003781 }
3782
3783 return false;
3784}
3785
Jack Carter0b744b32012-10-04 02:29:46 +00003786bool MipsAsmParser::ParseDirective(AsmToken DirectiveID) {
Rafael Espindola961d4692014-11-11 05:18:41 +00003787 MCAsmParser &Parser = getParser();
Jack Carter07c818d2013-01-25 01:31:34 +00003788 StringRef IDVal = DirectiveID.getString();
3789
Matheus Almeida525bc4f2014-04-30 11:28:42 +00003790 if (IDVal == ".cpload")
Toma Tabacuc4c202a2014-10-01 14:53:19 +00003791 return parseDirectiveCpLoad(DirectiveID.getLoc());
Matheus Almeidaab5633b2014-03-26 15:44:18 +00003792 if (IDVal == ".dword") {
3793 parseDataDirective(8, DirectiveID.getLoc());
3794 return false;
3795 }
Jack Carterd0bd6422013-04-18 00:41:53 +00003796 if (IDVal == ".ent") {
Daniel Sandersd97a6342014-08-13 10:07:34 +00003797 StringRef SymbolName;
3798
3799 if (Parser.parseIdentifier(SymbolName)) {
3800 reportParseError("expected identifier after .ent");
3801 return false;
3802 }
3803
3804 // There's an undocumented extension that allows an integer to
3805 // follow the name of the procedure which AFAICS is ignored by GAS.
3806 // Example: .ent foo,2
3807 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3808 if (getLexer().isNot(AsmToken::Comma)) {
3809 // Even though we accept this undocumented extension for compatibility
3810 // reasons, the additional integer argument does not actually change
3811 // the behaviour of the '.ent' directive, so we would like to discourage
3812 // its use. We do this by not referring to the extended version in
3813 // error messages which are not directly related to its use.
3814 reportParseError("unexpected token, expected end of statement");
3815 return false;
3816 }
3817 Parser.Lex(); // Eat the comma.
3818 const MCExpr *DummyNumber;
3819 int64_t DummyNumberVal;
3820 // If the user was explicitly trying to use the extended version,
3821 // we still give helpful extension-related error messages.
3822 if (Parser.parseExpression(DummyNumber)) {
3823 reportParseError("expected number after comma");
3824 return false;
3825 }
3826 if (!DummyNumber->EvaluateAsAbsolute(DummyNumberVal)) {
3827 reportParseError("expected an absolute expression after comma");
3828 return false;
3829 }
3830 }
3831
3832 // If this is not the end of the statement, report an error.
3833 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3834 reportParseError("unexpected token, expected end of statement");
3835 return false;
3836 }
3837
3838 MCSymbol *Sym = getContext().GetOrCreateSymbol(SymbolName);
3839
3840 getTargetStreamer().emitDirectiveEnt(*Sym);
3841 CurrentFn = Sym;
Jack Carterbe332172012-09-07 00:48:02 +00003842 return false;
3843 }
3844
Jack Carter07c818d2013-01-25 01:31:34 +00003845 if (IDVal == ".end") {
Daniel Sandersd97a6342014-08-13 10:07:34 +00003846 StringRef SymbolName;
3847
3848 if (Parser.parseIdentifier(SymbolName)) {
3849 reportParseError("expected identifier after .end");
3850 return false;
3851 }
3852
3853 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3854 reportParseError("unexpected token, expected end of statement");
3855 return false;
3856 }
3857
3858 if (CurrentFn == nullptr) {
3859 reportParseError(".end used without .ent");
3860 return false;
3861 }
3862
3863 if ((SymbolName != CurrentFn->getName())) {
3864 reportParseError(".end symbol does not match .ent symbol");
3865 return false;
3866 }
3867
3868 getTargetStreamer().emitDirectiveEnd(SymbolName);
3869 CurrentFn = nullptr;
Jack Carterbe332172012-09-07 00:48:02 +00003870 return false;
3871 }
3872
Jack Carter07c818d2013-01-25 01:31:34 +00003873 if (IDVal == ".frame") {
Daniel Sandersd97a6342014-08-13 10:07:34 +00003874 // .frame $stack_reg, frame_size_in_bytes, $return_reg
3875 SmallVector<std::unique_ptr<MCParsedAsmOperand>, 1> TmpReg;
Toma Tabacu13964452014-09-04 13:23:44 +00003876 OperandMatchResultTy ResTy = parseAnyRegister(TmpReg);
Daniel Sandersd97a6342014-08-13 10:07:34 +00003877 if (ResTy == MatchOperand_NoMatch || ResTy == MatchOperand_ParseFail) {
3878 reportParseError("expected stack register");
3879 return false;
3880 }
3881
3882 MipsOperand &StackRegOpnd = static_cast<MipsOperand &>(*TmpReg[0]);
3883 if (!StackRegOpnd.isGPRAsmReg()) {
3884 reportParseError(StackRegOpnd.getStartLoc(),
3885 "expected general purpose register");
3886 return false;
3887 }
3888 unsigned StackReg = StackRegOpnd.getGPR32Reg();
3889
3890 if (Parser.getTok().is(AsmToken::Comma))
3891 Parser.Lex();
3892 else {
3893 reportParseError("unexpected token, expected comma");
3894 return false;
3895 }
3896
3897 // Parse the frame size.
3898 const MCExpr *FrameSize;
3899 int64_t FrameSizeVal;
3900
3901 if (Parser.parseExpression(FrameSize)) {
3902 reportParseError("expected frame size value");
3903 return false;
3904 }
3905
3906 if (!FrameSize->EvaluateAsAbsolute(FrameSizeVal)) {
3907 reportParseError("frame size not an absolute expression");
3908 return false;
3909 }
3910
3911 if (Parser.getTok().is(AsmToken::Comma))
3912 Parser.Lex();
3913 else {
3914 reportParseError("unexpected token, expected comma");
3915 return false;
3916 }
3917
3918 // Parse the return register.
3919 TmpReg.clear();
Toma Tabacu13964452014-09-04 13:23:44 +00003920 ResTy = parseAnyRegister(TmpReg);
Daniel Sandersd97a6342014-08-13 10:07:34 +00003921 if (ResTy == MatchOperand_NoMatch || ResTy == MatchOperand_ParseFail) {
3922 reportParseError("expected return register");
3923 return false;
3924 }
3925
3926 MipsOperand &ReturnRegOpnd = static_cast<MipsOperand &>(*TmpReg[0]);
3927 if (!ReturnRegOpnd.isGPRAsmReg()) {
3928 reportParseError(ReturnRegOpnd.getStartLoc(),
3929 "expected general purpose register");
3930 return false;
3931 }
3932
3933 // If this is not the end of the statement, report an error.
3934 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3935 reportParseError("unexpected token, expected end of statement");
3936 return false;
3937 }
3938
3939 getTargetStreamer().emitFrame(StackReg, FrameSizeVal,
3940 ReturnRegOpnd.getGPR32Reg());
Jack Carterbe332172012-09-07 00:48:02 +00003941 return false;
3942 }
3943
Jack Carter07c818d2013-01-25 01:31:34 +00003944 if (IDVal == ".set") {
Jack Carter0b744b32012-10-04 02:29:46 +00003945 return parseDirectiveSet();
Jack Carterbe332172012-09-07 00:48:02 +00003946 }
3947
Daniel Sandersd97a6342014-08-13 10:07:34 +00003948 if (IDVal == ".mask" || IDVal == ".fmask") {
3949 // .mask bitmask, frame_offset
3950 // bitmask: One bit for each register used.
3951 // frame_offset: Offset from Canonical Frame Address ($sp on entry) where
3952 // first register is expected to be saved.
3953 // Examples:
3954 // .mask 0x80000000, -4
3955 // .fmask 0x80000000, -4
3956 //
Jack Carterbe332172012-09-07 00:48:02 +00003957
Daniel Sandersd97a6342014-08-13 10:07:34 +00003958 // Parse the bitmask
3959 const MCExpr *BitMask;
3960 int64_t BitMaskVal;
3961
3962 if (Parser.parseExpression(BitMask)) {
3963 reportParseError("expected bitmask value");
3964 return false;
3965 }
3966
3967 if (!BitMask->EvaluateAsAbsolute(BitMaskVal)) {
3968 reportParseError("bitmask not an absolute expression");
3969 return false;
3970 }
3971
3972 if (Parser.getTok().is(AsmToken::Comma))
3973 Parser.Lex();
3974 else {
3975 reportParseError("unexpected token, expected comma");
3976 return false;
3977 }
3978
3979 // Parse the frame_offset
3980 const MCExpr *FrameOffset;
3981 int64_t FrameOffsetVal;
3982
3983 if (Parser.parseExpression(FrameOffset)) {
3984 reportParseError("expected frame offset value");
3985 return false;
3986 }
3987
3988 if (!FrameOffset->EvaluateAsAbsolute(FrameOffsetVal)) {
3989 reportParseError("frame offset not an absolute expression");
3990 return false;
3991 }
3992
3993 // If this is not the end of the statement, report an error.
3994 if (getLexer().isNot(AsmToken::EndOfStatement)) {
3995 reportParseError("unexpected token, expected end of statement");
3996 return false;
3997 }
3998
3999 if (IDVal == ".mask")
4000 getTargetStreamer().emitMask(BitMaskVal, FrameOffsetVal);
4001 else
4002 getTargetStreamer().emitFMask(BitMaskVal, FrameOffsetVal);
Jack Carterbe332172012-09-07 00:48:02 +00004003 return false;
4004 }
4005
Matheus Almeida0051f2d2014-04-16 15:48:55 +00004006 if (IDVal == ".nan")
4007 return parseDirectiveNaN();
4008
Jack Carter07c818d2013-01-25 01:31:34 +00004009 if (IDVal == ".gpword") {
Vladimir Medic4c299852013-11-06 11:27:05 +00004010 parseDirectiveGpWord();
Jack Carterbe332172012-09-07 00:48:02 +00004011 return false;
4012 }
4013
Rafael Espindolab59fb732014-03-28 18:50:26 +00004014 if (IDVal == ".gpdword") {
Rafael Espindola2378d4c2014-03-31 14:15:07 +00004015 parseDirectiveGpDWord();
Rafael Espindolab59fb732014-03-28 18:50:26 +00004016 return false;
4017 }
4018
Jack Carter07c818d2013-01-25 01:31:34 +00004019 if (IDVal == ".word") {
Matheus Almeida3e2a7022014-03-26 15:24:36 +00004020 parseDataDirective(4, DirectiveID.getLoc());
Jack Carter07c818d2013-01-25 01:31:34 +00004021 return false;
4022 }
4023
Jack Carter0cd3c192014-01-06 23:27:31 +00004024 if (IDVal == ".option")
4025 return parseDirectiveOption();
4026
4027 if (IDVal == ".abicalls") {
4028 getTargetStreamer().emitDirectiveAbiCalls();
4029 if (Parser.getTok().isNot(AsmToken::EndOfStatement)) {
Toma Tabacu65f10572014-09-16 15:00:52 +00004030 Error(Parser.getTok().getLoc(),
4031 "unexpected token, expected end of statement");
Jack Carter0cd3c192014-01-06 23:27:31 +00004032 // Clear line
4033 Parser.eatToEndOfStatement();
4034 }
4035 return false;
4036 }
4037
Daniel Sanders5bce5f62014-03-27 13:52:53 +00004038 if (IDVal == ".cpsetup")
4039 return parseDirectiveCPSetup();
4040
Vladimir Medicfb8a2a92014-07-08 08:59:22 +00004041 if (IDVal == ".module")
4042 return parseDirectiveModule();
4043
Rafael Espindola870c4e92012-01-11 03:56:41 +00004044 return true;
4045}
4046
Rafael Espindola870c4e92012-01-11 03:56:41 +00004047extern "C" void LLVMInitializeMipsAsmParser() {
4048 RegisterMCAsmParser<MipsAsmParser> X(TheMipsTarget);
4049 RegisterMCAsmParser<MipsAsmParser> Y(TheMipselTarget);
4050 RegisterMCAsmParser<MipsAsmParser> A(TheMips64Target);
4051 RegisterMCAsmParser<MipsAsmParser> B(TheMips64elTarget);
4052}
Jack Carterb4dbc172012-09-05 23:34:03 +00004053
4054#define GET_REGISTER_MATCHER
4055#define GET_MATCHER_IMPLEMENTATION
4056#include "MipsGenAsmMatcher.inc"