2008-11-08 18:59:02 +00:00
|
|
|
//===-- SPUAsmPrinter.cpp - Print machine instrs to Cell SPU assembly -------=//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file contains a printer that converts from our internal representation
|
|
|
|
// of machine-dependent LLVM code to Cell SPU assembly language. This printer
|
|
|
|
// is the output mechanism used by `llc'.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#define DEBUG_TYPE "asmprinter"
|
|
|
|
#include "SPU.h"
|
|
|
|
#include "SPUTargetMachine.h"
|
|
|
|
#include "llvm/Constants.h"
|
|
|
|
#include "llvm/DerivedTypes.h"
|
|
|
|
#include "llvm/Module.h"
|
2009-06-25 00:47:42 +00:00
|
|
|
#include "llvm/MDNode.h"
|
2008-11-08 18:59:02 +00:00
|
|
|
#include "llvm/Assembly/Writer.h"
|
|
|
|
#include "llvm/CodeGen/AsmPrinter.h"
|
|
|
|
#include "llvm/CodeGen/DwarfWriter.h"
|
|
|
|
#include "llvm/CodeGen/MachineModuleInfo.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunctionPass.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
|
|
|
#include "llvm/Support/Mangler.h"
|
|
|
|
#include "llvm/Support/MathExtras.h"
|
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
#include "llvm/Support/Debug.h"
|
2009-07-08 20:53:28 +00:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2008-11-08 18:59:02 +00:00
|
|
|
#include "llvm/Support/Compiler.h"
|
2009-07-14 20:18:05 +00:00
|
|
|
#include "llvm/Support/FormattedStream.h"
|
2008-11-08 18:59:02 +00:00
|
|
|
#include "llvm/Target/TargetAsmInfo.h"
|
|
|
|
#include "llvm/Target/TargetRegisterInfo.h"
|
|
|
|
#include "llvm/Target/TargetInstrInfo.h"
|
|
|
|
#include "llvm/Target/TargetOptions.h"
|
2009-07-15 20:24:03 +00:00
|
|
|
#include "llvm/Target/TargetRegistry.h"
|
2008-11-08 18:59:02 +00:00
|
|
|
#include "llvm/ADT/Statistic.h"
|
|
|
|
#include "llvm/ADT/StringExtras.h"
|
|
|
|
#include <set>
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
STATISTIC(EmittedInsts, "Number of machine instrs printed");
|
|
|
|
|
|
|
|
const std::string bss_section(".bss");
|
|
|
|
|
2009-02-24 08:30:20 +00:00
|
|
|
class VISIBILITY_HIDDEN SPUAsmPrinter : public AsmPrinter {
|
2008-11-08 18:59:02 +00:00
|
|
|
std::set<std::string> FnStubs, GVStubs;
|
2009-02-24 08:30:20 +00:00
|
|
|
public:
|
2009-07-14 20:18:05 +00:00
|
|
|
explicit SPUAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
|
2009-07-01 01:48:54 +00:00
|
|
|
const TargetAsmInfo *T, bool V) :
|
|
|
|
AsmPrinter(O, TM, T, V) {}
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
virtual const char *getPassName() const {
|
|
|
|
return "STI CBEA SPU Assembly Printer";
|
|
|
|
}
|
|
|
|
|
|
|
|
SPUTargetMachine &getTM() {
|
|
|
|
return static_cast<SPUTargetMachine&>(TM);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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);
|
|
|
|
|
|
|
|
void printMachineInstruction(const MachineInstr *MI);
|
|
|
|
void printOp(const MachineOperand &MO);
|
|
|
|
|
|
|
|
/// printRegister - Print register according to target requirements.
|
|
|
|
///
|
|
|
|
void printRegister(const MachineOperand &MO, bool R0AsZero) {
|
|
|
|
unsigned RegNo = MO.getReg();
|
|
|
|
assert(TargetRegisterInfo::isPhysicalRegister(RegNo) &&
|
|
|
|
"Not physreg??");
|
|
|
|
O << TM.getRegisterInfo()->get(RegNo).AsmName;
|
|
|
|
}
|
|
|
|
|
|
|
|
void printOperand(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
const MachineOperand &MO = MI->getOperand(OpNo);
|
|
|
|
if (MO.isReg()) {
|
|
|
|
assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg())&&"Not physreg??");
|
|
|
|
O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
|
|
|
|
} else if (MO.isImm()) {
|
|
|
|
O << MO.getImm();
|
|
|
|
} else {
|
|
|
|
printOp(MO);
|
|
|
|
}
|
|
|
|
}
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
|
|
|
|
unsigned AsmVariant, const char *ExtraCode);
|
|
|
|
bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
|
|
|
|
unsigned AsmVariant, const char *ExtraCode);
|
2009-01-26 22:33:37 +00:00
|
|
|
|
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
void
|
|
|
|
printS7ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
int value = MI->getOperand(OpNo).getImm();
|
|
|
|
value = (value << (32 - 7)) >> (32 - 7);
|
|
|
|
|
|
|
|
assert((value >= -(1 << 8) && value <= (1 << 7) - 1)
|
|
|
|
&& "Invalid s7 argument");
|
|
|
|
O << value;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printU7ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
unsigned int value = MI->getOperand(OpNo).getImm();
|
|
|
|
assert(value < (1 << 8) && "Invalid u7 argument");
|
|
|
|
O << value;
|
|
|
|
}
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
void
|
2008-12-27 04:51:36 +00:00
|
|
|
printShufAddr(const MachineInstr *MI, unsigned OpNo)
|
2008-11-08 18:59:02 +00:00
|
|
|
{
|
|
|
|
char value = MI->getOperand(OpNo).getImm();
|
|
|
|
O << (int) value;
|
|
|
|
O << "(";
|
|
|
|
printOperand(MI, OpNo+1);
|
|
|
|
O << ")";
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printS16ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
O << (short) MI->getOperand(OpNo).getImm();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printU16ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
O << (unsigned short)MI->getOperand(OpNo).getImm();
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printU32ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
O << (unsigned)MI->getOperand(OpNo).getImm();
|
|
|
|
}
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
void
|
|
|
|
printMemRegReg(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
// When used as the base register, r0 reads constant zero rather than
|
|
|
|
// the value contained in the register. For this reason, the darwin
|
|
|
|
// assembler requires that we print r0 as 0 (no r) when used as the base.
|
|
|
|
const MachineOperand &MO = MI->getOperand(OpNo);
|
|
|
|
O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
|
|
|
|
O << ", ";
|
|
|
|
printOperand(MI, OpNo+1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printU18ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
unsigned int value = MI->getOperand(OpNo).getImm();
|
|
|
|
assert(value <= (1 << 19) - 1 && "Invalid u18 argument");
|
|
|
|
O << value;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printS10ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
short value = (short) (((int) MI->getOperand(OpNo).getImm() << 16)
|
|
|
|
>> 16);
|
|
|
|
assert((value >= -(1 << 9) && value <= (1 << 9) - 1)
|
|
|
|
&& "Invalid s10 argument");
|
|
|
|
O << value;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printU10ImmOperand(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
short value = (short) (((int) MI->getOperand(OpNo).getImm() << 16)
|
|
|
|
>> 16);
|
|
|
|
assert((value <= (1 << 10) - 1) && "Invalid u10 argument");
|
|
|
|
O << value;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2008-12-27 04:51:36 +00:00
|
|
|
printDFormAddr(const MachineInstr *MI, unsigned OpNo)
|
2008-11-08 18:59:02 +00:00
|
|
|
{
|
2009-01-21 18:38:18 +00:00
|
|
|
assert(MI->getOperand(OpNo).isImm() &&
|
|
|
|
"printDFormAddr first operand is not immediate");
|
2008-11-08 18:59:02 +00:00
|
|
|
int64_t value = int64_t(MI->getOperand(OpNo).getImm());
|
2008-11-20 05:01:09 +00:00
|
|
|
int16_t value16 = int16_t(value);
|
|
|
|
assert((value16 >= -(1 << (9+4)) && value16 <= (1 << (9+4)) - 1)
|
2008-11-08 18:59:02 +00:00
|
|
|
&& "Invalid dform s10 offset argument");
|
2008-12-27 04:51:36 +00:00
|
|
|
O << (value16 & ~0xf) << "(";
|
2008-11-08 18:59:02 +00:00
|
|
|
printOperand(MI, OpNo+1);
|
|
|
|
O << ")";
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
printAddr256K(const MachineInstr *MI, unsigned OpNo)
|
|
|
|
{
|
|
|
|
/* Note: operand 1 is an offset or symbol name. */
|
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
|
|
|
printS16ImmOperand(MI, OpNo);
|
|
|
|
} else {
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
if (MI->getOperand(OpNo+1).isImm()) {
|
|
|
|
int displ = int(MI->getOperand(OpNo+1).getImm());
|
|
|
|
if (displ > 0)
|
|
|
|
O << "+" << displ;
|
|
|
|
else if (displ < 0)
|
|
|
|
O << displ;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void printCallOperand(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
}
|
|
|
|
|
|
|
|
void printPCRelativeOperand(const MachineInstr *MI, unsigned OpNo) {
|
2008-12-10 00:15:19 +00:00
|
|
|
// Used to generate a ".-<target>", but it turns out that the assembler
|
|
|
|
// really wants the target.
|
|
|
|
//
|
|
|
|
// N.B.: This operand is used for call targets. Branch hints are another
|
|
|
|
// animal entirely.
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
}
|
|
|
|
|
|
|
|
void printHBROperand(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
// HBR operands are generated in front of branches, hence, the
|
|
|
|
// program counter plus the target.
|
|
|
|
O << ".+";
|
2008-11-08 18:59:02 +00:00
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
}
|
|
|
|
|
|
|
|
void printSymbolHi(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
|
|
|
printS16ImmOperand(MI, OpNo);
|
|
|
|
} else {
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
O << "@h";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void printSymbolLo(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
|
|
|
printS16ImmOperand(MI, OpNo);
|
|
|
|
} else {
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
O << "@l";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Print local store address
|
|
|
|
void printSymbolLSA(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
}
|
|
|
|
|
|
|
|
void printROTHNeg7Imm(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
|
|
|
int value = (int) MI->getOperand(OpNo).getImm();
|
|
|
|
assert((value >= 0 && value < 16)
|
|
|
|
&& "Invalid negated immediate rotate 7-bit argument");
|
|
|
|
O << -value;
|
|
|
|
} else {
|
2009-07-14 16:55:14 +00:00
|
|
|
llvm_unreachable("Invalid/non-immediate rotate amount in printRotateNeg7Imm");
|
2008-11-08 18:59:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void printROTNeg7Imm(const MachineInstr *MI, unsigned OpNo) {
|
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
|
|
|
int value = (int) MI->getOperand(OpNo).getImm();
|
2008-11-24 17:11:17 +00:00
|
|
|
assert((value >= 0 && value <= 32)
|
2008-11-08 18:59:02 +00:00
|
|
|
&& "Invalid negated immediate rotate 7-bit argument");
|
|
|
|
O << -value;
|
|
|
|
} else {
|
2009-07-14 16:55:14 +00:00
|
|
|
llvm_unreachable("Invalid/non-immediate rotate amount in printRotateNeg7Imm");
|
2008-11-08 18:59:02 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual bool runOnMachineFunction(MachineFunction &F) = 0;
|
|
|
|
};
|
|
|
|
|
|
|
|
/// LinuxAsmPrinter - SPU assembly printer, customized for Linux
|
2009-02-24 08:30:20 +00:00
|
|
|
class VISIBILITY_HIDDEN LinuxAsmPrinter : public SPUAsmPrinter {
|
2009-01-08 23:40:34 +00:00
|
|
|
DwarfWriter *DW;
|
2009-02-24 08:30:20 +00:00
|
|
|
public:
|
2009-07-15 20:24:03 +00:00
|
|
|
explicit LinuxAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
|
2009-07-01 01:48:54 +00:00
|
|
|
const TargetAsmInfo *T, bool V)
|
|
|
|
: SPUAsmPrinter(O, TM, T, V), DW(0) {}
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
virtual const char *getPassName() const {
|
|
|
|
return "STI CBEA SPU Assembly Printer";
|
|
|
|
}
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
bool runOnMachineFunction(MachineFunction &F);
|
|
|
|
bool doInitialization(Module &M);
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
|
AU.setPreservesAll();
|
|
|
|
AU.addRequired<MachineModuleInfo>();
|
2009-01-08 23:40:34 +00:00
|
|
|
AU.addRequired<DwarfWriter>();
|
2008-11-08 18:59:02 +00:00
|
|
|
SPUAsmPrinter::getAnalysisUsage(AU);
|
|
|
|
}
|
|
|
|
|
|
|
|
//! Emit a global variable according to its section and type
|
2009-07-21 18:38:57 +00:00
|
|
|
void PrintGlobalVariable(const GlobalVariable* GVar);
|
2008-11-08 18:59:02 +00:00
|
|
|
};
|
|
|
|
} // end of anonymous namespace
|
|
|
|
|
|
|
|
// Include the auto-generated portion of the assembly writer
|
|
|
|
#include "SPUGenAsmWriter.inc"
|
|
|
|
|
|
|
|
void SPUAsmPrinter::printOp(const MachineOperand &MO) {
|
|
|
|
switch (MO.getType()) {
|
|
|
|
case MachineOperand::MO_Immediate:
|
2009-07-08 20:53:28 +00:00
|
|
|
llvm_report_error("printOp() does not handle immediate values");
|
2008-11-08 18:59:02 +00:00
|
|
|
return;
|
|
|
|
|
|
|
|
case MachineOperand::MO_MachineBasicBlock:
|
|
|
|
printBasicBlockLabel(MO.getMBB());
|
|
|
|
return;
|
|
|
|
case MachineOperand::MO_JumpTableIndex:
|
|
|
|
O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
|
|
|
|
<< '_' << MO.getIndex();
|
|
|
|
return;
|
|
|
|
case MachineOperand::MO_ConstantPoolIndex:
|
|
|
|
O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
|
|
|
|
<< '_' << MO.getIndex();
|
|
|
|
return;
|
|
|
|
case MachineOperand::MO_ExternalSymbol:
|
|
|
|
// Computing the address of an external symbol, not calling it.
|
|
|
|
if (TM.getRelocationModel() != Reloc::Static) {
|
|
|
|
std::string Name(TAI->getGlobalPrefix()); Name += MO.getSymbolName();
|
|
|
|
GVStubs.insert(Name);
|
|
|
|
O << "L" << Name << "$non_lazy_ptr";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
O << TAI->getGlobalPrefix() << MO.getSymbolName();
|
|
|
|
return;
|
|
|
|
case MachineOperand::MO_GlobalAddress: {
|
|
|
|
// Computing the address of a global symbol, not calling it.
|
|
|
|
GlobalValue *GV = MO.getGlobal();
|
2009-07-14 18:17:16 +00:00
|
|
|
std::string Name = Mang->getMangledName(GV);
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
// External or weakly linked global variables need non-lazily-resolved
|
|
|
|
// stubs
|
|
|
|
if (TM.getRelocationModel() != Reloc::Static) {
|
|
|
|
if (((GV->isDeclaration() || GV->hasWeakLinkage() ||
|
|
|
|
GV->hasLinkOnceLinkage() || GV->hasCommonLinkage()))) {
|
|
|
|
GVStubs.insert(Name);
|
|
|
|
O << "L" << Name << "$non_lazy_ptr";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
O << Name;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
default:
|
|
|
|
O << "<unknown operand type: " << MO.getType() << ">";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// PrintAsmOperand - Print out an operand for an inline asm expression.
|
|
|
|
///
|
|
|
|
bool SPUAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
|
2009-01-26 22:33:37 +00:00
|
|
|
unsigned AsmVariant,
|
2008-11-08 18:59:02 +00:00
|
|
|
const char *ExtraCode) {
|
|
|
|
// Does this asm operand have a single letter operand modifier?
|
|
|
|
if (ExtraCode && ExtraCode[0]) {
|
|
|
|
if (ExtraCode[1] != 0) return true; // Unknown modifier.
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
switch (ExtraCode[0]) {
|
|
|
|
default: return true; // Unknown modifier.
|
2009-01-26 22:33:37 +00:00
|
|
|
case 'L': // Write second word of DImode reference.
|
2008-11-08 18:59:02 +00:00
|
|
|
// Verify that this operand has two consecutive registers.
|
|
|
|
if (!MI->getOperand(OpNo).isReg() ||
|
|
|
|
OpNo+1 == MI->getNumOperands() ||
|
|
|
|
!MI->getOperand(OpNo+1).isReg())
|
|
|
|
return true;
|
|
|
|
++OpNo; // Return the high-part.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
printOperand(MI, OpNo);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool SPUAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
|
|
|
|
unsigned OpNo,
|
2009-01-26 22:33:37 +00:00
|
|
|
unsigned AsmVariant,
|
2008-11-08 18:59:02 +00:00
|
|
|
const char *ExtraCode) {
|
|
|
|
if (ExtraCode && ExtraCode[0])
|
|
|
|
return true; // Unknown modifier.
|
|
|
|
printMemRegReg(MI, OpNo);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// printMachineInstruction -- Print out a single PowerPC MI in Darwin syntax
|
|
|
|
/// to the current output stream.
|
|
|
|
///
|
|
|
|
void SPUAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
|
|
|
|
++EmittedInsts;
|
|
|
|
printInstruction(MI);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// runOnMachineFunction - This uses the printMachineInstruction()
|
|
|
|
/// method to print assembly for each instruction.
|
|
|
|
///
|
|
|
|
bool
|
|
|
|
LinuxAsmPrinter::runOnMachineFunction(MachineFunction &MF)
|
|
|
|
{
|
2009-02-24 08:30:20 +00:00
|
|
|
this->MF = &MF;
|
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
SetupMachineFunction(MF);
|
|
|
|
O << "\n\n";
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
// Print out constants referenced by the function
|
|
|
|
EmitConstantPool(MF.getConstantPool());
|
|
|
|
|
|
|
|
// Print out labels for the function.
|
|
|
|
const Function *F = MF.getFunction();
|
|
|
|
|
|
|
|
SwitchToSection(TAI->SectionForGlobal(F));
|
2009-06-30 22:38:32 +00:00
|
|
|
EmitAlignment(MF.getAlignment(), F);
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
switch (F->getLinkage()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown linkage type!");
|
2009-01-15 20:18:42 +00:00
|
|
|
case Function::PrivateLinkage:
|
2009-07-20 01:03:30 +00:00
|
|
|
case Function::LinkerPrivateLinkage:
|
2008-11-08 18:59:02 +00:00
|
|
|
case Function::InternalLinkage: // Symbols default to internal.
|
|
|
|
break;
|
|
|
|
case Function::ExternalLinkage:
|
|
|
|
O << "\t.global\t" << CurrentFnName << "\n"
|
|
|
|
<< "\t.type\t" << CurrentFnName << ", @function\n";
|
|
|
|
break;
|
Introduce new linkage types linkonce_odr, weak_odr, common_odr
and extern_weak_odr. These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global. In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time. This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function. If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body. The
code generators on the other hand map weak and weak_odr linkage
to the same thing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66339 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-07 15:45:40 +00:00
|
|
|
case Function::WeakAnyLinkage:
|
|
|
|
case Function::WeakODRLinkage:
|
|
|
|
case Function::LinkOnceAnyLinkage:
|
|
|
|
case Function::LinkOnceODRLinkage:
|
2008-11-08 18:59:02 +00:00
|
|
|
O << "\t.global\t" << CurrentFnName << "\n";
|
|
|
|
O << "\t.weak_definition\t" << CurrentFnName << "\n";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
O << CurrentFnName << ":\n";
|
|
|
|
|
|
|
|
// Emit pre-function debug information.
|
2009-01-08 23:40:34 +00:00
|
|
|
DW->BeginFunction(&MF);
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
// 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.
|
|
|
|
if (I != MF.begin()) {
|
|
|
|
printBasicBlockLabel(I, true, true);
|
|
|
|
O << '\n';
|
|
|
|
}
|
|
|
|
for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
|
|
|
|
II != E; ++II) {
|
|
|
|
// Print the assembly for the instruction.
|
|
|
|
printMachineInstruction(II);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
O << "\t.size\t" << CurrentFnName << ",.-" << CurrentFnName << "\n";
|
|
|
|
|
|
|
|
// Print out jump tables referenced by the function.
|
|
|
|
EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
// Emit post-function debug information.
|
2009-01-08 23:40:34 +00:00
|
|
|
DW->EndFunction(&MF);
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
// We didn't modify anything.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool LinuxAsmPrinter::doInitialization(Module &M) {
|
|
|
|
bool Result = AsmPrinter::doInitialization(M);
|
2009-01-28 13:14:17 +00:00
|
|
|
DW = getAnalysisIfAvailable<DwarfWriter>();
|
2009-06-19 21:54:26 +00:00
|
|
|
SwitchToTextSection("\t.text");
|
2008-11-08 18:59:02 +00:00
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// PrintUnmangledNameSafely - Print out the printable characters in the name.
|
2009-03-03 02:55:14 +00:00
|
|
|
/// Don't print things like \\n or \\0.
|
2009-07-26 07:49:05 +00:00
|
|
|
static void PrintUnmangledNameSafely(const Value *V,
|
|
|
|
formatted_raw_ostream &OS) {
|
|
|
|
for (StringRef::iterator it = V->getName().begin(),
|
|
|
|
ie = V->getName().end(); it != ie; ++it)
|
|
|
|
if (isprint(*it))
|
|
|
|
OS << *it;
|
2008-11-08 18:59:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*!
|
|
|
|
Emit a global variable according to its section, alignment, etc.
|
2009-01-26 22:33:37 +00:00
|
|
|
|
2008-11-08 18:59:02 +00:00
|
|
|
\note This code was shamelessly copied from the PowerPC's assembly printer,
|
|
|
|
which sort of screams for some kind of refactorization of common code.
|
|
|
|
*/
|
2009-07-21 18:38:57 +00:00
|
|
|
void LinuxAsmPrinter::PrintGlobalVariable(const GlobalVariable *GVar) {
|
2008-11-08 18:59:02 +00:00
|
|
|
const TargetData *TD = TM.getTargetData();
|
|
|
|
|
|
|
|
if (!GVar->hasInitializer())
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Check to see if this is a special global used by LLVM, if so, emit it.
|
|
|
|
if (EmitSpecialLLVMGlobal(GVar))
|
|
|
|
return;
|
|
|
|
|
2009-07-14 18:17:16 +00:00
|
|
|
std::string name = Mang->getMangledName(GVar);
|
2008-11-08 18:59:02 +00:00
|
|
|
|
|
|
|
printVisibility(name, GVar->getVisibility());
|
|
|
|
|
|
|
|
Constant *C = GVar->getInitializer();
|
2009-06-26 02:26:12 +00:00
|
|
|
if (isa<MDNode>(C) || isa<MDString>(C))
|
2009-06-25 00:47:42 +00:00
|
|
|
return;
|
2008-11-08 18:59:02 +00:00
|
|
|
const Type *Type = C->getType();
|
2009-05-09 07:06:46 +00:00
|
|
|
unsigned Size = TD->getTypeAllocSize(Type);
|
2008-11-08 18:59:02 +00:00
|
|
|
unsigned Align = TD->getPreferredAlignmentLog(GVar);
|
|
|
|
|
|
|
|
SwitchToSection(TAI->SectionForGlobal(GVar));
|
|
|
|
|
|
|
|
if (C->isNullValue() && /* FIXME: Verify correct */
|
|
|
|
!GVar->hasSection() &&
|
2009-01-15 20:18:42 +00:00
|
|
|
(GVar->hasLocalLinkage() || GVar->hasExternalLinkage() ||
|
Introduce new linkage types linkonce_odr, weak_odr, common_odr
and extern_weak_odr. These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global. In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time. This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function. If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body. The
code generators on the other hand map weak and weak_odr linkage
to the same thing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66339 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-07 15:45:40 +00:00
|
|
|
GVar->isWeakForLinker())) {
|
2008-11-08 18:59:02 +00:00
|
|
|
if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
|
|
|
|
|
|
|
|
if (GVar->hasExternalLinkage()) {
|
|
|
|
O << "\t.global " << name << '\n';
|
|
|
|
O << "\t.type " << name << ", @object\n";
|
|
|
|
O << name << ":\n";
|
|
|
|
O << "\t.zero " << Size << '\n';
|
2009-01-15 20:18:42 +00:00
|
|
|
} else if (GVar->hasLocalLinkage()) {
|
2008-11-08 18:59:02 +00:00
|
|
|
O << TAI->getLCOMMDirective() << name << ',' << Size;
|
|
|
|
} else {
|
|
|
|
O << ".comm " << name << ',' << Size;
|
|
|
|
}
|
|
|
|
O << "\t\t" << TAI->getCommentString() << " '";
|
|
|
|
PrintUnmangledNameSafely(GVar, O);
|
|
|
|
O << "'\n";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (GVar->getLinkage()) {
|
|
|
|
// Should never be seen for the CellSPU platform...
|
Introduce new linkage types linkonce_odr, weak_odr, common_odr
and extern_weak_odr. These are the same as the non-odr versions,
except that they indicate that the global will only be overridden
by an *equivalent* global. In C, a function with weak linkage can
be overridden by a function which behaves completely differently.
This means that IP passes have to skip weak functions, since any
deductions made from the function definition might be wrong, since
the definition could be replaced by something completely different
at link time. This is not allowed in C++, thanks to the ODR
(One-Definition-Rule): if a function is replaced by another at
link-time, then the new function must be the same as the original
function. If a language knows that a function or other global can
only be overridden by an equivalent global, it can give it the
weak_odr linkage type, and the optimizers will understand that it
is alright to make deductions based on the function body. The
code generators on the other hand map weak and weak_odr linkage
to the same thing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66339 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-07 15:45:40 +00:00
|
|
|
case GlobalValue::LinkOnceAnyLinkage:
|
|
|
|
case GlobalValue::LinkOnceODRLinkage:
|
|
|
|
case GlobalValue::WeakAnyLinkage:
|
|
|
|
case GlobalValue::WeakODRLinkage:
|
2009-03-11 20:14:15 +00:00
|
|
|
case GlobalValue::CommonLinkage:
|
2008-11-08 18:59:02 +00:00
|
|
|
O << "\t.global " << name << '\n'
|
|
|
|
<< "\t.type " << name << ", @object\n"
|
|
|
|
<< "\t.weak " << name << '\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::ExternalLinkage:
|
|
|
|
// If external or appending, declare as a global symbol
|
|
|
|
O << "\t.global " << name << '\n'
|
|
|
|
<< "\t.type " << name << ", @object\n";
|
|
|
|
// FALL THROUGH
|
2009-01-15 20:18:42 +00:00
|
|
|
case GlobalValue::PrivateLinkage:
|
2009-07-20 01:03:30 +00:00
|
|
|
case GlobalValue::LinkerPrivateLinkage:
|
2008-11-08 18:59:02 +00:00
|
|
|
case GlobalValue::InternalLinkage:
|
|
|
|
break;
|
|
|
|
default:
|
2009-07-08 20:53:28 +00:00
|
|
|
llvm_report_error("Unknown linkage type!");
|
2008-11-08 18:59:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
EmitAlignment(Align, GVar);
|
|
|
|
O << name << ":\t\t\t\t" << TAI->getCommentString() << " '";
|
|
|
|
PrintUnmangledNameSafely(GVar, O);
|
|
|
|
O << "'\n";
|
|
|
|
|
|
|
|
EmitGlobalConstant(C);
|
|
|
|
O << '\n';
|
|
|
|
}
|
|
|
|
|
2009-07-15 20:24:03 +00:00
|
|
|
// Force static initialization.
|
|
|
|
extern "C" void LLVMInitializeCellSPUAsmPrinter() {
|
2009-07-25 06:49:55 +00:00
|
|
|
RegisterAsmPrinter<LinuxAsmPrinter> X(TheCellSPUTarget);
|
2009-07-15 20:24:03 +00:00
|
|
|
}
|