-//===-- Printer.cpp - Convert LLVM code to PowerPC assembly ---------------===//
+//===-- PowerPCAsmPrinter.cpp - Print machine instrs to PowerPC assembly --===//
//
// The LLVM Compiler Infrastructure
//
//
// This file contains a printer that converts from our internal representation
// of machine-dependent LLVM code to PowerPC assembly language. This printer is
-// the output mechanism used by `llc' and `lli -print-machineinstrs'.
+// the output mechanism used by `llc'.
//
// Documentation at http://developer.apple.com/documentation/DeveloperTools/
// Reference/Assembler/ASMIntroduction/chapter_1_section_1.html
#define DEBUG_TYPE "asmprinter"
#include "PowerPC.h"
-#include "PowerPCInstrInfo.h"
+#include "PowerPCTargetMachine.h"
#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Module.h"
#include "llvm/Assembly/Writer.h"
+#include "llvm/CodeGen/AsmPrinter.h"
#include "llvm/CodeGen/MachineConstantPool.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstr.h"
-#include "llvm/Target/TargetMachine.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>
-
-namespace llvm {
+using namespace llvm;
namespace {
Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
- struct Printer : public MachineFunctionPass {
- /// Output stream on which we're printing assembly code.
- ///
- std::ostream &O;
+ struct PowerPCAsmPrinter : public AsmPrinter {
+ std::set<std::string> FnStubs, GVStubs, LinkOnceStubs;
+ std::set<std::string> Strings;
+
+ PowerPCAsmPrinter(std::ostream &O, TargetMachine &TM)
+ : AsmPrinter(O, TM), LabelNumber(0) {}
- /// Target machine description which we query for reg. names, data
- /// layout, etc.
+ /// Unique incrementer for label values for referencing Global values.
///
- TargetMachine &TM;
+ unsigned LabelNumber;
+
+ virtual const char *getPassName() const {
+ return "PowerPC Assembly Printer";
+ }
- /// Name-mangler for global names.
- ///
- Mangler *Mang;
- std::set<std::string> FnStubs, GVStubs;
- std::set<std::string> Strings;
+ PowerPCTargetMachine &getTM() {
+ return static_cast<PowerPCTargetMachine&>(TM);
+ }
- Printer(std::ostream &o, TargetMachine &tm) : O(o), TM(tm), labelNumber(0)
- { }
+ /// printInstruction - This method is automatically generated by tablegen
+ /// from the instruction set description. This method returns true if the
+ /// machine instruction was sufficiently described to print it, otherwise it
+ /// returns false.
+ bool printInstruction(const MachineInstr *MI);
- /// Cache of mangled name for current function. This is
- /// recalculated at the beginning of each call to
- /// runOnMachineFunction().
- ///
- std::string CurrentFnName;
+ void printMachineInstruction(const MachineInstr *MI);
+ void printOp(const MachineOperand &MO, bool IsCallOp = false);
+
+ void printOperand(const MachineInstr *MI, unsigned OpNo, MVT::ValueType VT){
+ const MachineOperand &MO = MI->getOperand(OpNo);
+ if (MO.getType() == MachineOperand::MO_MachineRegister) {
+ assert(MRegisterInfo::isPhysicalRegister(MO.getReg())&&"Not physreg??");
+ O << LowercaseString(TM.getRegisterInfo()->get(MO.getReg()).Name);
+ } else if (MO.isImmediate()) {
+ O << MO.getImmedValue();
+ } else {
+ printOp(MO);
+ }
+ }
- /// Unique incrementer for label values for referencing
- /// Global values.
- ///
- unsigned int labelNumber;
+ 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 "PowerPC Assembly Printer";
+ return "Darwin PPC Assembly Printer";
+ }
+
+ void printConstantPool(MachineConstantPool *MCP);
+ bool runOnMachineFunction(MachineFunction &F);
+ bool doFinalization(Module &M);
+ };
+
+ /// 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 printMachineInstruction(const MachineInstr *MI);
- void printOp(const MachineOperand &MO, bool elideOffsetKeyword = false);
void printConstantPool(MachineConstantPool *MCP);
bool runOnMachineFunction(MachineFunction &F);
bool doInitialization(Module &M);
bool doFinalization(Module &M);
- void emitGlobalConstant(const Constant* CV);
- void emitConstantValueOnly(const Constant *CV);
};
} // end of anonymous namespace
-/// createPPCCodePrinterPass - 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.
-///
-FunctionPass *createPPCCodePrinterPass(std::ostream &o,TargetMachine &tm) {
- return new Printer(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";
+ }
}
/// isStringCompatible - Can we treat the specified array as a string?
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 isStringCompatible is true.
///
static void printAsCString(std::ostream &O, const ConstantArray *CVA) {
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;
- }
+ SwitchStringSection(O, Numeric, Current);
+ O << utostr((unsigned)C);
}
}
- O << "\"";
+ SwitchStringSection(O, None, Current);
+ O << '\n';
}
-// Print out the specified constant, without a storage class. Only the
-// constants valid in constant expressions can occur here.
-void Printer::emitConstantValueOnly(const Constant *CV) {
- if (CV->isNullValue())
- O << "0";
- else if (const ConstantBool *CB = dyn_cast<ConstantBool>(CV)) {
- assert(CB == ConstantBool::True);
- O << "1";
- } else if (const ConstantSInt *CI = dyn_cast<ConstantSInt>(CV))
- O << CI->getValue();
- else if (const ConstantUInt *CI = dyn_cast<ConstantUInt>(CV))
- O << CI->getValue();
- else if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV))
- // This is a constant address for a global variable or function. Use the
- // name of the variable or function as the address value.
- O << Mang->getValueName(GV);
- else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
- const TargetData &TD = TM.getTargetData();
- switch(CE->getOpcode()) {
- case Instruction::GetElementPtr: {
- // generate a symbolic expression for the byte address
- const Constant *ptrVal = CE->getOperand(0);
- std::vector<Value*> idxVec(CE->op_begin()+1, CE->op_end());
- if (unsigned Offset = TD.getIndexedOffset(ptrVal->getType(), idxVec)) {
- O << "(";
- emitConstantValueOnly(ptrVal);
- O << ") + " << Offset;
- } else {
- emitConstantValueOnly(ptrVal);
- }
- break;
- }
- case Instruction::Cast: {
- // Support only non-converting or widening casts for now, that is, ones
- // that do not involve a change in value. This assertion is really gross,
- // and may not even be a complete check.
- Constant *Op = CE->getOperand(0);
- const Type *OpTy = Op->getType(), *Ty = CE->getType();
-
- // Remember, kids, pointers on x86 can be losslessly converted back and
- // forth into 32-bit or wider integers, regardless of signedness. :-P
- assert(((isa<PointerType>(OpTy)
- && (Ty == Type::LongTy || Ty == Type::ULongTy
- || Ty == Type::IntTy || Ty == Type::UIntTy))
- || (isa<PointerType>(Ty)
- && (OpTy == Type::LongTy || OpTy == Type::ULongTy
- || OpTy == Type::IntTy || OpTy == Type::UIntTy))
- || (((TD.getTypeSize(Ty) >= TD.getTypeSize(OpTy))
- && OpTy->isLosslesslyConvertibleTo(Ty))))
- && "FIXME: Don't yet support this kind of constant cast expr");
- O << "(";
- emitConstantValueOnly(Op);
- O << ")";
- break;
- }
- case Instruction::Add:
- O << "(";
- emitConstantValueOnly(CE->getOperand(0));
- O << ") + (";
- emitConstantValueOnly(CE->getOperand(1));
- O << ")";
- break;
- default:
- assert(0 && "Unsupported operator!");
- }
- } else {
- assert(0 && "Unknown constant value!");
- }
-}
-
-// Print a constant value or values, with the appropriate storage class as a
-// prefix.
-void Printer::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 (isStringCompatible(CVA)) {
- O << "\t.ascii ";
- printAsCString(O, CVA);
- O << "\n";
- } else { // Not a string. Print the values in successive locations
- const std::vector<Use> &constValues = CVA->getValues();
- for (unsigned i=0; i < constValues.size(); i++)
- emitGlobalConstant(cast<Constant>(constValues[i].get()));
- }
- 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());
- const std::vector<Use>& constValues = CVS->getValues();
- unsigned sizeSoFar = 0;
- for (unsigned i=0, N = constValues.size(); i < N; i++) {
- const Constant* field = cast<Constant>(constValues[i].get());
-
- // Check if padding is needed and insert one or more 0s.
- unsigned fieldSize = TD.getTypeSize(field->getType());
- unsigned padSize = ((i == N-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();
- switch (CFP->getType()->getTypeID()) {
- default: assert(0 && "Unknown floating point type!");
- case Type::FloatTyID: {
- union FU { // Abide by C TBAA rules
- float FVal;
- unsigned UVal;
- } U;
- U.FVal = Val;
- O << ".long\t" << U.UVal << "\t; float " << Val << "\n";
- return;
- }
- case Type::DoubleTyID: {
- union DU { // Abide by C TBAA rules
- double FVal;
- uint64_t UVal;
- struct {
- uint32_t MSWord;
- uint32_t LSWord;
- } T;
- } U;
- U.FVal = Val;
-
- O << ".long\t" << U.T.MSWord << "\t; double most significant word "
- << Val << "\n";
- O << ".long\t" << U.T.LSWord << "\t; double least significant word "
- << Val << "\n";
- return;
- }
- }
- } else if (CV->getType()->getPrimitiveSize() == 64) {
- if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
- union DU { // Abide by C TBAA rules
- int64_t UVal;
- struct {
- uint32_t MSWord;
- uint32_t LSWord;
- } T;
- } U;
- U.UVal = CI->getRawValue();
-
- O << ".long\t" << U.T.MSWord << "\t; Double-word most significant word "
- << U.UVal << "\n";
- O << ".long\t" << U.T.LSWord << "\t; Double-word least significant word "
- << U.UVal << "\n";
- return;
- }
- }
-
- 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";
-}
-
-/// 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 Printer::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 Printer::runOnMachineFunction(MachineFunction &MF) {
- O << "\n\n";
- // What's my mangled name?
- CurrentFnName = Mang->getValueName(MF.getFunction());
-
- // 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);
- }
- }
-
- // We didn't modify anything.
- return false;
+FunctionPass *llvm::createAIXAsmPrinter(std::ostream &o, TargetMachine &tm) {
+ return new AIXAsmPrinter(o, tm);
}
-void Printer::printOp(const MachineOperand &MO,
- bool elideOffsetKeyword /* = 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;
case MachineOperand::MO_SignExtendedImmed:
case MachineOperand::MO_UnextendedImmed:
- O << (int)MO.getImmedValue();
+ std::cerr << "printOp() does not handle immediate values\n";
+ abort();
return;
-
+
case MachineOperand::MO_PCRelativeDisp:
std::cerr << "Shouldn't use addPCDisp() when building PPC MachineInstrs";
abort();
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:
- if (!elideOffsetKeyword) {
- GlobalValue *GV = MO.getGlobal();
- std::string Name = Mang->getValueName(GV);
- // Dynamically-resolved functions need a stub for the function
- Function *F = dyn_cast<Function>(GV);
- if (F && F->isExternal()) {
- FnStubs.insert(Name);
- O << "L" << Name << "$stub";
- } else {
- GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
- // External global variables need a non-lazily-resolved stub
- if (GVar && GVar->isExternal()) {
- GVStubs.insert(Name);
- O << "L" << Name << "$non_lazy_ptr";
- } else
- O << Mang->getValueName(GV);
- }
+ case MachineOperand::MO_GlobalAddress: {
+ GlobalValue *GV = MO.getGlobal();
+ std::string Name = Mang->getValueName(GV);
+
+ // Dynamically-resolved functions need a stub for the function. Be
+ // 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 && IsCallOp && F->isExternal()) {
+ FnStubs.insert(Name);
+ O << "L" << Name << "$stub";
+ return;
+ }
+
+ // 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;
+ }
default:
O << "<unknown operand type: " << MO.getType() << ">";
}
}
-/// printMachineInstruction -- Print out a single PPC32 LLVM instruction
-/// MI in Darwin syntax to the current output stream.
+/// printMachineInstruction -- Print out a single PowerPC MI in Darwin syntax to
+/// the current output stream.
///
-void Printer::printMachineInstruction(const MachineInstr *MI) {
- unsigned Opcode = MI->getOpcode();
- const TargetInstrInfo &TII = *TM.getInstrInfo();
- const TargetInstrDescriptor &Desc = TII.get(Opcode);
- unsigned int i;
-
- unsigned int ArgCount = MI->getNumOperands();
- //Desc.TSFlags & PPC32II::ArgCountMask;
- unsigned int ArgType[] = {
- (Desc.TSFlags >> PPC32II::Arg0TypeShift) & PPC32II::ArgTypeMask,
- (Desc.TSFlags >> PPC32II::Arg1TypeShift) & PPC32II::ArgTypeMask,
- (Desc.TSFlags >> PPC32II::Arg2TypeShift) & PPC32II::ArgTypeMask,
- (Desc.TSFlags >> PPC32II::Arg3TypeShift) & PPC32II::ArgTypeMask,
- (Desc.TSFlags >> PPC32II::Arg4TypeShift) & PPC32II::ArgTypeMask
- };
- assert(((Desc.TSFlags & PPC32II::VMX) == 0) &&
- "Instruction requires VMX support");
- assert(((Desc.TSFlags & PPC32II::PPC64) == 0) &&
- "Instruction requires 64 bit support");
+void PowerPCAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
++EmittedInsts;
-
- // 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 == PPC32::IMPLICIT_DEF) {
- O << "; IMPLICIT DEF ";
- printOp(MI->getOperand(0));
- O << "\n";
- return;
- } else if (Opcode == PPC32::CALLpcrel) {
- O << TII.getName(MI->getOpcode()) << " ";
- printOp(MI->getOperand(0));
- O << "\n";
- return;
- } else if (Opcode == PPC32::CALLindirect) {
- O << TII.getName(MI->getOpcode()) << " ";
- printOp(MI->getOperand(0));
- O << ", ";
- printOp(MI->getOperand(1));
- O << "\n";
- return;
- } else if (Opcode == PPC32::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;
+ // 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
+
+ assert(0 && "Unhandled instruction in asm writer!");
+ abort();
+ return;
+}
- O << TII.getName(MI->getOpcode()) << " ";
- if (Opcode == PPC32::LOADLoAddr) {
- printOp(MI->getOperand(0));
- O << ", lo16(";
- printOp(MI->getOperand(2));
- O << "-\"L0000" << labelNumber << "$pb\")";
- labelNumber++;
- O << "(";
- if (MI->getOperand(1).getReg() == PPC32::R0)
- O << "0";
- else
- printOp(MI->getOperand(1));
- O << ")\n";
- } else if (Opcode == PPC32::LOADHiAddr) {
- printOp(MI->getOperand(0));
- O << ", ";
- if (MI->getOperand(1).getReg() == PPC32::R0)
- O << "0";
- else
- printOp(MI->getOperand(1));
- O << ", ha16(" ;
- printOp(MI->getOperand(2));
- O << "-\"L0000" << labelNumber << "$pb\")\n";
- } else if (ArgCount == 3 && ArgType[1] == PPC32II::Disimm16) {
- printOp(MI->getOperand(0));
- O << ", ";
- printOp(MI->getOperand(1));
- O << "(";
- if (MI->getOperand(2).hasAllocatedReg() &&
- MI->getOperand(2).getReg() == PPC32::R0)
- O << "0";
- else
- printOp(MI->getOperand(2));
- O << ")\n";
- } else {
- for (i = 0; i < ArgCount; ++i) {
- if (i == 1 && ArgCount == 3 && ArgType[2] == PPC32II::Simm16 &&
- MI->getOperand(1).hasAllocatedReg() &&
- MI->getOperand(1).getReg() == PPC32::R0) {
- O << "0";
- } 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);
}
}
-}
+ ++LabelNumber;
-bool Printer::doInitialization(Module &M) {
- Mang = new Mangler(M, true);
- return false; // success
+ // 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 Printer::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() &&
- (I->hasLinkOnceLinkage() || I->hasInternalLinkage() ||
- I->hasWeakLinkage() /* FIXME: Verify correct */)) {
+ if (C->isNullValue() && /* FIXME: Verify correct */
+ (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 << "\t.lcomm " << name << "," << TD.getTypeSize(C->getType())
- << "," << (unsigned)TD.getTypeAlignment(C->getType());
+ O << ".lcomm " << name << "," << Size << "," << Align;
else
- O << "\t.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:
+ O << ".section __TEXT,__textcoal_nt,coalesced,no_toc\n"
+ << ".weak_definition " << name << '\n'
+ << ".private_extern " << name << '\n'
+ << ".section __DATA,__datacoal_nt,coalesced,no_toc\n";
+ LinkOnceStubs.insert(name);
+ break;
case GlobalValue::WeakLinkage: // FIXME: Verify correct for weak.
// Nonnull linkonce -> weak
O << "\t.weak " << name << "\n";
SwitchSection(O, CurSection, "");
O << "\t.section\t.llvm.linkonce.d." << name << ",\"aw\",@progbits\n";
break;
-
case GlobalValue::AppendingLinkage:
// FIXME: appending linkage variables should go into a section of
// their name or something. For now, just emit them as external.
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 << " = ";
for (std::set<std::string>::iterator i = FnStubs.begin(), e = FnStubs.end();
i != e; ++i)
{
- O << "\t.picsymbol_stub\n";
+ O << ".data\n";
+ O << ".section __TEXT,__picsymbolstub1,symbol_stubs,pure_instructions,32\n";
+ emitAlignment(2);
O << "L" << *i << "$stub:\n";
O << "\t.indirect_symbol " << *i << "\n";
O << "\tmflr r0\n";
- O << "\tbl L0$" << *i << "\n";
+ O << "\tbcl 20,31,L0$" << *i << "\n";
O << "L0$" << *i << ":\n";
O << "\tmflr r11\n";
O << "\taddis r11,r11,ha16(L" << *i << "$lazy_ptr-L0$" << *i << ")\n";
O << "\tmtlr r0\n";
- O << "\tlwz r12,lo16(L" << *i << "$lazy_ptr-L0$" << *i << ")(r11)\n";
+ O << "\tlwzu r12,lo16(L" << *i << "$lazy_ptr-L0$" << *i << ")(r11)\n";
O << "\tmtctr r12\n";
- O << "\taddi r11,r11,lo16(L" << *i << "$lazy_ptr - L0$" << *i << ")\n";
O << "\tbctr\n";
O << ".data\n";
O << ".lazy_symbol_pointer\n";
O << "L" << *i << "$lazy_ptr:\n";
- O << ".indirect_symbol " << *i << "\n";
- O << ".long dyld_stub_binding_helper\n";
+ O << "\t.indirect_symbol " << *i << "\n";
+ O << "\t.long dyld_stub_binding_helper\n";
}
O << "\n";
// Output stubs for external global variables
if (GVStubs.begin() != GVStubs.end())
- O << "\t.non_lazy_symbol_pointer\n";
+ O << ".data\n.non_lazy_symbol_pointer\n";
for (std::set<std::string>::iterator i = GVStubs.begin(), e = GVStubs.end();
i != e; ++i) {
O << "L" << *i << "$non_lazy_ptr:\n";
O << "\t.long\t0\n";
}
- delete Mang;
+ // Output stubs for link-once variables
+ if (LinkOnceStubs.begin() != LinkOnceStubs.end())
+ O << ".data\n.align 2\n";
+ for (std::set<std::string>::iterator i = LinkOnceStubs.begin(),
+ e = LinkOnceStubs.end(); i != e; ++i) {
+ O << "L" << *i << "$non_lazy_ptr:\n"
+ << "\t.long\t" << *i << '\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
}
-} // End llvm namespace
+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
+}