-//===-- PPC32AsmPrinter.cpp - Print machine instrs to PowerPC assembly ----===//
+//===-- PowerPCAsmPrinter.cpp - Print machine instrs to PowerPC assembly --===//
//
// The LLVM Compiler Infrastructure
//
#define DEBUG_TYPE "asmprinter"
#include "PowerPC.h"
-#include "PPC32TargetMachine.h"
+#include "PowerPCTargetMachine.h"
#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Module.h"
#include "llvm/CodeGen/MachineInstr.h"
#include "llvm/CodeGen/ValueTypes.h"
#include "llvm/Support/Mangler.h"
-#include "Support/CommandLine.h"
-#include "Support/Debug.h"
-#include "Support/Statistic.h"
-#include "Support/StringExtras.h"
+#include "llvm/Support/MathExtras.h"
+#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/Debug.h"
+#include "llvm/Target/MRegisterInfo.h"
+#include "llvm/Target/TargetInstrInfo.h"
+#include "llvm/ADT/Statistic.h"
+#include "llvm/ADT/StringExtras.h"
#include <set>
using namespace llvm;
namespace {
Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
- struct PPC32AsmPrinter : public AsmPrinter {
+ struct PowerPCAsmPrinter : public AsmPrinter {
std::set<std::string> FnStubs, GVStubs, LinkOnceStubs;
std::set<std::string> Strings;
-
- PPC32AsmPrinter(std::ostream &O, TargetMachine &TM)
- : AsmPrinter(O, TM), LabelNumber(0) {
- UsesUnderscorePrefix = 1;
- }
+
+ PowerPCAsmPrinter(std::ostream &O, TargetMachine &TM)
+ : AsmPrinter(O, TM), LabelNumber(0) {}
/// Unique incrementer for label values for referencing Global values.
///
unsigned LabelNumber;
virtual const char *getPassName() const {
- return "PPC32 Assembly Printer";
+ return "PowerPC Assembly Printer";
}
- PPC32TargetMachine &getTM() {
- return static_cast<PPC32TargetMachine&>(TM);
+ PowerPCTargetMachine &getTM() {
+ return static_cast<PowerPCTargetMachine&>(TM);
}
/// printInstruction - This method is automatically generated by tablegen
bool printInstruction(const MachineInstr *MI);
void printMachineInstruction(const MachineInstr *MI);
- void printOp(const MachineOperand &MO, bool LoadAddrOp = false);
- void printImmOp(const MachineOperand &MO, unsigned ArgType);
+ void printOp(const MachineOperand &MO, bool IsCallOp = false);
void printOperand(const MachineInstr *MI, unsigned OpNo, MVT::ValueType VT){
const MachineOperand &MO = MI->getOperand(OpNo);
}
}
+ void printU5ImmOperand(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ unsigned char value = MI->getOperand(OpNo).getImmedValue();
+ assert(value <= 31 && "Invalid u5imm argument!");
+ O << (unsigned int)value;
+ }
+ void printU6ImmOperand(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ unsigned char value = MI->getOperand(OpNo).getImmedValue();
+ assert(value <= 63 && "Invalid u6imm argument!");
+ O << (unsigned int)value;
+ }
+ void printS16ImmOperand(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ O << (short)MI->getOperand(OpNo).getImmedValue();
+ }
void printU16ImmOperand(const MachineInstr *MI, unsigned OpNo,
MVT::ValueType VT) {
O << (unsigned short)MI->getOperand(OpNo).getImmedValue();
}
+ void printBranchOperand(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ // Branches can take an immediate operand. This is used by the branch
+ // selection pass to print $+8, an eight byte displacement from the PC.
+ if (MI->getOperand(OpNo).isImmediate()) {
+ O << "$+" << MI->getOperand(OpNo).getImmedValue();
+ } else {
+ printOp(MI->getOperand(OpNo),
+ TM.getInstrInfo()->isCall(MI->getOpcode()));
+ }
+ }
+ void printPICLabel(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ // FIXME: should probably be converted to cout.width and cout.fill
+ O << "\"L0000" << LabelNumber << "$pb\"\n";
+ O << "\"L0000" << LabelNumber << "$pb\":";
+ }
+ void printSymbolHi(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ O << "ha16(";
+ printOp(MI->getOperand(OpNo));
+ O << "-\"L0000" << LabelNumber << "$pb\")";
+ }
+ void printSymbolLo(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ // FIXME: Because LFS, LFD, and LWZ can be used either with a s16imm or
+ // a lo16 of a global or constant pool operand, we must handle both here.
+ // this isn't a great design, but it works for now.
+ if (MI->getOperand(OpNo).isImmediate()) {
+ O << (short)MI->getOperand(OpNo).getImmedValue();
+ } else {
+ O << "lo16(";
+ printOp(MI->getOperand(OpNo));
+ O << "-\"L0000" << LabelNumber << "$pb\")";
+ }
+ }
+ void printcrbit(const MachineInstr *MI, unsigned OpNo,
+ MVT::ValueType VT) {
+ unsigned char value = MI->getOperand(OpNo).getImmedValue();
+ assert(value <= 3 && "Invalid crbit argument!");
+ unsigned RegNo, CCReg = MI->getOperand(OpNo-1).getReg();
+ switch (CCReg) {
+ case PPC::CR0: RegNo = 0; break;
+ case PPC::CR1: RegNo = 1; break;
+ case PPC::CR2: RegNo = 2; break;
+ case PPC::CR3: RegNo = 3; break;
+ case PPC::CR4: RegNo = 4; break;
+ case PPC::CR5: RegNo = 5; break;
+ case PPC::CR6: RegNo = 6; break;
+ case PPC::CR7: RegNo = 7; break;
+ default:
+ std::cerr << "Unhandled reg in enumRegToRealReg!\n";
+ abort();
+ }
+ O << 4 * RegNo + value;
+ }
+
+ virtual void printConstantPool(MachineConstantPool *MCP) = 0;
+ virtual bool runOnMachineFunction(MachineFunction &F) = 0;
+ virtual bool doFinalization(Module &M) = 0;
+ };
+
+ /// DarwinAsmPrinter - PowerPC assembly printer, customized for Darwin/Mac OS
+ /// X
+ ///
+ struct DarwinAsmPrinter : public PowerPCAsmPrinter {
+
+ DarwinAsmPrinter(std::ostream &O, TargetMachine &TM)
+ : PowerPCAsmPrinter(O, TM) {
+ CommentString = ";";
+ GlobalPrefix = "_";
+ ZeroDirective = "\t.space\t"; // ".space N" emits N zeros.
+ Data64bitsDirective = 0; // we can't emit a 64-bit unit
+ AlignmentIsInBytes = false; // Alignment is by power of 2.
+ }
+
+ virtual const char *getPassName() const {
+ return "Darwin PPC Assembly Printer";
+ }
void printConstantPool(MachineConstantPool *MCP);
bool runOnMachineFunction(MachineFunction &F);
bool doFinalization(Module &M);
- void emitGlobalConstant(const Constant* CV);
+ };
+
+ /// AIXAsmPrinter - PowerPC assembly printer, customized for AIX
+ ///
+ struct AIXAsmPrinter : public PowerPCAsmPrinter {
+ /// Map for labels corresponding to global variables
+ ///
+ std::map<const GlobalVariable*,std::string> GVToLabelMap;
+
+ AIXAsmPrinter(std::ostream &O, TargetMachine &TM)
+ : PowerPCAsmPrinter(O, TM) {
+ CommentString = "#";
+ GlobalPrefix = "_";
+ ZeroDirective = "\t.space\t"; // ".space N" emits N zeros.
+ Data64bitsDirective = 0; // we can't emit a 64-bit unit
+ AlignmentIsInBytes = false; // Alignment is by power of 2.
+ }
+
+ virtual const char *getPassName() const {
+ return "AIX PPC Assembly Printer";
+ }
+
+ void printConstantPool(MachineConstantPool *MCP);
+ bool runOnMachineFunction(MachineFunction &F);
+ bool doInitialization(Module &M);
+ bool doFinalization(Module &M);
};
} // end of anonymous namespace
-/// createPPC32AsmPrinterPass - Returns a pass that prints the PPC
-/// assembly code for a MachineFunction to the given output stream,
-/// using the given target machine description. This should work
-/// regardless of whether the function is in SSA form or not.
-///
-FunctionPass *llvm::createPPC32AsmPrinter(std::ostream &o, TargetMachine &tm) {
- return new PPC32AsmPrinter(o, tm);
+// SwitchSection - Switch to the specified section of the executable if we are
+// not already in it!
+//
+static void SwitchSection(std::ostream &OS, std::string &CurSection,
+ const char *NewSection) {
+ if (CurSection != NewSection) {
+ CurSection = NewSection;
+ if (!CurSection.empty())
+ OS << "\t" << NewSection << "\n";
+ }
}
-// Include the auto-generated portion of the assembly writer
-#include "PowerPCGenAsmWriter.inc"
+/// isStringCompatible - Can we treat the specified array as a string?
+/// Only if it is an array of ubytes or non-negative sbytes.
+///
+static bool isStringCompatible(const ConstantArray *CVA) {
+ const Type *ETy = cast<ArrayType>(CVA->getType())->getElementType();
+ if (ETy == Type::UByteTy) return true;
+ if (ETy != Type::SByteTy) return false;
+
+ for (unsigned i = 0; i < CVA->getNumOperands(); ++i)
+ if (cast<ConstantSInt>(CVA->getOperand(i))->getValue() < 0)
+ return false;
+
+ return true;
+}
/// toOctal - Convert the low order bits of X into an octal digit.
///
return (X&7)+'0';
}
+// Possible states while outputting ASCII strings
+namespace {
+ enum StringSection {
+ None,
+ Alpha,
+ Numeric
+ };
+}
+
+/// SwitchStringSection - manage the changes required to output bytes as
+/// characters in a string vs. numeric decimal values
+///
+static inline void SwitchStringSection(std::ostream &O, StringSection NewSect,
+ StringSection &Current) {
+ if (Current == None) {
+ if (NewSect == Alpha)
+ O << "\t.byte \"";
+ else if (NewSect == Numeric)
+ O << "\t.byte ";
+ } else if (Current == Alpha) {
+ if (NewSect == None)
+ O << "\"";
+ else if (NewSect == Numeric)
+ O << "\"\n"
+ << "\t.byte ";
+ } else if (Current == Numeric) {
+ if (NewSect == Alpha)
+ O << '\n'
+ << "\t.byte \"";
+ else if (NewSect == Numeric)
+ O << ", ";
+ }
+
+ Current = NewSect;
+}
+
/// getAsCString - Return the specified array as a C compatible
-/// string, only if the predicate isString is true.
+/// string, only if the predicate isStringCompatible is true.
///
static void printAsCString(std::ostream &O, const ConstantArray *CVA) {
- assert(CVA->isString() && "Array is not string compatible!");
+ assert(isStringCompatible(CVA) && "Array is not string compatible!");
- O << "\"";
- for (unsigned i = 0; i != CVA->getNumOperands(); ++i) {
- unsigned char C = cast<ConstantInt>(CVA->getOperand(i))->getRawValue();
+ if (CVA->getNumOperands() == 0)
+ return;
+ StringSection Current = None;
+ for (unsigned i = 0, e = CVA->getNumOperands(); i != e; ++i) {
+ unsigned char C = cast<ConstantInt>(CVA->getOperand(i))->getRawValue();
if (C == '"') {
- O << "\\\"";
- } else if (C == '\\') {
- O << "\\\\";
+ SwitchStringSection(O, Alpha, Current);
+ O << "\"\"";
} else if (isprint(C)) {
+ SwitchStringSection(O, Alpha, Current);
O << C;
} else {
- switch(C) {
- case '\b': O << "\\b"; break;
- case '\f': O << "\\f"; break;
- case '\n': O << "\\n"; break;
- case '\r': O << "\\r"; break;
- case '\t': O << "\\t"; break;
- default:
- O << '\\';
- O << toOctal(C >> 6);
- O << toOctal(C >> 3);
- O << toOctal(C >> 0);
- break;
- }
- }
- }
- O << "\"";
-}
-
-// Print a constant value or values, with the appropriate storage class as a
-// prefix.
-void PPC32AsmPrinter::emitGlobalConstant(const Constant *CV) {
- const TargetData &TD = TM.getTargetData();
-
- if (CV->isNullValue()) {
- O << "\t.space\t" << TD.getTypeSize(CV->getType()) << "\n";
- return;
- } else if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV)) {
- if (CVA->isString()) {
- O << "\t.ascii\t";
- printAsCString(O, CVA);
- O << "\n";
- } else { // Not a string. Print the values in successive locations
- for (unsigned i = 0, e = CVA->getNumOperands(); i != e; ++i)
- emitGlobalConstant(CVA->getOperand(i));
- }
- return;
- } else if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV)) {
- // Print the fields in successive locations. Pad to align if needed!
- const StructLayout *cvsLayout = TD.getStructLayout(CVS->getType());
- unsigned sizeSoFar = 0;
- for (unsigned i = 0, e = CVS->getNumOperands(); i != e; ++i) {
- const Constant* field = CVS->getOperand(i);
-
- // Check if padding is needed and insert one or more 0s.
- unsigned fieldSize = TD.getTypeSize(field->getType());
- unsigned padSize = ((i == e-1? cvsLayout->StructSize
- : cvsLayout->MemberOffsets[i+1])
- - cvsLayout->MemberOffsets[i]) - fieldSize;
- sizeSoFar += fieldSize + padSize;
-
- // Now print the actual field value
- emitGlobalConstant(field);
-
- // Insert the field padding unless it's zero bytes...
- if (padSize)
- O << "\t.space\t " << padSize << "\n";
- }
- assert(sizeSoFar == cvsLayout->StructSize &&
- "Layout of constant struct may be incorrect!");
- return;
- } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
- // FP Constants are printed as integer constants to avoid losing
- // precision...
- double Val = CFP->getValue();
- if (CFP->getType() == Type::DoubleTy) {
- union DU { // Abide by C TBAA rules
- double FVal;
- uint64_t UVal;
- } U;
- U.FVal = Val;
-
- if (TD.isBigEndian()) {
- O << ".long\t" << unsigned(U.UVal >> 32)
- << "\t; double most significant word " << Val << "\n";
- O << ".long\t" << unsigned(U.UVal)
- << "\t; double least significant word " << Val << "\n";
- } else {
- O << ".long\t" << unsigned(U.UVal)
- << "\t; double least significant word " << Val << "\n";
- O << ".long\t" << unsigned(U.UVal >> 32)
- << "\t; double most significant word " << Val << "\n";
- }
- return;
- } else {
- union FU { // Abide by C TBAA rules
- float FVal;
- int32_t UVal;
- } U;
- U.FVal = Val;
-
- O << ".long\t" << U.UVal << "\t; float " << Val << "\n";
- return;
- }
- } else if (CV->getType() == Type::ULongTy || CV->getType() == Type::LongTy) {
- if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
- uint64_t Val = CI->getRawValue();
-
- if (TD.isBigEndian()) {
- O << ".long\t" << unsigned(Val >> 32)
- << "\t; Double-word most significant word " << Val << "\n";
- O << ".long\t" << unsigned(Val)
- << "\t; Double-word least significant word " << Val << "\n";
- } else {
- O << ".long\t" << unsigned(Val)
- << "\t; Double-word least significant word " << Val << "\n";
- O << ".long\t" << unsigned(Val >> 32)
- << "\t; Double-word most significant word " << Val << "\n";
- }
- return;
+ SwitchStringSection(O, Numeric, Current);
+ O << utostr((unsigned)C);
}
}
-
- const Type *type = CV->getType();
- O << "\t";
- switch (type->getTypeID()) {
- case Type::UByteTyID: case Type::SByteTyID:
- O << ".byte";
- break;
- case Type::UShortTyID: case Type::ShortTyID:
- O << ".short";
- break;
- case Type::BoolTyID:
- case Type::PointerTyID:
- case Type::UIntTyID: case Type::IntTyID:
- O << ".long";
- break;
- case Type::ULongTyID: case Type::LongTyID:
- assert (0 && "Should have already output double-word constant.");
- case Type::FloatTyID: case Type::DoubleTyID:
- assert (0 && "Should have already output floating point constant.");
- default:
- assert (0 && "Can't handle printing this type of thing");
- break;
- }
- O << "\t";
- emitConstantValueOnly(CV);
- O << "\n";
+ SwitchStringSection(O, None, Current);
+ O << '\n';
}
-/// printConstantPool - Print to the current output stream assembly
-/// representations of the constants in the constant pool MCP. This is
-/// used to print out constants which have been "spilled to memory" by
-/// the code generator.
+/// createDarwinAsmPrinterPass - Returns a pass that prints the PPC assembly
+/// code for a MachineFunction to the given output stream, in a format that the
+/// Darwin assembler can deal with.
///
-void PPC32AsmPrinter::printConstantPool(MachineConstantPool *MCP) {
- const std::vector<Constant*> &CP = MCP->getConstants();
- const TargetData &TD = TM.getTargetData();
-
- if (CP.empty()) return;
-
- for (unsigned i = 0, e = CP.size(); i != e; ++i) {
- O << "\t.const\n";
- O << "\t.align " << (unsigned)TD.getTypeAlignment(CP[i]->getType())
- << "\n";
- O << ".CPI" << CurrentFnName << "_" << i << ":\t\t\t\t\t;"
- << *CP[i] << "\n";
- emitGlobalConstant(CP[i]);
- }
+FunctionPass *llvm::createDarwinAsmPrinter(std::ostream &o, TargetMachine &tm) {
+ return new DarwinAsmPrinter(o, tm);
}
-/// runOnMachineFunction - This uses the printMachineInstruction()
-/// method to print assembly for each instruction.
+/// createAIXAsmPrinterPass - Returns a pass that prints the PPC assembly code
+/// for a MachineFunction to the given output stream, in a format that the
+/// AIX 5L assembler can deal with.
///
-bool PPC32AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
- setupMachineFunction(MF);
- O << "\n\n";
-
- // Print out constants referenced by the function
- printConstantPool(MF.getConstantPool());
-
- // Print out labels for the function.
- O << "\t.text\n";
- O << "\t.globl\t" << CurrentFnName << "\n";
- O << "\t.align 2\n";
- O << CurrentFnName << ":\n";
-
- // Print out code for the function.
- for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
- I != E; ++I) {
- // Print a label for the basic block.
- O << ".LBB" << CurrentFnName << "_" << I->getNumber() << ":\t; "
- << I->getBasicBlock()->getName() << "\n";
- for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
- II != E; ++II) {
- // Print the assembly for the instruction.
- O << "\t";
- printMachineInstruction(II);
- }
- }
- ++LabelNumber;
-
- // We didn't modify anything.
- return false;
+FunctionPass *llvm::createAIXAsmPrinter(std::ostream &o, TargetMachine &tm) {
+ return new AIXAsmPrinter(o, tm);
}
-void PPC32AsmPrinter::printOp(const MachineOperand &MO,
- bool LoadAddrOp /* = false */) {
+// Include the auto-generated portion of the assembly writer
+#include "PowerPCGenAsmWriter.inc"
+
+void PowerPCAsmPrinter::printOp(const MachineOperand &MO, bool IsCallOp) {
const MRegisterInfo &RI = *TM.getRegisterInfo();
int new_symbol;
return;
case MachineOperand::MO_ExternalSymbol:
- O << MO.getSymbolName();
+ if (IsCallOp) {
+ std::string Name(GlobalPrefix); Name += MO.getSymbolName();
+ FnStubs.insert(Name);
+ O << "L" << Name << "$stub";
+ return;
+ }
+ O << GlobalPrefix << MO.getSymbolName();
return;
case MachineOperand::MO_GlobalAddress: {
// wary however not to output $stub for external functions whose addresses
// are taken. Those should be emitted as $non_lazy_ptr below.
Function *F = dyn_cast<Function>(GV);
- if (F && F->isExternal() && !LoadAddrOp &&
- getTM().CalledFunctions.count(F)) {
+ if (F && IsCallOp && F->isExternal()) {
FnStubs.insert(Name);
O << "L" << Name << "$stub";
return;
}
- // External global variables need a non-lazily-resolved stub
- if (GV->isExternal() && getTM().AddressTaken.count(GV)) {
- GVStubs.insert(Name);
- O << "L" << Name << "$non_lazy_ptr";
- return;
- }
-
- if (F && LoadAddrOp && getTM().AddressTaken.count(GV)) {
- LinkOnceStubs.insert(Name);
+ // External or weakly linked global variables need non-lazily-resolved stubs
+ if ((GV->isExternal() || GV->hasWeakLinkage() || GV->hasLinkOnceLinkage())){
+ if (GV->hasLinkOnceLinkage())
+ LinkOnceStubs.insert(Name);
+ else
+ GVStubs.insert(Name);
O << "L" << Name << "$non_lazy_ptr";
return;
}
-
+
O << Mang->getValueName(GV);
return;
}
}
}
-void PPC32AsmPrinter::printImmOp(const MachineOperand &MO, unsigned ArgType) {
- int Imm = MO.getImmedValue();
- if (ArgType == PPCII::Simm16 || ArgType == PPCII::Disimm16) {
- O << (short)Imm;
- } else {
- O << Imm;
- }
-}
-
/// printMachineInstruction -- Print out a single PowerPC MI in Darwin syntax to
/// the current output stream.
///
-void PPC32AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
+void PowerPCAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
++EmittedInsts;
+ // Check for slwi/srwi mnemonics.
+ if (MI->getOpcode() == PPC::RLWINM) {
+ bool FoundMnemonic = false;
+ unsigned char SH = MI->getOperand(2).getImmedValue();
+ unsigned char MB = MI->getOperand(3).getImmedValue();
+ unsigned char ME = MI->getOperand(4).getImmedValue();
+ if (SH <= 31 && MB == 0 && ME == (31-SH)) {
+ O << "slwi "; FoundMnemonic = true;
+ }
+ if (SH <= 31 && MB == (32-SH) && ME == 31) {
+ O << "srwi "; FoundMnemonic = true;
+ SH = 32-SH;
+ }
+ if (FoundMnemonic) {
+ printOperand(MI, 0, MVT::i64);
+ O << ", ";
+ printOperand(MI, 1, MVT::i64);
+ O << ", " << (unsigned int)SH << "\n";
+ return;
+ }
+ }
+
if (printInstruction(MI))
return; // Printer was automatically generated
-
- unsigned Opcode = MI->getOpcode();
- const TargetInstrInfo &TII = *TM.getInstrInfo();
- const TargetInstrDescriptor &Desc = TII.get(Opcode);
- unsigned i;
-
- unsigned ArgCount = MI->getNumOperands();
- unsigned ArgType[] = {
- (Desc.TSFlags >> PPCII::Arg0TypeShift) & PPCII::ArgTypeMask,
- (Desc.TSFlags >> PPCII::Arg1TypeShift) & PPCII::ArgTypeMask,
- (Desc.TSFlags >> PPCII::Arg2TypeShift) & PPCII::ArgTypeMask,
- (Desc.TSFlags >> PPCII::Arg3TypeShift) & PPCII::ArgTypeMask,
- (Desc.TSFlags >> PPCII::Arg4TypeShift) & PPCII::ArgTypeMask
- };
- assert(((Desc.TSFlags & PPCII::VMX) == 0) &&
- "Instruction requires VMX support");
- assert(((Desc.TSFlags & PPCII::PPC64) == 0) &&
- "Instruction requires 64 bit support");
-
- // CALLpcrel and CALLindirect are handled specially here to print only the
- // appropriate number of args that the assembler expects. This is because
- // may have many arguments appended to record the uses of registers that are
- // holding arguments to the called function.
- if (Opcode == PPC::COND_BRANCH) {
- std::cerr << "Error: untranslated conditional branch psuedo instruction!\n";
- abort();
- } else if (Opcode == PPC::IMPLICIT_DEF) {
- O << "; IMPLICIT DEF ";
- printOp(MI->getOperand(0));
- O << "\n";
- return;
- } else if (Opcode == PPC::CALLpcrel) {
- O << TII.getName(Opcode) << " ";
- printOp(MI->getOperand(0));
- O << "\n";
- return;
- } else if (Opcode == PPC::CALLindirect) {
- O << TII.getName(Opcode) << " ";
- printImmOp(MI->getOperand(0), ArgType[0]);
- O << ", ";
- printImmOp(MI->getOperand(1), ArgType[0]);
- O << "\n";
- return;
- } else if (Opcode == PPC::MovePCtoLR) {
- // FIXME: should probably be converted to cout.width and cout.fill
- O << "bl \"L0000" << LabelNumber << "$pb\"\n";
- O << "\"L0000" << LabelNumber << "$pb\":\n";
- O << "\tmflr ";
- printOp(MI->getOperand(0));
- O << "\n";
- return;
- }
+
+ assert(0 && "Unhandled instruction in asm writer!");
+ abort();
+ return;
+}
- O << TII.getName(Opcode) << " ";
- if (Opcode == PPC::LOADLoDirect || Opcode == PPC::LOADLoIndirect) {
- printOp(MI->getOperand(0));
- O << ", lo16(";
- printOp(MI->getOperand(2), true /* LoadAddrOp */);
- O << "-\"L0000" << LabelNumber << "$pb\")";
- O << "(";
- if (MI->getOperand(1).getReg() == PPC::R0)
- O << "0";
- else
- printOp(MI->getOperand(1));
- O << ")\n";
- } else if (Opcode == PPC::LOADHiAddr) {
- printOp(MI->getOperand(0));
- O << ", ";
- if (MI->getOperand(1).getReg() == PPC::R0)
- O << "0";
- else
- printOp(MI->getOperand(1));
- O << ", ha16(" ;
- printOp(MI->getOperand(2), true /* LoadAddrOp */);
- O << "-\"L0000" << LabelNumber << "$pb\")\n";
- } else if (ArgCount == 3 && ArgType[1] == PPCII::Disimm16) {
- printOp(MI->getOperand(0));
- O << ", ";
- printImmOp(MI->getOperand(1), ArgType[1]);
- O << "(";
- if (MI->getOperand(2).hasAllocatedReg() &&
- MI->getOperand(2).getReg() == PPC::R0)
- O << "0";
- else
- printOp(MI->getOperand(2));
- O << ")\n";
- } else {
- for (i = 0; i < ArgCount; ++i) {
- // addi and friends
- if (i == 1 && ArgCount == 3 && ArgType[2] == PPCII::Simm16 &&
- MI->getOperand(1).hasAllocatedReg() &&
- MI->getOperand(1).getReg() == PPC::R0) {
- O << "0";
- // for long branch support, bc $+8
- } else if (i == 1 && ArgCount == 2 && MI->getOperand(1).isImmediate() &&
- TII.isBranch(MI->getOpcode())) {
- O << "$+8";
- assert(8 == MI->getOperand(i).getImmedValue()
- && "branch off PC not to pc+8?");
- //printOp(MI->getOperand(i));
- } else if (MI->getOperand(i).isImmediate()) {
- printImmOp(MI->getOperand(i), ArgType[i]);
- } else {
- printOp(MI->getOperand(i));
- }
- if (ArgCount - 1 == i)
- O << "\n";
- else
- O << ", ";
+/// runOnMachineFunction - This uses the printMachineInstruction()
+/// method to print assembly for each instruction.
+///
+bool DarwinAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
+ setupMachineFunction(MF);
+ O << "\n\n";
+
+ // Print out constants referenced by the function
+ printConstantPool(MF.getConstantPool());
+
+ // Print out labels for the function.
+ O << "\t.text\n";
+ emitAlignment(2);
+ O << "\t.globl\t" << CurrentFnName << "\n";
+ O << CurrentFnName << ":\n";
+
+ // Print out code for the function.
+ for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
+ I != E; ++I) {
+ // Print a label for the basic block.
+ O << ".LBB" << CurrentFnName << "_" << I->getNumber() << ":\t"
+ << CommentString << " " << I->getBasicBlock()->getName() << "\n";
+ for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
+ II != E; ++II) {
+ // Print the assembly for the instruction.
+ O << "\t";
+ printMachineInstruction(II);
}
}
- return;
+ ++LabelNumber;
+
+ // We didn't modify anything.
+ return false;
}
-// SwitchSection - Switch to the specified section of the executable if we are
-// not already in it!
-//
-static void SwitchSection(std::ostream &OS, std::string &CurSection,
- const char *NewSection) {
- if (CurSection != NewSection) {
- CurSection = NewSection;
- if (!CurSection.empty())
- OS << "\t" << NewSection << "\n";
+/// printConstantPool - Print to the current output stream assembly
+/// representations of the constants in the constant pool MCP. This is
+/// used to print out constants which have been "spilled to memory" by
+/// the code generator.
+///
+void DarwinAsmPrinter::printConstantPool(MachineConstantPool *MCP) {
+ const std::vector<Constant*> &CP = MCP->getConstants();
+ const TargetData &TD = TM.getTargetData();
+
+ if (CP.empty()) return;
+
+ for (unsigned i = 0, e = CP.size(); i != e; ++i) {
+ O << "\t.const\n";
+ emitAlignment(TD.getTypeAlignmentShift(CP[i]->getType()));
+ O << ".CPI" << CurrentFnName << "_" << i << ":\t\t\t\t\t" << CommentString
+ << *CP[i] << "\n";
+ emitGlobalConstant(CP[i]);
}
}
-bool PPC32AsmPrinter::doFinalization(Module &M) {
+bool DarwinAsmPrinter::doFinalization(Module &M) {
const TargetData &TD = TM.getTargetData();
std::string CurSection;
// Print out module-level global variables here.
- for (Module::const_giterator I = M.gbegin(), E = M.gend(); I != E; ++I)
+ for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); I != E; ++I)
if (I->hasInitializer()) { // External global require no code
- O << "\n\n";
+ O << '\n';
std::string name = Mang->getValueName(I);
Constant *C = I->getInitializer();
unsigned Size = TD.getTypeSize(C->getType());
- unsigned Align = TD.getTypeAlignment(C->getType());
+ unsigned Align = TD.getTypeAlignmentShift(C->getType());
if (C->isNullValue() && /* FIXME: Verify correct */
- (I->hasInternalLinkage() || I->hasWeakLinkage())) {
+ (I->hasInternalLinkage() || I->hasWeakLinkage() ||
+ I->hasLinkOnceLinkage())) {
SwitchSection(O, CurSection, ".data");
+ if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
if (I->hasInternalLinkage())
- O << ".lcomm " << name << "," << TD.getTypeSize(C->getType())
- << "," << (unsigned)TD.getTypeAlignment(C->getType());
+ O << ".lcomm " << name << "," << Size << "," << Align;
else
- O << ".comm " << name << "," << TD.getTypeSize(C->getType());
+ O << ".comm " << name << "," << Size;
O << "\t\t; ";
WriteAsOperand(O, I, true, true, &M);
- O << "\n";
+ O << '\n';
} else {
switch (I->getLinkage()) {
case GlobalValue::LinkOnceLinkage:
case GlobalValue::InternalLinkage:
SwitchSection(O, CurSection, ".data");
break;
+ case GlobalValue::GhostLinkage:
+ std::cerr << "Error: unmaterialized (GhostLinkage) function in asm!";
+ abort();
}
- O << "\t.align " << Align << "\n";
+ emitAlignment(Align);
O << name << ":\t\t\t\t; ";
WriteAsOperand(O, I, true, true, &M);
O << " = ";
{
O << ".data\n";
O << ".section __TEXT,__picsymbolstub1,symbol_stubs,pure_instructions,32\n";
- O << "\t.align 2\n";
+ emitAlignment(2);
O << "L" << *i << "$stub:\n";
O << "\t.indirect_symbol " << *i << "\n";
O << "\tmflr r0\n";
AsmPrinter::doFinalization(M);
return false; // success
}
+
+/// runOnMachineFunction - This uses the printMachineInstruction()
+/// method to print assembly for each instruction.
+///
+bool AIXAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
+ CurrentFnName = MF.getFunction()->getName();
+
+ // Print out constants referenced by the function
+ printConstantPool(MF.getConstantPool());
+
+ // Print out header for the function.
+ O << "\t.csect .text[PR]\n"
+ << "\t.align 2\n"
+ << "\t.globl " << CurrentFnName << '\n'
+ << "\t.globl ." << CurrentFnName << '\n'
+ << "\t.csect " << CurrentFnName << "[DS],3\n"
+ << CurrentFnName << ":\n"
+ << "\t.llong ." << CurrentFnName << ", TOC[tc0], 0\n"
+ << "\t.csect .text[PR]\n"
+ << '.' << CurrentFnName << ":\n";
+
+ // Print out code for the function.
+ for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
+ I != E; ++I) {
+ // Print a label for the basic block.
+ O << "LBB" << CurrentFnName << "_" << I->getNumber() << ":\t# "
+ << I->getBasicBlock()->getName() << "\n";
+ for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
+ II != E; ++II) {
+ // Print the assembly for the instruction.
+ O << "\t";
+ printMachineInstruction(II);
+ }
+ }
+ ++LabelNumber;
+
+ O << "LT.." << CurrentFnName << ":\n"
+ << "\t.long 0\n"
+ << "\t.byte 0,0,32,65,128,0,0,0\n"
+ << "\t.long LT.." << CurrentFnName << "-." << CurrentFnName << '\n'
+ << "\t.short 3\n"
+ << "\t.byte \"" << CurrentFnName << "\"\n"
+ << "\t.align 2\n";
+
+ // We didn't modify anything.
+ return false;
+}
+
+/// printConstantPool - Print to the current output stream assembly
+/// representations of the constants in the constant pool MCP. This is
+/// used to print out constants which have been "spilled to memory" by
+/// the code generator.
+///
+void AIXAsmPrinter::printConstantPool(MachineConstantPool *MCP) {
+ const std::vector<Constant*> &CP = MCP->getConstants();
+ const TargetData &TD = TM.getTargetData();
+
+ if (CP.empty()) return;
+
+ for (unsigned i = 0, e = CP.size(); i != e; ++i) {
+ O << "\t.const\n";
+ O << "\t.align " << (unsigned)TD.getTypeAlignment(CP[i]->getType())
+ << "\n";
+ O << ".CPI" << CurrentFnName << "_" << i << ":\t\t\t\t\t;"
+ << *CP[i] << "\n";
+ emitGlobalConstant(CP[i]);
+ }
+}
+
+bool AIXAsmPrinter::doInitialization(Module &M) {
+ const TargetData &TD = TM.getTargetData();
+ std::string CurSection;
+
+ O << "\t.machine \"ppc64\"\n"
+ << "\t.toc\n"
+ << "\t.csect .text[PR]\n";
+
+ // Print out module-level global variables
+ for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); I != E; ++I) {
+ if (!I->hasInitializer())
+ continue;
+
+ std::string Name = I->getName();
+ Constant *C = I->getInitializer();
+ // N.B.: We are defaulting to writable strings
+ if (I->hasExternalLinkage()) {
+ O << "\t.globl " << Name << '\n'
+ << "\t.csect .data[RW],3\n";
+ } else {
+ O << "\t.csect _global.rw_c[RW],3\n";
+ }
+ O << Name << ":\n";
+ emitGlobalConstant(C);
+ }
+
+ // Output labels for globals
+ if (M.global_begin() != M.global_end()) O << "\t.toc\n";
+ for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); I != E; ++I) {
+ const GlobalVariable *GV = I;
+ // Do not output labels for unused variables
+ if (GV->isExternal() && GV->use_begin() == GV->use_end())
+ continue;
+
+ std::string Name = GV->getName();
+ std::string Label = "LC.." + utostr(LabelNumber++);
+ GVToLabelMap[GV] = Label;
+ O << Label << ":\n"
+ << "\t.tc " << Name << "[TC]," << Name;
+ if (GV->isExternal()) O << "[RW]";
+ O << '\n';
+ }
+
+ Mang = new Mangler(M, ".");
+ return false; // success
+}
+
+bool AIXAsmPrinter::doFinalization(Module &M) {
+ const TargetData &TD = TM.getTargetData();
+ // Print out module-level global variables
+ for (Module::const_global_iterator I = M.global_begin(), E = M.global_end(); I != E; ++I) {
+ if (I->hasInitializer() || I->hasExternalLinkage())
+ continue;
+
+ std::string Name = I->getName();
+ if (I->hasInternalLinkage()) {
+ O << "\t.lcomm " << Name << ",16,_global.bss_c";
+ } else {
+ O << "\t.comm " << Name << "," << TD.getTypeSize(I->getType())
+ << "," << log2((unsigned)TD.getTypeAlignment(I->getType()));
+ }
+ O << "\t\t# ";
+ WriteAsOperand(O, I, true, true, &M);
+ O << "\n";
+ }
+
+ O << "_section_.text:\n"
+ << "\t.csect .data[RW],3\n"
+ << "\t.llong _section_.text\n";
+
+ delete Mang;
+ return false; // success
+}
projects / oota-llvm.git / blobdiff