Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 1 | //===-- AsmPrinter.cpp - Common AsmPrinter code ---------------------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by the LLVM research group and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the AsmPrinter class. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Evan Cheng | 932f022 | 2006-03-03 02:04:29 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/AsmPrinter.h" |
Evan Cheng | 246ae0d | 2006-03-01 22:18:09 +0000 | [diff] [blame] | 15 | #include "llvm/Assembly/Writer.h" |
Nate Begeman | 8cfa57b | 2005-12-06 06:18:55 +0000 | [diff] [blame] | 16 | #include "llvm/DerivedTypes.h" |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 17 | #include "llvm/Constants.h" |
Chris Lattner | 450de39 | 2005-11-10 18:36:17 +0000 | [diff] [blame] | 18 | #include "llvm/Module.h" |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/MachineConstantPool.h" |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineJumpTableInfo.h" |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Mangler.h" |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 22 | #include "llvm/Support/MathExtras.h" |
Owen Anderson | 07000c6 | 2006-05-12 06:33:49 +0000 | [diff] [blame] | 23 | #include "llvm/Target/TargetData.h" |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 24 | #include "llvm/Target/TargetMachine.h" |
Duraid Madina | 2e096c1 | 2005-12-28 06:29:02 +0000 | [diff] [blame] | 25 | #include <iostream> |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 26 | #include <cerrno> |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 27 | using namespace llvm; |
| 28 | |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 29 | AsmPrinter::AsmPrinter(std::ostream &o, TargetMachine &tm) |
| 30 | : FunctionNumber(0), O(o), TM(tm), |
| 31 | CommentString("#"), |
| 32 | GlobalPrefix(""), |
| 33 | PrivateGlobalPrefix("."), |
| 34 | GlobalVarAddrPrefix(""), |
| 35 | GlobalVarAddrSuffix(""), |
| 36 | FunctionAddrPrefix(""), |
| 37 | FunctionAddrSuffix(""), |
Chris Lattner | 1c05997 | 2006-05-05 21:47:05 +0000 | [diff] [blame] | 38 | InlineAsmStart("#APP"), |
| 39 | InlineAsmEnd("#NO_APP"), |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 40 | ZeroDirective("\t.zero\t"), |
Jeff Cohen | c6a057b | 2006-05-02 03:46:13 +0000 | [diff] [blame] | 41 | ZeroDirectiveSuffix(0), |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 42 | AsciiDirective("\t.ascii\t"), |
| 43 | AscizDirective("\t.asciz\t"), |
| 44 | Data8bitsDirective("\t.byte\t"), |
| 45 | Data16bitsDirective("\t.short\t"), |
| 46 | Data32bitsDirective("\t.long\t"), |
| 47 | Data64bitsDirective("\t.quad\t"), |
| 48 | AlignDirective("\t.align\t"), |
| 49 | AlignmentIsInBytes(true), |
| 50 | SwitchToSectionDirective("\t.section\t"), |
Chris Lattner | 7faec9b | 2006-05-09 05:33:48 +0000 | [diff] [blame] | 51 | TextSectionStartSuffix(""), |
| 52 | DataSectionStartSuffix(""), |
| 53 | SectionEndDirectiveSuffix(0), |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 54 | ConstantPoolSection("\t.section .rodata\n"), |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 55 | JumpTableSection("\t.section .rodata\n"), |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 56 | StaticCtorsSection("\t.section .ctors,\"aw\",@progbits"), |
| 57 | StaticDtorsSection("\t.section .dtors,\"aw\",@progbits"), |
Evan Cheng | 2d2cec1 | 2006-06-29 00:26:09 +0000 | [diff] [blame] | 58 | FourByteConstantSection(0), |
| 59 | EightByteConstantSection(0), |
| 60 | SixteenByteConstantSection(0), |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 61 | LCOMMDirective(0), |
| 62 | COMMDirective("\t.comm\t"), |
| 63 | COMMDirectiveTakesAlignment(true), |
| 64 | HasDotTypeDotSizeDirective(true) { |
| 65 | } |
| 66 | |
| 67 | |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 68 | /// SwitchToTextSection - Switch to the specified text section of the executable |
| 69 | /// if we are not already in it! |
Chris Lattner | ac28fbd | 2005-11-21 07:06:27 +0000 | [diff] [blame] | 70 | /// |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 71 | void AsmPrinter::SwitchToTextSection(const char *NewSection, |
| 72 | const GlobalValue *GV) { |
Chris Lattner | ac28fbd | 2005-11-21 07:06:27 +0000 | [diff] [blame] | 73 | std::string NS; |
Chris Lattner | a7090ae | 2006-05-09 05:24:50 +0000 | [diff] [blame] | 74 | if (GV && GV->hasSection()) |
Chris Lattner | c8d37c6 | 2006-05-09 16:41:59 +0000 | [diff] [blame] | 75 | NS = SwitchToSectionDirective + GV->getSection(); |
Chris Lattner | a7090ae | 2006-05-09 05:24:50 +0000 | [diff] [blame] | 76 | else |
| 77 | NS = NewSection; |
| 78 | |
| 79 | // If we're already in this section, we're done. |
| 80 | if (CurrentSection == NS) return; |
Jeff Cohen | 51b776d | 2006-05-02 03:58:45 +0000 | [diff] [blame] | 81 | |
Chris Lattner | 7faec9b | 2006-05-09 05:33:48 +0000 | [diff] [blame] | 82 | // Close the current section, if applicable. |
| 83 | if (SectionEndDirectiveSuffix && !CurrentSection.empty()) |
| 84 | O << CurrentSection << SectionEndDirectiveSuffix << "\n"; |
Jeff Cohen | 51b776d | 2006-05-02 03:58:45 +0000 | [diff] [blame] | 85 | |
Chris Lattner | 7faec9b | 2006-05-09 05:33:48 +0000 | [diff] [blame] | 86 | CurrentSection = NS; |
| 87 | |
| 88 | if (!CurrentSection.empty()) |
| 89 | O << CurrentSection << TextSectionStartSuffix << '\n'; |
Chris Lattner | ac28fbd | 2005-11-21 07:06:27 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 92 | /// SwitchToTextSection - Switch to the specified text section of the executable |
| 93 | /// if we are not already in it! |
| 94 | /// |
| 95 | void AsmPrinter::SwitchToDataSection(const char *NewSection, |
| 96 | const GlobalValue *GV) { |
| 97 | std::string NS; |
Chris Lattner | b81cb61 | 2006-05-09 05:23:12 +0000 | [diff] [blame] | 98 | if (GV && GV->hasSection()) |
| 99 | NS = SwitchToSectionDirective + GV->getSection(); |
| 100 | else |
| 101 | NS = NewSection; |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 102 | |
Chris Lattner | b81cb61 | 2006-05-09 05:23:12 +0000 | [diff] [blame] | 103 | // If we're already in this section, we're done. |
| 104 | if (CurrentSection == NS) return; |
| 105 | |
Chris Lattner | 7faec9b | 2006-05-09 05:33:48 +0000 | [diff] [blame] | 106 | // Close the current section, if applicable. |
| 107 | if (SectionEndDirectiveSuffix && !CurrentSection.empty()) |
| 108 | O << CurrentSection << SectionEndDirectiveSuffix << "\n"; |
| 109 | |
| 110 | CurrentSection = NS; |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 111 | |
Chris Lattner | 7faec9b | 2006-05-09 05:33:48 +0000 | [diff] [blame] | 112 | if (!CurrentSection.empty()) |
| 113 | O << CurrentSection << DataSectionStartSuffix << '\n'; |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 114 | } |
| 115 | |
| 116 | |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 117 | bool AsmPrinter::doInitialization(Module &M) { |
Chris Lattner | af2bf0a | 2004-08-17 06:06:19 +0000 | [diff] [blame] | 118 | Mang = new Mangler(M, GlobalPrefix); |
Chris Lattner | 2c1b159 | 2006-01-23 23:47:53 +0000 | [diff] [blame] | 119 | |
Chris Lattner | 3e2fa7a | 2006-01-24 04:16:34 +0000 | [diff] [blame] | 120 | if (!M.getModuleInlineAsm().empty()) |
| 121 | O << CommentString << " Start of file scope inline assembly\n" |
| 122 | << M.getModuleInlineAsm() |
| 123 | << "\n" << CommentString << " End of file scope inline assembly\n"; |
Chris Lattner | 2c1b159 | 2006-01-23 23:47:53 +0000 | [diff] [blame] | 124 | |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 125 | SwitchToDataSection("", 0); // Reset back to no section. |
Jim Laskey | b3e789a | 2006-01-26 20:21:46 +0000 | [diff] [blame] | 126 | |
| 127 | if (MachineDebugInfo *DebugInfo = getAnalysisToUpdate<MachineDebugInfo>()) { |
| 128 | DebugInfo->AnalyzeModule(M); |
| 129 | } |
| 130 | |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 131 | return false; |
| 132 | } |
| 133 | |
| 134 | bool AsmPrinter::doFinalization(Module &M) { |
| 135 | delete Mang; Mang = 0; |
| 136 | return false; |
| 137 | } |
| 138 | |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 139 | void AsmPrinter::SetupMachineFunction(MachineFunction &MF) { |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 140 | // What's my mangled name? |
Chris Lattner | 450de39 | 2005-11-10 18:36:17 +0000 | [diff] [blame] | 141 | CurrentFnName = Mang->getValueName(MF.getFunction()); |
Chris Lattner | 77bc228 | 2005-11-21 08:13:27 +0000 | [diff] [blame] | 142 | IncrementFunctionNumber(); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 143 | } |
| 144 | |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 145 | /// EmitConstantPool - Print to the current output stream assembly |
| 146 | /// representations of the constants in the constant pool MCP. This is |
| 147 | /// used to print out constants which have been "spilled to memory" by |
| 148 | /// the code generator. |
| 149 | /// |
| 150 | void AsmPrinter::EmitConstantPool(MachineConstantPool *MCP) { |
Chris Lattner | fa77d43 | 2006-02-09 04:22:52 +0000 | [diff] [blame] | 151 | const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants(); |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 152 | if (CP.empty()) return; |
Evan Cheng | 2d2cec1 | 2006-06-29 00:26:09 +0000 | [diff] [blame] | 153 | |
| 154 | // Some targets require 4-, 8-, and 16- byte constant literals to be placed |
| 155 | // in special sections. |
| 156 | std::vector<std::pair<MachineConstantPoolEntry,unsigned> > FourByteCPs; |
| 157 | std::vector<std::pair<MachineConstantPoolEntry,unsigned> > EightByteCPs; |
| 158 | std::vector<std::pair<MachineConstantPoolEntry,unsigned> > SixteenByteCPs; |
| 159 | std::vector<std::pair<MachineConstantPoolEntry,unsigned> > OtherCPs; |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 160 | for (unsigned i = 0, e = CP.size(); i != e; ++i) { |
Evan Cheng | 2d2cec1 | 2006-06-29 00:26:09 +0000 | [diff] [blame] | 161 | MachineConstantPoolEntry CPE = CP[i]; |
| 162 | const Constant *CV = CPE.Val; |
| 163 | const Type *Ty = CV->getType(); |
| 164 | if (FourByteConstantSection && |
| 165 | TM.getTargetData()->getTypeSize(Ty) == 4) |
| 166 | FourByteCPs.push_back(std::make_pair(CPE, i)); |
| 167 | else if (EightByteConstantSection && |
| 168 | TM.getTargetData()->getTypeSize(Ty) == 8) |
| 169 | EightByteCPs.push_back(std::make_pair(CPE, i)); |
| 170 | else if (SixteenByteConstantSection && |
| 171 | TM.getTargetData()->getTypeSize(Ty) == 16) |
| 172 | SixteenByteCPs.push_back(std::make_pair(CPE, i)); |
| 173 | else |
| 174 | OtherCPs.push_back(std::make_pair(CPE, i)); |
| 175 | } |
| 176 | |
| 177 | unsigned Alignment = MCP->getConstantPoolAlignment(); |
| 178 | EmitConstantPool(Alignment, FourByteConstantSection, FourByteCPs); |
| 179 | EmitConstantPool(Alignment, EightByteConstantSection, EightByteCPs); |
| 180 | EmitConstantPool(Alignment, SixteenByteConstantSection, SixteenByteCPs); |
| 181 | EmitConstantPool(Alignment, ConstantPoolSection, OtherCPs); |
| 182 | } |
| 183 | |
| 184 | void AsmPrinter::EmitConstantPool(unsigned Alignment, const char *Section, |
| 185 | std::vector<std::pair<MachineConstantPoolEntry,unsigned> > &CP) { |
| 186 | if (CP.empty()) return; |
| 187 | |
| 188 | SwitchToDataSection(Section, 0); |
| 189 | EmitAlignment(Alignment); |
| 190 | for (unsigned i = 0, e = CP.size(); i != e; ++i) { |
| 191 | O << PrivateGlobalPrefix << "CPI" << getFunctionNumber() << '_' |
| 192 | << CP[i].second << ":\t\t\t\t\t" << CommentString << " "; |
| 193 | WriteTypeSymbolic(O, CP[i].first.Val->getType(), 0) << '\n'; |
| 194 | EmitGlobalConstant(CP[i].first.Val); |
Chris Lattner | 3029f92 | 2006-02-09 04:46:04 +0000 | [diff] [blame] | 195 | if (i != e-1) { |
Evan Cheng | 2d2cec1 | 2006-06-29 00:26:09 +0000 | [diff] [blame] | 196 | unsigned EntSize = |
| 197 | TM.getTargetData()->getTypeSize(CP[i].first.Val->getType()); |
| 198 | unsigned ValEnd = CP[i].first.Offset + EntSize; |
Chris Lattner | 3029f92 | 2006-02-09 04:46:04 +0000 | [diff] [blame] | 199 | // Emit inter-object padding for alignment. |
Evan Cheng | 2d2cec1 | 2006-06-29 00:26:09 +0000 | [diff] [blame] | 200 | EmitZeros(CP[i+1].first.Offset-ValEnd); |
Chris Lattner | 3029f92 | 2006-02-09 04:46:04 +0000 | [diff] [blame] | 201 | } |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 202 | } |
| 203 | } |
| 204 | |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 205 | /// EmitJumpTableInfo - Print assembly representations of the jump tables used |
| 206 | /// by the current function to the current output stream. |
| 207 | /// |
| 208 | void AsmPrinter::EmitJumpTableInfo(MachineJumpTableInfo *MJTI) { |
| 209 | const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables(); |
| 210 | if (JT.empty()) return; |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 211 | const TargetData *TD = TM.getTargetData(); |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 212 | |
| 213 | // FIXME: someday we need to handle PIC jump tables |
| 214 | assert((TM.getRelocationModel() == Reloc::Static || |
| 215 | TM.getRelocationModel() == Reloc::DynamicNoPIC) && |
| 216 | "Unhandled relocation model emitting jump table information!"); |
| 217 | |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 218 | SwitchToDataSection(JumpTableSection, 0); |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 219 | EmitAlignment(Log2_32(TD->getPointerAlignment())); |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 220 | for (unsigned i = 0, e = JT.size(); i != e; ++i) { |
| 221 | O << PrivateGlobalPrefix << "JTI" << getFunctionNumber() << '_' << i |
| 222 | << ":\n"; |
| 223 | const std::vector<MachineBasicBlock*> &JTBBs = JT[i].MBBs; |
| 224 | for (unsigned ii = 0, ee = JTBBs.size(); ii != ee; ++ii) { |
| 225 | O << Data32bitsDirective << ' '; |
| 226 | printBasicBlockLabel(JTBBs[ii]); |
| 227 | O << '\n'; |
| 228 | } |
| 229 | } |
| 230 | } |
| 231 | |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 232 | /// EmitSpecialLLVMGlobal - Check to see if the specified global is a |
| 233 | /// special global used by LLVM. If so, emit it and return true, otherwise |
| 234 | /// do nothing and return false. |
| 235 | bool AsmPrinter::EmitSpecialLLVMGlobal(const GlobalVariable *GV) { |
Jim Laskey | 7809811 | 2006-03-07 22:00:35 +0000 | [diff] [blame] | 236 | // Ignore debug and non-emitted data. |
| 237 | if (GV->getSection() == "llvm.metadata") return true; |
| 238 | |
| 239 | if (!GV->hasAppendingLinkage()) return false; |
| 240 | |
| 241 | assert(GV->hasInitializer() && "Not a special LLVM global!"); |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 242 | |
| 243 | if (GV->getName() == "llvm.used") |
| 244 | return true; // No need to emit this at all. |
| 245 | |
Chris Lattner | 5166b82 | 2006-01-12 19:17:23 +0000 | [diff] [blame] | 246 | if (GV->getName() == "llvm.global_ctors" && GV->use_empty()) { |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 247 | SwitchToDataSection(StaticCtorsSection, 0); |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 248 | EmitAlignment(2, 0); |
| 249 | EmitXXStructorList(GV->getInitializer()); |
| 250 | return true; |
| 251 | } |
| 252 | |
Chris Lattner | 5166b82 | 2006-01-12 19:17:23 +0000 | [diff] [blame] | 253 | if (GV->getName() == "llvm.global_dtors" && GV->use_empty()) { |
Chris Lattner | 4632d7a | 2006-05-09 04:59:56 +0000 | [diff] [blame] | 254 | SwitchToDataSection(StaticDtorsSection, 0); |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 255 | EmitAlignment(2, 0); |
| 256 | EmitXXStructorList(GV->getInitializer()); |
| 257 | return true; |
| 258 | } |
| 259 | |
| 260 | return false; |
| 261 | } |
| 262 | |
| 263 | /// EmitXXStructorList - Emit the ctor or dtor list. This just prints out the |
| 264 | /// function pointers, ignoring the init priority. |
| 265 | void AsmPrinter::EmitXXStructorList(Constant *List) { |
| 266 | // Should be an array of '{ int, void ()* }' structs. The first value is the |
| 267 | // init priority, which we ignore. |
| 268 | if (!isa<ConstantArray>(List)) return; |
| 269 | ConstantArray *InitList = cast<ConstantArray>(List); |
| 270 | for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) |
| 271 | if (ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(i))){ |
| 272 | if (CS->getNumOperands() != 2) return; // Not array of 2-element structs. |
Chris Lattner | 8de324b | 2005-12-21 01:17:37 +0000 | [diff] [blame] | 273 | |
| 274 | if (CS->getOperand(1)->isNullValue()) |
| 275 | return; // Found a null terminator, exit printing. |
| 276 | // Emit the function pointer. |
Chris Lattner | ed13893 | 2005-12-13 06:32:10 +0000 | [diff] [blame] | 277 | EmitGlobalConstant(CS->getOperand(1)); |
| 278 | } |
| 279 | } |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 280 | |
Chris Lattner | 4d57e0c | 2006-02-05 01:29:18 +0000 | [diff] [blame] | 281 | /// getPreferredAlignmentLog - Return the preferred alignment of the |
| 282 | /// specified global, returned in log form. This includes an explicitly |
| 283 | /// requested alignment (if the global has one). |
| 284 | unsigned AsmPrinter::getPreferredAlignmentLog(const GlobalVariable *GV) const { |
Jim Laskey | 35f8c20 | 2006-06-15 13:10:58 +0000 | [diff] [blame] | 285 | const Type *ElemType = GV->getType()->getElementType(); |
| 286 | unsigned Alignment = TM.getTargetData()->getTypeAlignmentShift(ElemType); |
Chris Lattner | 4d57e0c | 2006-02-05 01:29:18 +0000 | [diff] [blame] | 287 | if (GV->getAlignment() > (1U << Alignment)) |
| 288 | Alignment = Log2_32(GV->getAlignment()); |
| 289 | |
Chris Lattner | 519ea2a | 2006-02-05 01:46:49 +0000 | [diff] [blame] | 290 | if (GV->hasInitializer()) { |
Jim Laskey | d5a932b | 2006-06-15 19:37:14 +0000 | [diff] [blame] | 291 | // Always round up alignment of global doubles to 8 bytes. |
| 292 | if (GV->getType()->getElementType() == Type::DoubleTy && Alignment < 3) |
| 293 | Alignment = 3; |
Chris Lattner | 519ea2a | 2006-02-05 01:46:49 +0000 | [diff] [blame] | 294 | if (Alignment < 4) { |
| 295 | // If the global is not external, see if it is large. If so, give it a |
| 296 | // larger alignment. |
Jim Laskey | 35f8c20 | 2006-06-15 13:10:58 +0000 | [diff] [blame] | 297 | if (TM.getTargetData()->getTypeSize(ElemType) > 128) |
Chris Lattner | 519ea2a | 2006-02-05 01:46:49 +0000 | [diff] [blame] | 298 | Alignment = 4; // 16-byte alignment. |
| 299 | } |
Chris Lattner | 4d57e0c | 2006-02-05 01:29:18 +0000 | [diff] [blame] | 300 | } |
| 301 | return Alignment; |
| 302 | } |
Chris Lattner | 3b4fd32 | 2005-11-21 08:25:09 +0000 | [diff] [blame] | 303 | |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 304 | // EmitAlignment - Emit an alignment directive to the specified power of two. |
| 305 | void AsmPrinter::EmitAlignment(unsigned NumBits, const GlobalValue *GV) const { |
Chris Lattner | a1ab72d | 2005-11-14 19:00:06 +0000 | [diff] [blame] | 306 | if (GV && GV->getAlignment()) |
| 307 | NumBits = Log2_32(GV->getAlignment()); |
Chris Lattner | 2a21c6e | 2005-11-10 18:09:27 +0000 | [diff] [blame] | 308 | if (NumBits == 0) return; // No need to emit alignment. |
Chris Lattner | bfddc20 | 2004-08-17 19:14:29 +0000 | [diff] [blame] | 309 | if (AlignmentIsInBytes) NumBits = 1 << NumBits; |
| 310 | O << AlignDirective << NumBits << "\n"; |
| 311 | } |
| 312 | |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 313 | /// EmitZeros - Emit a block of zeros. |
Chris Lattner | 7d057a3 | 2004-08-17 21:38:40 +0000 | [diff] [blame] | 314 | /// |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 315 | void AsmPrinter::EmitZeros(uint64_t NumZeros) const { |
Chris Lattner | 7d057a3 | 2004-08-17 21:38:40 +0000 | [diff] [blame] | 316 | if (NumZeros) { |
Jeff Cohen | c6a057b | 2006-05-02 03:46:13 +0000 | [diff] [blame] | 317 | if (ZeroDirective) { |
| 318 | O << ZeroDirective << NumZeros; |
| 319 | if (ZeroDirectiveSuffix) |
| 320 | O << ZeroDirectiveSuffix; |
| 321 | O << "\n"; |
| 322 | } else { |
Chris Lattner | 7d057a3 | 2004-08-17 21:38:40 +0000 | [diff] [blame] | 323 | for (; NumZeros; --NumZeros) |
| 324 | O << Data8bitsDirective << "0\n"; |
| 325 | } |
| 326 | } |
| 327 | } |
| 328 | |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 329 | // Print out the specified constant, without a storage class. Only the |
| 330 | // constants valid in constant expressions can occur here. |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 331 | void AsmPrinter::EmitConstantValueOnly(const Constant *CV) { |
Chris Lattner | bd1d382 | 2004-10-16 18:19:26 +0000 | [diff] [blame] | 332 | if (CV->isNullValue() || isa<UndefValue>(CV)) |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 333 | O << "0"; |
| 334 | else if (const ConstantBool *CB = dyn_cast<ConstantBool>(CV)) { |
| 335 | assert(CB == ConstantBool::True); |
| 336 | O << "1"; |
| 337 | } else if (const ConstantSInt *CI = dyn_cast<ConstantSInt>(CV)) |
| 338 | if (((CI->getValue() << 32) >> 32) == CI->getValue()) |
| 339 | O << CI->getValue(); |
| 340 | else |
Duraid Madina | 4560657 | 2005-05-15 13:05:48 +0000 | [diff] [blame] | 341 | O << (uint64_t)CI->getValue(); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 342 | else if (const ConstantUInt *CI = dyn_cast<ConstantUInt>(CV)) |
| 343 | O << CI->getValue(); |
Chris Lattner | 450de39 | 2005-11-10 18:36:17 +0000 | [diff] [blame] | 344 | else if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) { |
Duraid Madina | 855a519 | 2005-04-02 12:21:51 +0000 | [diff] [blame] | 345 | // This is a constant address for a global variable or function. Use the |
| 346 | // name of the variable or function as the address value, possibly |
| 347 | // decorating it with GlobalVarAddrPrefix/Suffix or |
| 348 | // FunctionAddrPrefix/Suffix (these all default to "" ) |
Chris Lattner | 450de39 | 2005-11-10 18:36:17 +0000 | [diff] [blame] | 349 | if (isa<Function>(GV)) |
| 350 | O << FunctionAddrPrefix << Mang->getValueName(GV) << FunctionAddrSuffix; |
Duraid Madina | 855a519 | 2005-04-02 12:21:51 +0000 | [diff] [blame] | 351 | else |
Chris Lattner | 450de39 | 2005-11-10 18:36:17 +0000 | [diff] [blame] | 352 | O << GlobalVarAddrPrefix << Mang->getValueName(GV) << GlobalVarAddrSuffix; |
Duraid Madina | 855a519 | 2005-04-02 12:21:51 +0000 | [diff] [blame] | 353 | } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) { |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 354 | const TargetData *TD = TM.getTargetData(); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 355 | switch(CE->getOpcode()) { |
| 356 | case Instruction::GetElementPtr: { |
| 357 | // generate a symbolic expression for the byte address |
| 358 | const Constant *ptrVal = CE->getOperand(0); |
| 359 | std::vector<Value*> idxVec(CE->op_begin()+1, CE->op_end()); |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 360 | if (int64_t Offset = TD->getIndexedOffset(ptrVal->getType(), idxVec)) { |
Chris Lattner | 27e1921 | 2005-02-14 21:40:26 +0000 | [diff] [blame] | 361 | if (Offset) |
| 362 | O << "("; |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 363 | EmitConstantValueOnly(ptrVal); |
Chris Lattner | 27e1921 | 2005-02-14 21:40:26 +0000 | [diff] [blame] | 364 | if (Offset > 0) |
| 365 | O << ") + " << Offset; |
| 366 | else if (Offset < 0) |
| 367 | O << ") - " << -Offset; |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 368 | } else { |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 369 | EmitConstantValueOnly(ptrVal); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 370 | } |
| 371 | break; |
| 372 | } |
| 373 | case Instruction::Cast: { |
| 374 | // Support only non-converting or widening casts for now, that is, ones |
| 375 | // that do not involve a change in value. This assertion is really gross, |
| 376 | // and may not even be a complete check. |
| 377 | Constant *Op = CE->getOperand(0); |
| 378 | const Type *OpTy = Op->getType(), *Ty = CE->getType(); |
| 379 | |
| 380 | // Remember, kids, pointers can be losslessly converted back and forth |
| 381 | // into 32-bit or wider integers, regardless of signedness. :-P |
| 382 | assert(((isa<PointerType>(OpTy) |
| 383 | && (Ty == Type::LongTy || Ty == Type::ULongTy |
| 384 | || Ty == Type::IntTy || Ty == Type::UIntTy)) |
| 385 | || (isa<PointerType>(Ty) |
| 386 | && (OpTy == Type::LongTy || OpTy == Type::ULongTy |
| 387 | || OpTy == Type::IntTy || OpTy == Type::UIntTy)) |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 388 | || (((TD->getTypeSize(Ty) >= TD->getTypeSize(OpTy)) |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 389 | && OpTy->isLosslesslyConvertibleTo(Ty)))) |
| 390 | && "FIXME: Don't yet support this kind of constant cast expr"); |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 391 | EmitConstantValueOnly(Op); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 392 | break; |
| 393 | } |
| 394 | case Instruction::Add: |
| 395 | O << "("; |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 396 | EmitConstantValueOnly(CE->getOperand(0)); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 397 | O << ") + ("; |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 398 | EmitConstantValueOnly(CE->getOperand(1)); |
Chris Lattner | a80ba71 | 2004-08-16 23:15:22 +0000 | [diff] [blame] | 399 | O << ")"; |
| 400 | break; |
| 401 | default: |
| 402 | assert(0 && "Unsupported operator!"); |
| 403 | } |
| 404 | } else { |
| 405 | assert(0 && "Unknown constant value!"); |
| 406 | } |
| 407 | } |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 408 | |
| 409 | /// toOctal - Convert the low order bits of X into an octal digit. |
| 410 | /// |
| 411 | static inline char toOctal(int X) { |
| 412 | return (X&7)+'0'; |
| 413 | } |
| 414 | |
Chris Lattner | 2980cef | 2005-11-10 18:06:33 +0000 | [diff] [blame] | 415 | /// printAsCString - Print the specified array as a C compatible string, only if |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 416 | /// the predicate isString is true. |
| 417 | /// |
Chris Lattner | 2980cef | 2005-11-10 18:06:33 +0000 | [diff] [blame] | 418 | static void printAsCString(std::ostream &O, const ConstantArray *CVA, |
| 419 | unsigned LastElt) { |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 420 | assert(CVA->isString() && "Array is not string compatible!"); |
| 421 | |
| 422 | O << "\""; |
Chris Lattner | 2980cef | 2005-11-10 18:06:33 +0000 | [diff] [blame] | 423 | for (unsigned i = 0; i != LastElt; ++i) { |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 424 | unsigned char C = |
Chris Lattner | dea18b6 | 2005-01-08 19:59:10 +0000 | [diff] [blame] | 425 | (unsigned char)cast<ConstantInt>(CVA->getOperand(i))->getRawValue(); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 426 | |
| 427 | if (C == '"') { |
| 428 | O << "\\\""; |
| 429 | } else if (C == '\\') { |
| 430 | O << "\\\\"; |
| 431 | } else if (isprint(C)) { |
| 432 | O << C; |
| 433 | } else { |
| 434 | switch(C) { |
| 435 | case '\b': O << "\\b"; break; |
| 436 | case '\f': O << "\\f"; break; |
| 437 | case '\n': O << "\\n"; break; |
| 438 | case '\r': O << "\\r"; break; |
| 439 | case '\t': O << "\\t"; break; |
| 440 | default: |
| 441 | O << '\\'; |
| 442 | O << toOctal(C >> 6); |
| 443 | O << toOctal(C >> 3); |
| 444 | O << toOctal(C >> 0); |
| 445 | break; |
| 446 | } |
| 447 | } |
| 448 | } |
| 449 | O << "\""; |
| 450 | } |
| 451 | |
Jeff Cohen | c884db4 | 2006-05-02 01:16:28 +0000 | [diff] [blame] | 452 | /// EmitString - Emit a zero-byte-terminated string constant. |
| 453 | /// |
| 454 | void AsmPrinter::EmitString(const ConstantArray *CVA) const { |
| 455 | unsigned NumElts = CVA->getNumOperands(); |
| 456 | if (AscizDirective && NumElts && |
| 457 | cast<ConstantInt>(CVA->getOperand(NumElts-1))->getRawValue() == 0) { |
| 458 | O << AscizDirective; |
| 459 | printAsCString(O, CVA, NumElts-1); |
| 460 | } else { |
| 461 | O << AsciiDirective; |
| 462 | printAsCString(O, CVA, NumElts); |
| 463 | } |
| 464 | O << "\n"; |
| 465 | } |
| 466 | |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 467 | /// EmitGlobalConstant - Print a general LLVM constant to the .s file. |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 468 | /// |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 469 | void AsmPrinter::EmitGlobalConstant(const Constant *CV) { |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 470 | const TargetData *TD = TM.getTargetData(); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 471 | |
Chris Lattner | bd1d382 | 2004-10-16 18:19:26 +0000 | [diff] [blame] | 472 | if (CV->isNullValue() || isa<UndefValue>(CV)) { |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 473 | EmitZeros(TD->getTypeSize(CV->getType())); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 474 | return; |
| 475 | } else if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV)) { |
| 476 | if (CVA->isString()) { |
Jeff Cohen | c884db4 | 2006-05-02 01:16:28 +0000 | [diff] [blame] | 477 | EmitString(CVA); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 478 | } else { // Not a string. Print the values in successive locations |
| 479 | for (unsigned i = 0, e = CVA->getNumOperands(); i != e; ++i) |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 480 | EmitGlobalConstant(CVA->getOperand(i)); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 481 | } |
| 482 | return; |
| 483 | } else if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV)) { |
| 484 | // Print the fields in successive locations. Pad to align if needed! |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 485 | const StructLayout *cvsLayout = TD->getStructLayout(CVS->getType()); |
Chris Lattner | dea18b6 | 2005-01-08 19:59:10 +0000 | [diff] [blame] | 486 | uint64_t sizeSoFar = 0; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 487 | for (unsigned i = 0, e = CVS->getNumOperands(); i != e; ++i) { |
| 488 | const Constant* field = CVS->getOperand(i); |
| 489 | |
| 490 | // Check if padding is needed and insert one or more 0s. |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 491 | uint64_t fieldSize = TD->getTypeSize(field->getType()); |
Chris Lattner | dea18b6 | 2005-01-08 19:59:10 +0000 | [diff] [blame] | 492 | uint64_t padSize = ((i == e-1? cvsLayout->StructSize |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 493 | : cvsLayout->MemberOffsets[i+1]) |
| 494 | - cvsLayout->MemberOffsets[i]) - fieldSize; |
| 495 | sizeSoFar += fieldSize + padSize; |
| 496 | |
| 497 | // Now print the actual field value |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 498 | EmitGlobalConstant(field); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 499 | |
| 500 | // Insert the field padding unless it's zero bytes... |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 501 | EmitZeros(padSize); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 502 | } |
| 503 | assert(sizeSoFar == cvsLayout->StructSize && |
| 504 | "Layout of constant struct may be incorrect!"); |
| 505 | return; |
| 506 | } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) { |
| 507 | // FP Constants are printed as integer constants to avoid losing |
| 508 | // precision... |
| 509 | double Val = CFP->getValue(); |
| 510 | if (CFP->getType() == Type::DoubleTy) { |
Chris Lattner | e85a5a9 | 2004-08-17 06:48:16 +0000 | [diff] [blame] | 511 | if (Data64bitsDirective) |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 512 | O << Data64bitsDirective << DoubleToBits(Val) << "\t" << CommentString |
Chris Lattner | 7d057a3 | 2004-08-17 21:38:40 +0000 | [diff] [blame] | 513 | << " double value: " << Val << "\n"; |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 514 | else if (TD->isBigEndian()) { |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 515 | O << Data32bitsDirective << unsigned(DoubleToBits(Val) >> 32) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 516 | << "\t" << CommentString << " double most significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 517 | << Val << "\n"; |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 518 | O << Data32bitsDirective << unsigned(DoubleToBits(Val)) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 519 | << "\t" << CommentString << " double least significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 520 | << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 521 | } else { |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 522 | O << Data32bitsDirective << unsigned(DoubleToBits(Val)) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 523 | << "\t" << CommentString << " double least significant word " << Val |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 524 | << "\n"; |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 525 | O << Data32bitsDirective << unsigned(DoubleToBits(Val) >> 32) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 526 | << "\t" << CommentString << " double most significant word " << Val |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 527 | << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 528 | } |
| 529 | return; |
| 530 | } else { |
Jim Laskey | cb6682f | 2005-08-17 19:34:49 +0000 | [diff] [blame] | 531 | O << Data32bitsDirective << FloatToBits(Val) << "\t" << CommentString |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 532 | << " float " << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 533 | return; |
| 534 | } |
| 535 | } else if (CV->getType() == Type::ULongTy || CV->getType() == Type::LongTy) { |
| 536 | if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) { |
| 537 | uint64_t Val = CI->getRawValue(); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 538 | |
Chris Lattner | e85a5a9 | 2004-08-17 06:48:16 +0000 | [diff] [blame] | 539 | if (Data64bitsDirective) |
| 540 | O << Data64bitsDirective << Val << "\n"; |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 541 | else if (TD->isBigEndian()) { |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 542 | O << Data32bitsDirective << unsigned(Val >> 32) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 543 | << "\t" << CommentString << " Double-word most significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 544 | << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 545 | O << Data32bitsDirective << unsigned(Val) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 546 | << "\t" << CommentString << " Double-word least significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 547 | << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 548 | } else { |
| 549 | O << Data32bitsDirective << unsigned(Val) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 550 | << "\t" << CommentString << " Double-word least significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 551 | << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 552 | O << Data32bitsDirective << unsigned(Val >> 32) |
Chris Lattner | f746a7d | 2004-08-18 02:22:55 +0000 | [diff] [blame] | 553 | << "\t" << CommentString << " Double-word most significant word " |
Chris Lattner | 0554fb6 | 2004-08-17 16:27:05 +0000 | [diff] [blame] | 554 | << Val << "\n"; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 555 | } |
| 556 | return; |
| 557 | } |
Nate Begeman | 8cfa57b | 2005-12-06 06:18:55 +0000 | [diff] [blame] | 558 | } else if (const ConstantPacked *CP = dyn_cast<ConstantPacked>(CV)) { |
| 559 | const PackedType *PTy = CP->getType(); |
| 560 | |
| 561 | for (unsigned I = 0, E = PTy->getNumElements(); I < E; ++I) |
| 562 | EmitGlobalConstant(CP->getOperand(I)); |
| 563 | |
| 564 | return; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 565 | } |
| 566 | |
| 567 | const Type *type = CV->getType(); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 568 | switch (type->getTypeID()) { |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 569 | case Type::BoolTyID: |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 570 | case Type::UByteTyID: case Type::SByteTyID: |
| 571 | O << Data8bitsDirective; |
| 572 | break; |
| 573 | case Type::UShortTyID: case Type::ShortTyID: |
| 574 | O << Data16bitsDirective; |
| 575 | break; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 576 | case Type::PointerTyID: |
Owen Anderson | a69571c | 2006-05-03 01:29:57 +0000 | [diff] [blame] | 577 | if (TD->getPointerSize() == 8) { |
Evan Cheng | a9767f6 | 2006-06-15 08:10:56 +0000 | [diff] [blame] | 578 | assert(Data64bitsDirective && |
| 579 | "Target cannot handle 64-bit pointer exprs!"); |
Andrew Lenharth | 571c9c3 | 2005-02-04 13:47:16 +0000 | [diff] [blame] | 580 | O << Data64bitsDirective; |
| 581 | break; |
| 582 | } |
| 583 | //Fall through for pointer size == int size |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 584 | case Type::UIntTyID: case Type::IntTyID: |
| 585 | O << Data32bitsDirective; |
| 586 | break; |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 587 | case Type::ULongTyID: case Type::LongTyID: |
Chris Lattner | 660538c | 2005-08-08 04:26:32 +0000 | [diff] [blame] | 588 | assert(Data64bitsDirective &&"Target cannot handle 64-bit constant exprs!"); |
| 589 | O << Data64bitsDirective; |
| 590 | break; |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 591 | case Type::FloatTyID: case Type::DoubleTyID: |
| 592 | assert (0 && "Should have already output floating point constant."); |
| 593 | default: |
| 594 | assert (0 && "Can't handle printing this type of thing"); |
| 595 | break; |
| 596 | } |
Chris Lattner | 25045bd | 2005-11-21 07:51:36 +0000 | [diff] [blame] | 597 | EmitConstantValueOnly(CV); |
Chris Lattner | 1b7e235 | 2004-08-17 06:36:49 +0000 | [diff] [blame] | 598 | O << "\n"; |
| 599 | } |
Chris Lattner | 0264d1a | 2006-01-27 02:10:10 +0000 | [diff] [blame] | 600 | |
| 601 | /// printInlineAsm - This method formats and prints the specified machine |
| 602 | /// instruction that is an inline asm. |
| 603 | void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { |
Chris Lattner | 1c05997 | 2006-05-05 21:47:05 +0000 | [diff] [blame] | 604 | O << InlineAsmStart << "\n\t"; |
Chris Lattner | f2b67cf | 2006-01-30 23:00:08 +0000 | [diff] [blame] | 605 | unsigned NumOperands = MI->getNumOperands(); |
| 606 | |
| 607 | // Count the number of register definitions. |
| 608 | unsigned NumDefs = 0; |
| 609 | for (; MI->getOperand(NumDefs).isDef(); ++NumDefs) |
| 610 | assert(NumDefs != NumOperands-1 && "No asm string?"); |
| 611 | |
| 612 | assert(MI->getOperand(NumDefs).isExternalSymbol() && "No asm string?"); |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 613 | |
| 614 | // Disassemble the AsmStr, printing out the literal pieces, the operands, etc. |
Chris Lattner | f2b67cf | 2006-01-30 23:00:08 +0000 | [diff] [blame] | 615 | const char *AsmStr = MI->getOperand(NumDefs).getSymbolName(); |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 616 | |
| 617 | // The variant of the current asmprinter: FIXME: change. |
| 618 | int AsmPrinterVariant = 0; |
Chris Lattner | f2b67cf | 2006-01-30 23:00:08 +0000 | [diff] [blame] | 619 | |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 620 | int CurVariant = -1; // The number of the {.|.|.} region we are in. |
| 621 | const char *LastEmitted = AsmStr; // One past the last character emitted. |
Chris Lattner | 2cc2f66 | 2006-02-01 01:28:23 +0000 | [diff] [blame] | 622 | |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 623 | while (*LastEmitted) { |
| 624 | switch (*LastEmitted) { |
| 625 | default: { |
| 626 | // Not a special case, emit the string section literally. |
| 627 | const char *LiteralEnd = LastEmitted+1; |
| 628 | while (*LiteralEnd && *LiteralEnd != '{' && *LiteralEnd != '|' && |
Chris Lattner | 1c05997 | 2006-05-05 21:47:05 +0000 | [diff] [blame] | 629 | *LiteralEnd != '}' && *LiteralEnd != '$' && *LiteralEnd != '\n') |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 630 | ++LiteralEnd; |
| 631 | if (CurVariant == -1 || CurVariant == AsmPrinterVariant) |
| 632 | O.write(LastEmitted, LiteralEnd-LastEmitted); |
| 633 | LastEmitted = LiteralEnd; |
| 634 | break; |
| 635 | } |
Chris Lattner | 1c05997 | 2006-05-05 21:47:05 +0000 | [diff] [blame] | 636 | case '\n': |
| 637 | ++LastEmitted; // Consume newline character. |
| 638 | O << "\n\t"; // Indent code with newline. |
| 639 | break; |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 640 | case '$': { |
| 641 | ++LastEmitted; // Consume '$' character. |
| 642 | if (*LastEmitted == '$') { // $$ -> $ |
| 643 | if (CurVariant == -1 || CurVariant == AsmPrinterVariant) |
| 644 | O << '$'; |
| 645 | ++LastEmitted; // Consume second '$' character. |
| 646 | break; |
| 647 | } |
| 648 | |
| 649 | bool HasCurlyBraces = false; |
| 650 | if (*LastEmitted == '{') { // ${variable} |
| 651 | ++LastEmitted; // Consume '{' character. |
| 652 | HasCurlyBraces = true; |
| 653 | } |
| 654 | |
| 655 | const char *IDStart = LastEmitted; |
| 656 | char *IDEnd; |
| 657 | long Val = strtol(IDStart, &IDEnd, 10); // We only accept numbers for IDs. |
| 658 | if (!isdigit(*IDStart) || (Val == 0 && errno == EINVAL)) { |
| 659 | std::cerr << "Bad $ operand number in inline asm string: '" |
| 660 | << AsmStr << "'\n"; |
| 661 | exit(1); |
| 662 | } |
| 663 | LastEmitted = IDEnd; |
| 664 | |
Chris Lattner | a36cb0a | 2006-02-06 22:17:23 +0000 | [diff] [blame] | 665 | char Modifier[2] = { 0, 0 }; |
| 666 | |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 667 | if (HasCurlyBraces) { |
Chris Lattner | a36cb0a | 2006-02-06 22:17:23 +0000 | [diff] [blame] | 668 | // If we have curly braces, check for a modifier character. This |
| 669 | // supports syntax like ${0:u}, which correspond to "%u0" in GCC asm. |
| 670 | if (*LastEmitted == ':') { |
| 671 | ++LastEmitted; // Consume ':' character. |
| 672 | if (*LastEmitted == 0) { |
| 673 | std::cerr << "Bad ${:} expression in inline asm string: '" |
| 674 | << AsmStr << "'\n"; |
| 675 | exit(1); |
| 676 | } |
| 677 | |
| 678 | Modifier[0] = *LastEmitted; |
| 679 | ++LastEmitted; // Consume modifier character. |
| 680 | } |
| 681 | |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 682 | if (*LastEmitted != '}') { |
| 683 | std::cerr << "Bad ${} expression in inline asm string: '" |
| 684 | << AsmStr << "'\n"; |
| 685 | exit(1); |
| 686 | } |
| 687 | ++LastEmitted; // Consume '}' character. |
| 688 | } |
| 689 | |
| 690 | if ((unsigned)Val >= NumOperands-1) { |
| 691 | std::cerr << "Invalid $ operand number in inline asm string: '" |
| 692 | << AsmStr << "'\n"; |
| 693 | exit(1); |
| 694 | } |
| 695 | |
Chris Lattner | c3a9f8d | 2006-02-23 19:21:04 +0000 | [diff] [blame] | 696 | // Okay, we finally have a value number. Ask the target to print this |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 697 | // operand! |
Chris Lattner | c3a9f8d | 2006-02-23 19:21:04 +0000 | [diff] [blame] | 698 | if (CurVariant == -1 || CurVariant == AsmPrinterVariant) { |
| 699 | unsigned OpNo = 1; |
Chris Lattner | fd561cd | 2006-06-08 18:00:47 +0000 | [diff] [blame] | 700 | |
| 701 | bool Error = false; |
| 702 | |
Chris Lattner | c3a9f8d | 2006-02-23 19:21:04 +0000 | [diff] [blame] | 703 | // Scan to find the machine operand number for the operand. |
Chris Lattner | daf6bc6 | 2006-02-24 19:50:58 +0000 | [diff] [blame] | 704 | for (; Val; --Val) { |
Chris Lattner | fd561cd | 2006-06-08 18:00:47 +0000 | [diff] [blame] | 705 | if (OpNo >= MI->getNumOperands()) break; |
Chris Lattner | daf6bc6 | 2006-02-24 19:50:58 +0000 | [diff] [blame] | 706 | unsigned OpFlags = MI->getOperand(OpNo).getImmedValue(); |
| 707 | OpNo += (OpFlags >> 3) + 1; |
| 708 | } |
Chris Lattner | dd26033 | 2006-02-24 20:21:58 +0000 | [diff] [blame] | 709 | |
Chris Lattner | fd561cd | 2006-06-08 18:00:47 +0000 | [diff] [blame] | 710 | if (OpNo >= MI->getNumOperands()) { |
| 711 | Error = true; |
Chris Lattner | dd26033 | 2006-02-24 20:21:58 +0000 | [diff] [blame] | 712 | } else { |
Chris Lattner | fd561cd | 2006-06-08 18:00:47 +0000 | [diff] [blame] | 713 | unsigned OpFlags = MI->getOperand(OpNo).getImmedValue(); |
| 714 | ++OpNo; // Skip over the ID number. |
| 715 | |
| 716 | AsmPrinter *AP = const_cast<AsmPrinter*>(this); |
| 717 | if ((OpFlags & 7) == 4 /*ADDR MODE*/) { |
| 718 | Error = AP->PrintAsmMemoryOperand(MI, OpNo, AsmPrinterVariant, |
| 719 | Modifier[0] ? Modifier : 0); |
| 720 | } else { |
| 721 | Error = AP->PrintAsmOperand(MI, OpNo, AsmPrinterVariant, |
| 722 | Modifier[0] ? Modifier : 0); |
| 723 | } |
Chris Lattner | dd26033 | 2006-02-24 20:21:58 +0000 | [diff] [blame] | 724 | } |
| 725 | if (Error) { |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 726 | std::cerr << "Invalid operand found in inline asm: '" |
| 727 | << AsmStr << "'\n"; |
| 728 | MI->dump(); |
| 729 | exit(1); |
| 730 | } |
Chris Lattner | c3a9f8d | 2006-02-23 19:21:04 +0000 | [diff] [blame] | 731 | } |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 732 | break; |
| 733 | } |
| 734 | case '{': |
| 735 | ++LastEmitted; // Consume '{' character. |
| 736 | if (CurVariant != -1) { |
| 737 | std::cerr << "Nested variants found in inline asm string: '" |
| 738 | << AsmStr << "'\n"; |
| 739 | exit(1); |
| 740 | } |
| 741 | CurVariant = 0; // We're in the first variant now. |
| 742 | break; |
| 743 | case '|': |
| 744 | ++LastEmitted; // consume '|' character. |
| 745 | if (CurVariant == -1) { |
| 746 | std::cerr << "Found '|' character outside of variant in inline asm " |
| 747 | << "string: '" << AsmStr << "'\n"; |
| 748 | exit(1); |
| 749 | } |
| 750 | ++CurVariant; // We're in the next variant. |
| 751 | break; |
| 752 | case '}': |
| 753 | ++LastEmitted; // consume '}' character. |
| 754 | if (CurVariant == -1) { |
| 755 | std::cerr << "Found '}' character outside of variant in inline asm " |
| 756 | << "string: '" << AsmStr << "'\n"; |
| 757 | exit(1); |
| 758 | } |
| 759 | CurVariant = -1; |
| 760 | break; |
| 761 | } |
| 762 | } |
Chris Lattner | 1c05997 | 2006-05-05 21:47:05 +0000 | [diff] [blame] | 763 | O << "\n\t" << InlineAsmEnd << "\n"; |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 764 | } |
| 765 | |
| 766 | /// PrintAsmOperand - Print the specified operand of MI, an INLINEASM |
| 767 | /// instruction, using the specified assembler variant. Targets should |
| 768 | /// overried this to format as appropriate. |
| 769 | bool AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, |
Chris Lattner | a36cb0a | 2006-02-06 22:17:23 +0000 | [diff] [blame] | 770 | unsigned AsmVariant, const char *ExtraCode) { |
Chris Lattner | 6609913 | 2006-02-01 22:41:11 +0000 | [diff] [blame] | 771 | // Target doesn't support this yet! |
| 772 | return true; |
Chris Lattner | 0264d1a | 2006-01-27 02:10:10 +0000 | [diff] [blame] | 773 | } |
Chris Lattner | dd26033 | 2006-02-24 20:21:58 +0000 | [diff] [blame] | 774 | |
| 775 | bool AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, |
| 776 | unsigned AsmVariant, |
| 777 | const char *ExtraCode) { |
| 778 | // Target doesn't support this yet! |
| 779 | return true; |
| 780 | } |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 781 | |
| 782 | /// printBasicBlockLabel - This method prints the label for the specified |
| 783 | /// MachineBasicBlock |
Nate Begeman | cdf38c4 | 2006-05-02 05:37:32 +0000 | [diff] [blame] | 784 | void AsmPrinter::printBasicBlockLabel(const MachineBasicBlock *MBB, |
| 785 | bool printColon, |
| 786 | bool printComment) const { |
Nate Begeman | 9d51eeb | 2006-05-02 17:36:46 +0000 | [diff] [blame] | 787 | O << PrivateGlobalPrefix << "BB" << FunctionNumber << "_" |
| 788 | << MBB->getNumber(); |
Nate Begeman | cdf38c4 | 2006-05-02 05:37:32 +0000 | [diff] [blame] | 789 | if (printColon) |
| 790 | O << ':'; |
| 791 | if (printComment) |
| 792 | O << '\t' << CommentString << MBB->getBasicBlock()->getName(); |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 793 | } |