Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 1 | //===-- SystemZAsmPrinter.cpp - SystemZ LLVM assembly writer ---------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains a printer that converts from our internal representation |
| 11 | // of machine-dependent LLVM code to the SystemZ assembly language. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #define DEBUG_TYPE "asm-printer" |
| 16 | #include "SystemZ.h" |
| 17 | #include "SystemZInstrInfo.h" |
| 18 | #include "SystemZTargetMachine.h" |
| 19 | #include "llvm/Constants.h" |
| 20 | #include "llvm/DerivedTypes.h" |
| 21 | #include "llvm/Module.h" |
Dan Gohman | 2aa282f | 2009-08-13 01:36:44 +0000 | [diff] [blame] | 22 | #include "llvm/Assembly/Writer.h" |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/AsmPrinter.h" |
| 24 | #include "llvm/CodeGen/DwarfWriter.h" |
| 25 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 26 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 27 | #include "llvm/CodeGen/MachineConstantPool.h" |
| 28 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | 73266f9 | 2009-08-19 05:49:37 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCStreamer.h" |
Chris Lattner | 621c44d | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MCAsmInfo.h" |
Chris Lattner | c6f802d | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCSymbol.h" |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 32 | #include "llvm/Target/TargetData.h" |
Chris Lattner | c4c40a9 | 2009-07-28 03:13:23 +0000 | [diff] [blame] | 33 | #include "llvm/Target/TargetLoweringObjectFile.h" |
Anton Korobeynikov | 147a9a7 | 2009-07-16 14:36:52 +0000 | [diff] [blame] | 34 | #include "llvm/Target/TargetRegistry.h" |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 35 | #include "llvm/ADT/Statistic.h" |
Chris Lattner | 2aaa75e | 2009-11-07 09:20:54 +0000 | [diff] [blame] | 36 | #include "llvm/Support/ErrorHandling.h" |
Anton Korobeynikov | 147a9a7 | 2009-07-16 14:36:52 +0000 | [diff] [blame] | 37 | #include "llvm/Support/FormattedStream.h" |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 38 | using namespace llvm; |
| 39 | |
| 40 | STATISTIC(EmittedInsts, "Number of machine instrs printed"); |
| 41 | |
| 42 | namespace { |
Nick Lewycky | 492d06e | 2009-10-25 06:33:48 +0000 | [diff] [blame] | 43 | class SystemZAsmPrinter : public AsmPrinter { |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 44 | public: |
Anton Korobeynikov | 147a9a7 | 2009-07-16 14:36:52 +0000 | [diff] [blame] | 45 | SystemZAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM, |
Chris Lattner | a5ef4d3 | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 46 | const MCAsmInfo *MAI, bool V) |
| 47 | : AsmPrinter(O, TM, MAI, V) {} |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 48 | |
| 49 | virtual const char *getPassName() const { |
| 50 | return "SystemZ Assembly Printer"; |
| 51 | } |
| 52 | |
| 53 | void printOperand(const MachineInstr *MI, int OpNum, |
| 54 | const char* Modifier = 0); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 55 | void printPCRelImmOperand(const MachineInstr *MI, int OpNum); |
Anton Korobeynikov | a58fac9 | 2009-07-16 13:43:18 +0000 | [diff] [blame] | 56 | void printRIAddrOperand(const MachineInstr *MI, int OpNum, |
| 57 | const char* Modifier = 0); |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 58 | void printRRIAddrOperand(const MachineInstr *MI, int OpNum, |
| 59 | const char* Modifier = 0); |
Anton Korobeynikov | bf21bac | 2009-07-16 14:02:45 +0000 | [diff] [blame] | 60 | void printS16ImmOperand(const MachineInstr *MI, int OpNum) { |
| 61 | O << (int16_t)MI->getOperand(OpNum).getImm(); |
| 62 | } |
| 63 | void printS32ImmOperand(const MachineInstr *MI, int OpNum) { |
| 64 | O << (int32_t)MI->getOperand(OpNum).getImm(); |
| 65 | } |
| 66 | |
Chris Lattner | ddb259a | 2009-08-08 01:32:19 +0000 | [diff] [blame] | 67 | void printInstruction(const MachineInstr *MI); // autogenerated. |
Chris Lattner | 213703c | 2009-09-13 20:19:22 +0000 | [diff] [blame] | 68 | static const char *getRegisterName(unsigned RegNo); |
Chris Lattner | 9222169 | 2009-09-13 20:08:00 +0000 | [diff] [blame] | 69 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 70 | void printMachineInstruction(const MachineInstr * MI); |
| 71 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 72 | bool runOnMachineFunction(MachineFunction &F); |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 73 | |
| 74 | void getAnalysisUsage(AnalysisUsage &AU) const { |
| 75 | AsmPrinter::getAnalysisUsage(AU); |
| 76 | AU.setPreservesAll(); |
| 77 | } |
| 78 | }; |
| 79 | } // end of anonymous namespace |
| 80 | |
| 81 | #include "SystemZGenAsmWriter.inc" |
| 82 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 83 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 84 | |
| 85 | bool SystemZAsmPrinter::runOnMachineFunction(MachineFunction &MF) { |
| 86 | SetupMachineFunction(MF); |
| 87 | O << "\n\n"; |
| 88 | |
| 89 | // Print the 'header' of function |
Chris Lattner | 7eb1156 | 2010-01-27 00:17:20 +0000 | [diff] [blame] | 90 | EmitFunctionHeader(); |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 91 | |
| 92 | // Print out code for the function. |
| 93 | for (MachineFunction::const_iterator I = MF.begin(), E = MF.end(); |
| 94 | I != E; ++I) { |
| 95 | // Print a label for the basic block. |
Dan Gohman | 5fda434 | 2009-10-06 17:38:38 +0000 | [diff] [blame] | 96 | EmitBasicBlockStart(I); |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 97 | |
| 98 | for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end(); |
| 99 | II != E; ++II) |
| 100 | // Print the assembly for the instruction. |
| 101 | printMachineInstruction(II); |
| 102 | } |
| 103 | |
Chris Lattner | ce40984 | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 104 | if (MAI->hasDotTypeDotSizeDirective()) |
| 105 | O << "\t.size\t" << *CurrentFnSym << ", .-" << *CurrentFnSym << '\n'; |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 106 | |
Anton Korobeynikov | 23bf441 | 2009-07-16 14:07:50 +0000 | [diff] [blame] | 107 | // Print out jump tables referenced by the function. |
Chris Lattner | d7dede2 | 2010-01-28 01:02:27 +0000 | [diff] [blame] | 108 | EmitJumpTableInfo(); |
Anton Korobeynikov | 23bf441 | 2009-07-16 14:07:50 +0000 | [diff] [blame] | 109 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 110 | // We didn't modify anything |
| 111 | return false; |
| 112 | } |
| 113 | |
| 114 | void SystemZAsmPrinter::printMachineInstruction(const MachineInstr *MI) { |
| 115 | ++EmittedInsts; |
| 116 | |
Devang Patel | 5450fc1 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 117 | processDebugLoc(MI, true); |
Chris Lattner | 32d4cc7 | 2009-09-09 23:14:36 +0000 | [diff] [blame] | 118 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 119 | // Call the autogenerated instruction printer routines. |
Chris Lattner | 7d33749 | 2009-08-08 00:05:42 +0000 | [diff] [blame] | 120 | printInstruction(MI); |
Chris Lattner | 32d4cc7 | 2009-09-09 23:14:36 +0000 | [diff] [blame] | 121 | |
David Greene | ca9b04b | 2009-11-13 21:34:57 +0000 | [diff] [blame] | 122 | if (VerboseAsm) |
Chris Lattner | 32d4cc7 | 2009-09-09 23:14:36 +0000 | [diff] [blame] | 123 | EmitComments(*MI); |
| 124 | O << '\n'; |
Devang Patel | 5450fc1 | 2009-10-06 02:19:11 +0000 | [diff] [blame] | 125 | |
| 126 | processDebugLoc(MI, false); |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 127 | } |
| 128 | |
Chris Lattner | c6f802d | 2009-09-13 17:14:04 +0000 | [diff] [blame] | 129 | void SystemZAsmPrinter::printPCRelImmOperand(const MachineInstr *MI, int OpNum){ |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 130 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 131 | switch (MO.getType()) { |
Anton Korobeynikov | b4de0b8 | 2009-07-16 14:17:07 +0000 | [diff] [blame] | 132 | case MachineOperand::MO_Immediate: |
| 133 | O << MO.getImm(); |
| 134 | return; |
| 135 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 84d5ca9 | 2010-01-26 04:55:51 +0000 | [diff] [blame] | 136 | O << *MO.getMBB()->getSymbol(OutContext); |
Anton Korobeynikov | b4de0b8 | 2009-07-16 14:17:07 +0000 | [diff] [blame] | 137 | return; |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 138 | case MachineOperand::MO_GlobalAddress: { |
| 139 | const GlobalValue *GV = MO.getGlobal(); |
Chris Lattner | ce40984 | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 140 | O << *GetGlobalValueSymbol(GV); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 141 | |
| 142 | // Assemble calls via PLT for externally visible symbols if PIC. |
| 143 | if (TM.getRelocationModel() == Reloc::PIC_ && |
| 144 | !GV->hasHiddenVisibility() && !GV->hasProtectedVisibility() && |
| 145 | !GV->hasLocalLinkage()) |
| 146 | O << "@PLT"; |
| 147 | |
| 148 | printOffset(MO.getOffset()); |
| 149 | return; |
| 150 | } |
| 151 | case MachineOperand::MO_ExternalSymbol: { |
Chris Lattner | a5ef4d3 | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 152 | std::string Name(MAI->getGlobalPrefix()); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 153 | Name += MO.getSymbolName(); |
| 154 | O << Name; |
| 155 | |
| 156 | if (TM.getRelocationModel() == Reloc::PIC_) |
| 157 | O << "@PLT"; |
| 158 | |
| 159 | return; |
| 160 | } |
| 161 | default: |
| 162 | assert(0 && "Not implemented yet!"); |
| 163 | } |
| 164 | } |
| 165 | |
| 166 | |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 167 | void SystemZAsmPrinter::printOperand(const MachineInstr *MI, int OpNum, |
Anton Korobeynikov | a58fac9 | 2009-07-16 13:43:18 +0000 | [diff] [blame] | 168 | const char* Modifier) { |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 169 | const MachineOperand &MO = MI->getOperand(OpNum); |
| 170 | switch (MO.getType()) { |
Anton Korobeynikov | 8a56365 | 2009-07-16 14:04:01 +0000 | [diff] [blame] | 171 | case MachineOperand::MO_Register: { |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 172 | assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) && |
| 173 | "Virtual registers should be already mapped!"); |
Anton Korobeynikov | 8a56365 | 2009-07-16 14:04:01 +0000 | [diff] [blame] | 174 | unsigned Reg = MO.getReg(); |
| 175 | if (Modifier && strncmp(Modifier, "subreg", 6) == 0) { |
| 176 | if (strncmp(Modifier + 7, "even", 4) == 0) |
| 177 | Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_EVEN); |
| 178 | else if (strncmp(Modifier + 7, "odd", 3) == 0) |
| 179 | Reg = TRI->getSubReg(Reg, SystemZ::SUBREG_ODD); |
| 180 | else |
| 181 | assert(0 && "Invalid subreg modifier"); |
| 182 | } |
| 183 | |
Chris Lattner | f0a25de | 2009-09-13 20:31:40 +0000 | [diff] [blame] | 184 | O << '%' << getRegisterName(Reg); |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 185 | return; |
Anton Korobeynikov | 8a56365 | 2009-07-16 14:04:01 +0000 | [diff] [blame] | 186 | } |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 187 | case MachineOperand::MO_Immediate: |
Anton Korobeynikov | 8eef404 | 2009-07-16 14:01:10 +0000 | [diff] [blame] | 188 | O << MO.getImm(); |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 189 | return; |
| 190 | case MachineOperand::MO_MachineBasicBlock: |
Chris Lattner | 84d5ca9 | 2010-01-26 04:55:51 +0000 | [diff] [blame] | 191 | O << *MO.getMBB()->getSymbol(OutContext); |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 192 | return; |
Anton Korobeynikov | 23bf441 | 2009-07-16 14:07:50 +0000 | [diff] [blame] | 193 | case MachineOperand::MO_JumpTableIndex: |
Chris Lattner | a5ef4d3 | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 194 | O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_' |
Anton Korobeynikov | 23bf441 | 2009-07-16 14:07:50 +0000 | [diff] [blame] | 195 | << MO.getIndex(); |
| 196 | |
| 197 | return; |
Anton Korobeynikov | 67565d6 | 2009-07-16 14:19:35 +0000 | [diff] [blame] | 198 | case MachineOperand::MO_ConstantPoolIndex: |
Chris Lattner | a5ef4d3 | 2009-08-22 21:43:10 +0000 | [diff] [blame] | 199 | O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_' |
Anton Korobeynikov | 67565d6 | 2009-07-16 14:19:35 +0000 | [diff] [blame] | 200 | << MO.getIndex(); |
| 201 | |
| 202 | printOffset(MO.getOffset()); |
| 203 | break; |
Chris Lattner | c0c8d7d | 2010-01-16 01:17:26 +0000 | [diff] [blame] | 204 | case MachineOperand::MO_GlobalAddress: |
Chris Lattner | ce40984 | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 205 | O << *GetGlobalValueSymbol(MO.getGlobal()); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 206 | break; |
Anton Korobeynikov | 961cd4a | 2009-07-16 13:50:21 +0000 | [diff] [blame] | 207 | case MachineOperand::MO_ExternalSymbol: { |
Chris Lattner | ce40984 | 2010-01-17 21:43:43 +0000 | [diff] [blame] | 208 | O << *GetExternalSymbolSymbol(MO.getSymbolName()); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 209 | break; |
Anton Korobeynikov | 961cd4a | 2009-07-16 13:50:21 +0000 | [diff] [blame] | 210 | } |
Anton Korobeynikov | f259c6c | 2009-07-16 13:29:38 +0000 | [diff] [blame] | 211 | default: |
| 212 | assert(0 && "Not implemented yet!"); |
| 213 | } |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 214 | |
| 215 | switch (MO.getTargetFlags()) { |
| 216 | default: |
Anton Korobeynikov | 917cbe1 | 2009-07-18 13:33:17 +0000 | [diff] [blame] | 217 | llvm_unreachable("Unknown target flag on GV operand"); |
Anton Korobeynikov | 1c2eedb | 2009-07-16 14:16:05 +0000 | [diff] [blame] | 218 | case SystemZII::MO_NO_FLAG: |
| 219 | break; |
| 220 | case SystemZII::MO_GOTENT: O << "@GOTENT"; break; |
| 221 | case SystemZII::MO_PLT: O << "@PLT"; break; |
| 222 | } |
| 223 | |
| 224 | printOffset(MO.getOffset()); |
Anton Korobeynikov | 32b7d5b | 2009-07-16 13:27:25 +0000 | [diff] [blame] | 225 | } |
Anton Korobeynikov | a58fac9 | 2009-07-16 13:43:18 +0000 | [diff] [blame] | 226 | |
| 227 | void SystemZAsmPrinter::printRIAddrOperand(const MachineInstr *MI, int OpNum, |
| 228 | const char* Modifier) { |
| 229 | const MachineOperand &Base = MI->getOperand(OpNum); |
| 230 | |
| 231 | // Print displacement operand. |
| 232 | printOperand(MI, OpNum+1); |
| 233 | |
| 234 | // Print base operand (if any) |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 235 | if (Base.getReg()) { |
Anton Korobeynikov | a58fac9 | 2009-07-16 13:43:18 +0000 | [diff] [blame] | 236 | O << '('; |
| 237 | printOperand(MI, OpNum); |
| 238 | O << ')'; |
| 239 | } |
| 240 | } |
| 241 | |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 242 | void SystemZAsmPrinter::printRRIAddrOperand(const MachineInstr *MI, int OpNum, |
| 243 | const char* Modifier) { |
| 244 | const MachineOperand &Base = MI->getOperand(OpNum); |
Anton Korobeynikov | f7cefd9 | 2009-07-16 13:48:42 +0000 | [diff] [blame] | 245 | const MachineOperand &Index = MI->getOperand(OpNum+2); |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 246 | |
| 247 | // Print displacement operand. |
Anton Korobeynikov | f7cefd9 | 2009-07-16 13:48:42 +0000 | [diff] [blame] | 248 | printOperand(MI, OpNum+1); |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 249 | |
| 250 | // Print base operand (if any) |
| 251 | if (Base.getReg()) { |
| 252 | O << '('; |
| 253 | printOperand(MI, OpNum); |
| 254 | if (Index.getReg()) { |
| 255 | O << ','; |
Anton Korobeynikov | f7cefd9 | 2009-07-16 13:48:42 +0000 | [diff] [blame] | 256 | printOperand(MI, OpNum+2); |
Anton Korobeynikov | 87b83aa | 2009-07-16 13:44:00 +0000 | [diff] [blame] | 257 | } |
| 258 | O << ')'; |
| 259 | } else |
| 260 | assert(!Index.getReg() && "Should allocate base register first!"); |
| 261 | } |
| 262 | |
Anton Korobeynikov | 147a9a7 | 2009-07-16 14:36:52 +0000 | [diff] [blame] | 263 | // Force static initialization. |
| 264 | extern "C" void LLVMInitializeSystemZAsmPrinter() { |
Daniel Dunbar | c680b01 | 2009-07-25 06:49:55 +0000 | [diff] [blame] | 265 | RegisterAsmPrinter<SystemZAsmPrinter> X(TheSystemZTarget); |
Anton Korobeynikov | 147a9a7 | 2009-07-16 14:36:52 +0000 | [diff] [blame] | 266 | } |