| Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- ARMMCTargetDesc.cpp - ARM Target Descriptions ---------------------===// |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +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 provides ARM specific target descriptions. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| Chandler Carruth | be81023 | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 14 | #include "ARMBaseInfo.h" |
| Tim Northover | 5cc3dc8 | 2012-12-07 16:50:23 +0000 | [diff] [blame] | 15 | #include "ARMMCAsmInfo.h" |
| Eli Bendersky | 2e2ce49 | 2013-01-30 16:30:19 +0000 | [diff] [blame] | 16 | #include "ARMMCTargetDesc.h" |
| Evan Cheng | 61faa55 | 2011-07-25 21:20:24 +0000 | [diff] [blame] | 17 | #include "InstPrinter/ARMInstPrinter.h" |
| Eli Bendersky | 2e2ce49 | 2013-01-30 16:30:19 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/Triple.h" |
| Evan Cheng | 4d6c9d7 | 2011-08-23 20:15:21 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCCodeGenInfo.h" |
| Rafael Espindola | ac4ad25 | 2013-10-05 16:42:21 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCELFStreamer.h" |
| Evan Cheng | 4d6c9d7 | 2011-08-23 20:15:21 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCInstrAnalysis.h" |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCInstrInfo.h" |
| 23 | #include "llvm/MC/MCRegisterInfo.h" |
| Saleem Abdulrasool | 84b952b | 2014-04-27 03:48:22 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCStreamer.h" |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCSubtargetInfo.h" |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 26 | #include "llvm/Support/ErrorHandling.h" |
| Evan Cheng | 2bb4035 | 2011-08-24 18:08:43 +0000 | [diff] [blame] | 27 | #include "llvm/Support/TargetRegistry.h" |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +0000 | [diff] [blame] | 28 | |
| Joey Gouly | 0e76fa7 | 2013-09-12 10:28:05 +0000 | [diff] [blame] | 29 | using namespace llvm; |
| 30 | |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +0000 | [diff] [blame] | 31 | #define GET_REGINFO_MC_DESC |
| 32 | #include "ARMGenRegisterInfo.inc" |
| 33 | |
| Duncan P. N. Exon Smith | ad98745 | 2015-07-08 17:30:55 +0000 | [diff] [blame] | 34 | static bool getMCRDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
| Joey Gouly | 0e76fa7 | 2013-09-12 10:28:05 +0000 | [diff] [blame] | 35 | std::string &Info) { |
| Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 36 | if (STI.getFeatureBits()[llvm::ARM::HasV7Ops] && |
| Joey Gouly | 830c27a | 2013-09-17 09:54:57 +0000 | [diff] [blame] | 37 | (MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 15) && |
| Joey Gouly | 0e76fa7 | 2013-09-12 10:28:05 +0000 | [diff] [blame] | 38 | (MI.getOperand(1).isImm() && MI.getOperand(1).getImm() == 0) && |
| Joey Gouly | 830c27a | 2013-09-17 09:54:57 +0000 | [diff] [blame] | 39 | // Checks for the deprecated CP15ISB encoding: |
| 40 | // mcr p15, #0, rX, c7, c5, #4 |
| 41 | (MI.getOperand(3).isImm() && MI.getOperand(3).getImm() == 7)) { |
| 42 | if ((MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 4)) { |
| 43 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 5) { |
| 44 | Info = "deprecated since v7, use 'isb'"; |
| 45 | return true; |
| 46 | } |
| 47 | |
| 48 | // Checks for the deprecated CP15DSB encoding: |
| 49 | // mcr p15, #0, rX, c7, c10, #4 |
| 50 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10) { |
| 51 | Info = "deprecated since v7, use 'dsb'"; |
| 52 | return true; |
| 53 | } |
| 54 | } |
| 55 | // Checks for the deprecated CP15DMB encoding: |
| 56 | // mcr p15, #0, rX, c7, c10, #5 |
| 57 | if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10 && |
| 58 | (MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 5)) { |
| 59 | Info = "deprecated since v7, use 'dmb'"; |
| 60 | return true; |
| 61 | } |
| Joey Gouly | 0e76fa7 | 2013-09-12 10:28:05 +0000 | [diff] [blame] | 62 | } |
| 63 | return false; |
| 64 | } |
| 65 | |
| Duncan P. N. Exon Smith | ad98745 | 2015-07-08 17:30:55 +0000 | [diff] [blame] | 66 | static bool getITDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
| Saleem Abdulrasool | 08408ea | 2014-12-16 04:10:10 +0000 | [diff] [blame] | 67 | std::string &Info) { |
| Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 68 | if (STI.getFeatureBits()[llvm::ARM::HasV8Ops] && MI.getOperand(1).isImm() && |
| Saleem Abdulrasool | 08408ea | 2014-12-16 04:10:10 +0000 | [diff] [blame] | 69 | MI.getOperand(1).getImm() != 8) { |
| 70 | Info = "applying IT instruction to more than one subsequent instruction is " |
| 71 | "deprecated"; |
| Amara Emerson | 52cfb6a | 2013-10-03 09:31:51 +0000 | [diff] [blame] | 72 | return true; |
| 73 | } |
| 74 | |
| 75 | return false; |
| 76 | } |
| 77 | |
| Duncan P. N. Exon Smith | ad98745 | 2015-07-08 17:30:55 +0000 | [diff] [blame] | 78 | static bool getARMStoreDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
| Saleem Abdulrasool | 417fc6b | 2014-12-16 05:53:25 +0000 | [diff] [blame] | 79 | std::string &Info) { |
| Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 80 | assert(!STI.getFeatureBits()[llvm::ARM::ModeThumb] && |
| Saleem Abdulrasool | 747ec2d | 2014-12-24 18:40:42 +0000 | [diff] [blame] | 81 | "cannot predicate thumb instructions"); |
| Saleem Abdulrasool | 1ce7d31 | 2014-12-17 16:17:44 +0000 | [diff] [blame] | 82 | |
| 83 | assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments"); |
| Saleem Abdulrasool | 417fc6b | 2014-12-16 05:53:25 +0000 | [diff] [blame] | 84 | for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) { |
| 85 | assert(MI.getOperand(OI).isReg() && "expected register"); |
| 86 | if (MI.getOperand(OI).getReg() == ARM::SP || |
| 87 | MI.getOperand(OI).getReg() == ARM::PC) { |
| 88 | Info = "use of SP or PC in the list is deprecated"; |
| 89 | return true; |
| 90 | } |
| 91 | } |
| 92 | return false; |
| 93 | } |
| 94 | |
| Duncan P. N. Exon Smith | ad98745 | 2015-07-08 17:30:55 +0000 | [diff] [blame] | 95 | static bool getARMLoadDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI, |
| Saleem Abdulrasool | 0fa8320 | 2014-12-20 20:25:36 +0000 | [diff] [blame] | 96 | std::string &Info) { |
| Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 97 | assert(!STI.getFeatureBits()[llvm::ARM::ModeThumb] && |
| Saleem Abdulrasool | 747ec2d | 2014-12-24 18:40:42 +0000 | [diff] [blame] | 98 | "cannot predicate thumb instructions"); |
| Saleem Abdulrasool | 0fa8320 | 2014-12-20 20:25:36 +0000 | [diff] [blame] | 99 | |
| 100 | assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments"); |
| 101 | bool ListContainsPC = false, ListContainsLR = false; |
| 102 | for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) { |
| 103 | assert(MI.getOperand(OI).isReg() && "expected register"); |
| 104 | switch (MI.getOperand(OI).getReg()) { |
| 105 | default: |
| 106 | break; |
| 107 | case ARM::LR: |
| 108 | ListContainsLR = true; |
| 109 | break; |
| 110 | case ARM::PC: |
| 111 | ListContainsPC = true; |
| 112 | break; |
| 113 | case ARM::SP: |
| 114 | Info = "use of SP in the list is deprecated"; |
| 115 | return true; |
| 116 | } |
| 117 | } |
| 118 | |
| 119 | if (ListContainsPC && ListContainsLR) { |
| 120 | Info = "use of LR and PC simultaneously in the list is deprecated"; |
| 121 | return true; |
| 122 | } |
| 123 | |
| 124 | return false; |
| 125 | } |
| 126 | |
| Evan Cheng | 928ce72 | 2011-07-06 22:02:34 +0000 | [diff] [blame] | 127 | #define GET_INSTRINFO_MC_DESC |
| 128 | #include "ARMGenInstrInfo.inc" |
| 129 | |
| 130 | #define GET_SUBTARGETINFO_MC_DESC |
| 131 | #include "ARMGenSubtargetInfo.inc" |
| 132 | |
| Daniel Sanders | a73f1fd | 2015-06-10 12:11:26 +0000 | [diff] [blame] | 133 | std::string ARM_MC::ParseARMTriple(const Triple &TT, StringRef CPU) { |
| 134 | bool isThumb = |
| 135 | TT.getArch() == Triple::thumb || TT.getArch() == Triple::thumbeb; |
| Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 136 | |
| Evan Cheng | f52003d | 2012-04-27 01:27:19 +0000 | [diff] [blame] | 137 | bool NoCPU = CPU == "generic" || CPU.empty(); |
| Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 138 | std::string ARMArchFeature; |
| Daniel Sanders | a73f1fd | 2015-06-10 12:11:26 +0000 | [diff] [blame] | 139 | switch (TT.getSubArch()) { |
| Tim Northover | c879d06 | 2014-09-05 07:56:46 +0000 | [diff] [blame] | 140 | default: |
| 141 | llvm_unreachable("invalid sub-architecture for ARM"); |
| Renato Golin | c17a07b | 2014-07-18 12:00:48 +0000 | [diff] [blame] | 142 | case Triple::ARMSubArch_v8: |
| 143 | if (NoCPU) |
| 144 | // v8a: FeatureDB, FeatureFPARMv8, FeatureNEON, FeatureDSPThumb2, |
| 145 | // FeatureMP, FeatureHWDiv, FeatureHWDivARM, FeatureTrustZone, |
| 146 | // FeatureT2XtPk, FeatureCrypto, FeatureCRC |
| 147 | ARMArchFeature = "+v8,+db,+fp-armv8,+neon,+t2dsp,+mp,+hwdiv,+hwdiv-arm," |
| 148 | "+trustzone,+t2xtpk,+crypto,+crc"; |
| 149 | else |
| 150 | // Use CPU to figure out the exact features |
| 151 | ARMArchFeature = "+v8"; |
| 152 | break; |
| Vladimir Sukharev | c632cda | 2015-03-26 17:05:54 +0000 | [diff] [blame] | 153 | case Triple::ARMSubArch_v8_1a: |
| 154 | if (NoCPU) |
| 155 | // v8.1a: FeatureDB, FeatureFPARMv8, FeatureNEON, FeatureDSPThumb2, |
| 156 | // FeatureMP, FeatureHWDiv, FeatureHWDivARM, FeatureTrustZone, |
| 157 | // FeatureT2XtPk, FeatureCrypto, FeatureCRC, FeatureV8_1a |
| 158 | ARMArchFeature = "+v8.1a,+db,+fp-armv8,+neon,+t2dsp,+mp,+hwdiv,+hwdiv-arm," |
| 159 | "+trustzone,+t2xtpk,+crypto,+crc"; |
| 160 | else |
| 161 | // Use CPU to figure out the exact features |
| 162 | ARMArchFeature = "+v8.1a"; |
| 163 | break; |
| Renato Golin | c17a07b | 2014-07-18 12:00:48 +0000 | [diff] [blame] | 164 | case Triple::ARMSubArch_v7m: |
| 165 | isThumb = true; |
| 166 | if (NoCPU) |
| 167 | // v7m: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureMClass |
| 168 | ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+mclass"; |
| 169 | else |
| 170 | // Use CPU to figure out the exact features. |
| 171 | ARMArchFeature = "+v7"; |
| 172 | break; |
| 173 | case Triple::ARMSubArch_v7em: |
| 174 | if (NoCPU) |
| 175 | // v7em: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureDSPThumb2, |
| 176 | // FeatureT2XtPk, FeatureMClass |
| John Brawn | c815a96 | 2015-05-22 14:16:22 +0000 | [diff] [blame] | 177 | ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+t2dsp,+t2xtpk,+mclass"; |
| Renato Golin | c17a07b | 2014-07-18 12:00:48 +0000 | [diff] [blame] | 178 | else |
| 179 | // Use CPU to figure out the exact features. |
| 180 | ARMArchFeature = "+v7"; |
| 181 | break; |
| 182 | case Triple::ARMSubArch_v7s: |
| 183 | if (NoCPU) |
| 184 | // v7s: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureHasRAS |
| 185 | // Swift |
| 186 | ARMArchFeature = "+v7,+swift,+neon,+db,+t2dsp,+ras"; |
| 187 | else |
| 188 | // Use CPU to figure out the exact features. |
| 189 | ARMArchFeature = "+v7"; |
| 190 | break; |
| 191 | case Triple::ARMSubArch_v7: |
| 192 | // v7 CPUs have lots of different feature sets. If no CPU is specified, |
| 193 | // then assume v7a (e.g. cortex-a8) feature set. Otherwise, return |
| 194 | // the "minimum" feature set and use CPU string to figure out the exact |
| 195 | // features. |
| 196 | if (NoCPU) |
| 197 | // v7a: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureT2XtPk |
| 198 | ARMArchFeature = "+v7,+neon,+db,+t2dsp,+t2xtpk"; |
| 199 | else |
| 200 | // Use CPU to figure out the exact features. |
| 201 | ARMArchFeature = "+v7"; |
| 202 | break; |
| 203 | case Triple::ARMSubArch_v6t2: |
| 204 | ARMArchFeature = "+v6t2"; |
| 205 | break; |
| Renato Golin | 1235060 | 2015-03-17 11:55:28 +0000 | [diff] [blame] | 206 | case Triple::ARMSubArch_v6k: |
| 207 | ARMArchFeature = "+v6k"; |
| 208 | break; |
| Renato Golin | c17a07b | 2014-07-18 12:00:48 +0000 | [diff] [blame] | 209 | case Triple::ARMSubArch_v6m: |
| 210 | isThumb = true; |
| 211 | if (NoCPU) |
| 212 | // v6m: FeatureNoARM, FeatureMClass |
| 213 | ARMArchFeature = "+v6m,+noarm,+mclass"; |
| 214 | else |
| 215 | ARMArchFeature = "+v6"; |
| 216 | break; |
| 217 | case Triple::ARMSubArch_v6: |
| 218 | ARMArchFeature = "+v6"; |
| 219 | break; |
| 220 | case Triple::ARMSubArch_v5te: |
| 221 | ARMArchFeature = "+v5te"; |
| 222 | break; |
| 223 | case Triple::ARMSubArch_v5: |
| 224 | ARMArchFeature = "+v5t"; |
| 225 | break; |
| 226 | case Triple::ARMSubArch_v4t: |
| 227 | ARMArchFeature = "+v4t"; |
| 228 | break; |
| Renato Golin | e48d9dc | 2014-07-18 12:13:04 +0000 | [diff] [blame] | 229 | case Triple::NoSubArch: |
| 230 | break; |
| Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 231 | } |
| 232 | |
| Evan Cheng | f2c2616 | 2011-07-07 08:26:46 +0000 | [diff] [blame] | 233 | if (isThumb) { |
| 234 | if (ARMArchFeature.empty()) |
| Evan Cheng | 1834f5d | 2011-07-07 19:05:12 +0000 | [diff] [blame] | 235 | ARMArchFeature = "+thumb-mode"; |
| Evan Cheng | f2c2616 | 2011-07-07 08:26:46 +0000 | [diff] [blame] | 236 | else |
| Evan Cheng | 1834f5d | 2011-07-07 19:05:12 +0000 | [diff] [blame] | 237 | ARMArchFeature += ",+thumb-mode"; |
| Evan Cheng | f2c2616 | 2011-07-07 08:26:46 +0000 | [diff] [blame] | 238 | } |
| 239 | |
| Daniel Sanders | a73f1fd | 2015-06-10 12:11:26 +0000 | [diff] [blame] | 240 | if (TT.isOSNaCl()) { |
| Eli Bendersky | 2e2ce49 | 2013-01-30 16:30:19 +0000 | [diff] [blame] | 241 | if (ARMArchFeature.empty()) |
| 242 | ARMArchFeature = "+nacl-trap"; |
| 243 | else |
| 244 | ARMArchFeature += ",+nacl-trap"; |
| 245 | } |
| 246 | |
| Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 247 | return ARMArchFeature; |
| 248 | } |
| Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 249 | |
| Daniel Sanders | a73f1fd | 2015-06-10 12:11:26 +0000 | [diff] [blame] | 250 | MCSubtargetInfo *ARM_MC::createARMMCSubtargetInfo(const Triple &TT, |
| 251 | StringRef CPU, StringRef FS) { |
| Evan Cheng | 9f7ad31 | 2012-04-26 01:13:36 +0000 | [diff] [blame] | 252 | std::string ArchFS = ARM_MC::ParseARMTriple(TT, CPU); |
| Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 253 | if (!FS.empty()) { |
| 254 | if (!ArchFS.empty()) |
| Yaron Keren | 075759a | 2015-03-30 15:42:36 +0000 | [diff] [blame] | 255 | ArchFS = (Twine(ArchFS) + "," + FS).str(); |
| Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 256 | else |
| 257 | ArchFS = FS; |
| 258 | } |
| 259 | |
| Duncan P. N. Exon Smith | 754e21f | 2015-07-10 22:43:42 +0000 | [diff] [blame] | 260 | return createARMMCSubtargetInfoImpl(TT, CPU, ArchFS); |
| Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 261 | } |
| 262 | |
| Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 263 | static MCInstrInfo *createARMMCInstrInfo() { |
| Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 264 | MCInstrInfo *X = new MCInstrInfo(); |
| 265 | InitARMMCInstrInfo(X); |
| 266 | return X; |
| 267 | } |
| 268 | |
| Daniel Sanders | f423f56 | 2015-07-06 16:56:07 +0000 | [diff] [blame] | 269 | static MCRegisterInfo *createARMMCRegisterInfo(const Triple &Triple) { |
| Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 270 | MCRegisterInfo *X = new MCRegisterInfo(); |
| Jim Grosbach | 6df9484 | 2012-12-19 23:38:53 +0000 | [diff] [blame] | 271 | InitARMMCRegisterInfo(X, ARM::LR, 0, 0, ARM::PC); |
| Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 272 | return X; |
| 273 | } |
| 274 | |
| Daniel Sanders | 7813ae8 | 2015-06-04 13:12:25 +0000 | [diff] [blame] | 275 | static MCAsmInfo *createARMMCAsmInfo(const MCRegisterInfo &MRI, |
| 276 | const Triple &TheTriple) { |
| Mark Seaborn | ba86cf5 | 2014-01-27 22:38:14 +0000 | [diff] [blame] | 277 | MCAsmInfo *MAI; |
| Bob Wilson | 1e1f138 | 2014-10-19 00:39:30 +0000 | [diff] [blame] | 278 | if (TheTriple.isOSDarwin() || TheTriple.isOSBinFormatMachO()) |
| Daniel Sanders | 7813ae8 | 2015-06-04 13:12:25 +0000 | [diff] [blame] | 279 | MAI = new ARMMCAsmInfoDarwin(TheTriple); |
| Reid Kleckner | d970702 | 2014-11-17 22:55:59 +0000 | [diff] [blame] | 280 | else if (TheTriple.isWindowsMSVCEnvironment()) |
| Bob Wilson | 1e1f138 | 2014-10-19 00:39:30 +0000 | [diff] [blame] | 281 | MAI = new ARMCOFFMCAsmInfoMicrosoft(); |
| Yaron Keren | d1ba2d9 | 2015-07-14 05:51:05 +0000 | [diff] [blame^] | 282 | else if (TheTriple.isOSWindows()) |
| 283 | MAI = new ARMCOFFMCAsmInfoGNU(); |
| Bob Wilson | 1e1f138 | 2014-10-19 00:39:30 +0000 | [diff] [blame] | 284 | else |
| Daniel Sanders | 7813ae8 | 2015-06-04 13:12:25 +0000 | [diff] [blame] | 285 | MAI = new ARMELFMCAsmInfo(TheTriple); |
| Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 286 | |
| Mark Seaborn | ba86cf5 | 2014-01-27 22:38:14 +0000 | [diff] [blame] | 287 | unsigned Reg = MRI.getDwarfRegNum(ARM::SP, true); |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 288 | MAI->addInitialFrameState(MCCFIInstruction::createDefCfa(nullptr, Reg, 0)); |
| Mark Seaborn | ba86cf5 | 2014-01-27 22:38:14 +0000 | [diff] [blame] | 289 | |
| 290 | return MAI; |
| Evan Cheng | 1705ab0 | 2011-07-14 23:50:31 +0000 | [diff] [blame] | 291 | } |
| 292 | |
| Daniel Sanders | f423f56 | 2015-07-06 16:56:07 +0000 | [diff] [blame] | 293 | static MCCodeGenInfo *createARMMCCodeGenInfo(const Triple &TT, Reloc::Model RM, |
| Evan Cheng | ecb2908 | 2011-11-16 08:38:26 +0000 | [diff] [blame] | 294 | CodeModel::Model CM, |
| 295 | CodeGenOpt::Level OL) { |
| Evan Cheng | 2129f59 | 2011-07-19 06:37:02 +0000 | [diff] [blame] | 296 | MCCodeGenInfo *X = new MCCodeGenInfo(); |
| Jim Grosbach | 4e0dbee | 2011-09-30 17:41:35 +0000 | [diff] [blame] | 297 | if (RM == Reloc::Default) { |
| Jim Grosbach | 4e0dbee | 2011-09-30 17:41:35 +0000 | [diff] [blame] | 298 | // Default relocation model on Darwin is PIC, not DynamicNoPIC. |
| Daniel Sanders | f423f56 | 2015-07-06 16:56:07 +0000 | [diff] [blame] | 299 | RM = TT.isOSDarwin() ? Reloc::PIC_ : Reloc::DynamicNoPIC; |
| Jim Grosbach | 4e0dbee | 2011-09-30 17:41:35 +0000 | [diff] [blame] | 300 | } |
| Jim Grosbach | 4c98cf7 | 2015-05-15 19:13:31 +0000 | [diff] [blame] | 301 | X->initMCCodeGenInfo(RM, CM, OL); |
| Evan Cheng | 2129f59 | 2011-07-19 06:37:02 +0000 | [diff] [blame] | 302 | return X; |
| 303 | } |
| 304 | |
| Rafael Espindola | cd584a8 | 2015-03-19 01:50:16 +0000 | [diff] [blame] | 305 | static MCStreamer *createELFStreamer(const Triple &T, MCContext &Ctx, |
| Rafael Espindola | 5560a4c | 2015-04-14 22:14:34 +0000 | [diff] [blame] | 306 | MCAsmBackend &MAB, raw_pwrite_stream &OS, |
| Rafael Espindola | cd584a8 | 2015-03-19 01:50:16 +0000 | [diff] [blame] | 307 | MCCodeEmitter *Emitter, bool RelaxAll) { |
| 308 | return createARMELFStreamer(Ctx, MAB, OS, Emitter, false, |
| 309 | T.getArch() == Triple::thumb); |
| 310 | } |
| 311 | |
| 312 | static MCStreamer *createARMMachOStreamer(MCContext &Ctx, MCAsmBackend &MAB, |
| Rafael Espindola | 5560a4c | 2015-04-14 22:14:34 +0000 | [diff] [blame] | 313 | raw_pwrite_stream &OS, |
| Rafael Espindola | 36a15cb | 2015-03-20 20:00:01 +0000 | [diff] [blame] | 314 | MCCodeEmitter *Emitter, bool RelaxAll, |
| 315 | bool DWARFMustBeAtTheEnd) { |
| 316 | return createMachOStreamer(Ctx, MAB, OS, Emitter, false, DWARFMustBeAtTheEnd); |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 317 | } |
| 318 | |
| Eric Christopher | f801940 | 2015-03-31 00:10:04 +0000 | [diff] [blame] | 319 | static MCInstPrinter *createARMMCInstPrinter(const Triple &T, |
| 320 | unsigned SyntaxVariant, |
| James Molloy | 4c493e8 | 2011-09-07 17:24:38 +0000 | [diff] [blame] | 321 | const MCAsmInfo &MAI, |
| Craig Topper | 54bfde7 | 2012-04-02 06:09:36 +0000 | [diff] [blame] | 322 | const MCInstrInfo &MII, |
| Eric Christopher | f801940 | 2015-03-31 00:10:04 +0000 | [diff] [blame] | 323 | const MCRegisterInfo &MRI) { |
| Evan Cheng | 61faa55 | 2011-07-25 21:20:24 +0000 | [diff] [blame] | 324 | if (SyntaxVariant == 0) |
| Eric Christopher | 7099d51 | 2015-03-30 21:52:28 +0000 | [diff] [blame] | 325 | return new ARMInstPrinter(MAI, MII, MRI); |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 326 | return nullptr; |
| Evan Cheng | 61faa55 | 2011-07-25 21:20:24 +0000 | [diff] [blame] | 327 | } |
| 328 | |
| Daniel Sanders | 9aa7e38 | 2015-06-10 10:54:40 +0000 | [diff] [blame] | 329 | static MCRelocationInfo *createARMMCRelocationInfo(const Triple &TT, |
| Quentin Colombet | f482805 | 2013-05-24 22:51:52 +0000 | [diff] [blame] | 330 | MCContext &Ctx) { |
| Daniel Sanders | 9aa7e38 | 2015-06-10 10:54:40 +0000 | [diff] [blame] | 331 | if (TT.isOSBinFormatMachO()) |
| Ahmed Bougacha | ad1084d | 2013-05-24 00:39:57 +0000 | [diff] [blame] | 332 | return createARMMachORelocationInfo(Ctx); |
| 333 | // Default to the stock relocation info. |
| Quentin Colombet | f482805 | 2013-05-24 22:51:52 +0000 | [diff] [blame] | 334 | return llvm::createMCRelocationInfo(TT, Ctx); |
| Ahmed Bougacha | ad1084d | 2013-05-24 00:39:57 +0000 | [diff] [blame] | 335 | } |
| 336 | |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 337 | namespace { |
| 338 | |
| 339 | class ARMMCInstrAnalysis : public MCInstrAnalysis { |
| 340 | public: |
| 341 | ARMMCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {} |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 342 | |
| Craig Topper | ca7e3e5 | 2014-03-10 03:19:03 +0000 | [diff] [blame] | 343 | bool isUnconditionalBranch(const MCInst &Inst) const override { |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 344 | // BCCs with the "always" predicate are unconditional branches. |
| 345 | if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL) |
| 346 | return true; |
| 347 | return MCInstrAnalysis::isUnconditionalBranch(Inst); |
| 348 | } |
| 349 | |
| Craig Topper | ca7e3e5 | 2014-03-10 03:19:03 +0000 | [diff] [blame] | 350 | bool isConditionalBranch(const MCInst &Inst) const override { |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 351 | // BCCs with the "always" predicate are unconditional branches. |
| 352 | if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL) |
| 353 | return false; |
| 354 | return MCInstrAnalysis::isConditionalBranch(Inst); |
| 355 | } |
| 356 | |
| Ahmed Bougacha | aa79068 | 2013-05-24 01:07:04 +0000 | [diff] [blame] | 357 | bool evaluateBranch(const MCInst &Inst, uint64_t Addr, |
| Craig Topper | ca7e3e5 | 2014-03-10 03:19:03 +0000 | [diff] [blame] | 358 | uint64_t Size, uint64_t &Target) const override { |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 359 | // We only handle PCRel branches for now. |
| 360 | if (Info->get(Inst.getOpcode()).OpInfo[0].OperandType!=MCOI::OPERAND_PCREL) |
| Ahmed Bougacha | aa79068 | 2013-05-24 01:07:04 +0000 | [diff] [blame] | 361 | return false; |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 362 | |
| 363 | int64_t Imm = Inst.getOperand(0).getImm(); |
| 364 | // FIXME: This is not right for thumb. |
| Ahmed Bougacha | aa79068 | 2013-05-24 01:07:04 +0000 | [diff] [blame] | 365 | Target = Addr+Imm+8; // In ARM mode the PC is always off by 8 bytes. |
| 366 | return true; |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 367 | } |
| 368 | }; |
| 369 | |
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 370 | } |
| Benjamin Kramer | c22d50e | 2011-08-08 18:56:44 +0000 | [diff] [blame] | 371 | |
| 372 | static MCInstrAnalysis *createARMMCInstrAnalysis(const MCInstrInfo *Info) { |
| 373 | return new ARMMCInstrAnalysis(Info); |
| 374 | } |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 375 | |
| Evan Cheng | 8c886a4 | 2011-07-22 21:58:54 +0000 | [diff] [blame] | 376 | // Force static initialization. |
| 377 | extern "C" void LLVMInitializeARMTargetMC() { |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 378 | for (Target *T : {&TheARMLETarget, &TheARMBETarget, &TheThumbLETarget, |
| 379 | &TheThumbBETarget}) { |
| 380 | // Register the MC asm info. |
| 381 | RegisterMCAsmInfoFn X(*T, createARMMCAsmInfo); |
| Evan Cheng | 8c886a4 | 2011-07-22 21:58:54 +0000 | [diff] [blame] | 382 | |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 383 | // Register the MC codegen info. |
| 384 | TargetRegistry::RegisterMCCodeGenInfo(*T, createARMMCCodeGenInfo); |
| Evan Cheng | 8c886a4 | 2011-07-22 21:58:54 +0000 | [diff] [blame] | 385 | |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 386 | // Register the MC instruction info. |
| 387 | TargetRegistry::RegisterMCInstrInfo(*T, createARMMCInstrInfo); |
| Evan Cheng | 8c886a4 | 2011-07-22 21:58:54 +0000 | [diff] [blame] | 388 | |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 389 | // Register the MC register info. |
| 390 | TargetRegistry::RegisterMCRegInfo(*T, createARMMCRegisterInfo); |
| Evan Cheng | 8c886a4 | 2011-07-22 21:58:54 +0000 | [diff] [blame] | 391 | |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 392 | // Register the MC subtarget info. |
| 393 | TargetRegistry::RegisterMCSubtargetInfo(*T, |
| 394 | ARM_MC::createARMMCSubtargetInfo); |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 395 | |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 396 | // Register the MC instruction analyzer. |
| 397 | TargetRegistry::RegisterMCInstrAnalysis(*T, createARMMCInstrAnalysis); |
| 398 | |
| Rafael Espindola | cd584a8 | 2015-03-19 01:50:16 +0000 | [diff] [blame] | 399 | TargetRegistry::RegisterELFStreamer(*T, createELFStreamer); |
| 400 | TargetRegistry::RegisterCOFFStreamer(*T, createARMWinCOFFStreamer); |
| 401 | TargetRegistry::RegisterMachOStreamer(*T, createARMMachOStreamer); |
| 402 | |
| 403 | // Register the obj target streamer. |
| 404 | TargetRegistry::RegisterObjectTargetStreamer(*T, |
| 405 | createARMObjectTargetStreamer); |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 406 | |
| 407 | // Register the asm streamer. |
| 408 | TargetRegistry::RegisterAsmTargetStreamer(*T, createARMTargetAsmStreamer); |
| 409 | |
| 410 | // Register the null TargetStreamer. |
| 411 | TargetRegistry::RegisterNullTargetStreamer(*T, createARMNullTargetStreamer); |
| 412 | |
| 413 | // Register the MCInstPrinter. |
| 414 | TargetRegistry::RegisterMCInstPrinter(*T, createARMMCInstPrinter); |
| 415 | |
| 416 | // Register the MC relocation info. |
| 417 | TargetRegistry::RegisterMCRelocationInfo(*T, createARMMCRelocationInfo); |
| 418 | } |
| Evan Cheng | 4d6c9d7 | 2011-08-23 20:15:21 +0000 | [diff] [blame] | 419 | |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 420 | // Register the MC Code Emitter |
| Rafael Espindola | 69244c3 | 2015-03-18 23:15:49 +0000 | [diff] [blame] | 421 | for (Target *T : {&TheARMLETarget, &TheThumbLETarget}) |
| 422 | TargetRegistry::RegisterMCCodeEmitter(*T, createARMLEMCCodeEmitter); |
| 423 | for (Target *T : {&TheARMBETarget, &TheThumbBETarget}) |
| 424 | TargetRegistry::RegisterMCCodeEmitter(*T, createARMBEMCCodeEmitter); |
| Evan Cheng | ad5f485 | 2011-07-23 00:00:19 +0000 | [diff] [blame] | 425 | |
| 426 | // Register the asm backend. |
| Christian Pirker | dc9ff75 | 2014-04-01 15:19:30 +0000 | [diff] [blame] | 427 | TargetRegistry::RegisterMCAsmBackend(TheARMLETarget, createARMLEAsmBackend); |
| 428 | TargetRegistry::RegisterMCAsmBackend(TheARMBETarget, createARMBEAsmBackend); |
| 429 | TargetRegistry::RegisterMCAsmBackend(TheThumbLETarget, |
| 430 | createThumbLEAsmBackend); |
| 431 | TargetRegistry::RegisterMCAsmBackend(TheThumbBETarget, |
| 432 | createThumbBEAsmBackend); |
| Evan Cheng | 2129f59 | 2011-07-19 06:37:02 +0000 | [diff] [blame] | 433 | } |