| 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); | 
| Bob Wilson | 1e1f138 | 2014-10-19 00:39:30 +0000 | [diff] [blame] | 280 | else if (TheTriple.isWindowsItaniumEnvironment()) | 
|  | 281 | MAI = new ARMCOFFMCAsmInfoGNU(); | 
| Reid Kleckner | d970702 | 2014-11-17 22:55:59 +0000 | [diff] [blame] | 282 | else if (TheTriple.isWindowsMSVCEnvironment()) | 
| Bob Wilson | 1e1f138 | 2014-10-19 00:39:30 +0000 | [diff] [blame] | 283 | MAI = new ARMCOFFMCAsmInfoMicrosoft(); | 
|  | 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 | } |