| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1 | //===-- ARMAsmPrinter.cpp - Print machine code to an ARM .s file ----------===// |
| 2 | // |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains a printer that converts from our internal representation |
| 11 | // of machine-dependent LLVM code to GAS-format ARM assembly language. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| Chris Lattner | 1ef9cd4 | 2006-12-19 22:59:26 +0000 | [diff] [blame] | 15 | #define DEBUG_TYPE "asm-printer" |
| Jim Grosbach | d0d1329 | 2010-12-01 03:45:07 +0000 | [diff] [blame] | 16 | #include "ARMAsmPrinter.h" |
| Craig Topper | 188ed9d | 2012-03-17 07:33:42 +0000 | [diff] [blame] | 17 | #include "ARM.h" |
| Evan Cheng | e45d685 | 2011-01-11 21:46:47 +0000 | [diff] [blame] | 18 | #include "ARMConstantPoolValue.h" |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 19 | #include "ARMFPUName.h" |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 20 | #include "ARMMachineFunctionInfo.h" |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 21 | #include "ARMTargetMachine.h" |
| Jason W Kim | 109ff29 | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 22 | #include "ARMTargetObjectFile.h" |
| Evan Cheng | e45d685 | 2011-01-11 21:46:47 +0000 | [diff] [blame] | 23 | #include "InstPrinter/ARMInstPrinter.h" |
| Evan Cheng | a20cde3 | 2011-07-20 23:34:39 +0000 | [diff] [blame] | 24 | #include "MCTargetDesc/ARMAddressingModes.h" |
| 25 | #include "MCTargetDesc/ARMMCExpr.h" |
| Jim Grosbach | 330840f | 2012-10-04 21:33:24 +0000 | [diff] [blame] | 26 | #include "llvm/ADT/SetVector.h" |
| 27 | #include "llvm/ADT/SmallString.h" |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 29 | #include "llvm/CodeGen/MachineJumpTableInfo.h" |
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineModuleInfoImpls.h" |
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 31 | #include "llvm/DebugInfo.h" |
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 32 | #include "llvm/IR/Constants.h" |
| 33 | #include "llvm/IR/DataLayout.h" |
| Rafael Espindola | 894843c | 2014-01-07 21:19:40 +0000 | [diff] [blame] | 34 | #include "llvm/IR/Mangler.h" |
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 35 | #include "llvm/IR/Module.h" |
| 36 | #include "llvm/IR/Type.h" |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 37 | #include "llvm/MC/MCAsmInfo.h" |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCAssembler.h" |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCContext.h" |
| Jack Carter | 718da0b | 2013-01-30 02:24:33 +0000 | [diff] [blame] | 40 | #include "llvm/MC/MCELFStreamer.h" |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 41 | #include "llvm/MC/MCInst.h" |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 42 | #include "llvm/MC/MCInstBuilder.h" |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 43 | #include "llvm/MC/MCObjectStreamer.h" |
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 44 | #include "llvm/MC/MCSectionMachO.h" |
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 45 | #include "llvm/MC/MCStreamer.h" |
| Chris Lattner | 4cd4498 | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 46 | #include "llvm/MC/MCSymbol.h" |
| Saleem Abdulrasool | 278a9f4 | 2014-01-19 08:25:27 +0000 | [diff] [blame] | 47 | #include "llvm/Support/ARMBuildAttributes.h" |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 48 | #include "llvm/Support/CommandLine.h" |
| Devang Patel | a52ddc4 | 2010-08-04 22:39:39 +0000 | [diff] [blame] | 49 | #include "llvm/Support/Debug.h" |
| Jack Carter | 718da0b | 2013-01-30 02:24:33 +0000 | [diff] [blame] | 50 | #include "llvm/Support/ELF.h" |
| Torok Edwin | f8d479c | 2009-07-08 20:55:50 +0000 | [diff] [blame] | 51 | #include "llvm/Support/ErrorHandling.h" |
| Evan Cheng | 2bb4035 | 2011-08-24 18:08:43 +0000 | [diff] [blame] | 52 | #include "llvm/Support/TargetRegistry.h" |
| Chris Lattner | d20699b | 2010-04-04 08:18:47 +0000 | [diff] [blame] | 53 | #include "llvm/Support/raw_ostream.h" |
| Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 54 | #include "llvm/Target/TargetMachine.h" |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 55 | #include <cctype> |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 56 | using namespace llvm; |
| 57 | |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 58 | /// EmitDwarfRegOp - Emit dwarf register operation. |
| David Blaikie | 81a4dc7 | 2013-06-19 21:55:13 +0000 | [diff] [blame] | 59 | void ARMAsmPrinter::EmitDwarfRegOp(const MachineLocation &MLoc, |
| 60 | bool Indirect) const { |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 61 | const TargetRegisterInfo *RI = TM.getRegisterInfo(); |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 62 | if (RI->getDwarfRegNum(MLoc.getReg(), false) != -1) { |
| David Blaikie | 81a4dc7 | 2013-06-19 21:55:13 +0000 | [diff] [blame] | 63 | AsmPrinter::EmitDwarfRegOp(MLoc, Indirect); |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 64 | return; |
| 65 | } |
| David Blaikie | 81a4dc7 | 2013-06-19 21:55:13 +0000 | [diff] [blame] | 66 | assert(MLoc.isReg() && !Indirect && |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 67 | "This doesn't support offset/indirection - implement it if needed"); |
| 68 | unsigned Reg = MLoc.getReg(); |
| 69 | if (Reg >= ARM::S0 && Reg <= ARM::S31) { |
| 70 | assert(ARM::S0 + 31 == ARM::S31 && "Unexpected ARM S register numbering"); |
| 71 | // S registers are described as bit-pieces of a register |
| 72 | // S[2x] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 0) |
| 73 | // S[2x+1] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 32) |
| Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 74 | |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 75 | unsigned SReg = Reg - ARM::S0; |
| 76 | bool odd = SReg & 0x1; |
| 77 | unsigned Rx = 256 + (SReg >> 1); |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 78 | |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 79 | OutStreamer.AddComment("DW_OP_regx for S register"); |
| 80 | EmitInt8(dwarf::DW_OP_regx); |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 81 | |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 82 | OutStreamer.AddComment(Twine(SReg)); |
| 83 | EmitULEB128(Rx); |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 84 | |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 85 | if (odd) { |
| 86 | OutStreamer.AddComment("DW_OP_bit_piece 32 32"); |
| 87 | EmitInt8(dwarf::DW_OP_bit_piece); |
| 88 | EmitULEB128(32); |
| 89 | EmitULEB128(32); |
| 90 | } else { |
| 91 | OutStreamer.AddComment("DW_OP_bit_piece 32 0"); |
| 92 | EmitInt8(dwarf::DW_OP_bit_piece); |
| 93 | EmitULEB128(32); |
| 94 | EmitULEB128(0); |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 95 | } |
| David Blaikie | 141b2ac | 2013-06-18 18:03:17 +0000 | [diff] [blame] | 96 | } else if (Reg >= ARM::Q0 && Reg <= ARM::Q15) { |
| 97 | assert(ARM::Q0 + 15 == ARM::Q15 && "Unexpected ARM Q register numbering"); |
| 98 | // Q registers Q0-Q15 are described by composing two D registers together. |
| 99 | // Qx = DW_OP_regx(256+2x) DW_OP_piece(8) DW_OP_regx(256+2x+1) |
| 100 | // DW_OP_piece(8) |
| 101 | |
| 102 | unsigned QReg = Reg - ARM::Q0; |
| 103 | unsigned D1 = 256 + 2 * QReg; |
| 104 | unsigned D2 = D1 + 1; |
| 105 | |
| 106 | OutStreamer.AddComment("DW_OP_regx for Q register: D1"); |
| 107 | EmitInt8(dwarf::DW_OP_regx); |
| 108 | EmitULEB128(D1); |
| 109 | OutStreamer.AddComment("DW_OP_piece 8"); |
| 110 | EmitInt8(dwarf::DW_OP_piece); |
| 111 | EmitULEB128(8); |
| 112 | |
| 113 | OutStreamer.AddComment("DW_OP_regx for Q register: D2"); |
| 114 | EmitInt8(dwarf::DW_OP_regx); |
| 115 | EmitULEB128(D2); |
| 116 | OutStreamer.AddComment("DW_OP_piece 8"); |
| 117 | EmitInt8(dwarf::DW_OP_piece); |
| 118 | EmitULEB128(8); |
| Devang Patel | 3712c14 | 2011-04-21 22:48:26 +0000 | [diff] [blame] | 119 | } |
| 120 | } |
| 121 | |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 122 | void ARMAsmPrinter::EmitFunctionBodyEnd() { |
| 123 | // Make sure to terminate any constant pools that were at the end |
| 124 | // of the function. |
| 125 | if (!InConstantPool) |
| 126 | return; |
| 127 | InConstantPool = false; |
| 128 | OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); |
| 129 | } |
| Owen Anderson | 0ca562e | 2011-10-04 23:26:17 +0000 | [diff] [blame] | 130 | |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 131 | void ARMAsmPrinter::EmitFunctionEntryLabel() { |
| Chris Lattner | 56db8c3 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 132 | if (AFI->isThumbFunction()) { |
| Jim Grosbach | 5a2c68d | 2010-11-05 22:08:08 +0000 | [diff] [blame] | 133 | OutStreamer.EmitAssemblerFlag(MCAF_Code16); |
| Rafael Espindola | e90c1cb | 2011-05-16 16:17:21 +0000 | [diff] [blame] | 134 | OutStreamer.EmitThumbFunc(CurrentFnSym); |
| Chris Lattner | 56db8c3 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 135 | } |
| Jim Grosbach | 8ee5cd9 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 136 | |
| Chris Lattner | 56db8c3 | 2010-01-27 23:58:11 +0000 | [diff] [blame] | 137 | OutStreamer.EmitLabel(CurrentFnSym); |
| 138 | } |
| 139 | |
| James Molloy | 6685c08 | 2012-01-26 09:25:43 +0000 | [diff] [blame] | 140 | void ARMAsmPrinter::EmitXXStructor(const Constant *CV) { |
| Micah Villmow | cdfe20b | 2012-10-08 16:38:25 +0000 | [diff] [blame] | 141 | uint64_t Size = TM.getDataLayout()->getTypeAllocSize(CV->getType()); |
| James Molloy | 6685c08 | 2012-01-26 09:25:43 +0000 | [diff] [blame] | 142 | assert(Size && "C++ constructor pointer had zero size!"); |
| 143 | |
| Bill Wendling | dfb45f4 | 2012-02-15 09:14:08 +0000 | [diff] [blame] | 144 | const GlobalValue *GV = dyn_cast<GlobalValue>(CV->stripPointerCasts()); |
| James Molloy | 6685c08 | 2012-01-26 09:25:43 +0000 | [diff] [blame] | 145 | assert(GV && "C++ constructor pointer was not a GlobalValue!"); |
| 146 | |
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 147 | const MCExpr *E = MCSymbolRefExpr::Create(getSymbol(GV), |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 148 | (Subtarget->isTargetELF() |
| 149 | ? MCSymbolRefExpr::VK_ARM_TARGET1 |
| 150 | : MCSymbolRefExpr::VK_None), |
| James Molloy | 6685c08 | 2012-01-26 09:25:43 +0000 | [diff] [blame] | 151 | OutContext); |
| 152 | |
| 153 | OutStreamer.EmitValue(E, Size); |
| 154 | } |
| 155 | |
| Jim Grosbach | 080fdf4 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 156 | /// runOnMachineFunction - This uses the EmitInstruction() |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 157 | /// method to print assembly for each instruction. |
| 158 | /// |
| 159 | bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) { |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 160 | AFI = MF.getInfo<ARMFunctionInfo>(); |
| Evan Cheng | 5e3ac18 | 2008-09-18 07:27:23 +0000 | [diff] [blame] | 161 | MCP = MF.getConstantPool(); |
| Rafael Espindola | 27f8bdc | 2006-05-23 02:48:20 +0000 | [diff] [blame] | 162 | |
| Chris Lattner | 73de5fb | 2010-01-28 01:28:58 +0000 | [diff] [blame] | 163 | return AsmPrinter::runOnMachineFunction(MF); |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| Evan Cheng | b23b50d | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 166 | void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum, |
| Chris Lattner | 76c564b | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 167 | raw_ostream &O, const char *Modifier) { |
| Evan Cheng | b23b50d | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 168 | const MachineOperand &MO = MI->getOperand(OpNum); |
| Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 169 | unsigned TF = MO.getTargetFlags(); |
| 170 | |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 171 | switch (MO.getType()) { |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 172 | default: llvm_unreachable("<unknown operand type>"); |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 173 | case MachineOperand::MO_Register: { |
| 174 | unsigned Reg = MO.getReg(); |
| Chris Lattner | 93e3ef6 | 2009-10-19 20:59:55 +0000 | [diff] [blame] | 175 | assert(TargetRegisterInfo::isPhysicalRegister(Reg)); |
| Jim Grosbach | 2c95027 | 2010-10-06 21:22:32 +0000 | [diff] [blame] | 176 | assert(!MO.getSubReg() && "Subregs should be eliminated!"); |
| Weiming Zhao | c598700 | 2013-02-14 18:10:21 +0000 | [diff] [blame] | 177 | if(ARM::GPRPairRegClass.contains(Reg)) { |
| 178 | const MachineFunction &MF = *MI->getParent()->getParent(); |
| 179 | const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo(); |
| 180 | Reg = TRI->getSubReg(Reg, ARM::gsub_0); |
| 181 | } |
| Jim Grosbach | 2c95027 | 2010-10-06 21:22:32 +0000 | [diff] [blame] | 182 | O << ARMInstPrinter::getRegisterName(Reg); |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 183 | break; |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 184 | } |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 185 | case MachineOperand::MO_Immediate: { |
| Evan Cheng | 83e0d48 | 2009-09-28 09:14:39 +0000 | [diff] [blame] | 186 | int64_t Imm = MO.getImm(); |
| Anton Korobeynikov | 222b86c | 2009-10-08 20:43:22 +0000 | [diff] [blame] | 187 | O << '#'; |
| Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 188 | if ((Modifier && strcmp(Modifier, "lo16") == 0) || |
| Jason W Kim | e9eae0f | 2011-01-12 23:21:49 +0000 | [diff] [blame] | 189 | (TF == ARMII::MO_LO16)) |
| Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 190 | O << ":lower16:"; |
| 191 | else if ((Modifier && strcmp(Modifier, "hi16") == 0) || |
| Jason W Kim | e9eae0f | 2011-01-12 23:21:49 +0000 | [diff] [blame] | 192 | (TF == ARMII::MO_HI16)) |
| Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 193 | O << ":upper16:"; |
| Anton Korobeynikov | 222b86c | 2009-10-08 20:43:22 +0000 | [diff] [blame] | 194 | O << Imm; |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 195 | break; |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 196 | } |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 197 | case MachineOperand::MO_MachineBasicBlock: |
| Chris Lattner | 29bdac4 | 2010-03-13 21:04:28 +0000 | [diff] [blame] | 198 | O << *MO.getMBB()->getSymbol(); |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 199 | return; |
| Rafael Espindola | 75269be | 2006-07-16 01:02:57 +0000 | [diff] [blame] | 200 | case MachineOperand::MO_GlobalAddress: { |
| Dan Gohman | bcaf681 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 201 | const GlobalValue *GV = MO.getGlobal(); |
| Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 202 | if ((Modifier && strcmp(Modifier, "lo16") == 0) || |
| 203 | (TF & ARMII::MO_LO16)) |
| 204 | O << ":lower16:"; |
| 205 | else if ((Modifier && strcmp(Modifier, "hi16") == 0) || |
| 206 | (TF & ARMII::MO_HI16)) |
| 207 | O << ":upper16:"; |
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 208 | O << *getSymbol(GV); |
| Anton Korobeynikov | bff4b37 | 2008-11-22 16:15:34 +0000 | [diff] [blame] | 209 | |
| Chris Lattner | f33c7fc | 2010-04-03 22:28:33 +0000 | [diff] [blame] | 210 | printOffset(MO.getOffset(), O); |
| Jim Grosbach | f49540c | 2010-10-06 21:36:43 +0000 | [diff] [blame] | 211 | if (TF == ARMII::MO_PLT) |
| Lauro Ramos Venancio | ee2d164 | 2007-04-22 00:04:12 +0000 | [diff] [blame] | 212 | O << "(PLT)"; |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 213 | break; |
| Rafael Espindola | 75269be | 2006-07-16 01:02:57 +0000 | [diff] [blame] | 214 | } |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 215 | case MachineOperand::MO_ConstantPoolIndex: |
| Chris Lattner | c55ea3f | 2010-01-23 07:00:21 +0000 | [diff] [blame] | 216 | O << *GetCPISymbol(MO.getIndex()); |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 217 | break; |
| Rafael Espindola | 91df1ef | 2006-05-25 12:57:06 +0000 | [diff] [blame] | 218 | } |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 219 | } |
| 220 | |
| Evan Cheng | b23b50d | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 221 | //===--------------------------------------------------------------------===// |
| 222 | |
| Chris Lattner | 68d64aa | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 223 | MCSymbol *ARMAsmPrinter:: |
| Chris Lattner | 68d64aa | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 224 | GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const { |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 225 | const DataLayout *DL = TM.getDataLayout(); |
| Chris Lattner | 68d64aa | 2010-01-25 19:51:38 +0000 | [diff] [blame] | 226 | SmallString<60> Name; |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 227 | raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "JTI" |
| Chris Lattner | 8186eec | 2010-01-25 23:28:03 +0000 | [diff] [blame] | 228 | << getFunctionNumber() << '_' << uid << '_' << uid2; |
| Chris Lattner | 9897043 | 2010-03-30 18:10:53 +0000 | [diff] [blame] | 229 | return OutContext.GetOrCreateSymbol(Name.str()); |
| Chris Lattner | 6330d53 | 2010-01-25 19:39:52 +0000 | [diff] [blame] | 230 | } |
| 231 | |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 232 | |
| Dmitri Gribenko | 0011bbf | 2012-11-15 16:51:49 +0000 | [diff] [blame] | 233 | MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel() const { |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 234 | const DataLayout *DL = TM.getDataLayout(); |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 235 | SmallString<60> Name; |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 236 | raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "SJLJEH" |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 237 | << getFunctionNumber(); |
| 238 | return OutContext.GetOrCreateSymbol(Name.str()); |
| 239 | } |
| 240 | |
| Evan Cheng | b23b50d | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 241 | bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum, |
| Chris Lattner | 3bb0976 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 242 | unsigned AsmVariant, const char *ExtraCode, |
| 243 | raw_ostream &O) { |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 244 | // Does this asm operand have a single letter operand modifier? |
| 245 | if (ExtraCode && ExtraCode[0]) { |
| 246 | if (ExtraCode[1] != 0) return true; // Unknown modifier. |
| Anton Korobeynikov | cfed300 | 2009-08-08 23:10:41 +0000 | [diff] [blame] | 247 | |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 248 | switch (ExtraCode[0]) { |
| Jack Carter | 5e69cff | 2012-06-26 13:49:27 +0000 | [diff] [blame] | 249 | default: |
| 250 | // See if this is a generic print operand |
| 251 | return AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O); |
| Bob Wilson | 9ce44e2 | 2009-07-09 23:54:51 +0000 | [diff] [blame] | 252 | case 'a': // Print as a memory address. |
| 253 | if (MI->getOperand(OpNum).isReg()) { |
| Jim Grosbach | 136ed51 | 2010-09-30 15:25:22 +0000 | [diff] [blame] | 254 | O << "[" |
| 255 | << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg()) |
| 256 | << "]"; |
| Bob Wilson | 9ce44e2 | 2009-07-09 23:54:51 +0000 | [diff] [blame] | 257 | return false; |
| 258 | } |
| 259 | // Fallthrough |
| 260 | case 'c': // Don't print "#" before an immediate operand. |
| Bob Wilson | ceffeb6 | 2009-08-21 21:58:55 +0000 | [diff] [blame] | 261 | if (!MI->getOperand(OpNum).isImm()) |
| 262 | return true; |
| Jim Grosbach | 080fdf4 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 263 | O << MI->getOperand(OpNum).getImm(); |
| Bob Wilson | 0669f6d | 2009-04-06 21:46:51 +0000 | [diff] [blame] | 264 | return false; |
| Evan Cheng | 1e150de | 2007-04-04 00:13:29 +0000 | [diff] [blame] | 265 | case 'P': // Print a VFP double precision register. |
| Evan Cheng | 0c2544f | 2009-12-08 23:06:22 +0000 | [diff] [blame] | 266 | case 'q': // Print a NEON quad precision register. |
| Chris Lattner | 76c564b | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 267 | printOperand(MI, OpNum, O); |
| Evan Cheng | ea28fc5 | 2007-03-08 22:42:46 +0000 | [diff] [blame] | 268 | return false; |
| Eric Christopher | 7617883 | 2011-05-24 22:10:34 +0000 | [diff] [blame] | 269 | case 'y': // Print a VFP single precision register as indexed double. |
| Eric Christopher | 7617883 | 2011-05-24 22:10:34 +0000 | [diff] [blame] | 270 | if (MI->getOperand(OpNum).isReg()) { |
| 271 | unsigned Reg = MI->getOperand(OpNum).getReg(); |
| 272 | const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo(); |
| Jakob Stoklund Olesen | 5541f60 | 2012-05-30 23:00:43 +0000 | [diff] [blame] | 273 | // Find the 'd' register that has this 's' register as a sub-register, |
| 274 | // and determine the lane number. |
| 275 | for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR) { |
| 276 | if (!ARM::DPRRegClass.contains(*SR)) |
| 277 | continue; |
| 278 | bool Lane0 = TRI->getSubReg(*SR, ARM::ssub_0) == Reg; |
| 279 | O << ARMInstPrinter::getRegisterName(*SR) << (Lane0 ? "[0]" : "[1]"); |
| 280 | return false; |
| 281 | } |
| Eric Christopher | 7617883 | 2011-05-24 22:10:34 +0000 | [diff] [blame] | 282 | } |
| Eric Christopher | 1b72494 | 2011-05-24 23:27:13 +0000 | [diff] [blame] | 283 | return true; |
| Eric Christopher | d456256 | 2011-05-24 22:27:43 +0000 | [diff] [blame] | 284 | case 'B': // Bitwise inverse of integer or symbol without a preceding #. |
| Eric Christopher | b1dda56 | 2011-05-24 23:15:43 +0000 | [diff] [blame] | 285 | if (!MI->getOperand(OpNum).isImm()) |
| 286 | return true; |
| 287 | O << ~(MI->getOperand(OpNum).getImm()); |
| 288 | return false; |
| Eric Christopher | d456256 | 2011-05-24 22:27:43 +0000 | [diff] [blame] | 289 | case 'L': // The low 16 bits of an immediate constant. |
| Eric Christopher | 1b72494 | 2011-05-24 23:27:13 +0000 | [diff] [blame] | 290 | if (!MI->getOperand(OpNum).isImm()) |
| 291 | return true; |
| 292 | O << (MI->getOperand(OpNum).getImm() & 0xffff); |
| 293 | return false; |
| Eric Christopher | d00e8ad | 2011-05-28 01:40:44 +0000 | [diff] [blame] | 294 | case 'M': { // A register range suitable for LDM/STM. |
| 295 | if (!MI->getOperand(OpNum).isReg()) |
| 296 | return true; |
| 297 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 298 | unsigned RegBegin = MO.getReg(); |
| 299 | // This takes advantage of the 2 operand-ness of ldm/stm and that we've |
| 300 | // already got the operands in registers that are operands to the |
| 301 | // inline asm statement. |
| Weiming Zhao | a3d87a1 | 2013-06-28 17:26:02 +0000 | [diff] [blame] | 302 | O << "{"; |
| 303 | if (ARM::GPRPairRegClass.contains(RegBegin)) { |
| 304 | const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo(); |
| 305 | unsigned Reg0 = TRI->getSubReg(RegBegin, ARM::gsub_0); |
| 306 | O << ARMInstPrinter::getRegisterName(Reg0) << ", ";; |
| 307 | RegBegin = TRI->getSubReg(RegBegin, ARM::gsub_1); |
| 308 | } |
| 309 | O << ARMInstPrinter::getRegisterName(RegBegin); |
| Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 310 | |
| Eric Christopher | d00e8ad | 2011-05-28 01:40:44 +0000 | [diff] [blame] | 311 | // FIXME: The register allocator not only may not have given us the |
| 312 | // registers in sequence, but may not be in ascending registers. This |
| 313 | // will require changes in the register allocator that'll need to be |
| 314 | // propagated down here if the operands change. |
| 315 | unsigned RegOps = OpNum + 1; |
| 316 | while (MI->getOperand(RegOps).isReg()) { |
| Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 317 | O << ", " |
| Eric Christopher | d00e8ad | 2011-05-28 01:40:44 +0000 | [diff] [blame] | 318 | << ARMInstPrinter::getRegisterName(MI->getOperand(RegOps).getReg()); |
| 319 | RegOps++; |
| 320 | } |
| 321 | |
| 322 | O << "}"; |
| 323 | |
| 324 | return false; |
| 325 | } |
| Rafael Espindola | 36a3abc | 2011-08-10 16:26:42 +0000 | [diff] [blame] | 326 | case 'R': // The most significant register of a pair. |
| 327 | case 'Q': { // The least significant register of a pair. |
| 328 | if (OpNum == 0) |
| 329 | return true; |
| 330 | const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1); |
| 331 | if (!FlagsOP.isImm()) |
| 332 | return true; |
| 333 | unsigned Flags = FlagsOP.getImm(); |
| Tim Northover | 2ddeeed | 2013-08-22 06:51:04 +0000 | [diff] [blame] | 334 | |
| 335 | // This operand may not be the one that actually provides the register. If |
| 336 | // it's tied to a previous one then we should refer instead to that one |
| 337 | // for registers and their classes. |
| 338 | unsigned TiedIdx; |
| 339 | if (InlineAsm::isUseOperandTiedToDef(Flags, TiedIdx)) { |
| 340 | for (OpNum = InlineAsm::MIOp_FirstOperand; TiedIdx; --TiedIdx) { |
| 341 | unsigned OpFlags = MI->getOperand(OpNum).getImm(); |
| 342 | OpNum += InlineAsm::getNumOperandRegisters(OpFlags) + 1; |
| 343 | } |
| 344 | Flags = MI->getOperand(OpNum).getImm(); |
| 345 | |
| 346 | // Later code expects OpNum to be pointing at the register rather than |
| 347 | // the flags. |
| 348 | OpNum += 1; |
| 349 | } |
| 350 | |
| Rafael Espindola | 36a3abc | 2011-08-10 16:26:42 +0000 | [diff] [blame] | 351 | unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags); |
| Weiming Zhao | a3d87a1 | 2013-06-28 17:26:02 +0000 | [diff] [blame] | 352 | unsigned RC; |
| 353 | InlineAsm::hasRegClassConstraint(Flags, RC); |
| 354 | if (RC == ARM::GPRPairRegClassID) { |
| 355 | if (NumVals != 1) |
| 356 | return true; |
| 357 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 358 | if (!MO.isReg()) |
| 359 | return true; |
| 360 | const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo(); |
| 361 | unsigned Reg = TRI->getSubReg(MO.getReg(), ExtraCode[0] == 'Q' ? |
| 362 | ARM::gsub_0 : ARM::gsub_1); |
| 363 | O << ARMInstPrinter::getRegisterName(Reg); |
| 364 | return false; |
| 365 | } |
| Rafael Espindola | 36a3abc | 2011-08-10 16:26:42 +0000 | [diff] [blame] | 366 | if (NumVals != 2) |
| 367 | return true; |
| 368 | unsigned RegOp = ExtraCode[0] == 'Q' ? OpNum : OpNum + 1; |
| 369 | if (RegOp >= MI->getNumOperands()) |
| 370 | return true; |
| 371 | const MachineOperand &MO = MI->getOperand(RegOp); |
| 372 | if (!MO.isReg()) |
| 373 | return true; |
| 374 | unsigned Reg = MO.getReg(); |
| 375 | O << ARMInstPrinter::getRegisterName(Reg); |
| 376 | return false; |
| 377 | } |
| 378 | |
| Eric Christopher | d456256 | 2011-05-24 22:27:43 +0000 | [diff] [blame] | 379 | case 'e': // The low doubleword register of a NEON quad register. |
| Bob Wilson | fadc2c8 | 2011-12-12 21:45:15 +0000 | [diff] [blame] | 380 | case 'f': { // The high doubleword register of a NEON quad register. |
| 381 | if (!MI->getOperand(OpNum).isReg()) |
| 382 | return true; |
| 383 | unsigned Reg = MI->getOperand(OpNum).getReg(); |
| 384 | if (!ARM::QPRRegClass.contains(Reg)) |
| 385 | return true; |
| 386 | const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo(); |
| 387 | unsigned SubReg = TRI->getSubReg(Reg, ExtraCode[0] == 'e' ? |
| 388 | ARM::dsub_0 : ARM::dsub_1); |
| 389 | O << ARMInstPrinter::getRegisterName(SubReg); |
| 390 | return false; |
| 391 | } |
| 392 | |
| Eric Christopher | 7d8b53c | 2012-08-13 18:18:52 +0000 | [diff] [blame] | 393 | // This modifier is not yet supported. |
| Eric Christopher | d456256 | 2011-05-24 22:27:43 +0000 | [diff] [blame] | 394 | case 'h': // A range of VFP/NEON registers suitable for VLD1/VST1. |
| Bob Wilson | 40e62df | 2010-05-27 20:23:42 +0000 | [diff] [blame] | 395 | return true; |
| Eric Christopher | 5f61a74 | 2012-08-14 23:32:15 +0000 | [diff] [blame] | 396 | case 'H': { // The highest-numbered register of a pair. |
| Eric Christopher | 7d8b53c | 2012-08-13 18:18:52 +0000 | [diff] [blame] | 397 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 398 | if (!MO.isReg()) |
| 399 | return true; |
| Eric Christopher | 7d8b53c | 2012-08-13 18:18:52 +0000 | [diff] [blame] | 400 | const MachineFunction &MF = *MI->getParent()->getParent(); |
| 401 | const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo(); |
| Weiming Zhao | c598700 | 2013-02-14 18:10:21 +0000 | [diff] [blame] | 402 | unsigned Reg = MO.getReg(); |
| 403 | if(!ARM::GPRPairRegClass.contains(Reg)) |
| 404 | return false; |
| 405 | Reg = TRI->getSubReg(Reg, ARM::gsub_1); |
| Eric Christopher | 7d8b53c | 2012-08-13 18:18:52 +0000 | [diff] [blame] | 406 | O << ARMInstPrinter::getRegisterName(Reg); |
| 407 | return false; |
| Evan Cheng | 3d3ee87 | 2010-05-27 22:08:38 +0000 | [diff] [blame] | 408 | } |
| Eric Christopher | 5f61a74 | 2012-08-14 23:32:15 +0000 | [diff] [blame] | 409 | } |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 410 | } |
| Jim Grosbach | 1eaa90b | 2009-09-04 01:38:51 +0000 | [diff] [blame] | 411 | |
| Chris Lattner | 76c564b | 2010-04-04 04:47:45 +0000 | [diff] [blame] | 412 | printOperand(MI, OpNum, O); |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 413 | return false; |
| 414 | } |
| 415 | |
| Bob Wilson | a2c462b | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 416 | bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, |
| Evan Cheng | b23b50d | 2009-06-29 07:51:04 +0000 | [diff] [blame] | 417 | unsigned OpNum, unsigned AsmVariant, |
| Chris Lattner | 3bb0976 | 2010-04-04 05:29:35 +0000 | [diff] [blame] | 418 | const char *ExtraCode, |
| 419 | raw_ostream &O) { |
| Eric Christopher | 8c5e419 | 2011-05-25 20:51:58 +0000 | [diff] [blame] | 420 | // Does this asm operand have a single letter operand modifier? |
| 421 | if (ExtraCode && ExtraCode[0]) { |
| 422 | if (ExtraCode[1] != 0) return true; // Unknown modifier. |
| Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 423 | |
| Eric Christopher | 8c5e419 | 2011-05-25 20:51:58 +0000 | [diff] [blame] | 424 | switch (ExtraCode[0]) { |
| Eric Christopher | 33a73c7 | 2011-05-26 18:22:26 +0000 | [diff] [blame] | 425 | case 'A': // A memory operand for a VLD1/VST1 instruction. |
| Eric Christopher | 8c5e419 | 2011-05-25 20:51:58 +0000 | [diff] [blame] | 426 | default: return true; // Unknown modifier. |
| 427 | case 'm': // The base register of a memory operand. |
| 428 | if (!MI->getOperand(OpNum).isReg()) |
| 429 | return true; |
| 430 | O << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg()); |
| 431 | return false; |
| 432 | } |
| 433 | } |
| Jim Grosbach | 05dec8b1 | 2011-09-02 18:46:15 +0000 | [diff] [blame] | 434 | |
| Bob Wilson | 3b51560 | 2009-10-13 20:50:28 +0000 | [diff] [blame] | 435 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 436 | assert(MO.isReg() && "unexpected inline asm memory operand"); |
| Jim Grosbach | 080fdf4 | 2010-09-30 01:57:53 +0000 | [diff] [blame] | 437 | O << "[" << ARMInstPrinter::getRegisterName(MO.getReg()) << "]"; |
| Bob Wilson | a2c462b | 2009-05-19 05:53:42 +0000 | [diff] [blame] | 438 | return false; |
| 439 | } |
| 440 | |
| Rafael Espindola | 65fd0a8 | 2014-01-24 15:47:54 +0000 | [diff] [blame^] | 441 | static bool isThumb(const MCSubtargetInfo& STI) { |
| 442 | return (STI.getFeatureBits() & ARM::ModeThumb) != 0; |
| 443 | } |
| 444 | |
| 445 | void ARMAsmPrinter::emitInlineAsmEnd(const MCSubtargetInfo &StartInfo, |
| 446 | MCSubtargetInfo *EndInfo) const { |
| 447 | // If either end mode is unknown (EndInfo == NULL) or different than |
| 448 | // the start mode, then restore the start mode. |
| 449 | const bool WasThumb = isThumb(StartInfo); |
| 450 | if (EndInfo == NULL || WasThumb != isThumb(*EndInfo)) { |
| 451 | OutStreamer.EmitAssemblerFlag(WasThumb ? MCAF_Code16 : MCAF_Code32); |
| 452 | if (EndInfo) |
| 453 | EndInfo->ToggleFeature(ARM::ModeThumb); |
| 454 | } |
| 455 | } |
| 456 | |
| Bob Wilson | b633d7a | 2009-09-30 22:06:26 +0000 | [diff] [blame] | 457 | void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) { |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 458 | if (Subtarget->isTargetMachO()) { |
| Bob Wilson | 20e5f5e | 2009-09-30 00:23:42 +0000 | [diff] [blame] | 459 | Reloc::Model RelocM = TM.getRelocationModel(); |
| 460 | if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) { |
| 461 | // Declare all the text sections up front (before the DWARF sections |
| 462 | // emitted by AsmPrinter::doInitialization) so the assembler will keep |
| 463 | // them together at the beginning of the object file. This helps |
| 464 | // avoid out-of-range branches that are due a fundamental limitation of |
| 465 | // the way symbol offsets are encoded with the current Darwin ARM |
| 466 | // relocations. |
| Jim Grosbach | 8ee5cd9 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 467 | const TargetLoweringObjectFileMachO &TLOFMacho = |
| Dan Gohman | 53d4a08 | 2010-04-17 16:44:48 +0000 | [diff] [blame] | 468 | static_cast<const TargetLoweringObjectFileMachO &>( |
| 469 | getObjFileLowering()); |
| Jim Grosbach | 330840f | 2012-10-04 21:33:24 +0000 | [diff] [blame] | 470 | |
| 471 | // Collect the set of sections our functions will go into. |
| 472 | SetVector<const MCSection *, SmallVector<const MCSection *, 8>, |
| 473 | SmallPtrSet<const MCSection *, 8> > TextSections; |
| 474 | // Default text section comes first. |
| 475 | TextSections.insert(TLOFMacho.getTextSection()); |
| 476 | // Now any user defined text sections from function attributes. |
| 477 | for (Module::iterator F = M.begin(), e = M.end(); F != e; ++F) |
| 478 | if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage()) |
| 479 | TextSections.insert(TLOFMacho.SectionForGlobal(F, Mang, TM)); |
| 480 | // Now the coalescable sections. |
| 481 | TextSections.insert(TLOFMacho.getTextCoalSection()); |
| 482 | TextSections.insert(TLOFMacho.getConstTextCoalSection()); |
| 483 | |
| 484 | // Emit the sections in the .s file header to fix the order. |
| 485 | for (unsigned i = 0, e = TextSections.size(); i != e; ++i) |
| 486 | OutStreamer.SwitchSection(TextSections[i]); |
| 487 | |
| Bob Wilson | b2120755a | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 488 | if (RelocM == Reloc::DynamicNoPIC) { |
| 489 | const MCSection *sect = |
| Chris Lattner | 433d406 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 490 | OutContext.getMachOSection("__TEXT", "__symbol_stub4", |
| 491 | MCSectionMachO::S_SYMBOL_STUBS, |
| 492 | 12, SectionKind::getText()); |
| Bob Wilson | b2120755a | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 493 | OutStreamer.SwitchSection(sect); |
| 494 | } else { |
| 495 | const MCSection *sect = |
| Chris Lattner | 433d406 | 2010-04-08 20:40:11 +0000 | [diff] [blame] | 496 | OutContext.getMachOSection("__TEXT", "__picsymbolstub4", |
| 497 | MCSectionMachO::S_SYMBOL_STUBS, |
| 498 | 16, SectionKind::getText()); |
| Bob Wilson | b2120755a | 2009-09-30 22:25:37 +0000 | [diff] [blame] | 499 | OutStreamer.SwitchSection(sect); |
| 500 | } |
| Bob Wilson | 4320e2d | 2010-07-30 19:55:47 +0000 | [diff] [blame] | 501 | const MCSection *StaticInitSect = |
| 502 | OutContext.getMachOSection("__TEXT", "__StaticInit", |
| 503 | MCSectionMachO::S_REGULAR | |
| 504 | MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, |
| 505 | SectionKind::getText()); |
| 506 | OutStreamer.SwitchSection(StaticInitSect); |
| Bob Wilson | 20e5f5e | 2009-09-30 00:23:42 +0000 | [diff] [blame] | 507 | } |
| Adrian Prantl | 671af5c | 2014-01-20 19:15:59 +0000 | [diff] [blame] | 508 | |
| 509 | // Compiling with debug info should not affect the code |
| 510 | // generation. Ensure the cstring section comes before the |
| 511 | // optional __DWARF secion. Otherwise, PC-relative loads would |
| 512 | // have to use different instruction sequences at "-g" in order to |
| 513 | // reach global data in the same object file. |
| 514 | OutStreamer.SwitchSection(getObjFileLowering().getCStringSection()); |
| Bob Wilson | 20e5f5e | 2009-09-30 00:23:42 +0000 | [diff] [blame] | 515 | } |
| 516 | |
| Jim Grosbach | d7cf55c | 2009-11-09 00:11:35 +0000 | [diff] [blame] | 517 | // Use unified assembler syntax. |
| Jason W Kim | 645f6c2 | 2010-09-30 02:45:56 +0000 | [diff] [blame] | 518 | OutStreamer.EmitAssemblerFlag(MCAF_SyntaxUnified); |
| Anton Korobeynikov | f687a82 | 2009-06-17 23:43:18 +0000 | [diff] [blame] | 519 | |
| Anton Korobeynikov | fa6f1ee | 2009-05-23 19:51:20 +0000 | [diff] [blame] | 520 | // Emit ARM Build Attributes |
| Evan Cheng | 0460ae8 | 2012-02-21 20:46:00 +0000 | [diff] [blame] | 521 | if (Subtarget->isTargetELF()) |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 522 | emitAttributes(); |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 523 | } |
| 524 | |
| Anton Korobeynikov | 0408352 | 2008-08-07 09:54:23 +0000 | [diff] [blame] | 525 | |
| Chris Lattner | ee9399a | 2009-10-19 17:59:19 +0000 | [diff] [blame] | 526 | void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) { |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 527 | if (Subtarget->isTargetMachO()) { |
| Chris Lattner | 73ebe43 | 2009-08-03 22:18:15 +0000 | [diff] [blame] | 528 | // All darwin targets use mach-o. |
| Dan Gohman | 53d4a08 | 2010-04-17 16:44:48 +0000 | [diff] [blame] | 529 | const TargetLoweringObjectFileMachO &TLOFMacho = |
| 530 | static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 531 | MachineModuleInfoMachO &MMIMacho = |
| 532 | MMI->getObjFileInfo<MachineModuleInfoMachO>(); |
| Jim Grosbach | 1eaa90b | 2009-09-04 01:38:51 +0000 | [diff] [blame] | 533 | |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 534 | // Output non-lazy-pointers for external and common global variables. |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 535 | MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList(); |
| Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 536 | |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 537 | if (!Stubs.empty()) { |
| Chris Lattner | cb307a27 | 2009-08-10 01:39:42 +0000 | [diff] [blame] | 538 | // Switch with ".non_lazy_symbol_pointer" directive. |
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 539 | OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection()); |
| Chris Lattner | 292472d | 2009-08-10 18:01:34 +0000 | [diff] [blame] | 540 | EmitAlignment(2); |
| Chris Lattner | 6462adc | 2009-10-19 18:38:33 +0000 | [diff] [blame] | 541 | for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { |
| Bill Wendling | f1eae22 | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 542 | // L_foo$stub: |
| 543 | OutStreamer.EmitLabel(Stubs[i].first); |
| 544 | // .indirect_symbol _foo |
| Bill Wendling | e8e7952 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 545 | MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second; |
| 546 | OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),MCSA_IndirectSymbol); |
| Bill Wendling | ffba5fa | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 547 | |
| Bill Wendling | e8e7952 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 548 | if (MCSym.getInt()) |
| Bill Wendling | ffba5fa | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 549 | // External to current translation unit. |
| Eric Christopher | bf7bc49 | 2013-01-09 03:52:05 +0000 | [diff] [blame] | 550 | OutStreamer.EmitIntValue(0, 4/*size*/); |
| Bill Wendling | ffba5fa | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 551 | else |
| 552 | // Internal to current translation unit. |
| Bill Wendling | 866f576 | 2010-03-31 18:47:10 +0000 | [diff] [blame] | 553 | // |
| Jim Grosbach | 754e1ef | 2010-09-22 16:45:13 +0000 | [diff] [blame] | 554 | // When we place the LSDA into the TEXT section, the type info |
| 555 | // pointers need to be indirect and pc-rel. We accomplish this by |
| 556 | // using NLPs; however, sometimes the types are local to the file. |
| 557 | // We need to fill in the value for the NLP in those cases. |
| Bill Wendling | e8e7952 | 2010-03-11 01:18:13 +0000 | [diff] [blame] | 558 | OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(), |
| 559 | OutContext), |
| Eric Christopher | bf7bc49 | 2013-01-09 03:52:05 +0000 | [diff] [blame] | 560 | 4/*size*/); |
| Evan Cheng | 2a03c7e | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 561 | } |
| Bill Wendling | f1eae22 | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 562 | |
| 563 | Stubs.clear(); |
| 564 | OutStreamer.AddBlankLine(); |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 565 | } |
| 566 | |
| Chris Lattner | 3334deb | 2009-10-19 18:44:38 +0000 | [diff] [blame] | 567 | Stubs = MMIMacho.GetHiddenGVStubList(); |
| 568 | if (!Stubs.empty()) { |
| Chris Lattner | 4b7dadb | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 569 | OutStreamer.SwitchSection(getObjFileLowering().getDataSection()); |
| Chris Lattner | fbcafd4 | 2009-08-10 18:02:16 +0000 | [diff] [blame] | 570 | EmitAlignment(2); |
| Bill Wendling | f1eae22 | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 571 | for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { |
| 572 | // L_foo$stub: |
| 573 | OutStreamer.EmitLabel(Stubs[i].first); |
| 574 | // .long _foo |
| Bill Wendling | a810bdf | 2010-03-10 22:34:10 +0000 | [diff] [blame] | 575 | OutStreamer.EmitValue(MCSymbolRefExpr:: |
| 576 | Create(Stubs[i].second.getPointer(), |
| 577 | OutContext), |
| Eric Christopher | bf7bc49 | 2013-01-09 03:52:05 +0000 | [diff] [blame] | 578 | 4/*size*/); |
| Bill Wendling | f1eae22 | 2010-03-09 00:40:17 +0000 | [diff] [blame] | 579 | } |
| Bill Wendling | ffba5fa | 2010-03-09 00:43:34 +0000 | [diff] [blame] | 580 | |
| 581 | Stubs.clear(); |
| 582 | OutStreamer.AddBlankLine(); |
| Evan Cheng | 2a03c7e | 2008-12-05 01:06:39 +0000 | [diff] [blame] | 583 | } |
| 584 | |
| Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 585 | // Funny Darwin hack: This flag tells the linker that no global symbols |
| 586 | // contain code that falls through to other global symbols (e.g. the obvious |
| 587 | // implementation of multiple entry points). If this doesn't occur, the |
| 588 | // linker can safely perform dead code stripping. Since LLVM never |
| 589 | // generates code that does this, it is always safe to set. |
| Chris Lattner | 685508c | 2010-01-23 06:39:22 +0000 | [diff] [blame] | 590 | OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols); |
| Rafael Espindola | 89e5cbd | 2006-07-27 11:38:51 +0000 | [diff] [blame] | 591 | } |
| Rafael Espindola | ffdc24b | 2006-05-14 22:18:28 +0000 | [diff] [blame] | 592 | } |
| Anton Korobeynikov | 17d28de | 2008-08-17 13:55:10 +0000 | [diff] [blame] | 593 | |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 594 | //===----------------------------------------------------------------------===// |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 595 | // Helper routines for EmitStartOfAsmFile() and EmitEndOfAsmFile() |
| 596 | // FIXME: |
| 597 | // The following seem like one-off assembler flags, but they actually need |
| Jim Grosbach | 25cd3bf | 2010-10-06 22:46:47 +0000 | [diff] [blame] | 598 | // to appear in the .ARM.attributes section in ELF. |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 599 | // Instead of subclassing the MCELFStreamer, we do the work here. |
| 600 | |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 601 | static ARMBuildAttrs::CPUArch getArchForCPU(StringRef CPU, |
| 602 | const ARMSubtarget *Subtarget) { |
| 603 | if (CPU == "xscale") |
| 604 | return ARMBuildAttrs::v5TEJ; |
| 605 | |
| 606 | if (Subtarget->hasV8Ops()) |
| 607 | return ARMBuildAttrs::v8; |
| 608 | else if (Subtarget->hasV7Ops()) { |
| 609 | if (Subtarget->isMClass() && Subtarget->hasThumb2DSP()) |
| 610 | return ARMBuildAttrs::v7E_M; |
| 611 | return ARMBuildAttrs::v7; |
| 612 | } else if (Subtarget->hasV6T2Ops()) |
| 613 | return ARMBuildAttrs::v6T2; |
| 614 | else if (Subtarget->hasV6MOps()) |
| 615 | return ARMBuildAttrs::v6S_M; |
| 616 | else if (Subtarget->hasV6Ops()) |
| 617 | return ARMBuildAttrs::v6; |
| 618 | else if (Subtarget->hasV5TEOps()) |
| 619 | return ARMBuildAttrs::v5TE; |
| 620 | else if (Subtarget->hasV5TOps()) |
| 621 | return ARMBuildAttrs::v5T; |
| 622 | else if (Subtarget->hasV4TOps()) |
| 623 | return ARMBuildAttrs::v4T; |
| 624 | else |
| 625 | return ARMBuildAttrs::v4; |
| 626 | } |
| 627 | |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 628 | void ARMAsmPrinter::emitAttributes() { |
| Rafael Espindola | 4a1a360 | 2014-01-14 01:21:46 +0000 | [diff] [blame] | 629 | MCTargetStreamer &TS = *OutStreamer.getTargetStreamer(); |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 630 | ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS); |
| Jim Grosbach | 25cd3bf | 2010-10-06 22:46:47 +0000 | [diff] [blame] | 631 | |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 632 | ATS.switchVendor("aeabi"); |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 633 | |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 634 | std::string CPUString = Subtarget->getCPUString(); |
| Jason W Kim | 85b0af1 | 2011-02-07 00:49:53 +0000 | [diff] [blame] | 635 | |
| Ana Pazos | 93a07c2 | 2013-12-06 22:48:17 +0000 | [diff] [blame] | 636 | // FIXME: remove krait check when GNU tools support krait cpu |
| 637 | if (CPUString != "generic" && CPUString != "krait") |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 638 | ATS.emitTextAttribute(ARMBuildAttrs::CPU_name, CPUString); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 639 | |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 640 | ATS.emitAttribute(ARMBuildAttrs::CPU_arch, |
| 641 | getArchForCPU(CPUString, Subtarget)); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 642 | |
| Artyom Skrobov | 4d91d94 | 2014-01-10 16:42:55 +0000 | [diff] [blame] | 643 | // Tag_CPU_arch_profile must have the default value of 0 when "Architecture |
| 644 | // profile is not applicable (e.g. pre v7, or cross-profile code)". |
| 645 | if (Subtarget->hasV7Ops()) { |
| 646 | if (Subtarget->isAClass()) { |
| 647 | ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile, |
| 648 | ARMBuildAttrs::ApplicationProfile); |
| 649 | } else if (Subtarget->isRClass()) { |
| 650 | ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile, |
| 651 | ARMBuildAttrs::RealTimeProfile); |
| 652 | } else if (Subtarget->isMClass()) { |
| 653 | ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile, |
| 654 | ARMBuildAttrs::MicroControllerProfile); |
| 655 | } |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 656 | } |
| Jason W Kim | 85b0af1 | 2011-02-07 00:49:53 +0000 | [diff] [blame] | 657 | |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 658 | ATS.emitAttribute(ARMBuildAttrs::ARM_ISA_use, Subtarget->hasARMOps() ? |
| 659 | ARMBuildAttrs::Allowed : ARMBuildAttrs::Not_Allowed); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 660 | if (Subtarget->isThumb1Only()) { |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 661 | ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use, |
| 662 | ARMBuildAttrs::Allowed); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 663 | } else if (Subtarget->hasThumb2()) { |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 664 | ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use, |
| 665 | ARMBuildAttrs::AllowThumb32); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 666 | } |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 667 | |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 668 | if (Subtarget->hasNEON()) { |
| Renato Golin | ec0fc7d | 2011-02-28 22:04:27 +0000 | [diff] [blame] | 669 | /* NEON is not exactly a VFP architecture, but GAS emit one of |
| Joey Gouly | 3c0e556 | 2013-09-13 11:51:52 +0000 | [diff] [blame] | 670 | * neon/neon-fp-armv8/neon-vfpv4/vfpv3/vfpv2 for .fpu parameters */ |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 671 | if (Subtarget->hasFPARMv8()) { |
| 672 | if (Subtarget->hasCrypto()) |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 673 | ATS.emitFPU(ARM::CRYPTO_NEON_FP_ARMV8); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 674 | else |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 675 | ATS.emitFPU(ARM::NEON_FP_ARMV8); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 676 | } |
| Joey Gouly | 3c0e556 | 2013-09-13 11:51:52 +0000 | [diff] [blame] | 677 | else if (Subtarget->hasVFP4()) |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 678 | ATS.emitFPU(ARM::NEON_VFPV4); |
| Anton Korobeynikov | 5482b9f | 2012-01-22 12:07:33 +0000 | [diff] [blame] | 679 | else |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 680 | ATS.emitFPU(ARM::NEON); |
| 681 | // Emit Tag_Advanced_SIMD_arch for ARMv8 architecture |
| Joey Gouly | b1b0dd8 | 2013-06-27 11:49:26 +0000 | [diff] [blame] | 682 | if (Subtarget->hasV8Ops()) |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 683 | ATS.emitAttribute(ARMBuildAttrs::Advanced_SIMD_arch, |
| 684 | ARMBuildAttrs::AllowNeonARMv8); |
| 685 | } else { |
| 686 | if (Subtarget->hasFPARMv8()) |
| 687 | ATS.emitFPU(ARM::FP_ARMV8); |
| 688 | else if (Subtarget->hasVFP4()) |
| 689 | ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV4_D16 : ARM::VFPV4); |
| 690 | else if (Subtarget->hasVFP3()) |
| 691 | ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV3_D16 : ARM::VFPV3); |
| 692 | else if (Subtarget->hasVFP2()) |
| 693 | ATS.emitFPU(ARM::VFPV2); |
| Renato Golin | ec0fc7d | 2011-02-28 22:04:27 +0000 | [diff] [blame] | 694 | } |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 695 | |
| 696 | // Signal various FP modes. |
| Amara Emerson | ac69508 | 2013-10-11 16:03:43 +0000 | [diff] [blame] | 697 | if (!TM.Options.UnsafeFPMath) { |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 698 | ATS.emitAttribute(ARMBuildAttrs::ABI_FP_denormal, ARMBuildAttrs::Allowed); |
| 699 | ATS.emitAttribute(ARMBuildAttrs::ABI_FP_exceptions, |
| 700 | ARMBuildAttrs::Allowed); |
| Amara Emerson | 5035ee0 | 2013-10-07 16:55:23 +0000 | [diff] [blame] | 701 | } |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 702 | |
| Amara Emerson | ac69508 | 2013-10-11 16:03:43 +0000 | [diff] [blame] | 703 | if (TM.Options.NoInfsFPMath && TM.Options.NoNaNsFPMath) |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 704 | ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model, |
| 705 | ARMBuildAttrs::Allowed); |
| Amara Emerson | ac69508 | 2013-10-11 16:03:43 +0000 | [diff] [blame] | 706 | else |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 707 | ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model, |
| 708 | ARMBuildAttrs::AllowIEE754); |
| Amara Emerson | ac69508 | 2013-10-11 16:03:43 +0000 | [diff] [blame] | 709 | |
| Saleem Abdulrasool | 278a9f4 | 2014-01-19 08:25:27 +0000 | [diff] [blame] | 710 | // FIXME: add more flags to ARMBuildAttributes.h |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 711 | // 8-bytes alignment stuff. |
| Saleem Abdulrasool | 196c321 | 2014-01-19 08:25:35 +0000 | [diff] [blame] | 712 | ATS.emitAttribute(ARMBuildAttrs::ABI_align_needed, 1); |
| 713 | ATS.emitAttribute(ARMBuildAttrs::ABI_align_preserved, 1); |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 714 | |
| Bradley Smith | c848beb | 2013-11-01 11:21:16 +0000 | [diff] [blame] | 715 | // ABI_HardFP_use attribute to indicate single precision FP. |
| 716 | if (Subtarget->isFPOnlySP()) |
| 717 | ATS.emitAttribute(ARMBuildAttrs::ABI_HardFP_use, |
| 718 | ARMBuildAttrs::HardFPSinglePrecision); |
| 719 | |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 720 | // Hard float. Use both S and D registers and conform to AAPCS-VFP. |
| Bradley Smith | c848beb | 2013-11-01 11:21:16 +0000 | [diff] [blame] | 721 | if (Subtarget->isAAPCS_ABI() && TM.Options.FloatABIType == FloatABI::Hard) |
| 722 | ATS.emitAttribute(ARMBuildAttrs::ABI_VFP_args, ARMBuildAttrs::HardFPAAPCS); |
| 723 | |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 724 | // FIXME: Should we signal R9 usage? |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 725 | |
| Bradley Smith | 9aa8ac9 | 2013-11-12 10:38:05 +0000 | [diff] [blame] | 726 | if (Subtarget->hasFP16()) |
| 727 | ATS.emitAttribute(ARMBuildAttrs::FP_HP_extension, ARMBuildAttrs::AllowHPFP); |
| 728 | |
| Bradley Smith | 2521975 | 2013-11-01 13:27:35 +0000 | [diff] [blame] | 729 | if (Subtarget->hasMPExtension()) |
| 730 | ATS.emitAttribute(ARMBuildAttrs::MPextension_use, ARMBuildAttrs::AllowMP); |
| 731 | |
| Artyom Skrobov | 10e76a4 | 2014-01-20 10:18:42 +0000 | [diff] [blame] | 732 | // Hardware divide in ARM mode is part of base arch, starting from ARMv8. |
| 733 | // If only Thumb hwdiv is present, it must also be in base arch (ARMv7-R/M). |
| 734 | // It is not possible to produce DisallowDIV: if hwdiv is present in the base |
| 735 | // arch, supplying -hwdiv downgrades the effective arch, via ClearImpliedBits. |
| 736 | // AllowDIVExt is only emitted if hwdiv isn't available in the base arch; |
| 737 | // otherwise, the default value (AllowDIVIfExists) applies. |
| 738 | if (Subtarget->hasDivideInARMMode() && !Subtarget->hasV8Ops()) |
| 739 | ATS.emitAttribute(ARMBuildAttrs::DIV_use, ARMBuildAttrs::AllowDIVExt); |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 740 | |
| Bradley Smith | 2521975 | 2013-11-01 13:27:35 +0000 | [diff] [blame] | 741 | if (Subtarget->hasTrustZone() && Subtarget->hasVirtualization()) |
| 742 | ATS.emitAttribute(ARMBuildAttrs::Virtualization_use, |
| 743 | ARMBuildAttrs::AllowTZVirtualization); |
| 744 | else if (Subtarget->hasTrustZone()) |
| 745 | ATS.emitAttribute(ARMBuildAttrs::Virtualization_use, |
| 746 | ARMBuildAttrs::AllowTZ); |
| 747 | else if (Subtarget->hasVirtualization()) |
| 748 | ATS.emitAttribute(ARMBuildAttrs::Virtualization_use, |
| 749 | ARMBuildAttrs::AllowVirtualization); |
| 750 | |
| Logan Chien | 8cbb80d | 2013-10-28 17:51:12 +0000 | [diff] [blame] | 751 | ATS.finishAttributeSection(); |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 752 | } |
| 753 | |
| Jason W Kim | 109ff29 | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 754 | void ARMAsmPrinter::emitARMAttributeSection() { |
| 755 | // <format-version> |
| 756 | // [ <section-length> "vendor-name" |
| 757 | // [ <file-tag> <size> <attribute>* |
| 758 | // | <section-tag> <size> <section-number>* 0 <attribute>* |
| 759 | // | <symbol-tag> <size> <symbol-number>* 0 <attribute>* |
| 760 | // ]+ |
| 761 | // ]* |
| 762 | |
| 763 | if (OutStreamer.hasRawTextSupport()) |
| 764 | return; |
| 765 | |
| 766 | const ARMElfTargetObjectFile &TLOFELF = |
| 767 | static_cast<const ARMElfTargetObjectFile &> |
| 768 | (getObjFileLowering()); |
| 769 | |
| 770 | OutStreamer.SwitchSection(TLOFELF.getAttributesSection()); |
| Jason W Kim | 109ff29 | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 771 | |
| Rafael Espindola | 0ed1543 | 2010-10-25 17:50:35 +0000 | [diff] [blame] | 772 | // Format version |
| 773 | OutStreamer.EmitIntValue(0x41, 1); |
| Jason W Kim | 109ff29 | 2010-10-11 23:01:44 +0000 | [diff] [blame] | 774 | } |
| 775 | |
| Jason W Kim | bff84d4 | 2010-10-06 22:36:46 +0000 | [diff] [blame] | 776 | //===----------------------------------------------------------------------===// |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 777 | |
| Jim Grosbach | af5d635 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 778 | static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber, |
| 779 | unsigned LabelId, MCContext &Ctx) { |
| 780 | |
| 781 | MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix) |
| 782 | + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId)); |
| 783 | return Label; |
| 784 | } |
| 785 | |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 786 | static MCSymbolRefExpr::VariantKind |
| 787 | getModifierVariantKind(ARMCP::ARMCPModifier Modifier) { |
| 788 | switch (Modifier) { |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 789 | case ARMCP::no_modifier: return MCSymbolRefExpr::VK_None; |
| David Peixotto | 8ad70b3 | 2013-12-04 22:43:20 +0000 | [diff] [blame] | 790 | case ARMCP::TLSGD: return MCSymbolRefExpr::VK_TLSGD; |
| 791 | case ARMCP::TPOFF: return MCSymbolRefExpr::VK_TPOFF; |
| 792 | case ARMCP::GOTTPOFF: return MCSymbolRefExpr::VK_GOTTPOFF; |
| 793 | case ARMCP::GOT: return MCSymbolRefExpr::VK_GOT; |
| 794 | case ARMCP::GOTOFF: return MCSymbolRefExpr::VK_GOTOFF; |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 795 | } |
| David Blaikie | 46a9f01 | 2012-01-20 21:51:11 +0000 | [diff] [blame] | 796 | llvm_unreachable("Invalid ARMCPModifier!"); |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 797 | } |
| 798 | |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 799 | MCSymbol *ARMAsmPrinter::GetARMGVSymbol(const GlobalValue *GV, |
| 800 | unsigned char TargetFlags) { |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 801 | bool isIndirect = Subtarget->isTargetMachO() && |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 802 | (TargetFlags & ARMII::MO_NONLAZY) && |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 803 | Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel()); |
| 804 | if (!isIndirect) |
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 805 | return getSymbol(GV); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 806 | |
| 807 | // FIXME: Remove this when Darwin transition to @GOT like syntax. |
| Rafael Espindola | f4e6b29 | 2013-12-02 16:25:47 +0000 | [diff] [blame] | 808 | MCSymbol *MCSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 809 | MachineModuleInfoMachO &MMIMachO = |
| 810 | MMI->getObjFileInfo<MachineModuleInfoMachO>(); |
| 811 | MachineModuleInfoImpl::StubValueTy &StubSym = |
| 812 | GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(MCSym) : |
| 813 | MMIMachO.getGVStubEntry(MCSym); |
| 814 | if (StubSym.getPointer() == 0) |
| 815 | StubSym = MachineModuleInfoImpl:: |
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 816 | StubValueTy(getSymbol(GV), !GV->hasInternalLinkage()); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 817 | return MCSym; |
| 818 | } |
| 819 | |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 820 | void ARMAsmPrinter:: |
| 821 | EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) { |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 822 | const DataLayout *DL = TM.getDataLayout(); |
| Micah Villmow | cdfe20b | 2012-10-08 16:38:25 +0000 | [diff] [blame] | 823 | int Size = TM.getDataLayout()->getTypeAllocSize(MCPV->getType()); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 824 | |
| 825 | ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 826 | |
| Jim Grosbach | ca21cd7 | 2010-11-10 17:59:10 +0000 | [diff] [blame] | 827 | MCSymbol *MCSym; |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 828 | if (ACPV->isLSDA()) { |
| Jim Grosbach | ca21cd7 | 2010-11-10 17:59:10 +0000 | [diff] [blame] | 829 | SmallString<128> Str; |
| 830 | raw_svector_ostream OS(Str); |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 831 | OS << DL->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber(); |
| Jim Grosbach | ca21cd7 | 2010-11-10 17:59:10 +0000 | [diff] [blame] | 832 | MCSym = OutContext.GetOrCreateSymbol(OS.str()); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 833 | } else if (ACPV->isBlockAddress()) { |
| Bill Wendling | 7753d66 | 2011-10-01 08:00:54 +0000 | [diff] [blame] | 834 | const BlockAddress *BA = |
| 835 | cast<ARMConstantPoolConstant>(ACPV)->getBlockAddress(); |
| 836 | MCSym = GetBlockAddressSymbol(BA); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 837 | } else if (ACPV->isGlobalValue()) { |
| Bill Wendling | 7753d66 | 2011-10-01 08:00:54 +0000 | [diff] [blame] | 838 | const GlobalValue *GV = cast<ARMConstantPoolConstant>(ACPV)->getGV(); |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 839 | |
| 840 | // On Darwin, const-pool entries may get the "FOO$non_lazy_ptr" mangling, so |
| 841 | // flag the global as MO_NONLAZY. |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 842 | unsigned char TF = Subtarget->isTargetMachO() ? ARMII::MO_NONLAZY : 0; |
| Tim Northover | d34094e | 2013-11-25 17:04:35 +0000 | [diff] [blame] | 843 | MCSym = GetARMGVSymbol(GV, TF); |
| Bill Wendling | 69bc3de | 2011-09-29 23:50:42 +0000 | [diff] [blame] | 844 | } else if (ACPV->isMachineBasicBlock()) { |
| Bill Wendling | 4a4772f | 2011-10-01 09:30:42 +0000 | [diff] [blame] | 845 | const MachineBasicBlock *MBB = cast<ARMConstantPoolMBB>(ACPV)->getMBB(); |
| Bill Wendling | 69bc3de | 2011-09-29 23:50:42 +0000 | [diff] [blame] | 846 | MCSym = MBB->getSymbol(); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 847 | } else { |
| 848 | assert(ACPV->isExtSymbol() && "unrecognized constant pool value"); |
| Bill Wendling | c214cb0 | 2011-10-01 08:58:29 +0000 | [diff] [blame] | 849 | const char *Sym = cast<ARMConstantPoolSymbol>(ACPV)->getSymbol(); |
| 850 | MCSym = GetExternalSymbolSymbol(Sym); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 851 | } |
| 852 | |
| 853 | // Create an MCSymbol for the reference. |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 854 | const MCExpr *Expr = |
| 855 | MCSymbolRefExpr::Create(MCSym, getModifierVariantKind(ACPV->getModifier()), |
| 856 | OutContext); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 857 | |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 858 | if (ACPV->getPCAdjustment()) { |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 859 | MCSymbol *PCLabel = getPICLabel(DL->getPrivateGlobalPrefix(), |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 860 | getFunctionNumber(), |
| 861 | ACPV->getLabelId(), |
| 862 | OutContext); |
| 863 | const MCExpr *PCRelExpr = MCSymbolRefExpr::Create(PCLabel, OutContext); |
| 864 | PCRelExpr = |
| 865 | MCBinaryExpr::CreateAdd(PCRelExpr, |
| 866 | MCConstantExpr::Create(ACPV->getPCAdjustment(), |
| 867 | OutContext), |
| 868 | OutContext); |
| 869 | if (ACPV->mustAddCurrentAddress()) { |
| 870 | // We want "(<expr> - .)", but MC doesn't have a concept of the '.' |
| 871 | // label, so just emit a local label end reference that instead. |
| 872 | MCSymbol *DotSym = OutContext.CreateTempSymbol(); |
| 873 | OutStreamer.EmitLabel(DotSym); |
| 874 | const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext); |
| 875 | PCRelExpr = MCBinaryExpr::CreateSub(PCRelExpr, DotExpr, OutContext); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 876 | } |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 877 | Expr = MCBinaryExpr::CreateSub(Expr, PCRelExpr, OutContext); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 878 | } |
| Jim Grosbach | f23b2d9 | 2010-11-10 03:26:07 +0000 | [diff] [blame] | 879 | OutStreamer.EmitValue(Expr, Size); |
| Jim Grosbach | 38f8e76 | 2010-11-09 18:45:04 +0000 | [diff] [blame] | 880 | } |
| 881 | |
| Jim Grosbach | 284eebc | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 882 | void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) { |
| 883 | unsigned Opcode = MI->getOpcode(); |
| 884 | int OpNum = 1; |
| 885 | if (Opcode == ARM::BR_JTadd) |
| 886 | OpNum = 2; |
| 887 | else if (Opcode == ARM::BR_JTm) |
| 888 | OpNum = 3; |
| 889 | |
| 890 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 891 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
| 892 | unsigned JTI = MO1.getIndex(); |
| 893 | |
| 894 | // Emit a label for the jump table. |
| 895 | MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm()); |
| 896 | OutStreamer.EmitLabel(JTISymbol); |
| 897 | |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 898 | // Mark the jump table as data-in-code. |
| 899 | OutStreamer.EmitDataRegion(MCDR_DataRegionJT32); |
| 900 | |
| Jim Grosbach | 284eebc | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 901 | // Emit each entry of the table. |
| 902 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
| 903 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 904 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
| 905 | |
| 906 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 907 | MachineBasicBlock *MBB = JTBBs[i]; |
| 908 | // Construct an MCExpr for the entry. We want a value of the form: |
| 909 | // (BasicBlockAddr - TableBeginAddr) |
| 910 | // |
| 911 | // For example, a table with entries jumping to basic blocks BB0 and BB1 |
| 912 | // would look like: |
| 913 | // LJTI_0_0: |
| 914 | // .word (LBB0 - LJTI_0_0) |
| 915 | // .word (LBB1 - LJTI_0_0) |
| 916 | const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext); |
| 917 | |
| 918 | if (TM.getRelocationModel() == Reloc::PIC_) |
| 919 | Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol, |
| 920 | OutContext), |
| 921 | OutContext); |
| Jim Grosbach | e1995f2 | 2011-08-31 22:23:09 +0000 | [diff] [blame] | 922 | // If we're generating a table of Thumb addresses in static relocation |
| 923 | // model, we need to add one to keep interworking correctly. |
| 924 | else if (AFI->isThumbFunction()) |
| 925 | Expr = MCBinaryExpr::CreateAdd(Expr, MCConstantExpr::Create(1,OutContext), |
| 926 | OutContext); |
| Jim Grosbach | 284eebc | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 927 | OutStreamer.EmitValue(Expr, 4); |
| 928 | } |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 929 | // Mark the end of jump table data-in-code region. |
| 930 | OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); |
| Jim Grosbach | 284eebc | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 931 | } |
| 932 | |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 933 | void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) { |
| 934 | unsigned Opcode = MI->getOpcode(); |
| 935 | int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1; |
| 936 | const MachineOperand &MO1 = MI->getOperand(OpNum); |
| 937 | const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id |
| 938 | unsigned JTI = MO1.getIndex(); |
| 939 | |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 940 | MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm()); |
| 941 | OutStreamer.EmitLabel(JTISymbol); |
| 942 | |
| 943 | // Emit each entry of the table. |
| 944 | const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo(); |
| 945 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 946 | const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs; |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 947 | unsigned OffsetWidth = 4; |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 948 | if (MI->getOpcode() == ARM::t2TBB_JT) { |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 949 | OffsetWidth = 1; |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 950 | // Mark the jump table as data-in-code. |
| 951 | OutStreamer.EmitDataRegion(MCDR_DataRegionJT8); |
| 952 | } else if (MI->getOpcode() == ARM::t2TBH_JT) { |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 953 | OffsetWidth = 2; |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 954 | // Mark the jump table as data-in-code. |
| 955 | OutStreamer.EmitDataRegion(MCDR_DataRegionJT16); |
| 956 | } |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 957 | |
| 958 | for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) { |
| 959 | MachineBasicBlock *MBB = JTBBs[i]; |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 960 | const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(), |
| 961 | OutContext); |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 962 | // If this isn't a TBB or TBH, the entries are direct branch instructions. |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 963 | if (OffsetWidth == 4) { |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 964 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2B) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 965 | .addExpr(MBBSymbolExpr) |
| 966 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 967 | .addReg(0)); |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 968 | continue; |
| 969 | } |
| 970 | // Otherwise it's an offset from the dispatch instruction. Construct an |
| Jim Grosbach | 1573b29 | 2010-09-22 17:15:35 +0000 | [diff] [blame] | 971 | // MCExpr for the entry. We want a value of the form: |
| 972 | // (BasicBlockAddr - TableBeginAddr) / 2 |
| 973 | // |
| 974 | // For example, a TBB table with entries jumping to basic blocks BB0 and BB1 |
| 975 | // would look like: |
| 976 | // LJTI_0_0: |
| 977 | // .byte (LBB0 - LJTI_0_0) / 2 |
| 978 | // .byte (LBB1 - LJTI_0_0) / 2 |
| 979 | const MCExpr *Expr = |
| 980 | MCBinaryExpr::CreateSub(MBBSymbolExpr, |
| 981 | MCSymbolRefExpr::Create(JTISymbol, OutContext), |
| 982 | OutContext); |
| 983 | Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext), |
| 984 | OutContext); |
| 985 | OutStreamer.EmitValue(Expr, OffsetWidth); |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 986 | } |
| Jim Grosbach | 2597f83 | 2012-05-21 23:34:42 +0000 | [diff] [blame] | 987 | // Mark the end of jump table data-in-code region. 32-bit offsets use |
| 988 | // actual branch instructions here, so we don't mark those as a data-region |
| 989 | // at all. |
| 990 | if (OffsetWidth != 4) |
| 991 | OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 992 | } |
| 993 | |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 994 | void ARMAsmPrinter::EmitUnwindingInstruction(const MachineInstr *MI) { |
| 995 | assert(MI->getFlag(MachineInstr::FrameSetup) && |
| 996 | "Only instruction which are involved into frame setup code are allowed"); |
| 997 | |
| Rafael Espindola | 4a1a360 | 2014-01-14 01:21:46 +0000 | [diff] [blame] | 998 | MCTargetStreamer &TS = *OutStreamer.getTargetStreamer(); |
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 999 | ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1000 | const MachineFunction &MF = *MI->getParent()->getParent(); |
| 1001 | const TargetRegisterInfo *RegInfo = MF.getTarget().getRegisterInfo(); |
| Anton Korobeynikov | 9e66cbb | 2011-03-05 18:43:55 +0000 | [diff] [blame] | 1002 | const ARMFunctionInfo &AFI = *MF.getInfo<ARMFunctionInfo>(); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1003 | |
| 1004 | unsigned FramePtr = RegInfo->getFrameRegister(MF); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1005 | unsigned Opc = MI->getOpcode(); |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1006 | unsigned SrcReg, DstReg; |
| 1007 | |
| Anton Korobeynikov | a8d177b | 2011-03-05 18:43:50 +0000 | [diff] [blame] | 1008 | if (Opc == ARM::tPUSH || Opc == ARM::tLDRpci) { |
| 1009 | // Two special cases: |
| 1010 | // 1) tPUSH does not have src/dst regs. |
| 1011 | // 2) for Thumb1 code we sometimes materialize the constant via constpool |
| 1012 | // load. Yes, this is pretty fragile, but for now I don't see better |
| 1013 | // way... :( |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1014 | SrcReg = DstReg = ARM::SP; |
| 1015 | } else { |
| Anton Korobeynikov | a8d177b | 2011-03-05 18:43:50 +0000 | [diff] [blame] | 1016 | SrcReg = MI->getOperand(1).getReg(); |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1017 | DstReg = MI->getOperand(0).getReg(); |
| 1018 | } |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1019 | |
| 1020 | // Try to figure out the unwinding opcode out of src / dst regs. |
| Evan Cheng | 7f8e563 | 2011-12-07 07:15:52 +0000 | [diff] [blame] | 1021 | if (MI->mayStore()) { |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1022 | // Register saves. |
| 1023 | assert(DstReg == ARM::SP && |
| 1024 | "Only stack pointer as a destination reg is supported"); |
| 1025 | |
| 1026 | SmallVector<unsigned, 4> RegList; |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1027 | // Skip src & dst reg, and pred ops. |
| 1028 | unsigned StartOp = 2 + 2; |
| 1029 | // Use all the operands. |
| 1030 | unsigned NumOffset = 0; |
| 1031 | |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1032 | switch (Opc) { |
| 1033 | default: |
| 1034 | MI->dump(); |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1035 | llvm_unreachable("Unsupported opcode for unwinding information"); |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1036 | case ARM::tPUSH: |
| 1037 | // Special case here: no src & dst reg, but two extra imp ops. |
| 1038 | StartOp = 2; NumOffset = 2; |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1039 | case ARM::STMDB_UPD: |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1040 | case ARM::t2STMDB_UPD: |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1041 | case ARM::VSTMDDB_UPD: |
| 1042 | assert(SrcReg == ARM::SP && |
| 1043 | "Only stack pointer as a source reg is supported"); |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1044 | for (unsigned i = StartOp, NumOps = MI->getNumOperands() - NumOffset; |
| Anton Korobeynikov | ef731ed | 2012-08-04 13:25:58 +0000 | [diff] [blame] | 1045 | i != NumOps; ++i) { |
| 1046 | const MachineOperand &MO = MI->getOperand(i); |
| 1047 | // Actually, there should never be any impdef stuff here. Skip it |
| 1048 | // temporary to workaround PR11902. |
| 1049 | if (MO.isImplicit()) |
| 1050 | continue; |
| 1051 | RegList.push_back(MO.getReg()); |
| 1052 | } |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1053 | break; |
| Owen Anderson | 2aedba6 | 2011-07-26 20:54:26 +0000 | [diff] [blame] | 1054 | case ARM::STR_PRE_IMM: |
| 1055 | case ARM::STR_PRE_REG: |
| Evgeniy Stepanov | 4c7eb47 | 2012-01-19 12:53:06 +0000 | [diff] [blame] | 1056 | case ARM::t2STR_PRE: |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1057 | assert(MI->getOperand(2).getReg() == ARM::SP && |
| 1058 | "Only stack pointer as a source reg is supported"); |
| 1059 | RegList.push_back(SrcReg); |
| 1060 | break; |
| 1061 | } |
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 1062 | ATS.emitRegSave(RegList, Opc == ARM::VSTMDDB_UPD); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1063 | } else { |
| 1064 | // Changes of stack / frame pointer. |
| 1065 | if (SrcReg == ARM::SP) { |
| 1066 | int64_t Offset = 0; |
| 1067 | switch (Opc) { |
| 1068 | default: |
| 1069 | MI->dump(); |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1070 | llvm_unreachable("Unsupported opcode for unwinding information"); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1071 | case ARM::MOVr: |
| Evgeniy Stepanov | 4c7eb47 | 2012-01-19 12:53:06 +0000 | [diff] [blame] | 1072 | case ARM::tMOVr: |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1073 | Offset = 0; |
| 1074 | break; |
| 1075 | case ARM::ADDri: |
| 1076 | Offset = -MI->getOperand(2).getImm(); |
| 1077 | break; |
| 1078 | case ARM::SUBri: |
| Evgeniy Stepanov | 4c7eb47 | 2012-01-19 12:53:06 +0000 | [diff] [blame] | 1079 | case ARM::t2SUBri: |
| Jim Grosbach | a8a8067 | 2011-06-29 23:25:04 +0000 | [diff] [blame] | 1080 | Offset = MI->getOperand(2).getImm(); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1081 | break; |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1082 | case ARM::tSUBspi: |
| Jim Grosbach | a8a8067 | 2011-06-29 23:25:04 +0000 | [diff] [blame] | 1083 | Offset = MI->getOperand(2).getImm()*4; |
| Anton Korobeynikov | 51537f1 | 2011-03-05 18:43:43 +0000 | [diff] [blame] | 1084 | break; |
| 1085 | case ARM::tADDspi: |
| 1086 | case ARM::tADDrSPi: |
| 1087 | Offset = -MI->getOperand(2).getImm()*4; |
| 1088 | break; |
| Anton Korobeynikov | 9e66cbb | 2011-03-05 18:43:55 +0000 | [diff] [blame] | 1089 | case ARM::tLDRpci: { |
| 1090 | // Grab the constpool index and check, whether it corresponds to |
| 1091 | // original or cloned constpool entry. |
| 1092 | unsigned CPI = MI->getOperand(1).getIndex(); |
| 1093 | const MachineConstantPool *MCP = MF.getConstantPool(); |
| 1094 | if (CPI >= MCP->getConstants().size()) |
| 1095 | CPI = AFI.getOriginalCPIdx(CPI); |
| 1096 | assert(CPI != -1U && "Invalid constpool index"); |
| 1097 | |
| 1098 | // Derive the actual offset. |
| 1099 | const MachineConstantPoolEntry &CPE = MCP->getConstants()[CPI]; |
| 1100 | assert(!CPE.isMachineConstantPoolEntry() && "Invalid constpool entry"); |
| 1101 | // FIXME: Check for user, it should be "add" instruction! |
| 1102 | Offset = -cast<ConstantInt>(CPE.Val.ConstVal)->getSExtValue(); |
| Anton Korobeynikov | a8d177b | 2011-03-05 18:43:50 +0000 | [diff] [blame] | 1103 | break; |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1104 | } |
| Anton Korobeynikov | 9e66cbb | 2011-03-05 18:43:55 +0000 | [diff] [blame] | 1105 | } |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1106 | |
| 1107 | if (DstReg == FramePtr && FramePtr != ARM::SP) |
| Anton Korobeynikov | 692f633 | 2011-03-05 18:44:00 +0000 | [diff] [blame] | 1108 | // Set-up of the frame pointer. Positive values correspond to "add" |
| 1109 | // instruction. |
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 1110 | ATS.emitSetFP(FramePtr, ARM::SP, -Offset); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1111 | else if (DstReg == ARM::SP) { |
| Anton Korobeynikov | 692f633 | 2011-03-05 18:44:00 +0000 | [diff] [blame] | 1112 | // Change of SP by an offset. Positive values correspond to "sub" |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1113 | // instruction. |
| Rafael Espindola | a17151a | 2013-10-08 13:08:17 +0000 | [diff] [blame] | 1114 | ATS.emitPad(Offset); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1115 | } else { |
| 1116 | MI->dump(); |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1117 | llvm_unreachable("Unsupported opcode for unwinding information"); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1118 | } |
| 1119 | } else if (DstReg == ARM::SP) { |
| 1120 | // FIXME: .movsp goes here |
| 1121 | MI->dump(); |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1122 | llvm_unreachable("Unsupported opcode for unwinding information"); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1123 | } |
| 1124 | else { |
| 1125 | MI->dump(); |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1126 | llvm_unreachable("Unsupported opcode for unwinding information"); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1127 | } |
| 1128 | } |
| 1129 | } |
| 1130 | |
| Chandler Carruth | ed97523 | 2012-01-24 00:30:17 +0000 | [diff] [blame] | 1131 | extern cl::opt<bool> EnableARMEHABI; |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1132 | |
| Jim Grosbach | 95dee40 | 2011-07-08 17:40:42 +0000 | [diff] [blame] | 1133 | // Simple pseudo-instructions have their lowering (with expansion to real |
| 1134 | // instructions) auto-generated. |
| 1135 | #include "ARMGenMCPseudoLowering.inc" |
| 1136 | |
| Jim Grosbach | 05eccf0 | 2010-09-29 15:23:40 +0000 | [diff] [blame] | 1137 | void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) { |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1138 | const DataLayout *DL = TM.getDataLayout(); |
| 1139 | |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 1140 | // If we just ended a constant pool, mark it as such. |
| 1141 | if (InConstantPool && MI->getOpcode() != ARM::CONSTPOOL_ENTRY) { |
| 1142 | OutStreamer.EmitDataRegion(MCDR_DataRegionEnd); |
| 1143 | InConstantPool = false; |
| 1144 | } |
| Owen Anderson | 0ca562e | 2011-10-04 23:26:17 +0000 | [diff] [blame] | 1145 | |
| Jim Grosbach | 51b5542 | 2011-08-23 21:32:34 +0000 | [diff] [blame] | 1146 | // Emit unwinding stuff for frame-related instructions |
| Chandler Carruth | ed97523 | 2012-01-24 00:30:17 +0000 | [diff] [blame] | 1147 | if (EnableARMEHABI && MI->getFlag(MachineInstr::FrameSetup)) |
| Jim Grosbach | 51b5542 | 2011-08-23 21:32:34 +0000 | [diff] [blame] | 1148 | EmitUnwindingInstruction(MI); |
| 1149 | |
| Jim Grosbach | 95dee40 | 2011-07-08 17:40:42 +0000 | [diff] [blame] | 1150 | // Do any auto-generated pseudo lowerings. |
| 1151 | if (emitPseudoExpansionLowering(OutStreamer, MI)) |
| 1152 | return; |
| 1153 | |
| Andrew Trick | 924123a | 2011-09-21 02:20:46 +0000 | [diff] [blame] | 1154 | assert(!convertAddSubFlagsOpcode(MI->getOpcode()) && |
| 1155 | "Pseudo flag setting opcode should be expanded early"); |
| 1156 | |
| Jim Grosbach | 95dee40 | 2011-07-08 17:40:42 +0000 | [diff] [blame] | 1157 | // Check for manual lowerings. |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1158 | unsigned Opc = MI->getOpcode(); |
| 1159 | switch (Opc) { |
| Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 1160 | case ARM::t2MOVi32imm: llvm_unreachable("Should be lowered by thumb2it pass"); |
| David Blaikie | b735b4d | 2013-06-16 20:34:27 +0000 | [diff] [blame] | 1161 | case ARM::DBG_VALUE: llvm_unreachable("Should be handled by generic printing"); |
| Jim Grosbach | 8c1fabe | 2010-12-14 21:10:47 +0000 | [diff] [blame] | 1162 | case ARM::LEApcrel: |
| Jim Grosbach | 509dc2a | 2010-12-14 22:28:03 +0000 | [diff] [blame] | 1163 | case ARM::tLEApcrel: |
| Jim Grosbach | 8c1fabe | 2010-12-14 21:10:47 +0000 | [diff] [blame] | 1164 | case ARM::t2LEApcrel: { |
| Jim Grosbach | ce2bd8d | 2010-12-02 00:28:45 +0000 | [diff] [blame] | 1165 | // FIXME: Need to also handle globals and externals |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1166 | MCSymbol *CPISymbol = GetCPISymbol(MI->getOperand(1).getIndex()); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1167 | OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() == |
| 1168 | ARM::t2LEApcrel ? ARM::t2ADR |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1169 | : (MI->getOpcode() == ARM::tLEApcrel ? ARM::tADR |
| 1170 | : ARM::ADR)) |
| 1171 | .addReg(MI->getOperand(0).getReg()) |
| 1172 | .addExpr(MCSymbolRefExpr::Create(CPISymbol, OutContext)) |
| 1173 | // Add predicate operands. |
| 1174 | .addImm(MI->getOperand(2).getImm()) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1175 | .addReg(MI->getOperand(3).getReg())); |
| Jim Grosbach | ce2bd8d | 2010-12-02 00:28:45 +0000 | [diff] [blame] | 1176 | return; |
| 1177 | } |
| Jim Grosbach | 509dc2a | 2010-12-14 22:28:03 +0000 | [diff] [blame] | 1178 | case ARM::LEApcrelJT: |
| 1179 | case ARM::tLEApcrelJT: |
| 1180 | case ARM::t2LEApcrelJT: { |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1181 | MCSymbol *JTIPICSymbol = |
| 1182 | GetARMJTIPICJumpTableLabel2(MI->getOperand(1).getIndex(), |
| 1183 | MI->getOperand(2).getImm()); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1184 | OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() == |
| 1185 | ARM::t2LEApcrelJT ? ARM::t2ADR |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1186 | : (MI->getOpcode() == ARM::tLEApcrelJT ? ARM::tADR |
| 1187 | : ARM::ADR)) |
| 1188 | .addReg(MI->getOperand(0).getReg()) |
| 1189 | .addExpr(MCSymbolRefExpr::Create(JTIPICSymbol, OutContext)) |
| 1190 | // Add predicate operands. |
| 1191 | .addImm(MI->getOperand(3).getImm()) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1192 | .addReg(MI->getOperand(4).getReg())); |
| Jim Grosbach | dc35e06 | 2010-12-01 19:47:31 +0000 | [diff] [blame] | 1193 | return; |
| 1194 | } |
| Jim Grosbach | 3f2096e | 2011-03-12 00:45:26 +0000 | [diff] [blame] | 1195 | // Darwin call instructions are just normal call instructions with different |
| 1196 | // clobber semantics (they clobber R9). |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1197 | case ARM::BX_CALL: { |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1198 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1199 | .addReg(ARM::LR) |
| 1200 | .addReg(ARM::PC) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1201 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1202 | .addImm(ARMCC::AL) |
| 1203 | .addReg(0) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1204 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1205 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1206 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1207 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX) |
| 1208 | .addReg(MI->getOperand(0).getReg())); |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1209 | return; |
| 1210 | } |
| Cameron Zwarich | a946f47 | 2011-05-25 21:53:50 +0000 | [diff] [blame] | 1211 | case ARM::tBX_CALL: { |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1212 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1213 | .addReg(ARM::LR) |
| 1214 | .addReg(ARM::PC) |
| Jim Grosbach | b98ab91 | 2011-06-30 22:10:46 +0000 | [diff] [blame] | 1215 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1216 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1217 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1218 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1219 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1220 | .addReg(MI->getOperand(0).getReg()) |
| Cameron Zwarich | a946f47 | 2011-05-25 21:53:50 +0000 | [diff] [blame] | 1221 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1222 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1223 | .addReg(0)); |
| Cameron Zwarich | a946f47 | 2011-05-25 21:53:50 +0000 | [diff] [blame] | 1224 | return; |
| 1225 | } |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1226 | case ARM::BMOVPCRX_CALL: { |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1227 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1228 | .addReg(ARM::LR) |
| 1229 | .addReg(ARM::PC) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1230 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1231 | .addImm(ARMCC::AL) |
| 1232 | .addReg(0) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1233 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1234 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1235 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1236 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1237 | .addReg(ARM::PC) |
| Benjamin Kramer | 2f54571 | 2013-03-15 17:27:39 +0000 | [diff] [blame] | 1238 | .addReg(MI->getOperand(0).getReg()) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1239 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1240 | .addImm(ARMCC::AL) |
| 1241 | .addReg(0) |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1242 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1243 | .addReg(0)); |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1244 | return; |
| 1245 | } |
| Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 1246 | case ARM::BMOVPCB_CALL: { |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1247 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1248 | .addReg(ARM::LR) |
| 1249 | .addReg(ARM::PC) |
| Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 1250 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1251 | .addImm(ARMCC::AL) |
| 1252 | .addReg(0) |
| Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 1253 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1254 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1255 | |
| 1256 | const GlobalValue *GV = MI->getOperand(0).getGlobal(); |
| Rafael Espindola | 79858aa | 2013-10-29 17:07:16 +0000 | [diff] [blame] | 1257 | MCSymbol *GVSym = getSymbol(GV); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1258 | const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1259 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::Bcc) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1260 | .addExpr(GVSymExpr) |
| Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 1261 | // Add predicate operands. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1262 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1263 | .addReg(0)); |
| Evan Cheng | 65f9d19 | 2012-02-28 18:51:51 +0000 | [diff] [blame] | 1264 | return; |
| 1265 | } |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1266 | case ARM::MOVi16_ga_pcrel: |
| 1267 | case ARM::t2MOVi16_ga_pcrel: { |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1268 | MCInst TmpInst; |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1269 | TmpInst.setOpcode(Opc == ARM::MOVi16_ga_pcrel? ARM::MOVi16 : ARM::t2MOVi16); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1270 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 1271 | |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1272 | unsigned TF = MI->getOperand(1).getTargetFlags(); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1273 | const GlobalValue *GV = MI->getOperand(1).getGlobal(); |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1274 | MCSymbol *GVSym = GetARMGVSymbol(GV, TF); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1275 | const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext); |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1276 | |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1277 | MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(), |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1278 | getFunctionNumber(), |
| 1279 | MI->getOperand(2).getImm(), OutContext); |
| 1280 | const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext); |
| 1281 | unsigned PCAdj = (Opc == ARM::MOVi16_ga_pcrel) ? 8 : 4; |
| 1282 | const MCExpr *PCRelExpr = |
| 1283 | ARMMCExpr::CreateLower16(MCBinaryExpr::CreateSub(GVSymExpr, |
| 1284 | MCBinaryExpr::CreateAdd(LabelSymExpr, |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1285 | MCConstantExpr::Create(PCAdj, OutContext), |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1286 | OutContext), OutContext), OutContext); |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1287 | TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr)); |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1288 | |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1289 | // Add predicate operands. |
| 1290 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1291 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1292 | // Add 's' bit operand (always reg0 for this) |
| 1293 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1294 | OutStreamer.EmitInstruction(TmpInst); |
| 1295 | return; |
| 1296 | } |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1297 | case ARM::MOVTi16_ga_pcrel: |
| 1298 | case ARM::t2MOVTi16_ga_pcrel: { |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1299 | MCInst TmpInst; |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1300 | TmpInst.setOpcode(Opc == ARM::MOVTi16_ga_pcrel |
| 1301 | ? ARM::MOVTi16 : ARM::t2MOVTi16); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1302 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 1303 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg())); |
| 1304 | |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1305 | unsigned TF = MI->getOperand(2).getTargetFlags(); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1306 | const GlobalValue *GV = MI->getOperand(2).getGlobal(); |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1307 | MCSymbol *GVSym = GetARMGVSymbol(GV, TF); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1308 | const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext); |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1309 | |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1310 | MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(), |
| Tim Northover | db962e2c | 2013-11-25 16:24:52 +0000 | [diff] [blame] | 1311 | getFunctionNumber(), |
| 1312 | MI->getOperand(3).getImm(), OutContext); |
| 1313 | const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext); |
| 1314 | unsigned PCAdj = (Opc == ARM::MOVTi16_ga_pcrel) ? 8 : 4; |
| 1315 | const MCExpr *PCRelExpr = |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1316 | ARMMCExpr::CreateUpper16(MCBinaryExpr::CreateSub(GVSymExpr, |
| 1317 | MCBinaryExpr::CreateAdd(LabelSymExpr, |
| 1318 | MCConstantExpr::Create(PCAdj, OutContext), |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1319 | OutContext), OutContext), OutContext); |
| Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 1320 | TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr)); |
| Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 1321 | // Add predicate operands. |
| 1322 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1323 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1324 | // Add 's' bit operand (always reg0 for this) |
| 1325 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1326 | OutStreamer.EmitInstruction(TmpInst); |
| 1327 | return; |
| 1328 | } |
| Jim Grosbach | 3d97920 | 2010-09-17 23:41:53 +0000 | [diff] [blame] | 1329 | case ARM::tPICADD: { |
| 1330 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 1331 | // LPC0: |
| 1332 | // add r0, pc |
| 1333 | // This adds the address of LPC0 to r0. |
| 1334 | |
| 1335 | // Emit the label. |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1336 | OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(), |
| Jim Grosbach | af5d635 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 1337 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 1338 | OutContext)); |
| Jim Grosbach | 3d97920 | 2010-09-17 23:41:53 +0000 | [diff] [blame] | 1339 | |
| 1340 | // Form and emit the add. |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1341 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDhirr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1342 | .addReg(MI->getOperand(0).getReg()) |
| 1343 | .addReg(MI->getOperand(0).getReg()) |
| 1344 | .addReg(ARM::PC) |
| 1345 | // Add predicate operands. |
| 1346 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1347 | .addReg(0)); |
| Jim Grosbach | 3d97920 | 2010-09-17 23:41:53 +0000 | [diff] [blame] | 1348 | return; |
| 1349 | } |
| Jim Grosbach | c8e2e9d | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1350 | case ARM::PICADD: { |
| Chris Lattner | add5749 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 1351 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 1352 | // LPC0: |
| 1353 | // add r0, pc, r0 |
| 1354 | // This adds the address of LPC0 to r0. |
| Jim Grosbach | 8ee5cd9 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1355 | |
| Chris Lattner | add5749 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 1356 | // Emit the label. |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1357 | OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(), |
| Jim Grosbach | af5d635 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 1358 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 1359 | OutContext)); |
| Jim Grosbach | 8ee5cd9 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1360 | |
| Jim Grosbach | 7ae9422 | 2010-09-14 21:05:34 +0000 | [diff] [blame] | 1361 | // Form and emit the add. |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1362 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1363 | .addReg(MI->getOperand(0).getReg()) |
| 1364 | .addReg(ARM::PC) |
| 1365 | .addReg(MI->getOperand(1).getReg()) |
| 1366 | // Add predicate operands. |
| 1367 | .addImm(MI->getOperand(3).getImm()) |
| 1368 | .addReg(MI->getOperand(4).getReg()) |
| 1369 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1370 | .addReg(0)); |
| Chris Lattner | add5749 | 2009-10-19 22:23:04 +0000 | [diff] [blame] | 1371 | return; |
| 1372 | } |
| Jim Grosbach | a7d430b | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 1373 | case ARM::PICSTR: |
| 1374 | case ARM::PICSTRB: |
| 1375 | case ARM::PICSTRH: |
| 1376 | case ARM::PICLDR: |
| 1377 | case ARM::PICLDRB: |
| 1378 | case ARM::PICLDRH: |
| 1379 | case ARM::PICLDRSB: |
| 1380 | case ARM::PICLDRSH: { |
| Jim Grosbach | 218e22d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 1381 | // This is a pseudo op for a label + instruction sequence, which looks like: |
| 1382 | // LPC0: |
| Jim Grosbach | a7d430b | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 1383 | // OP r0, [pc, r0] |
| Jim Grosbach | 218e22d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 1384 | // The LCP0 label is referenced by a constant pool entry in order to get |
| 1385 | // a PC-relative address at the ldr instruction. |
| 1386 | |
| 1387 | // Emit the label. |
| Rafael Espindola | 5887356 | 2014-01-03 19:21:54 +0000 | [diff] [blame] | 1388 | OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(), |
| Jim Grosbach | af5d635 | 2010-09-18 00:05:05 +0000 | [diff] [blame] | 1389 | getFunctionNumber(), MI->getOperand(2).getImm(), |
| 1390 | OutContext)); |
| Jim Grosbach | 218e22d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 1391 | |
| 1392 | // Form and emit the load |
| Jim Grosbach | a7d430b | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 1393 | unsigned Opcode; |
| 1394 | switch (MI->getOpcode()) { |
| 1395 | default: |
| 1396 | llvm_unreachable("Unexpected opcode!"); |
| Jim Grosbach | 338de3e | 2010-10-27 23:12:14 +0000 | [diff] [blame] | 1397 | case ARM::PICSTR: Opcode = ARM::STRrs; break; |
| 1398 | case ARM::PICSTRB: Opcode = ARM::STRBrs; break; |
| Jim Grosbach | a7d430b | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 1399 | case ARM::PICSTRH: Opcode = ARM::STRH; break; |
| Jim Grosbach | 1e4d9a1 | 2010-10-26 22:37:02 +0000 | [diff] [blame] | 1400 | case ARM::PICLDR: Opcode = ARM::LDRrs; break; |
| Jim Grosbach | 5a7c715 | 2010-10-27 00:19:44 +0000 | [diff] [blame] | 1401 | case ARM::PICLDRB: Opcode = ARM::LDRBrs; break; |
| Jim Grosbach | a7d430b | 2010-09-17 16:25:52 +0000 | [diff] [blame] | 1402 | case ARM::PICLDRH: Opcode = ARM::LDRH; break; |
| 1403 | case ARM::PICLDRSB: Opcode = ARM::LDRSB; break; |
| 1404 | case ARM::PICLDRSH: Opcode = ARM::LDRSH; break; |
| 1405 | } |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1406 | OutStreamer.EmitInstruction(MCInstBuilder(Opcode) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1407 | .addReg(MI->getOperand(0).getReg()) |
| 1408 | .addReg(ARM::PC) |
| 1409 | .addReg(MI->getOperand(1).getReg()) |
| 1410 | .addImm(0) |
| 1411 | // Add predicate operands. |
| 1412 | .addImm(MI->getOperand(3).getImm()) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1413 | .addReg(MI->getOperand(4).getReg())); |
| Jim Grosbach | 218e22d | 2010-09-16 17:43:25 +0000 | [diff] [blame] | 1414 | |
| 1415 | return; |
| 1416 | } |
| Jim Grosbach | c8e2e9d | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1417 | case ARM::CONSTPOOL_ENTRY: { |
| Chris Lattner | 186c6b0 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 1418 | /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool |
| 1419 | /// in the function. The first operand is the ID# for this instruction, the |
| 1420 | /// second is the index into the MachineConstantPool that this is, the third |
| 1421 | /// is the size in bytes of this constant pool entry. |
| Jakob Stoklund Olesen | 2e05db2 | 2011-12-06 01:43:02 +0000 | [diff] [blame] | 1422 | /// The required alignment is specified on the basic block holding this MI. |
| Chris Lattner | 186c6b0 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 1423 | unsigned LabelId = (unsigned)MI->getOperand(0).getImm(); |
| 1424 | unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex(); |
| 1425 | |
| Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 1426 | // If this is the first entry of the pool, mark it. |
| 1427 | if (!InConstantPool) { |
| 1428 | OutStreamer.EmitDataRegion(MCDR_DataRegion); |
| 1429 | InConstantPool = true; |
| 1430 | } |
| 1431 | |
| Chris Lattner | c55ea3f | 2010-01-23 07:00:21 +0000 | [diff] [blame] | 1432 | OutStreamer.EmitLabel(GetCPISymbol(LabelId)); |
| Chris Lattner | 186c6b0 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 1433 | |
| 1434 | const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx]; |
| 1435 | if (MCPE.isMachineConstantPoolEntry()) |
| 1436 | EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal); |
| 1437 | else |
| 1438 | EmitGlobalConstant(MCPE.Val.ConstVal); |
| Chris Lattner | 186c6b0 | 2009-10-19 22:33:05 +0000 | [diff] [blame] | 1439 | return; |
| 1440 | } |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 1441 | case ARM::t2BR_JT: { |
| 1442 | // Lower and emit the instruction itself, then the jump table following it. |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1443 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1444 | .addReg(ARM::PC) |
| 1445 | .addReg(MI->getOperand(0).getReg()) |
| 1446 | // Add predicate operands. |
| 1447 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1448 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1449 | |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1450 | // Output the data for the jump table itself |
| 1451 | EmitJump2Table(MI); |
| 1452 | return; |
| 1453 | } |
| 1454 | case ARM::t2TBB_JT: { |
| 1455 | // Lower and emit the instruction itself, then the jump table following it. |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1456 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBB) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1457 | .addReg(ARM::PC) |
| 1458 | .addReg(MI->getOperand(0).getReg()) |
| 1459 | // Add predicate operands. |
| 1460 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1461 | .addReg(0)); |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1462 | |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1463 | // Output the data for the jump table itself |
| 1464 | EmitJump2Table(MI); |
| 1465 | // Make sure the next instruction is 2-byte aligned. |
| 1466 | EmitAlignment(1); |
| 1467 | return; |
| 1468 | } |
| 1469 | case ARM::t2TBH_JT: { |
| 1470 | // Lower and emit the instruction itself, then the jump table following it. |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1471 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBH) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1472 | .addReg(ARM::PC) |
| 1473 | .addReg(MI->getOperand(0).getReg()) |
| 1474 | // Add predicate operands. |
| 1475 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1476 | .addReg(0)); |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1477 | |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1478 | // Output the data for the jump table itself |
| Jim Grosbach | d64f9b8 | 2010-09-21 23:28:16 +0000 | [diff] [blame] | 1479 | EmitJump2Table(MI); |
| 1480 | return; |
| 1481 | } |
| Jim Grosbach | 58bc36a | 2010-11-29 19:32:47 +0000 | [diff] [blame] | 1482 | case ARM::tBR_JTr: |
| Jim Grosbach | 150b1ad | 2010-11-29 18:37:44 +0000 | [diff] [blame] | 1483 | case ARM::BR_JTr: { |
| 1484 | // Lower and emit the instruction itself, then the jump table following it. |
| 1485 | // mov pc, target |
| 1486 | MCInst TmpInst; |
| Jim Grosbach | 7ec3d34 | 2010-11-29 22:37:40 +0000 | [diff] [blame] | 1487 | unsigned Opc = MI->getOpcode() == ARM::BR_JTr ? |
| Jim Grosbach | e9cc901 | 2011-06-30 23:38:17 +0000 | [diff] [blame] | 1488 | ARM::MOVr : ARM::tMOVr; |
| Jim Grosbach | 58bc36a | 2010-11-29 19:32:47 +0000 | [diff] [blame] | 1489 | TmpInst.setOpcode(Opc); |
| Jim Grosbach | 150b1ad | 2010-11-29 18:37:44 +0000 | [diff] [blame] | 1490 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1491 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 1492 | // Add predicate operands. |
| 1493 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1494 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| Jim Grosbach | cd5e30f | 2010-11-30 18:30:19 +0000 | [diff] [blame] | 1495 | // Add 's' bit operand (always reg0 for this) |
| 1496 | if (Opc == ARM::MOVr) |
| 1497 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| Jim Grosbach | 150b1ad | 2010-11-29 18:37:44 +0000 | [diff] [blame] | 1498 | OutStreamer.EmitInstruction(TmpInst); |
| 1499 | |
| Jim Grosbach | 58bc36a | 2010-11-29 19:32:47 +0000 | [diff] [blame] | 1500 | // Make sure the Thumb jump table is 4-byte aligned. |
| Jim Grosbach | e9cc901 | 2011-06-30 23:38:17 +0000 | [diff] [blame] | 1501 | if (Opc == ARM::tMOVr) |
| Jim Grosbach | 58bc36a | 2010-11-29 19:32:47 +0000 | [diff] [blame] | 1502 | EmitAlignment(2); |
| 1503 | |
| Jim Grosbach | 150b1ad | 2010-11-29 18:37:44 +0000 | [diff] [blame] | 1504 | // Output the data for the jump table itself |
| 1505 | EmitJumpTable(MI); |
| 1506 | return; |
| 1507 | } |
| 1508 | case ARM::BR_JTm: { |
| 1509 | // Lower and emit the instruction itself, then the jump table following it. |
| 1510 | // ldr pc, target |
| 1511 | MCInst TmpInst; |
| 1512 | if (MI->getOperand(1).getReg() == 0) { |
| 1513 | // literal offset |
| 1514 | TmpInst.setOpcode(ARM::LDRi12); |
| 1515 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1516 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 1517 | TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm())); |
| 1518 | } else { |
| 1519 | TmpInst.setOpcode(ARM::LDRrs); |
| 1520 | TmpInst.addOperand(MCOperand::CreateReg(ARM::PC)); |
| 1521 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg())); |
| 1522 | TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg())); |
| 1523 | TmpInst.addOperand(MCOperand::CreateImm(0)); |
| 1524 | } |
| 1525 | // Add predicate operands. |
| 1526 | TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL)); |
| 1527 | TmpInst.addOperand(MCOperand::CreateReg(0)); |
| 1528 | OutStreamer.EmitInstruction(TmpInst); |
| 1529 | |
| 1530 | // Output the data for the jump table itself |
| Jim Grosbach | 284eebc | 2010-09-22 17:39:48 +0000 | [diff] [blame] | 1531 | EmitJumpTable(MI); |
| 1532 | return; |
| 1533 | } |
| Jim Grosbach | 08c562b | 2010-11-17 21:05:55 +0000 | [diff] [blame] | 1534 | case ARM::BR_JTadd: { |
| 1535 | // Lower and emit the instruction itself, then the jump table following it. |
| 1536 | // add pc, target, idx |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1537 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1538 | .addReg(ARM::PC) |
| 1539 | .addReg(MI->getOperand(0).getReg()) |
| 1540 | .addReg(MI->getOperand(1).getReg()) |
| 1541 | // Add predicate operands. |
| 1542 | .addImm(ARMCC::AL) |
| 1543 | .addReg(0) |
| 1544 | // Add 's' bit operand (always reg0 for this) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1545 | .addReg(0)); |
| Jim Grosbach | 08c562b | 2010-11-17 21:05:55 +0000 | [diff] [blame] | 1546 | |
| 1547 | // Output the data for the jump table itself |
| 1548 | EmitJumpTable(MI); |
| 1549 | return; |
| 1550 | } |
| Jim Grosbach | 8503054 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1551 | case ARM::TRAP: { |
| 1552 | // Non-Darwin binutils don't yet support the "trap" mnemonic. |
| 1553 | // FIXME: Remove this special case when they do. |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 1554 | if (!Subtarget->isTargetMachO()) { |
| Jim Grosbach | fae8305 | 2010-10-01 23:21:38 +0000 | [diff] [blame] | 1555 | //.long 0xe7ffdefe @ trap |
| Jim Grosbach | 7d34837 | 2010-09-23 19:42:17 +0000 | [diff] [blame] | 1556 | uint32_t Val = 0xe7ffdefeUL; |
| Jim Grosbach | 8503054 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1557 | OutStreamer.AddComment("trap"); |
| 1558 | OutStreamer.EmitIntValue(Val, 4); |
| 1559 | return; |
| 1560 | } |
| 1561 | break; |
| 1562 | } |
| Eli Bendersky | 2e2ce49 | 2013-01-30 16:30:19 +0000 | [diff] [blame] | 1563 | case ARM::TRAPNaCl: { |
| 1564 | //.long 0xe7fedef0 @ trap |
| 1565 | uint32_t Val = 0xe7fedef0UL; |
| 1566 | OutStreamer.AddComment("trap"); |
| 1567 | OutStreamer.EmitIntValue(Val, 4); |
| 1568 | return; |
| 1569 | } |
| Jim Grosbach | 8503054 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1570 | case ARM::tTRAP: { |
| 1571 | // Non-Darwin binutils don't yet support the "trap" mnemonic. |
| 1572 | // FIXME: Remove this special case when they do. |
| Tim Northover | d6a729b | 2014-01-06 14:28:05 +0000 | [diff] [blame] | 1573 | if (!Subtarget->isTargetMachO()) { |
| Jim Grosbach | fae8305 | 2010-10-01 23:21:38 +0000 | [diff] [blame] | 1574 | //.short 57086 @ trap |
| Benjamin Kramer | e38495d | 2010-09-23 18:57:26 +0000 | [diff] [blame] | 1575 | uint16_t Val = 0xdefe; |
| Jim Grosbach | 8503054 | 2010-09-23 18:05:37 +0000 | [diff] [blame] | 1576 | OutStreamer.AddComment("trap"); |
| 1577 | OutStreamer.EmitIntValue(Val, 2); |
| 1578 | return; |
| 1579 | } |
| 1580 | break; |
| 1581 | } |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1582 | case ARM::t2Int_eh_sjlj_setjmp: |
| 1583 | case ARM::t2Int_eh_sjlj_setjmp_nofp: |
| Jim Grosbach | c8e2e9d | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1584 | case ARM::tInt_eh_sjlj_setjmp: { |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1585 | // Two incoming args: GPR:$src, GPR:$val |
| 1586 | // mov $val, pc |
| 1587 | // adds $val, #7 |
| 1588 | // str $val, [$src, #4] |
| 1589 | // movs r0, #0 |
| 1590 | // b 1f |
| 1591 | // movs r0, #1 |
| 1592 | // 1: |
| 1593 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1594 | unsigned ValReg = MI->getOperand(1).getReg(); |
| 1595 | MCSymbol *Label = GetARMSJLJEHLabel(); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1596 | OutStreamer.AddComment("eh_setjmp begin"); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1597 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1598 | .addReg(ValReg) |
| 1599 | .addReg(ARM::PC) |
| Jim Grosbach | b98ab91 | 2011-06-30 22:10:46 +0000 | [diff] [blame] | 1600 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1601 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1602 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1603 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1604 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDi3) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1605 | .addReg(ValReg) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1606 | // 's' bit operand |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1607 | .addReg(ARM::CPSR) |
| 1608 | .addReg(ValReg) |
| 1609 | .addImm(7) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1610 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1611 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1612 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1613 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1614 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tSTRi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1615 | .addReg(ValReg) |
| 1616 | .addReg(SrcReg) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1617 | // The offset immediate is #4. The operand value is scaled by 4 for the |
| 1618 | // tSTR instruction. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1619 | .addImm(1) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1620 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1621 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1622 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1623 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1624 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1625 | .addReg(ARM::R0) |
| 1626 | .addReg(ARM::CPSR) |
| 1627 | .addImm(0) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1628 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1629 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1630 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1631 | |
| 1632 | const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1633 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tB) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1634 | .addExpr(SymbolExpr) |
| 1635 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1636 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1637 | |
| 1638 | OutStreamer.AddComment("eh_setjmp end"); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1639 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1640 | .addReg(ARM::R0) |
| 1641 | .addReg(ARM::CPSR) |
| 1642 | .addImm(1) |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1643 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1644 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1645 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1646 | |
| Jim Grosbach | 4a6ab13 | 2010-09-24 20:47:58 +0000 | [diff] [blame] | 1647 | OutStreamer.EmitLabel(Label); |
| 1648 | return; |
| 1649 | } |
| 1650 | |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1651 | case ARM::Int_eh_sjlj_setjmp_nofp: |
| Jim Grosbach | c8e2e9d | 2010-09-30 19:53:58 +0000 | [diff] [blame] | 1652 | case ARM::Int_eh_sjlj_setjmp: { |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1653 | // Two incoming args: GPR:$src, GPR:$val |
| 1654 | // add $val, pc, #8 |
| 1655 | // str $val, [$src, #+4] |
| 1656 | // mov r0, #0 |
| 1657 | // add pc, pc, #0 |
| 1658 | // mov r0, #1 |
| 1659 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1660 | unsigned ValReg = MI->getOperand(1).getReg(); |
| 1661 | |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1662 | OutStreamer.AddComment("eh_setjmp begin"); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1663 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1664 | .addReg(ValReg) |
| 1665 | .addReg(ARM::PC) |
| 1666 | .addImm(8) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1667 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1668 | .addImm(ARMCC::AL) |
| 1669 | .addReg(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1670 | // 's' bit operand (always reg0 for this). |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1671 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1672 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1673 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::STRi12) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1674 | .addReg(ValReg) |
| 1675 | .addReg(SrcReg) |
| 1676 | .addImm(4) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1677 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1678 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1679 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1680 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1681 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1682 | .addReg(ARM::R0) |
| 1683 | .addImm(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1684 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1685 | .addImm(ARMCC::AL) |
| 1686 | .addReg(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1687 | // 's' bit operand (always reg0 for this). |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1688 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1689 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1690 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1691 | .addReg(ARM::PC) |
| 1692 | .addReg(ARM::PC) |
| 1693 | .addImm(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1694 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1695 | .addImm(ARMCC::AL) |
| 1696 | .addReg(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1697 | // 's' bit operand (always reg0 for this). |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1698 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1699 | |
| 1700 | OutStreamer.AddComment("eh_setjmp end"); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1701 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1702 | .addReg(ARM::R0) |
| 1703 | .addImm(1) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1704 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1705 | .addImm(ARMCC::AL) |
| 1706 | .addReg(0) |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1707 | // 's' bit operand (always reg0 for this). |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1708 | .addReg(0)); |
| Jim Grosbach | c0aed71 | 2010-09-23 23:33:56 +0000 | [diff] [blame] | 1709 | return; |
| 1710 | } |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1711 | case ARM::Int_eh_sjlj_longjmp: { |
| 1712 | // ldr sp, [$src, #8] |
| 1713 | // ldr $scratch, [$src, #4] |
| 1714 | // ldr r7, [$src] |
| 1715 | // bx $scratch |
| 1716 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1717 | unsigned ScratchReg = MI->getOperand(1).getReg(); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1718 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1719 | .addReg(ARM::SP) |
| 1720 | .addReg(SrcReg) |
| 1721 | .addImm(8) |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1722 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1723 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1724 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1725 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1726 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1727 | .addReg(ScratchReg) |
| 1728 | .addReg(SrcReg) |
| 1729 | .addImm(4) |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1730 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1731 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1732 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1733 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1734 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1735 | .addReg(ARM::R7) |
| 1736 | .addReg(SrcReg) |
| 1737 | .addImm(0) |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1738 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1739 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1740 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1741 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1742 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1743 | .addReg(ScratchReg) |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1744 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1745 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1746 | .addReg(0)); |
| Jim Grosbach | 9e9ed98 | 2010-09-27 21:47:04 +0000 | [diff] [blame] | 1747 | return; |
| 1748 | } |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1749 | case ARM::tInt_eh_sjlj_longjmp: { |
| 1750 | // ldr $scratch, [$src, #8] |
| 1751 | // mov sp, $scratch |
| 1752 | // ldr $scratch, [$src, #4] |
| 1753 | // ldr r7, [$src] |
| 1754 | // bx $scratch |
| 1755 | unsigned SrcReg = MI->getOperand(0).getReg(); |
| 1756 | unsigned ScratchReg = MI->getOperand(1).getReg(); |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1757 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1758 | .addReg(ScratchReg) |
| 1759 | .addReg(SrcReg) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1760 | // The offset immediate is #8. The operand value is scaled by 4 for the |
| Bill Wendling | 092a7bd | 2010-12-14 03:36:38 +0000 | [diff] [blame] | 1761 | // tLDR instruction. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1762 | .addImm(2) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1763 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1764 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1765 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1766 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1767 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1768 | .addReg(ARM::SP) |
| 1769 | .addReg(ScratchReg) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1770 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1771 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1772 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1773 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1774 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1775 | .addReg(ScratchReg) |
| 1776 | .addReg(SrcReg) |
| 1777 | .addImm(1) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1778 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1779 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1780 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1781 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1782 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1783 | .addReg(ARM::R7) |
| 1784 | .addReg(SrcReg) |
| 1785 | .addImm(0) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1786 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1787 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1788 | .addReg(0)); |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1789 | |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1790 | OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX) |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1791 | .addReg(ScratchReg) |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1792 | // Predicate. |
| Benjamin Kramer | 4e629f7 | 2012-11-26 13:34:22 +0000 | [diff] [blame] | 1793 | .addImm(ARMCC::AL) |
| Benjamin Kramer | ebf576d | 2012-11-26 18:05:52 +0000 | [diff] [blame] | 1794 | .addReg(0)); |
| Jim Grosbach | 175d641 | 2010-09-27 22:28:11 +0000 | [diff] [blame] | 1795 | return; |
| 1796 | } |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1797 | } |
| Jim Grosbach | 8ee5cd9 | 2010-09-02 01:02:06 +0000 | [diff] [blame] | 1798 | |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1799 | MCInst TmpInst; |
| Chris Lattner | de16ca8 | 2010-11-14 21:00:02 +0000 | [diff] [blame] | 1800 | LowerARMMachineInstrToMCInst(MI, TmpInst, *this); |
| Anton Korobeynikov | e7410dd | 2011-03-05 18:43:32 +0000 | [diff] [blame] | 1801 | |
| Chris Lattner | 6f1f865 | 2010-02-03 01:16:28 +0000 | [diff] [blame] | 1802 | OutStreamer.EmitInstruction(TmpInst); |
| Chris Lattner | 71eb077 | 2009-10-19 20:20:46 +0000 | [diff] [blame] | 1803 | } |
| Daniel Dunbar | f0b3d15 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1804 | |
| 1805 | //===----------------------------------------------------------------------===// |
| 1806 | // Target Registry Stuff |
| 1807 | //===----------------------------------------------------------------------===// |
| 1808 | |
| Daniel Dunbar | f0b3d15 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1809 | // Force static initialization. |
| 1810 | extern "C" void LLVMInitializeARMAsmPrinter() { |
| 1811 | RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget); |
| 1812 | RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget); |
| Daniel Dunbar | f0b3d15 | 2009-10-20 05:15:36 +0000 | [diff] [blame] | 1813 | } |