2005-03-17 18:17:03 +00:00
|
|
|
//===-- IA64AsmPrinter.cpp - Print out IA64 LLVM as assembly --------------===//
|
2005-04-21 23:13:11 +00:00
|
|
|
//
|
2005-03-17 18:17:03 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:36:04 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 23:13:11 +00:00
|
|
|
//
|
2005-03-17 18:17:03 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file contains a printer that converts from our internal representation
|
|
|
|
// of machine-dependent LLVM code to assembly accepted by the GNU binutils 'gas'
|
|
|
|
// assembler. The Intel 'ias' and HP-UX 'as' assemblers *may* choke on this
|
|
|
|
// output, but if so that's a bug I'd like to hear about: please file a bug
|
2005-10-28 17:46:35 +00:00
|
|
|
// report in bugzilla. FYI, the not too bad 'ias' assembler is bundled with
|
2005-03-17 18:17:03 +00:00
|
|
|
// the Intel C/C++ compiler for Itanium Linux.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2006-12-19 22:59:26 +00:00
|
|
|
#define DEBUG_TYPE "asm-printer"
|
2005-03-17 18:17:03 +00:00
|
|
|
#include "IA64.h"
|
|
|
|
#include "IA64TargetMachine.h"
|
|
|
|
#include "llvm/Module.h"
|
2009-06-25 00:47:42 +00:00
|
|
|
#include "llvm/MDNode.h"
|
2005-03-24 05:12:48 +00:00
|
|
|
#include "llvm/Type.h"
|
2005-03-17 18:17:03 +00:00
|
|
|
#include "llvm/CodeGen/AsmPrinter.h"
|
2009-02-18 23:12:06 +00:00
|
|
|
#include "llvm/CodeGen/DwarfWriter.h"
|
2005-03-17 18:17:03 +00:00
|
|
|
#include "llvm/CodeGen/MachineFunctionPass.h"
|
2006-09-06 18:34:40 +00:00
|
|
|
#include "llvm/Target/TargetAsmInfo.h"
|
2009-07-08 19:04:27 +00:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2005-03-17 18:17:03 +00:00
|
|
|
#include "llvm/Support/Mangler.h"
|
2008-08-21 00:14:44 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2005-03-17 18:17:03 +00:00
|
|
|
#include "llvm/ADT/Statistic.h"
|
|
|
|
using namespace llvm;
|
|
|
|
|
2006-12-19 22:59:26 +00:00
|
|
|
STATISTIC(EmittedInsts, "Number of machine instrs printed");
|
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
namespace {
|
2009-02-24 08:30:20 +00:00
|
|
|
class IA64AsmPrinter : public AsmPrinter {
|
2006-09-06 18:34:40 +00:00
|
|
|
std::set<std::string> ExternalFunctionNames, ExternalObjectNames;
|
2009-02-24 08:30:20 +00:00
|
|
|
public:
|
2009-04-29 00:15:41 +00:00
|
|
|
explicit IA64AsmPrinter(raw_ostream &O, TargetMachine &TM,
|
2009-07-01 01:48:54 +00:00
|
|
|
const TargetAsmInfo *T, bool V)
|
|
|
|
: AsmPrinter(O, TM, T, V) {}
|
2005-03-17 18:17:03 +00:00
|
|
|
|
|
|
|
virtual const char *getPassName() const {
|
|
|
|
return "IA64 Assembly Printer";
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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);
|
|
|
|
|
|
|
|
// This method is used by the tablegen'erated instruction printer.
|
2005-11-30 18:54:35 +00:00
|
|
|
void printOperand(const MachineInstr *MI, unsigned OpNo){
|
2005-03-17 18:17:03 +00:00
|
|
|
const MachineOperand &MO = MI->getOperand(OpNo);
|
2006-05-04 18:05:43 +00:00
|
|
|
if (MO.getType() == MachineOperand::MO_Register) {
|
2008-02-10 18:45:23 +00:00
|
|
|
assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
|
|
|
|
"Not physref??");
|
2005-03-17 18:17:03 +00:00
|
|
|
//XXX Bug Workaround: See note in Printer::doInitialization about %.
|
2008-02-26 21:11:01 +00:00
|
|
|
O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
|
2005-03-17 18:17:03 +00:00
|
|
|
} else {
|
|
|
|
printOp(MO);
|
|
|
|
}
|
|
|
|
}
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2005-11-30 18:54:35 +00:00
|
|
|
void printS8ImmOperand(const MachineInstr *MI, unsigned OpNo) {
|
2007-12-30 20:49:49 +00:00
|
|
|
int val=(unsigned int)MI->getOperand(OpNo).getImm();
|
2005-04-07 12:34:36 +00:00
|
|
|
if(val>=128) val=val-256; // if negative, flip sign
|
|
|
|
O << val;
|
|
|
|
}
|
2005-11-30 18:54:35 +00:00
|
|
|
void printS14ImmOperand(const MachineInstr *MI, unsigned OpNo) {
|
2007-12-30 20:49:49 +00:00
|
|
|
int val=(unsigned int)MI->getOperand(OpNo).getImm();
|
2005-04-07 12:34:36 +00:00
|
|
|
if(val>=8192) val=val-16384; // if negative, flip sign
|
|
|
|
O << val;
|
|
|
|
}
|
2005-11-30 18:54:35 +00:00
|
|
|
void printS22ImmOperand(const MachineInstr *MI, unsigned OpNo) {
|
2007-12-30 20:49:49 +00:00
|
|
|
int val=(unsigned int)MI->getOperand(OpNo).getImm();
|
2005-04-11 05:55:56 +00:00
|
|
|
if(val>=2097152) val=val-4194304; // if negative, flip sign
|
|
|
|
O << val;
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
2005-11-30 18:54:35 +00:00
|
|
|
void printU64ImmOperand(const MachineInstr *MI, unsigned OpNo) {
|
2007-12-30 20:49:49 +00:00
|
|
|
O << (uint64_t)MI->getOperand(OpNo).getImm();
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
2005-11-30 18:54:35 +00:00
|
|
|
void printS64ImmOperand(const MachineInstr *MI, unsigned OpNo) {
|
2005-10-28 17:46:35 +00:00
|
|
|
// XXX : nasty hack to avoid GPREL22 "relocation truncated to fit" linker
|
|
|
|
// errors - instead of add rX = @gprel(CPI<whatever>), r1;; we now
|
|
|
|
// emit movl rX = @gprel(CPI<whatever);;
|
2008-08-07 09:52:13 +00:00
|
|
|
// add rX = rX, r1;
|
2005-10-28 17:46:35 +00:00
|
|
|
// this gives us 64 bits instead of 22 (for the add long imm) to play
|
|
|
|
// with, which shuts up the linker. The problem is that the constant
|
2008-08-07 09:52:13 +00:00
|
|
|
// pool entries aren't immediates at this stage, so we check here.
|
2005-10-28 17:46:35 +00:00
|
|
|
// If it's an immediate, print it the old fashioned way. If it's
|
2008-08-07 09:52:13 +00:00
|
|
|
// not, we print it as a constant pool index.
|
2008-10-03 15:45:36 +00:00
|
|
|
if (MI->getOperand(OpNo).isImm()) {
|
2007-12-30 20:49:49 +00:00
|
|
|
O << (int64_t)MI->getOperand(OpNo).getImm();
|
2005-10-28 17:46:35 +00:00
|
|
|
} else { // this is a constant pool reference: FIXME: assert this
|
|
|
|
printOp(MI->getOperand(OpNo));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-11-30 18:54:35 +00:00
|
|
|
void printGlobalOperand(const MachineInstr *MI, unsigned OpNo) {
|
2005-10-28 17:46:35 +00:00
|
|
|
printOp(MI->getOperand(OpNo), false); // this is NOT a br.call instruction
|
2005-04-14 10:08:01 +00:00
|
|
|
}
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2005-11-30 18:54:35 +00:00
|
|
|
void printCallOperand(const MachineInstr *MI, unsigned OpNo) {
|
2005-04-21 23:13:11 +00:00
|
|
|
printOp(MI->getOperand(OpNo), true); // this is a br.call instruction
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void printMachineInstruction(const MachineInstr *MI);
|
|
|
|
void printOp(const MachineOperand &MO, bool isBRCALLinsn= false);
|
2008-08-07 09:52:35 +00:00
|
|
|
void printModuleLevelGV(const GlobalVariable* GVar);
|
2005-04-21 23:13:11 +00:00
|
|
|
bool runOnMachineFunction(MachineFunction &F);
|
2005-03-17 18:17:03 +00:00
|
|
|
bool doInitialization(Module &M);
|
2005-11-21 08:40:17 +00:00
|
|
|
bool doFinalization(Module &M);
|
2005-03-17 18:17:03 +00:00
|
|
|
};
|
|
|
|
} // end of anonymous namespace
|
|
|
|
|
|
|
|
|
|
|
|
// Include the auto-generated portion of the assembly writer.
|
|
|
|
#include "IA64GenAsmWriter.inc"
|
|
|
|
|
|
|
|
/// runOnMachineFunction - This uses the printMachineInstruction()
|
|
|
|
/// method to print assembly for each instruction.
|
|
|
|
///
|
|
|
|
bool IA64AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
|
2009-02-24 08:30:20 +00:00
|
|
|
this->MF = &MF;
|
|
|
|
|
2005-11-21 07:51:23 +00:00
|
|
|
SetupMachineFunction(MF);
|
2005-03-17 18:17:03 +00:00
|
|
|
O << "\n\n";
|
|
|
|
|
|
|
|
// Print out constants referenced by the function
|
2005-11-21 08:38:26 +00:00
|
|
|
EmitConstantPool(MF.getConstantPool());
|
2005-03-17 18:17:03 +00:00
|
|
|
|
2006-10-05 02:51:36 +00:00
|
|
|
const Function *F = MF.getFunction();
|
2008-09-24 22:14:23 +00:00
|
|
|
SwitchToSection(TAI->SectionForGlobal(F));
|
2006-10-05 02:51:36 +00:00
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
// Print out labels for the function.
|
2009-06-30 22:38:32 +00:00
|
|
|
EmitAlignment(MF.getAlignment());
|
2008-08-07 09:52:54 +00:00
|
|
|
O << "\t.global\t" << CurrentFnName << '\n';
|
2008-08-08 18:25:07 +00:00
|
|
|
|
|
|
|
printVisibility(CurrentFnName, F->getVisibility());
|
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
O << "\t.type\t" << CurrentFnName << ", @function\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 if there are any predecessors.
|
2007-10-03 19:26:29 +00:00
|
|
|
if (!I->pred_empty()) {
|
2008-02-28 00:43:03 +00:00
|
|
|
printBasicBlockLabel(I, true, true);
|
2006-05-02 05:37:32 +00:00
|
|
|
O << '\n';
|
|
|
|
}
|
2005-03-17 18:17:03 +00:00
|
|
|
for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
|
|
|
|
II != E; ++II) {
|
|
|
|
// Print the assembly for the instruction.
|
|
|
|
printMachineInstruction(II);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// We didn't modify anything.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
void IA64AsmPrinter::printOp(const MachineOperand &MO,
|
2006-05-04 17:21:20 +00:00
|
|
|
bool isBRCALLinsn /* = false */) {
|
2008-02-10 18:45:23 +00:00
|
|
|
const TargetRegisterInfo &RI = *TM.getRegisterInfo();
|
2005-03-17 18:17:03 +00:00
|
|
|
switch (MO.getType()) {
|
2006-05-04 18:05:43 +00:00
|
|
|
case MachineOperand::MO_Register:
|
2008-02-26 21:11:01 +00:00
|
|
|
O << RI.get(MO.getReg()).AsmName;
|
2005-03-17 18:17:03 +00:00
|
|
|
return;
|
|
|
|
|
2006-05-04 17:21:20 +00:00
|
|
|
case MachineOperand::MO_Immediate:
|
2007-12-30 20:49:49 +00:00
|
|
|
O << MO.getImm();
|
2005-03-17 18:17:03 +00:00
|
|
|
return;
|
2006-04-22 18:53:45 +00:00
|
|
|
case MachineOperand::MO_MachineBasicBlock:
|
2007-12-30 23:10:15 +00:00
|
|
|
printBasicBlockLabel(MO.getMBB());
|
2005-03-17 18:17:03 +00:00
|
|
|
return;
|
|
|
|
case MachineOperand::MO_ConstantPoolIndex: {
|
2006-09-06 18:34:40 +00:00
|
|
|
O << "@gprel(" << TAI->getPrivateGlobalPrefix()
|
2007-12-30 23:10:15 +00:00
|
|
|
<< "CPI" << getFunctionNumber() << "_" << MO.getIndex() << ")";
|
2005-03-17 18:17:03 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
case MachineOperand::MO_GlobalAddress: {
|
|
|
|
|
|
|
|
// functions need @ltoff(@fptr(fn_name)) form
|
|
|
|
GlobalValue *GV = MO.getGlobal();
|
|
|
|
Function *F = dyn_cast<Function>(GV);
|
|
|
|
|
|
|
|
bool Needfptr=false; // if we're computing an address @ltoff(X), do
|
|
|
|
// we need to decorate it so it becomes
|
2005-04-22 17:54:37 +00:00
|
|
|
// @ltoff(@fptr(X)) ?
|
2007-01-30 20:08:39 +00:00
|
|
|
if (F && !isBRCALLinsn /*&& F->isDeclaration()*/)
|
2005-03-17 18:17:03 +00:00
|
|
|
Needfptr=true;
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
// if this is the target of a call instruction, we should define
|
|
|
|
// the function somewhere (GNU gas has no problem without this, but
|
|
|
|
// Intel ias rightly complains of an 'undefined symbol')
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2007-01-30 20:08:39 +00:00
|
|
|
if (F /*&& isBRCALLinsn*/ && F->isDeclaration())
|
2005-03-17 18:17:03 +00:00
|
|
|
ExternalFunctionNames.insert(Mang->getValueName(MO.getGlobal()));
|
2005-03-28 15:21:43 +00:00
|
|
|
else
|
2007-01-30 20:08:39 +00:00
|
|
|
if (GV->isDeclaration()) // e.g. stuff like 'stdin'
|
2005-04-22 17:54:37 +00:00
|
|
|
ExternalObjectNames.insert(Mang->getValueName(MO.getGlobal()));
|
2005-03-28 15:21:43 +00:00
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
if (!isBRCALLinsn)
|
|
|
|
O << "@ltoff(";
|
|
|
|
if (Needfptr)
|
|
|
|
O << "@fptr(";
|
|
|
|
O << Mang->getValueName(MO.getGlobal());
|
2008-08-07 09:52:13 +00:00
|
|
|
|
2006-02-16 13:12:57 +00:00
|
|
|
if (Needfptr && !isBRCALLinsn)
|
|
|
|
O << "#))"; // close both fptr( and ltoff(
|
|
|
|
else {
|
|
|
|
if (Needfptr)
|
|
|
|
O << "#)"; // close only fptr(
|
|
|
|
if (!isBRCALLinsn)
|
|
|
|
O << "#)"; // close only ltoff(
|
|
|
|
}
|
2008-08-07 09:52:13 +00:00
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
int Offset = MO.getOffset();
|
|
|
|
if (Offset > 0)
|
|
|
|
O << " + " << Offset;
|
|
|
|
else if (Offset < 0)
|
|
|
|
O << " - " << -Offset;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
case MachineOperand::MO_ExternalSymbol:
|
|
|
|
O << MO.getSymbolName();
|
2005-03-28 15:21:43 +00:00
|
|
|
ExternalFunctionNames.insert(MO.getSymbolName());
|
2005-03-17 18:17:03 +00:00
|
|
|
return;
|
|
|
|
default:
|
2005-04-21 23:13:11 +00:00
|
|
|
O << "<AsmPrinter: unknown operand type: " << MO.getType() << " >"; return;
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// printMachineInstruction -- Print out a single IA64 LLVM instruction
|
|
|
|
/// MI to the current output stream.
|
|
|
|
///
|
|
|
|
void IA64AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
|
|
|
|
++EmittedInsts;
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
// Call the autogenerated instruction printer routines.
|
|
|
|
printInstruction(MI);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool IA64AsmPrinter::doInitialization(Module &M) {
|
2007-07-25 19:33:14 +00:00
|
|
|
bool Result = AsmPrinter::doInitialization(M);
|
2005-04-21 23:13:11 +00:00
|
|
|
|
2005-03-28 15:21:43 +00:00
|
|
|
O << "\n.ident \"LLVM-ia64\"\n\n"
|
2005-04-22 17:54:37 +00:00
|
|
|
<< "\t.psr lsb\n" // should be "msb" on HP-UX, for starters
|
2005-03-17 18:17:03 +00:00
|
|
|
<< "\t.radix C\n"
|
2005-04-22 17:54:37 +00:00
|
|
|
<< "\t.psr abi64\n"; // we only support 64 bits for now
|
2007-07-25 19:33:14 +00:00
|
|
|
return Result;
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
|
|
|
|
2008-08-07 09:52:35 +00:00
|
|
|
void IA64AsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
|
2006-05-03 01:29:57 +00:00
|
|
|
const TargetData *TD = TM.getTargetData();
|
2008-08-07 09:52:13 +00:00
|
|
|
|
2008-08-07 09:52:35 +00:00
|
|
|
if (!GVar->hasInitializer())
|
|
|
|
return; // External global require no code
|
|
|
|
|
|
|
|
// Check to see if this is a special global used by LLVM, if so, emit it.
|
|
|
|
if (EmitSpecialLLVMGlobal(GVar))
|
|
|
|
return;
|
|
|
|
|
|
|
|
O << "\n\n";
|
|
|
|
std::string name = Mang->getValueName(GVar);
|
|
|
|
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;
|
2009-05-09 07:06:46 +00:00
|
|
|
unsigned Size = TD->getTypeAllocSize(C->getType());
|
2008-08-07 09:52:35 +00:00
|
|
|
unsigned Align = TD->getPreferredAlignmentLog(GVar);
|
|
|
|
|
2008-08-08 18:25:07 +00:00
|
|
|
printVisibility(name, GVar->getVisibility());
|
2008-08-07 09:52:35 +00:00
|
|
|
|
2008-09-24 22:14:23 +00:00
|
|
|
SwitchToSection(TAI->SectionForGlobal(GVar));
|
2008-08-07 09:52:35 +00:00
|
|
|
|
|
|
|
if (C->isNullValue() && !GVar->hasSection()) {
|
|
|
|
if (!GVar->isThreadLocal() &&
|
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->hasLocalLinkage() || GVar->isWeakForLinker())) {
|
2008-08-07 09:52:35 +00:00
|
|
|
if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
|
|
|
|
|
2009-01-15 20:18:42 +00:00
|
|
|
if (GVar->hasLocalLinkage()) {
|
2008-08-07 09:52:35 +00:00
|
|
|
O << "\t.lcomm " << name << "#," << Size
|
2008-08-07 09:52:54 +00:00
|
|
|
<< ',' << (1 << Align);
|
|
|
|
O << '\n';
|
2005-11-21 08:40:17 +00:00
|
|
|
} else {
|
2008-08-07 09:52:35 +00:00
|
|
|
O << "\t.common " << name << "#," << Size
|
2008-08-07 09:52:54 +00:00
|
|
|
<< ',' << (1 << Align);
|
|
|
|
O << '\n';
|
2005-11-21 08:40:17 +00:00
|
|
|
}
|
2008-08-07 09:52:35 +00:00
|
|
|
|
|
|
|
return;
|
2005-11-21 08:40:17 +00:00
|
|
|
}
|
2008-08-07 09:52:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
switch (GVar->getLinkage()) {
|
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:
|
2009-03-11 20:14:15 +00:00
|
|
|
case GlobalValue::CommonLinkage:
|
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::WeakAnyLinkage:
|
|
|
|
case GlobalValue::WeakODRLinkage:
|
2008-08-07 09:52:35 +00:00
|
|
|
// Nonnull linkonce -> weak
|
2008-08-07 09:52:54 +00:00
|
|
|
O << "\t.weak " << name << '\n';
|
2008-08-07 09:52:35 +00:00
|
|
|
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
|
2008-08-07 09:52:54 +00:00
|
|
|
O << TAI->getGlobalDirective() << name << '\n';
|
2008-08-07 09:52:35 +00:00
|
|
|
// FALL THROUGH
|
|
|
|
case GlobalValue::InternalLinkage:
|
2009-01-15 20:18:42 +00:00
|
|
|
case GlobalValue::PrivateLinkage:
|
2008-08-07 09:52:35 +00:00
|
|
|
break;
|
|
|
|
case GlobalValue::GhostLinkage:
|
2009-07-08 20:53:28 +00:00
|
|
|
LLVM_UNREACHABLE("GhostLinkage cannot appear in IA64AsmPrinter!");
|
2008-08-07 09:52:35 +00:00
|
|
|
case GlobalValue::DLLImportLinkage:
|
2009-07-08 20:53:28 +00:00
|
|
|
LLVM_UNREACHABLE("DLLImport linkage is not supported by this target!");
|
2008-08-07 09:52:35 +00:00
|
|
|
case GlobalValue::DLLExportLinkage:
|
2009-07-08 20:53:28 +00:00
|
|
|
LLVM_UNREACHABLE("DLLExport linkage is not supported by this target!");
|
2008-08-07 09:52:35 +00:00
|
|
|
default:
|
2009-07-08 19:04:27 +00:00
|
|
|
LLVM_UNREACHABLE("Unknown linkage type!");
|
2008-08-07 09:52:35 +00:00
|
|
|
}
|
|
|
|
|
2008-08-07 09:53:38 +00:00
|
|
|
EmitAlignment(Align, GVar);
|
2008-08-07 09:52:35 +00:00
|
|
|
|
|
|
|
if (TAI->hasDotTypeDotSizeDirective()) {
|
|
|
|
O << "\t.type " << name << ",@object\n";
|
2008-08-07 09:52:54 +00:00
|
|
|
O << "\t.size " << name << ',' << Size << '\n';
|
2008-08-07 09:52:35 +00:00
|
|
|
}
|
|
|
|
|
2008-08-21 00:14:44 +00:00
|
|
|
O << name << ":\n";
|
2008-08-07 09:52:35 +00:00
|
|
|
EmitGlobalConstant(C);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
bool IA64AsmPrinter::doFinalization(Module &M) {
|
|
|
|
// Print out module-level global variables here.
|
|
|
|
for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
|
|
|
|
I != E; ++I)
|
|
|
|
printModuleLevelGV(I);
|
2008-08-07 09:52:13 +00:00
|
|
|
|
|
|
|
// we print out ".global X \n .type X, @function" for each external function
|
|
|
|
O << "\n\n// br.call targets referenced (and not defined) above: \n";
|
2005-11-21 08:40:17 +00:00
|
|
|
for (std::set<std::string>::iterator i = ExternalFunctionNames.begin(),
|
|
|
|
e = ExternalFunctionNames.end(); i!=e; ++i) {
|
|
|
|
O << "\t.global " << *i << "\n\t.type " << *i << ", @function\n";
|
|
|
|
}
|
|
|
|
O << "\n\n";
|
2008-08-07 09:52:13 +00:00
|
|
|
|
2005-11-21 08:40:17 +00:00
|
|
|
// we print out ".global X \n .type X, @object" for each external object
|
|
|
|
O << "\n\n// (external) symbols referenced (and not defined) above: \n";
|
|
|
|
for (std::set<std::string>::iterator i = ExternalObjectNames.begin(),
|
|
|
|
e = ExternalObjectNames.end(); i!=e; ++i) {
|
|
|
|
O << "\t.global " << *i << "\n\t.type " << *i << ", @object\n";
|
|
|
|
}
|
|
|
|
O << "\n\n";
|
2008-08-07 09:52:13 +00:00
|
|
|
|
2007-07-25 19:33:14 +00:00
|
|
|
return AsmPrinter::doFinalization(M);
|
2005-11-21 08:40:17 +00:00
|
|
|
}
|
|
|
|
|
2005-03-17 18:17:03 +00:00
|
|
|
/// createIA64CodePrinterPass - Returns a pass that prints the IA64
|
|
|
|
/// assembly code for a MachineFunction to the given output stream, using
|
|
|
|
/// the given target machine description.
|
|
|
|
///
|
2008-08-21 00:14:44 +00:00
|
|
|
FunctionPass *llvm::createIA64CodePrinterPass(raw_ostream &o,
|
2009-02-24 08:30:20 +00:00
|
|
|
IA64TargetMachine &tm,
|
2009-04-29 00:15:41 +00:00
|
|
|
bool verbose) {
|
2009-07-01 01:48:54 +00:00
|
|
|
return new IA64AsmPrinter(o, tm, tm.getTargetAsmInfo(), verbose);
|
2005-03-17 18:17:03 +00:00
|
|
|
}
|
2009-06-16 20:12:29 +00:00
|
|
|
|
2009-06-19 19:36:55 +00:00
|
|
|
namespace {
|
|
|
|
static struct Register {
|
|
|
|
Register() {
|
|
|
|
IA64TargetMachine::registerAsmPrinter(createIA64CodePrinterPass);
|
|
|
|
}
|
|
|
|
} Registrator;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2009-06-23 23:59:40 +00:00
|
|
|
// Force static initialization.
|
|
|
|
extern "C" void LLVMInitializeIA64AsmPrinter() { }
|