Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 1 | //===- MIParser.h - Machine Instructions Parser ---------------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file declares the function that parses the machine instructions. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #ifndef LLVM_LIB_CODEGEN_MIRPARSER_MIPARSER_H |
| 15 | #define LLVM_LIB_CODEGEN_MIRPARSER_MIPARSER_H |
| 16 | |
Alex Lorenz | 33f0aef | 2015-06-26 16:46:11 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/DenseMap.h" |
Quentin Colombet | 2c64696 | 2016-06-08 23:27:46 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallSet.h" |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 19 | |
| 20 | namespace llvm { |
| 21 | |
Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 22 | class StringRef; |
Alex Lorenz | 8a1915b | 2015-07-27 22:42:41 +0000 | [diff] [blame] | 23 | class BasicBlock; |
Alex Lorenz | 33f0aef | 2015-06-26 16:46:11 +0000 | [diff] [blame] | 24 | class MachineBasicBlock; |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 25 | class MachineFunction; |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 26 | class MachineInstr; |
| 27 | class MachineRegisterInfo; |
Alex Lorenz | df9e3c6 | 2015-08-19 00:13:25 +0000 | [diff] [blame] | 28 | class MDNode; |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 29 | class RegisterBank; |
Alex Lorenz | 5d6108e | 2015-06-26 22:56:48 +0000 | [diff] [blame] | 30 | struct SlotMapping; |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 31 | class SMDiagnostic; |
| 32 | class SourceMgr; |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 33 | class TargetRegisterClass; |
| 34 | |
| 35 | struct VRegInfo { |
| 36 | enum uint8_t { |
| 37 | UNKNOWN, NORMAL, GENERIC, REGBANK |
| 38 | } Kind = UNKNOWN; |
| 39 | bool Explicit = false; ///< VReg was explicitly specified in the .mir file. |
| 40 | union { |
| 41 | const TargetRegisterClass *RC; |
| 42 | const RegisterBank *RegBank; |
| 43 | } D; |
| 44 | unsigned VReg; |
| 45 | unsigned PreferredReg = 0; |
| 46 | }; |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 47 | |
Matthias Braun | de5fea2 | 2017-01-18 00:59:19 +0000 | [diff] [blame] | 48 | typedef StringMap<const TargetRegisterClass*> Name2RegClassMap; |
| 49 | typedef StringMap<const RegisterBank*> Name2RegBankMap; |
| 50 | |
Alex Lorenz | 7a503fa | 2015-07-07 17:46:43 +0000 | [diff] [blame] | 51 | struct PerFunctionMIParsingState { |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 52 | BumpPtrAllocator Allocator; |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 53 | MachineFunction &MF; |
Matthias Braun | e35861d | 2016-07-13 23:27:50 +0000 | [diff] [blame] | 54 | SourceMgr *SM; |
| 55 | const SlotMapping &IRSlots; |
Matthias Braun | de5fea2 | 2017-01-18 00:59:19 +0000 | [diff] [blame] | 56 | const Name2RegClassMap &Names2RegClasses; |
| 57 | const Name2RegBankMap &Names2RegBanks; |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 58 | |
Alex Lorenz | 7a503fa | 2015-07-07 17:46:43 +0000 | [diff] [blame] | 59 | DenseMap<unsigned, MachineBasicBlock *> MBBSlots; |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 60 | DenseMap<unsigned, VRegInfo*> VRegInfos; |
Alex Lorenz | 7feaf7c | 2015-07-16 23:37:45 +0000 | [diff] [blame] | 61 | DenseMap<unsigned, int> FixedStackObjectSlots; |
| 62 | DenseMap<unsigned, int> StackObjectSlots; |
Alex Lorenz | ab98049 | 2015-07-20 20:51:18 +0000 | [diff] [blame] | 63 | DenseMap<unsigned, unsigned> ConstantPoolSlots; |
Alex Lorenz | 31d7068 | 2015-07-15 23:38:35 +0000 | [diff] [blame] | 64 | DenseMap<unsigned, unsigned> JumpTableSlots; |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 65 | |
Matthias Braun | e35861d | 2016-07-13 23:27:50 +0000 | [diff] [blame] | 66 | PerFunctionMIParsingState(MachineFunction &MF, SourceMgr &SM, |
Matthias Braun | de5fea2 | 2017-01-18 00:59:19 +0000 | [diff] [blame] | 67 | const SlotMapping &IRSlots, |
| 68 | const Name2RegClassMap &Names2RegClasses, |
| 69 | const Name2RegBankMap &Names2RegBanks); |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 70 | |
| 71 | VRegInfo &getVRegInfo(unsigned VReg); |
Alex Lorenz | 7a503fa | 2015-07-07 17:46:43 +0000 | [diff] [blame] | 72 | }; |
| 73 | |
Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 74 | /// Parse the machine basic block definitions, and skip the machine |
| 75 | /// instructions. |
| 76 | /// |
| 77 | /// This function runs the first parsing pass on the machine function's body. |
| 78 | /// It parses only the machine basic block definitions and creates the machine |
| 79 | /// basic blocks in the given machine function. |
| 80 | /// |
| 81 | /// The machine instructions aren't parsed during the first pass because all |
| 82 | /// the machine basic blocks aren't defined yet - this makes it impossible to |
| 83 | /// resolve the machine basic block references. |
| 84 | /// |
| 85 | /// Return true if an error occurred. |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 86 | bool parseMachineBasicBlockDefinitions(PerFunctionMIParsingState &PFS, |
Matthias Braun | e35861d | 2016-07-13 23:27:50 +0000 | [diff] [blame] | 87 | StringRef Src, SMDiagnostic &Error); |
Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 88 | |
| 89 | /// Parse the machine instructions. |
| 90 | /// |
| 91 | /// This function runs the second parsing pass on the machine function's body. |
| 92 | /// It skips the machine basic block definitions and parses only the machine |
| 93 | /// instructions and basic block attributes like liveins and successors. |
| 94 | /// |
| 95 | /// The second parsing pass assumes that the first parsing pass already ran |
| 96 | /// on the given source string. |
| 97 | /// |
| 98 | /// Return true if an error occurred. |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 99 | bool parseMachineInstructions(PerFunctionMIParsingState &PFS, StringRef Src, |
| 100 | SMDiagnostic &Error); |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 101 | |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 102 | bool parseMBBReference(PerFunctionMIParsingState &PFS, |
Matthias Braun | e35861d | 2016-07-13 23:27:50 +0000 | [diff] [blame] | 103 | MachineBasicBlock *&MBB, StringRef Src, |
Matthias Braun | 8394786 | 2016-07-13 22:23:23 +0000 | [diff] [blame] | 104 | SMDiagnostic &Error); |
Alex Lorenz | f09df00 | 2015-06-30 18:16:42 +0000 | [diff] [blame] | 105 | |
Tom Stellard | 9c884e4 | 2016-11-15 00:03:14 +0000 | [diff] [blame] | 106 | bool parseRegisterReference(PerFunctionMIParsingState &PFS, |
| 107 | unsigned &Reg, StringRef Src, |
| 108 | SMDiagnostic &Error); |
| 109 | |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 110 | bool parseNamedRegisterReference(PerFunctionMIParsingState &PFS, unsigned &Reg, |
| 111 | StringRef Src, SMDiagnostic &Error); |
Alex Lorenz | 9fab370 | 2015-07-14 21:24:41 +0000 | [diff] [blame] | 112 | |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 113 | bool parseVirtualRegisterReference(PerFunctionMIParsingState &PFS, |
| 114 | VRegInfo *&Info, StringRef Src, |
Alex Lorenz | 12045a4 | 2015-07-27 17:42:45 +0000 | [diff] [blame] | 115 | SMDiagnostic &Error); |
| 116 | |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 117 | bool parseStackObjectReference(PerFunctionMIParsingState &PFS, int &FI, |
| 118 | StringRef Src, SMDiagnostic &Error); |
Alex Lorenz | a314d81 | 2015-08-18 22:26:26 +0000 | [diff] [blame] | 119 | |
Matthias Braun | 74ad41c | 2016-10-11 03:13:01 +0000 | [diff] [blame] | 120 | bool parseMDNode(PerFunctionMIParsingState &PFS, MDNode *&Node, StringRef Src, |
| 121 | SMDiagnostic &Error); |
Alex Lorenz | df9e3c6 | 2015-08-19 00:13:25 +0000 | [diff] [blame] | 122 | |
Alex Lorenz | 8e0a1b4 | 2015-06-22 17:02:30 +0000 | [diff] [blame] | 123 | } // end namespace llvm |
| 124 | |
| 125 | #endif |