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