X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FCodeGen%2FAsmPrinter.cpp;h=366b8b398f9a1b8a971b89591b7b91631e05d5f1;hb=5ac319ac7125b009adddcc49294d2e040c4a91e5;hp=eb0f2f1b36714cf20a6e50f04f72937dbc4f3942;hpb=c6c98af9e5814e8066c82f20ca11cf646a5fc289;p=oota-llvm.git diff --git a/lib/CodeGen/AsmPrinter.cpp b/lib/CodeGen/AsmPrinter.cpp index eb0f2f1b367..366b8b398f9 100644 --- a/lib/CodeGen/AsmPrinter.cpp +++ b/lib/CodeGen/AsmPrinter.cpp @@ -2,8 +2,8 @@ // // The LLVM Compiler Infrastructure // -// This file was developed by the LLVM research group and is distributed under -// the University of Illinois Open Source License. See LICENSE.TXT for details. +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // @@ -16,9 +16,11 @@ #include "llvm/DerivedTypes.h" #include "llvm/Constants.h" #include "llvm/Module.h" +#include "llvm/CodeGen/Collector.h" +#include "llvm/CodeGen/CollectorMetadata.h" #include "llvm/CodeGen/MachineConstantPool.h" #include "llvm/CodeGen/MachineJumpTableInfo.h" -#include "llvm/Support/CommandLine.h" +#include "llvm/CodeGen/MachineModuleInfo.h" #include "llvm/Support/Mangler.h" #include "llvm/Support/MathExtras.h" #include "llvm/Support/Streams.h" @@ -26,15 +28,18 @@ #include "llvm/Target/TargetData.h" #include "llvm/Target/TargetLowering.h" #include "llvm/Target/TargetMachine.h" +#include "llvm/Target/TargetOptions.h" +#include "llvm/Target/TargetRegisterInfo.h" +#include "llvm/ADT/SmallPtrSet.h" #include using namespace llvm; -static cl::opt -AsmVerbose("asm-verbose", cl::Hidden, cl::desc("Add comments to directives.")); - +char AsmPrinter::ID = 0; AsmPrinter::AsmPrinter(std::ostream &o, TargetMachine &tm, const TargetAsmInfo *T) -: FunctionNumber(0), O(o), TM(tm), TAI(T) + : MachineFunctionPass((intptr_t)&ID), FunctionNumber(0), O(o), + TM(tm), TAI(T), TRI(tm.getRegisterInfo()), + IsInTextSection(false) {} std::string AsmPrinter::getSectionForFunction(const Function &F) const { @@ -58,12 +63,14 @@ void AsmPrinter::SwitchToTextSection(const char *NewSection, // Close the current section, if applicable. if (TAI->getSectionEndDirectiveSuffix() && !CurrentSection.empty()) - O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << "\n"; + O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << '\n'; CurrentSection = NS; if (!CurrentSection.empty()) O << CurrentSection << TAI->getTextSectionStartSuffix() << '\n'; + + IsInTextSection = true; } /// SwitchToDataSection - Switch to the specified data section of the executable @@ -82,29 +89,41 @@ void AsmPrinter::SwitchToDataSection(const char *NewSection, // Close the current section, if applicable. if (TAI->getSectionEndDirectiveSuffix() && !CurrentSection.empty()) - O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << "\n"; + O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << '\n'; CurrentSection = NS; if (!CurrentSection.empty()) O << CurrentSection << TAI->getDataSectionStartSuffix() << '\n'; + + IsInTextSection = false; } +void AsmPrinter::getAnalysisUsage(AnalysisUsage &AU) const { + MachineFunctionPass::getAnalysisUsage(AU); + AU.addRequired(); +} + bool AsmPrinter::doInitialization(Module &M) { Mang = new Mangler(M, TAI->getGlobalPrefix()); + CollectorModuleMetadata *CMM = getAnalysisToUpdate(); + assert(CMM && "AsmPrinter didn't require CollectorModuleMetadata?"); + for (CollectorModuleMetadata::iterator I = CMM->begin(), + E = CMM->end(); I != E; ++I) + (*I)->beginAssembly(O, *this, *TAI); + if (!M.getModuleInlineAsm().empty()) O << TAI->getCommentString() << " Start of file scope inline assembly\n" << M.getModuleInlineAsm() - << "\n" << TAI->getCommentString() + << '\n' << TAI->getCommentString() << " End of file scope inline assembly\n"; SwitchToDataSection(""); // Reset back to no section. - if (MachineModuleInfo *MMI = getAnalysisToUpdate()) { - MMI->AnalyzeModule(M); - } + MMI = getAnalysisToUpdate(); + if (MMI) MMI->AnalyzeModule(M); return false; } @@ -118,7 +137,7 @@ bool AsmPrinter::doFinalization(Module &M) { e = ExtWeakSymbols.end(); i != e; ++i) { const GlobalValue *GV = *i; std::string Name = Mang->getValueName(GV); - O << TAI->getWeakRefDirective() << Name << "\n"; + O << TAI->getWeakRefDirective() << Name << '\n'; } } @@ -126,32 +145,69 @@ bool AsmPrinter::doFinalization(Module &M) { if (!M.alias_empty()) SwitchToTextSection(TAI->getTextSection()); - O << "\n"; + O << '\n'; for (Module::const_alias_iterator I = M.alias_begin(), E = M.alias_end(); I!=E; ++I) { std::string Name = Mang->getValueName(I); std::string Target; + + const GlobalValue *GV = cast(I->getAliasedGlobal()); + Target = Mang->getValueName(GV); - if (const GlobalValue *GV = I->getAliasedGlobal()) - Target = Mang->getValueName(GV); - else - assert(0 && "Unsupported aliasee"); - - if (I->hasExternalLinkage()) - O << "\t.globl\t" << Name << "\n"; + if (I->hasExternalLinkage() || !TAI->getWeakRefDirective()) + O << "\t.globl\t" << Name << '\n'; else if (I->hasWeakLinkage()) - O << TAI->getWeakRefDirective() << Name << "\n"; + O << TAI->getWeakRefDirective() << Name << '\n'; else if (!I->hasInternalLinkage()) assert(0 && "Invalid alias linkage"); - - O << TAI->getSetDirective() << Name << ", " << Target << "\n"; + + if (I->hasHiddenVisibility()) { + if (const char *Directive = TAI->getHiddenDirective()) + O << Directive << Name << '\n'; + } else if (I->hasProtectedVisibility()) { + if (const char *Directive = TAI->getProtectedDirective()) + O << Directive << Name << '\n'; + } + + O << TAI->getSetDirective() << ' ' << Name << ", " << Target << '\n'; + + // If the aliasee has external weak linkage it can be referenced only by + // alias itself. In this case it can be not in ExtWeakSymbols list. Emit + // weak reference in such case. + if (GV->hasExternalWeakLinkage()) { + if (TAI->getWeakRefDirective()) + O << TAI->getWeakRefDirective() << Target << '\n'; + else + O << "\t.globl\t" << Target << '\n'; + } } } + CollectorModuleMetadata *CMM = getAnalysisToUpdate(); + assert(CMM && "AsmPrinter didn't require CollectorModuleMetadata?"); + for (CollectorModuleMetadata::iterator I = CMM->end(), + E = CMM->begin(); I != E; ) + (*--I)->finishAssembly(O, *this, *TAI); + + // If we don't have any trampolines, then we don't require stack memory + // to be executable. Some targets have a directive to declare this. + Function* InitTrampolineIntrinsic = M.getFunction("llvm.init.trampoline"); + if (!InitTrampolineIntrinsic || InitTrampolineIntrinsic->use_empty()) + if (TAI->getNonexecutableStackDirective()) + O << TAI->getNonexecutableStackDirective() << '\n'; + delete Mang; Mang = 0; return false; } +std::string AsmPrinter::getCurrentFunctionEHName(const MachineFunction *MF) { + assert(MF && "No machine function?"); + std::string Name = MF->getFunction()->getName(); + if (Name.empty()) + Name = Mang->getValueName(MF->getFunction()); + return Mang->makeNameProper(Name + ".eh", TAI->getGlobalPrefix()); +} + void AsmPrinter::SetupMachineFunction(MachineFunction &MF) { // What's my mangled name? CurrentFnName = Mang->getValueName(MF.getFunction()); @@ -178,13 +234,13 @@ void AsmPrinter::EmitConstantPool(MachineConstantPool *MCP) { MachineConstantPoolEntry CPE = CP[i]; const Type *Ty = CPE.getType(); if (TAI->getFourByteConstantSection() && - TM.getTargetData()->getTypeSize(Ty) == 4) + TM.getTargetData()->getABITypeSize(Ty) == 4) FourByteCPs.push_back(std::make_pair(CPE, i)); else if (TAI->getEightByteConstantSection() && - TM.getTargetData()->getTypeSize(Ty) == 8) + TM.getTargetData()->getABITypeSize(Ty) == 8) EightByteCPs.push_back(std::make_pair(CPE, i)); else if (TAI->getSixteenByteConstantSection() && - TM.getTargetData()->getTypeSize(Ty) == 16) + TM.getTargetData()->getABITypeSize(Ty) == 16) SixteenByteCPs.push_back(std::make_pair(CPE, i)); else OtherCPs.push_back(std::make_pair(CPE, i)); @@ -206,7 +262,7 @@ void AsmPrinter::EmitConstantPool(unsigned Alignment, const char *Section, EmitAlignment(Alignment); for (unsigned i = 0, e = CP.size(); i != e; ++i) { O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_' - << CP[i].second << ":\t\t\t\t\t" << TAI->getCommentString() << " "; + << CP[i].second << ":\t\t\t\t\t" << TAI->getCommentString() << ' '; WriteTypeSymbolic(O, CP[i].first.getType(), 0) << '\n'; if (CP[i].first.isMachineConstantPoolEntry()) EmitMachineConstantPoolValue(CP[i].first.Val.MachineCPVal); @@ -215,7 +271,7 @@ void AsmPrinter::EmitConstantPool(unsigned Alignment, const char *Section, if (i != e-1) { const Type *Ty = CP[i].first.getType(); unsigned EntSize = - TM.getTargetData()->getTypeSize(Ty); + TM.getTargetData()->getABITypeSize(Ty); unsigned ValEnd = CP[i].first.getOffset() + EntSize; // Emit inter-object padding for alignment. EmitZeros(CP[i+1].first.getOffset()-ValEnd); @@ -230,28 +286,23 @@ void AsmPrinter::EmitJumpTableInfo(MachineJumpTableInfo *MJTI, MachineFunction &MF) { const std::vector &JT = MJTI->getJumpTables(); if (JT.empty()) return; + bool IsPic = TM.getRelocationModel() == Reloc::PIC_; - // Use JumpTableDirective otherwise honor the entry size from the jump table - // info. - const char *JTEntryDirective = TAI->getJumpTableDirective(); - bool HadJTEntryDirective = JTEntryDirective != NULL; - if (!HadJTEntryDirective) { - JTEntryDirective = MJTI->getEntrySize() == 4 ? - TAI->getData32bitsDirective() : TAI->getData64bitsDirective(); - } - // Pick the directive to use to print the jump table entries, and switch to // the appropriate section. TargetLowering *LoweringInfo = TM.getTargetLowering(); - const char* JumpTableDataSection = TAI->getJumpTableDataSection(); + const char* JumpTableDataSection = TAI->getJumpTableDataSection(); + const Function *F = MF.getFunction(); + unsigned SectionFlags = TAI->SectionFlagsForGlobal(F); if ((IsPic && !(LoweringInfo && LoweringInfo->usesGlobalOffsetTable())) || - !JumpTableDataSection) { + !JumpTableDataSection || + SectionFlags & SectionFlags::Linkonce) { // In PIC mode, we need to emit the jump table to the same section as the // function body itself, otherwise the label differences won't make sense. - // We should also do if the section name is NULL. - const Function *F = MF.getFunction(); + // We should also do if the section name is NULL or function is declared in + // discardable section. SwitchToTextSection(getSectionForFunction(*F).c_str(), F); } else { SwitchToDataSection(JumpTableDataSection); @@ -268,11 +319,11 @@ void AsmPrinter::EmitJumpTableInfo(MachineJumpTableInfo *MJTI, // For PIC codegen, if possible we want to use the SetDirective to reduce // the number of relocations the assembler will generate for the jump table. // Set directives are all printed before the jump table itself. - std::set EmittedSets; + SmallPtrSet EmittedSets; if (TAI->getSetDirective() && IsPic) for (unsigned ii = 0, ee = JTBBs.size(); ii != ee; ++ii) - if (EmittedSets.insert(JTBBs[ii]).second) - printSetLabel(i, JTBBs[ii]); + if (EmittedSets.insert(JTBBs[ii])) + printPICJumpTableSetLabel(i, JTBBs[ii]); // On some targets (e.g. darwin) we want to emit two consequtive labels // before each jump table. The first label is never referenced, but tells @@ -285,34 +336,61 @@ void AsmPrinter::EmitJumpTableInfo(MachineJumpTableInfo *MJTI, << '_' << i << ":\n"; for (unsigned ii = 0, ee = JTBBs.size(); ii != ee; ++ii) { - O << JTEntryDirective << ' '; - // If we have emitted set directives for the jump table entries, print - // them rather than the entries themselves. If we're emitting PIC, then - // emit the table entries as differences between two text section labels. - // If we're emitting non-PIC code, then emit the entries as direct - // references to the target basic blocks. - if (!EmittedSets.empty()) { - O << TAI->getPrivateGlobalPrefix() << getFunctionNumber() - << '_' << i << "_set_" << JTBBs[ii]->getNumber(); - } else if (IsPic) { - printBasicBlockLabel(JTBBs[ii], false, false); - // If the arch uses custom Jump Table directives, don't calc relative to - // JT - if (!HadJTEntryDirective) - O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" - << getFunctionNumber() << '_' << i; - } else { - printBasicBlockLabel(JTBBs[ii], false, false); - } + printPICJumpTableEntry(MJTI, JTBBs[ii], i); O << '\n'; } } } +void AsmPrinter::printPICJumpTableEntry(const MachineJumpTableInfo *MJTI, + const MachineBasicBlock *MBB, + unsigned uid) const { + bool IsPic = TM.getRelocationModel() == Reloc::PIC_; + + // Use JumpTableDirective otherwise honor the entry size from the jump table + // info. + const char *JTEntryDirective = TAI->getJumpTableDirective(); + bool HadJTEntryDirective = JTEntryDirective != NULL; + if (!HadJTEntryDirective) { + JTEntryDirective = MJTI->getEntrySize() == 4 ? + TAI->getData32bitsDirective() : TAI->getData64bitsDirective(); + } + + O << JTEntryDirective << ' '; + + // If we have emitted set directives for the jump table entries, print + // them rather than the entries themselves. If we're emitting PIC, then + // emit the table entries as differences between two text section labels. + // If we're emitting non-PIC code, then emit the entries as direct + // references to the target basic blocks. + if (IsPic) { + if (TAI->getSetDirective()) { + O << TAI->getPrivateGlobalPrefix() << getFunctionNumber() + << '_' << uid << "_set_" << MBB->getNumber(); + } else { + printBasicBlockLabel(MBB, false, false, false); + // If the arch uses custom Jump Table directives, don't calc relative to + // JT + if (!HadJTEntryDirective) + O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" + << getFunctionNumber() << '_' << uid; + } + } else { + printBasicBlockLabel(MBB, false, false, false); + } +} + + /// EmitSpecialLLVMGlobal - Check to see if the specified global is a /// special global used by LLVM. If so, emit it and return true, otherwise /// do nothing and return false. bool AsmPrinter::EmitSpecialLLVMGlobal(const GlobalVariable *GV) { + if (GV->getName() == "llvm.used") { + if (TAI->getUsedDirective() != 0) // No need to emit this at all. + EmitLLVMUsedList(GV->getInitializer()); + return true; + } + // Ignore debug and non-emitted data. if (GV->getSection() == "llvm.metadata") return true; @@ -320,22 +398,18 @@ bool AsmPrinter::EmitSpecialLLVMGlobal(const GlobalVariable *GV) { assert(GV->hasInitializer() && "Not a special LLVM global!"); - if (GV->getName() == "llvm.used") { - if (TAI->getUsedDirective() != 0) // No need to emit this at all. - EmitLLVMUsedList(GV->getInitializer()); - return true; - } - + const TargetData *TD = TM.getTargetData(); + unsigned Align = Log2_32(TD->getPointerPrefAlignment()); if (GV->getName() == "llvm.global_ctors" && GV->use_empty()) { SwitchToDataSection(TAI->getStaticCtorsSection()); - EmitAlignment(2, 0); + EmitAlignment(Align, 0); EmitXXStructorList(GV->getInitializer()); return true; } if (GV->getName() == "llvm.global_dtors" && GV->use_empty()) { SwitchToDataSection(TAI->getStaticDtorsSection()); - EmitAlignment(2, 0); + EmitAlignment(Align, 0); EmitXXStructorList(GV->getInitializer()); return true; } @@ -355,7 +429,7 @@ void AsmPrinter::EmitLLVMUsedList(Constant *List) { for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) { O << Directive; EmitConstantValueOnly(InitList->getOperand(i)); - O << "\n"; + O << '\n'; } } @@ -475,16 +549,27 @@ void AsmPrinter::PrintHex(int Value) const { /// EOL - Print a newline character to asm stream. If a comment is present /// then it will be printed first. Comments should not contain '\n'. void AsmPrinter::EOL() const { - O << "\n"; + O << '\n'; } + void AsmPrinter::EOL(const std::string &Comment) const { - if (AsmVerbose && !Comment.empty()) { - O << "\t" + if (VerboseAsm && !Comment.empty()) { + O << '\t' << TAI->getCommentString() - << " " + << ' ' << Comment; } - O << "\n"; + O << '\n'; +} + +void AsmPrinter::EOL(const char* Comment) const { + if (VerboseAsm && *Comment) { + O << '\t' + << TAI->getCommentString() + << ' ' + << Comment; + } + O << '\n'; } /// EmitULEB128Bytes - Emit an assembler byte data directive to compose an @@ -540,10 +625,10 @@ void AsmPrinter::EmitInt64(uint64_t Value) const { PrintHex(Value); } else { if (TM.getTargetData()->isBigEndian()) { - EmitInt32(unsigned(Value >> 32)); O << "\n"; + EmitInt32(unsigned(Value >> 32)); O << '\n'; EmitInt32(unsigned(Value)); } else { - EmitInt32(unsigned(Value)); O << "\n"; + EmitInt32(unsigned(Value)); O << '\n'; EmitInt32(unsigned(Value >> 32)); } } @@ -590,29 +675,59 @@ void AsmPrinter::EmitString(const std::string &String) const { O << AscizDirective; else O << TAI->getAsciiDirective(); - O << "\""; + O << '\"'; for (unsigned i = 0, N = String.size(); i < N; ++i) { unsigned char C = String[i]; printStringChar(O, C); } if (AscizDirective) - O << "\""; + O << '\"'; else O << "\\0\""; } +/// EmitFile - Emit a .file directive. +void AsmPrinter::EmitFile(unsigned Number, const std::string &Name) const { + O << "\t.file\t" << Number << " \""; + for (unsigned i = 0, N = Name.size(); i < N; ++i) { + unsigned char C = Name[i]; + printStringChar(O, C); + } + O << '\"'; +} + + //===----------------------------------------------------------------------===// -// EmitAlignment - Emit an alignment directive to the specified power of two. -// Use the maximum of the specified alignment and the alignment from the -// specified GlobalValue (if any). -void AsmPrinter::EmitAlignment(unsigned NumBits, const GlobalValue *GV) const { +// EmitAlignment - Emit an alignment directive to the specified power of +// two boundary. For example, if you pass in 3 here, you will get an 8 +// byte alignment. If a global value is specified, and if that global has +// an explicit alignment requested, it will unconditionally override the +// alignment request. However, if ForcedAlignBits is specified, this value +// has final say: the ultimate alignment will be the max of ForcedAlignBits +// and the alignment computed with NumBits and the global. +// +// The algorithm is: +// Align = NumBits; +// if (GV && GV->hasalignment) Align = GV->getalignment(); +// Align = std::max(Align, ForcedAlignBits); +// +void AsmPrinter::EmitAlignment(unsigned NumBits, const GlobalValue *GV, + unsigned ForcedAlignBits, + bool UseFillExpr) const { if (GV && GV->getAlignment()) - NumBits = std::max(NumBits, Log2_32(GV->getAlignment())); + NumBits = Log2_32(GV->getAlignment()); + NumBits = std::max(NumBits, ForcedAlignBits); + if (NumBits == 0) return; // No need to emit alignment. if (TAI->getAlignmentIsInBytes()) NumBits = 1 << NumBits; - O << TAI->getAlignDirective() << NumBits << "\n"; + O << TAI->getAlignDirective() << NumBits; + + unsigned FillValue = TAI->getTextAlignFillValue(); + UseFillExpr &= IsInTextSection && FillValue; + if (UseFillExpr) O << ",0x" << std::hex << FillValue << std::dec; + O << '\n'; } @@ -624,7 +739,7 @@ void AsmPrinter::EmitZeros(uint64_t NumZeros) const { O << TAI->getZeroDirective() << NumZeros; if (TAI->getZeroDirectiveSuffix()) O << TAI->getZeroDirectiveSuffix(); - O << "\n"; + O << '\n'; } else { for (; NumZeros; --NumZeros) O << TAI->getData8bitsDirective() << "0\n"; @@ -636,7 +751,7 @@ void AsmPrinter::EmitZeros(uint64_t NumZeros) const { // constants valid in constant expressions can occur here. void AsmPrinter::EmitConstantValueOnly(const Constant *CV) { if (CV->isNullValue() || isa(CV)) - O << "0"; + O << '0'; else if (const ConstantInt *CI = dyn_cast(CV)) { O << CI->getZExtValue(); } else if (const GlobalValue *GV = dyn_cast(CV)) { @@ -664,7 +779,7 @@ void AsmPrinter::EmitConstantValueOnly(const Constant *CV) { if (int64_t Offset = TD->getIndexedOffset(ptrVal->getType(), &idxVec[0], idxVec.size())) { if (Offset) - O << "("; + O << '('; EmitConstantValueOnly(ptrVal); if (Offset > 0) O << ") + " << Offset; @@ -707,7 +822,7 @@ void AsmPrinter::EmitConstantValueOnly(const Constant *CV) { // We can emit the pointer value into this slot if the slot is an // integer slot greater or equal to the size of the pointer. if (Ty->isInteger() && - TD->getTypeSize(Ty) >= TD->getTypeSize(Op->getType())) + TD->getABITypeSize(Ty) >= TD->getABITypeSize(Op->getType())) return EmitConstantValueOnly(Op); assert(0 && "FIXME: Don't yet support this kind of constant cast expr"); @@ -716,11 +831,34 @@ void AsmPrinter::EmitConstantValueOnly(const Constant *CV) { } case Instruction::Add: case Instruction::Sub: - O << "("; + case Instruction::And: + case Instruction::Or: + case Instruction::Xor: + O << '('; EmitConstantValueOnly(CE->getOperand(0)); - O << (Opcode==Instruction::Add ? ") + (" : ") - ("); + O << ')'; + switch (Opcode) { + case Instruction::Add: + O << " + "; + break; + case Instruction::Sub: + O << " - "; + break; + case Instruction::And: + O << " & "; + break; + case Instruction::Or: + O << " | "; + break; + case Instruction::Xor: + O << " ^ "; + break; + default: + break; + } + O << '('; EmitConstantValueOnly(CE->getOperand(1)); - O << ")"; + O << ')'; break; default: assert(0 && "Unsupported operator!"); @@ -737,13 +875,13 @@ static void printAsCString(std::ostream &O, const ConstantArray *CVA, unsigned LastElt) { assert(CVA->isString() && "Array is not string compatible!"); - O << "\""; + O << '\"'; for (unsigned i = 0; i != LastElt; ++i) { unsigned char C = (unsigned char)cast(CVA->getOperand(i))->getZExtValue(); printStringChar(O, C); } - O << "\""; + O << '\"'; } /// EmitString - Emit a zero-byte-terminated string constant. @@ -758,16 +896,16 @@ void AsmPrinter::EmitString(const ConstantArray *CVA) const { O << TAI->getAsciiDirective(); printAsCString(O, CVA, NumElts); } - O << "\n"; + O << '\n'; } /// EmitGlobalConstant - Print a general LLVM constant to the .s file. -/// void AsmPrinter::EmitGlobalConstant(const Constant *CV) { const TargetData *TD = TM.getTargetData(); + unsigned Size = TD->getABITypeSize(CV->getType()); if (CV->isNullValue() || isa(CV)) { - EmitZeros(TD->getTypeSize(CV->getType())); + EmitZeros(Size); return; } else if (const ConstantArray *CVA = dyn_cast(CV)) { if (CVA->isString()) { @@ -785,16 +923,17 @@ void AsmPrinter::EmitGlobalConstant(const Constant *CV) { const Constant* field = CVS->getOperand(i); // Check if padding is needed and insert one or more 0s. - uint64_t fieldSize = TD->getTypeSize(field->getType()); - uint64_t padSize = ((i == e-1? cvsLayout->getSizeInBytes() - : cvsLayout->getElementOffset(i+1)) + uint64_t fieldSize = TD->getABITypeSize(field->getType()); + uint64_t padSize = ((i == e-1 ? Size : cvsLayout->getElementOffset(i+1)) - cvsLayout->getElementOffset(i)) - fieldSize; sizeSoFar += fieldSize + padSize; - // Now print the actual field value + // Now print the actual field value. EmitGlobalConstant(field); - // Insert the field padding unless it's zero bytes... + // Insert padding - this may include padding to increase the size of the + // current field up to the ABI size (if the struct is not packed) as well + // as padding to ensure that the next field starts at the right offset. EmitZeros(padSize); } assert(sizeSoFar == cvsLayout->getSizeInBytes() && @@ -803,52 +942,132 @@ void AsmPrinter::EmitGlobalConstant(const Constant *CV) { } else if (const ConstantFP *CFP = dyn_cast(CV)) { // FP Constants are printed as integer constants to avoid losing // precision... - double Val = CFP->getValue(); if (CFP->getType() == Type::DoubleTy) { + double Val = CFP->getValueAPF().convertToDouble(); // for comment only + uint64_t i = CFP->getValueAPF().convertToAPInt().getZExtValue(); if (TAI->getData64bitsDirective()) - O << TAI->getData64bitsDirective() << DoubleToBits(Val) << "\t" - << TAI->getCommentString() << " double value: " << Val << "\n"; + O << TAI->getData64bitsDirective() << i << '\t' + << TAI->getCommentString() << " double value: " << Val << '\n'; else if (TD->isBigEndian()) { - O << TAI->getData32bitsDirective() << unsigned(DoubleToBits(Val) >> 32) - << "\t" << TAI->getCommentString() - << " double most significant word " << Val << "\n"; - O << TAI->getData32bitsDirective() << unsigned(DoubleToBits(Val)) - << "\t" << TAI->getCommentString() - << " double least significant word " << Val << "\n"; + O << TAI->getData32bitsDirective() << unsigned(i >> 32) + << '\t' << TAI->getCommentString() + << " double most significant word " << Val << '\n'; + O << TAI->getData32bitsDirective() << unsigned(i) + << '\t' << TAI->getCommentString() + << " double least significant word " << Val << '\n'; } else { - O << TAI->getData32bitsDirective() << unsigned(DoubleToBits(Val)) - << "\t" << TAI->getCommentString() - << " double least significant word " << Val << "\n"; - O << TAI->getData32bitsDirective() << unsigned(DoubleToBits(Val) >> 32) - << "\t" << TAI->getCommentString() - << " double most significant word " << Val << "\n"; + O << TAI->getData32bitsDirective() << unsigned(i) + << '\t' << TAI->getCommentString() + << " double least significant word " << Val << '\n'; + O << TAI->getData32bitsDirective() << unsigned(i >> 32) + << '\t' << TAI->getCommentString() + << " double most significant word " << Val << '\n'; } return; - } else { - O << TAI->getData32bitsDirective() << FloatToBits(Val) - << "\t" << TAI->getCommentString() << " float " << Val << "\n"; + } else if (CFP->getType() == Type::FloatTy) { + float Val = CFP->getValueAPF().convertToFloat(); // for comment only + O << TAI->getData32bitsDirective() + << CFP->getValueAPF().convertToAPInt().getZExtValue() + << '\t' << TAI->getCommentString() << " float " << Val << '\n'; return; - } + } else if (CFP->getType() == Type::X86_FP80Ty) { + // all long double variants are printed as hex + // api needed to prevent premature destruction + APInt api = CFP->getValueAPF().convertToAPInt(); + const uint64_t *p = api.getRawData(); + APFloat DoubleVal = CFP->getValueAPF(); + DoubleVal.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven); + if (TD->isBigEndian()) { + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 48) + << '\t' << TAI->getCommentString() + << " long double most significant halfword of ~" + << DoubleVal.convertToDouble() << '\n'; + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 32) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 16) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[0]) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[1]) + << '\t' << TAI->getCommentString() + << " long double least significant halfword\n"; + } else { + O << TAI->getData16bitsDirective() << uint16_t(p[1]) + << '\t' << TAI->getCommentString() + << " long double least significant halfword of ~" + << DoubleVal.convertToDouble() << '\n'; + O << TAI->getData16bitsDirective() << uint16_t(p[0]) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 16) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 32) + << '\t' << TAI->getCommentString() + << " long double next halfword\n"; + O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 48) + << '\t' << TAI->getCommentString() + << " long double most significant halfword\n"; + } + EmitZeros(Size - TD->getTypeStoreSize(Type::X86_FP80Ty)); + return; + } else if (CFP->getType() == Type::PPC_FP128Ty) { + // all long double variants are printed as hex + // api needed to prevent premature destruction + APInt api = CFP->getValueAPF().convertToAPInt(); + const uint64_t *p = api.getRawData(); + if (TD->isBigEndian()) { + O << TAI->getData32bitsDirective() << uint32_t(p[0] >> 32) + << '\t' << TAI->getCommentString() + << " long double most significant word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[0]) + << '\t' << TAI->getCommentString() + << " long double next word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[1] >> 32) + << '\t' << TAI->getCommentString() + << " long double next word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[1]) + << '\t' << TAI->getCommentString() + << " long double least significant word\n"; + } else { + O << TAI->getData32bitsDirective() << uint32_t(p[1]) + << '\t' << TAI->getCommentString() + << " long double least significant word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[1] >> 32) + << '\t' << TAI->getCommentString() + << " long double next word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[0]) + << '\t' << TAI->getCommentString() + << " long double next word\n"; + O << TAI->getData32bitsDirective() << uint32_t(p[0] >> 32) + << '\t' << TAI->getCommentString() + << " long double most significant word\n"; + } + return; + } else assert(0 && "Floating point constant type not handled"); } else if (CV->getType() == Type::Int64Ty) { if (const ConstantInt *CI = dyn_cast(CV)) { uint64_t Val = CI->getZExtValue(); if (TAI->getData64bitsDirective()) - O << TAI->getData64bitsDirective() << Val << "\n"; + O << TAI->getData64bitsDirective() << Val << '\n'; else if (TD->isBigEndian()) { O << TAI->getData32bitsDirective() << unsigned(Val >> 32) - << "\t" << TAI->getCommentString() - << " Double-word most significant word " << Val << "\n"; + << '\t' << TAI->getCommentString() + << " Double-word most significant word " << Val << '\n'; O << TAI->getData32bitsDirective() << unsigned(Val) - << "\t" << TAI->getCommentString() - << " Double-word least significant word " << Val << "\n"; + << '\t' << TAI->getCommentString() + << " Double-word least significant word " << Val << '\n'; } else { O << TAI->getData32bitsDirective() << unsigned(Val) - << "\t" << TAI->getCommentString() - << " Double-word least significant word " << Val << "\n"; + << '\t' << TAI->getCommentString() + << " Double-word least significant word " << Val << '\n'; O << TAI->getData32bitsDirective() << unsigned(Val >> 32) - << "\t" << TAI->getCommentString() - << " Double-word most significant word " << Val << "\n"; + << '\t' << TAI->getCommentString() + << " Double-word most significant word " << Val << '\n'; } return; } @@ -864,7 +1083,12 @@ void AsmPrinter::EmitGlobalConstant(const Constant *CV) { const Type *type = CV->getType(); printDataDirective(type); EmitConstantValueOnly(CV); - O << "\n"; + if (const ConstantInt *CI = dyn_cast(CV)) { + O << "\t\t\t" + << TAI->getCommentString() + << " 0x" << CI->getValue().toStringUnsigned(16); + } + O << '\n'; } void @@ -916,7 +1140,7 @@ void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { // Count the number of register definitions. unsigned NumDefs = 0; - for (; MI->getOperand(NumDefs).isReg() && MI->getOperand(NumDefs).isDef(); + for (; MI->getOperand(NumDefs).isRegister() && MI->getOperand(NumDefs).isDef(); ++NumDefs) assert(NumDefs != NumOperands-1 && "No asm string?"); @@ -925,9 +1149,10 @@ void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { // Disassemble the AsmStr, printing out the literal pieces, the operands, etc. const char *AsmStr = MI->getOperand(NumDefs).getSymbolName(); - // If this asmstr is empty, don't bother printing the #APP/#NOAPP markers. + // If this asmstr is empty, just print the #APP/#NOAPP markers. + // These are useful to see where empty asm's wound up. if (AsmStr[0] == 0) { - O << "\n"; // Tab already printed, avoid double indenting next instr. + O << TAI->getInlineAsmStart() << "\n\t" << TAI->getInlineAsmEnd() << '\n'; return; } @@ -954,7 +1179,7 @@ void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { } case '\n': ++LastEmitted; // Consume newline character. - O << "\n\t"; // Indent code with newline. + O << '\n'; // Indent code with newline. break; case '$': { ++LastEmitted; // Consume '$' character. @@ -1056,23 +1281,28 @@ void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { // Scan to find the machine operand number for the operand. for (; Val; --Val) { if (OpNo >= MI->getNumOperands()) break; - unsigned OpFlags = MI->getOperand(OpNo).getImmedValue(); + unsigned OpFlags = MI->getOperand(OpNo).getImm(); OpNo += (OpFlags >> 3) + 1; } if (OpNo >= MI->getNumOperands()) { Error = true; } else { - unsigned OpFlags = MI->getOperand(OpNo).getImmedValue(); + unsigned OpFlags = MI->getOperand(OpNo).getImm(); ++OpNo; // Skip over the ID number. - AsmPrinter *AP = const_cast(this); - if ((OpFlags & 7) == 4 /*ADDR MODE*/) { - Error = AP->PrintAsmMemoryOperand(MI, OpNo, AsmPrinterVariant, - Modifier[0] ? Modifier : 0); - } else { - Error = AP->PrintAsmOperand(MI, OpNo, AsmPrinterVariant, - Modifier[0] ? Modifier : 0); + if (Modifier[0]=='l') // labels are target independent + printBasicBlockLabel(MI->getOperand(OpNo).getMBB(), + false, false, false); + else { + AsmPrinter *AP = const_cast(this); + if ((OpFlags & 7) == 4 /*ADDR MODE*/) { + Error = AP->PrintAsmMemoryOperand(MI, OpNo, AsmPrinterVariant, + Modifier[0] ? Modifier : 0); + } else { + Error = AP->PrintAsmOperand(MI, OpNo, AsmPrinterVariant, + Modifier[0] ? Modifier : 0); + } } } if (Error) { @@ -1086,17 +1316,34 @@ void AsmPrinter::printInlineAsm(const MachineInstr *MI) const { } } } - O << "\n\t" << TAI->getInlineAsmEnd() << "\n"; + O << "\n\t" << TAI->getInlineAsmEnd() << '\n'; +} + +/// printImplicitDef - This method prints the specified machine instruction +/// that is an implicit def. +void AsmPrinter::printImplicitDef(const MachineInstr *MI) const { + O << '\t' << TAI->getCommentString() << " implicit-def: " + << TRI->getAsmName(MI->getOperand(0).getReg()) << '\n'; } /// printLabel - This method prints a local label used by debug and /// exception handling tables. void AsmPrinter::printLabel(const MachineInstr *MI) const { - O << "\n" - << TAI->getPrivateGlobalPrefix() - << "label" - << MI->getOperand(0).getImmedValue() - << ":\n"; + printLabel(MI->getOperand(0).getImm()); +} + +void AsmPrinter::printLabel(unsigned Id) const { + O << TAI->getPrivateGlobalPrefix() << "label" << Id << ":\n"; +} + +/// printDeclare - This method prints a local variable declaration used by +/// debug tables. +/// FIXME: It doesn't really print anything rather it inserts a DebugVariable +/// entry into dwarf table. +void AsmPrinter::printDeclare(const MachineInstr *MI) const { + int FI = MI->getOperand(0).getIndex(); + GlobalValue *GV = MI->getOperand(1).getGlobal(); + MMI->RecordVariable(GV, FI); } /// PrintAsmOperand - Print the specified operand of MI, an INLINEASM @@ -1118,39 +1365,47 @@ bool AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, /// printBasicBlockLabel - This method prints the label for the specified /// MachineBasicBlock void AsmPrinter::printBasicBlockLabel(const MachineBasicBlock *MBB, + bool printAlign, bool printColon, bool printComment) const { - O << TAI->getPrivateGlobalPrefix() << "BB" << FunctionNumber << "_" + if (printAlign) { + unsigned Align = MBB->getAlignment(); + if (Align) + EmitAlignment(Log2_32(Align)); + } + + O << TAI->getPrivateGlobalPrefix() << "BB" << getFunctionNumber() << '_' << MBB->getNumber(); if (printColon) O << ':'; if (printComment && MBB->getBasicBlock()) - O << '\t' << TAI->getCommentString() << MBB->getBasicBlock()->getName(); + O << '\t' << TAI->getCommentString() << ' ' + << MBB->getBasicBlock()->getNameStart(); } -/// printSetLabel - This method prints a set label for the specified -/// MachineBasicBlock -void AsmPrinter::printSetLabel(unsigned uid, - const MachineBasicBlock *MBB) const { +/// printPICJumpTableSetLabel - This method prints a set label for the +/// specified MachineBasicBlock for a jumptable entry. +void AsmPrinter::printPICJumpTableSetLabel(unsigned uid, + const MachineBasicBlock *MBB) const { if (!TAI->getSetDirective()) return; O << TAI->getSetDirective() << ' ' << TAI->getPrivateGlobalPrefix() << getFunctionNumber() << '_' << uid << "_set_" << MBB->getNumber() << ','; - printBasicBlockLabel(MBB, false, false); + printBasicBlockLabel(MBB, false, false, false); O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_' << uid << '\n'; } -void AsmPrinter::printSetLabel(unsigned uid, unsigned uid2, - const MachineBasicBlock *MBB) const { +void AsmPrinter::printPICJumpTableSetLabel(unsigned uid, unsigned uid2, + const MachineBasicBlock *MBB) const { if (!TAI->getSetDirective()) return; O << TAI->getSetDirective() << ' ' << TAI->getPrivateGlobalPrefix() << getFunctionNumber() << '_' << uid << '_' << uid2 << "_set_" << MBB->getNumber() << ','; - printBasicBlockLabel(MBB, false, false); + printBasicBlockLabel(MBB, false, false, false); O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_' << uid << '_' << uid2 << '\n'; } @@ -1185,6 +1440,7 @@ void AsmPrinter::printDataDirective(const Type *type) { } break; case Type::FloatTyID: case Type::DoubleTyID: + case Type::X86_FP80TyID: case Type::FP128TyID: case Type::PPC_FP128TyID: assert (0 && "Should have already output floating point constant."); default: assert (0 && "Can't handle printing this type of thing"); @@ -1192,3 +1448,23 @@ void AsmPrinter::printDataDirective(const Type *type) { } } +void AsmPrinter::printSuffixedName(const char *Name, const char *Suffix, + const char *Prefix) { + if (Name[0]=='\"') + O << '\"'; + O << TAI->getPrivateGlobalPrefix(); + if (Prefix) O << Prefix; + if (Name[0]=='\"') + O << '\"'; + if (Name[0]=='\"') + O << Name[1]; + else + O << Name; + O << Suffix; + if (Name[0]=='\"') + O << '\"'; +} + +void AsmPrinter::printSuffixedName(const std::string &Name, const char* Suffix) { + printSuffixedName(Name.c_str(), Suffix); +}