mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-14 07:31:47 +00:00
7c47c7201d
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1318 91177308-0d34-0410-b5e6-96231b3b80d8
447 lines
12 KiB
C++
447 lines
12 KiB
C++
// $Id$
|
|
//***************************************************************************
|
|
// File:
|
|
// MachineInstr.cpp
|
|
//
|
|
// Purpose:
|
|
//
|
|
//
|
|
// Strategy:
|
|
//
|
|
// History:
|
|
// 7/2/01 - Vikram Adve - Created
|
|
//**************************************************************************/
|
|
|
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
|
#include "llvm/Target/MachineFrameInfo.h"
|
|
#include "llvm/Target/MachineRegInfo.h"
|
|
#include "llvm/Target/MachineCacheInfo.h"
|
|
#include "llvm/Method.h"
|
|
#include "llvm/iOther.h"
|
|
#include "llvm/Instruction.h"
|
|
|
|
AnnotationID MachineCodeForMethod::AID(
|
|
AnnotationManager::getID("MachineCodeForMethodAnnotation"));
|
|
|
|
|
|
//************************ Class Implementations **************************/
|
|
|
|
// Constructor for instructions with fixed #operands (nearly all)
|
|
MachineInstr::MachineInstr(MachineOpCode _opCode,
|
|
OpCodeMask _opCodeMask)
|
|
: opCode(_opCode),
|
|
opCodeMask(_opCodeMask),
|
|
operands(TargetInstrDescriptors[_opCode].numOperands)
|
|
{
|
|
assert(TargetInstrDescriptors[_opCode].numOperands >= 0);
|
|
}
|
|
|
|
// Constructor for instructions with variable #operands
|
|
MachineInstr::MachineInstr(MachineOpCode _opCode,
|
|
unsigned numOperands,
|
|
OpCodeMask _opCodeMask)
|
|
: opCode(_opCode),
|
|
opCodeMask(_opCodeMask),
|
|
operands(numOperands)
|
|
{
|
|
}
|
|
|
|
void
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
|
MachineOperand::MachineOperandType operandType,
|
|
Value* _val, bool isdef=false)
|
|
{
|
|
assert(i < operands.size());
|
|
operands[i].Initialize(operandType, _val);
|
|
operands[i].isDef = isdef ||
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
|
}
|
|
|
|
void
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
|
MachineOperand::MachineOperandType operandType,
|
|
int64_t intValue, bool isdef=false)
|
|
{
|
|
assert(i < operands.size());
|
|
operands[i].InitializeConst(operandType, intValue);
|
|
operands[i].isDef = isdef ||
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
|
}
|
|
|
|
void
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
|
int regNum, bool isdef=false)
|
|
{
|
|
assert(i < operands.size());
|
|
operands[i].InitializeReg(regNum);
|
|
operands[i].isDef = isdef ||
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
|
}
|
|
|
|
void
|
|
MachineInstr::dump(unsigned int indent) const
|
|
{
|
|
for (unsigned i=0; i < indent; i++)
|
|
cout << " ";
|
|
|
|
cout << *this;
|
|
}
|
|
|
|
ostream&
|
|
operator<< (ostream& os, const MachineInstr& minstr)
|
|
{
|
|
os << TargetInstrDescriptors[minstr.opCode].opCodeString;
|
|
|
|
for (unsigned i=0, N=minstr.getNumOperands(); i < N; i++) {
|
|
os << "\t" << minstr.getOperand(i);
|
|
if( minstr.getOperand(i).opIsDef() ) os << "*";
|
|
|
|
}
|
|
|
|
#undef DEBUG_VAL_OP_ITERATOR
|
|
#ifdef DEBUG_VAL_OP_ITERATOR
|
|
os << endl << "\tValue operands are: ";
|
|
for (MachineInstr::val_op_const_iterator vo(&minstr); ! vo.done(); ++vo)
|
|
{
|
|
const Value* val = *vo;
|
|
os << val << (vo.isDef()? "(def), " : ", ");
|
|
}
|
|
#endif
|
|
|
|
|
|
|
|
#if 1
|
|
// code for printing implict references
|
|
|
|
unsigned NumOfImpRefs = minstr.getNumImplicitRefs();
|
|
if( NumOfImpRefs > 0 ) {
|
|
|
|
os << "\tImplicit:";
|
|
|
|
for(unsigned z=0; z < NumOfImpRefs; z++) {
|
|
os << minstr.getImplicitRef(z);
|
|
if( minstr.implicitRefIsDefined(z)) os << "*";
|
|
cout << "\t";
|
|
}
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
os << endl;
|
|
|
|
return os;
|
|
}
|
|
|
|
static inline ostream&
|
|
OutputOperand(ostream &os, const MachineOperand &mop)
|
|
{
|
|
Value* val;
|
|
switch (mop.getOperandType())
|
|
{
|
|
case MachineOperand::MO_CCRegister:
|
|
case MachineOperand::MO_VirtualRegister:
|
|
val = mop.getVRegValue();
|
|
os << "(val ";
|
|
if (val && val->hasName())
|
|
os << val->getName().c_str();
|
|
else
|
|
os << val;
|
|
return os << ")";
|
|
case MachineOperand::MO_MachineRegister:
|
|
return os << "(" << mop.getMachineRegNum() << ")";
|
|
default:
|
|
assert(0 && "Unknown operand type");
|
|
return os;
|
|
}
|
|
}
|
|
|
|
|
|
ostream&
|
|
operator<<(ostream &os, const MachineOperand &mop)
|
|
{
|
|
switch(mop.opType)
|
|
{
|
|
case MachineOperand::MO_VirtualRegister:
|
|
case MachineOperand::MO_MachineRegister:
|
|
os << "%reg";
|
|
return OutputOperand(os, mop);
|
|
case MachineOperand::MO_CCRegister:
|
|
os << "%ccreg";
|
|
return OutputOperand(os, mop);
|
|
case MachineOperand::MO_SignExtendedImmed:
|
|
return os << mop.immedVal;
|
|
case MachineOperand::MO_UnextendedImmed:
|
|
return os << mop.immedVal;
|
|
case MachineOperand::MO_PCRelativeDisp:
|
|
{
|
|
const Value* opVal = mop.getVRegValue();
|
|
bool isLabel = isa<Method>(opVal) || isa<BasicBlock>(opVal);
|
|
os << "%disp(" << (isLabel? "label " : "addr-of-val ");
|
|
if (opVal->hasName())
|
|
os << opVal->getName().c_str();
|
|
else
|
|
os << opVal;
|
|
return os << ")";
|
|
}
|
|
default:
|
|
assert(0 && "Unrecognized operand type");
|
|
break;
|
|
}
|
|
|
|
return os;
|
|
}
|
|
|
|
// Align data larger than one L1 cache line on L1 cache line boundaries.
|
|
// Align all smaller data on the next higher 2^x boundary (4, 8, ...).
|
|
//
|
|
// THIS FUNCTION HAS BEEN COPIED FROM EMITASSEMBLY.CPP AND
|
|
// SHOULD BE USED DIRECTLY THERE
|
|
//
|
|
inline unsigned int
|
|
SizeToAlignment(unsigned int size, const TargetMachine& target)
|
|
{
|
|
unsigned short cacheLineSize = target.getCacheInfo().getCacheLineSize(1);
|
|
if (size > (unsigned) cacheLineSize / 2)
|
|
return cacheLineSize;
|
|
else
|
|
for (unsigned sz=1; /*no condition*/; sz *= 2)
|
|
if (sz >= size)
|
|
return sz;
|
|
}
|
|
|
|
static unsigned int
|
|
ComputeMaxOptionalArgsSize(const TargetMachine& target, const Method* method)
|
|
{
|
|
const MachineFrameInfo& frameInfo = target.getFrameInfo();
|
|
|
|
unsigned int maxSize = 0;
|
|
|
|
for (Method::inst_const_iterator I=method->inst_begin(),E=method->inst_end();
|
|
I != E; ++I)
|
|
if ((*I)->getOpcode() == Instruction::Call)
|
|
{
|
|
CallInst* callInst = cast<CallInst>(*I);
|
|
unsigned int numOperands = callInst->getNumOperands() - 1;
|
|
int numExtra = (int) numOperands - frameInfo.getNumFixedOutgoingArgs();
|
|
if (numExtra <= 0)
|
|
continue;
|
|
|
|
unsigned int sizeForThisCall;
|
|
if (frameInfo.argsOnStackHaveFixedSize())
|
|
{
|
|
int argSize = frameInfo.getSizeOfEachArgOnStack();
|
|
sizeForThisCall = numExtra * (unsigned) argSize;
|
|
}
|
|
else
|
|
{
|
|
assert(0 && "UNTESTED CODE: Size per stack argument is not fixed on this architecture: use actual arg sizes to compute MaxOptionalArgsSize");
|
|
sizeForThisCall = 0;
|
|
for (unsigned i=0; i < numOperands; ++i)
|
|
sizeForThisCall += target.findOptimalStorageSize(callInst->
|
|
getOperand(i)->getType());
|
|
}
|
|
|
|
if (maxSize < sizeForThisCall)
|
|
maxSize = sizeForThisCall;
|
|
}
|
|
|
|
return maxSize;
|
|
}
|
|
|
|
|
|
/*ctor*/
|
|
MachineCodeForMethod::MachineCodeForMethod(const Method* _M,
|
|
const TargetMachine& target)
|
|
: Annotation(AID),
|
|
method(_M), compiledAsLeaf(false), staticStackSize(0),
|
|
automaticVarsSize(0), regSpillsSize(0),
|
|
currentOptionalArgsSize(0), maxOptionalArgsSize(0),
|
|
currentTmpValuesSize(0)
|
|
{
|
|
maxOptionalArgsSize = ComputeMaxOptionalArgsSize(target, method);
|
|
staticStackSize = maxOptionalArgsSize +
|
|
target.getFrameInfo().getMinStackFrameSize();
|
|
}
|
|
|
|
int
|
|
MachineCodeForMethod::allocateLocalVar(const TargetMachine& target,
|
|
const Value* val,
|
|
unsigned int size)
|
|
{
|
|
// Check if we've allocated a stack slot for this value already
|
|
//
|
|
int offset = getOffset(val);
|
|
if (offset == INVALID_FRAME_OFFSET)
|
|
{
|
|
bool growUp;
|
|
int firstOffset =target.getFrameInfo().getFirstAutomaticVarOffset(*this,
|
|
growUp);
|
|
unsigned char align;
|
|
if (size == 0)
|
|
{
|
|
size = target.findOptimalStorageSize(val->getType());
|
|
// align = target.DataLayout.getTypeAlignment(val->getType());
|
|
}
|
|
|
|
align = SizeToAlignment(size, target);
|
|
|
|
offset = getAutomaticVarsSize();
|
|
if (! growUp)
|
|
offset += size;
|
|
|
|
if (unsigned int mod = offset % align)
|
|
{
|
|
offset += align - mod;
|
|
size += align - mod;
|
|
}
|
|
|
|
offset = growUp? firstOffset + offset
|
|
: firstOffset - offset;
|
|
|
|
offsets[val] = offset;
|
|
|
|
incrementAutomaticVarsSize(size);
|
|
}
|
|
return offset;
|
|
}
|
|
|
|
int
|
|
MachineCodeForMethod::allocateSpilledValue(const TargetMachine& target,
|
|
const Type* type)
|
|
{
|
|
unsigned int size = target.findOptimalStorageSize(type);
|
|
unsigned char align = target.DataLayout.getTypeAlignment(type);
|
|
|
|
bool growUp;
|
|
int firstOffset = target.getFrameInfo().getRegSpillAreaOffset(*this, growUp);
|
|
|
|
int offset = getRegSpillsSize();
|
|
if (! growUp)
|
|
offset += size;
|
|
|
|
if (unsigned int mod = offset % align)
|
|
{
|
|
offset += align - mod;
|
|
size += align - mod;
|
|
}
|
|
|
|
offset = growUp? firstOffset + offset
|
|
: firstOffset - offset;
|
|
|
|
incrementRegSpillsSize(size);
|
|
|
|
return offset;
|
|
}
|
|
|
|
int
|
|
MachineCodeForMethod::allocateOptionalArg(const TargetMachine& target,
|
|
const Type* type)
|
|
{
|
|
const MachineFrameInfo& frameInfo = target.getFrameInfo();
|
|
|
|
int size = MAXINT;
|
|
if (frameInfo.argsOnStackHaveFixedSize())
|
|
size = frameInfo.getSizeOfEachArgOnStack();
|
|
else
|
|
{
|
|
size = target.findOptimalStorageSize(type);
|
|
assert(0 && "UNTESTED CODE: Size per stack argument is not fixed on this architecture: use actual argument sizes for computing optional arg offsets");
|
|
}
|
|
unsigned char align = target.DataLayout.getTypeAlignment(type);
|
|
|
|
bool growUp;
|
|
int firstOffset = frameInfo.getFirstOptionalOutgoingArgOffset(*this, growUp);
|
|
|
|
int offset = getCurrentOptionalArgsSize();
|
|
if (! growUp)
|
|
offset += size;
|
|
|
|
if (unsigned int mod = offset % align)
|
|
{
|
|
offset += align - mod;
|
|
size += align - mod;
|
|
}
|
|
|
|
offset = growUp? firstOffset + offset
|
|
: firstOffset - offset;
|
|
|
|
incrementCurrentOptionalArgsSize(size);
|
|
|
|
return offset;
|
|
}
|
|
|
|
void
|
|
MachineCodeForMethod::resetOptionalArgs(const TargetMachine& target)
|
|
{
|
|
currentOptionalArgsSize = 0;
|
|
}
|
|
|
|
int
|
|
MachineCodeForMethod::pushTempValue(const TargetMachine& target,
|
|
unsigned int size)
|
|
{
|
|
// Compute a power-of-2 alignment according to the possible sizes,
|
|
// but not greater than the alignment of the largest type we support
|
|
// (currently a double word -- see class TargetData).
|
|
unsigned char align = 1;
|
|
for (; align < size && align < target.DataLayout.getDoubleAlignment();
|
|
align = 2*align)
|
|
;
|
|
|
|
bool growUp;
|
|
int firstTmpOffset = target.getFrameInfo().getTmpAreaOffset(*this, growUp);
|
|
|
|
int offset = currentTmpValuesSize;
|
|
if (! growUp)
|
|
offset += size;
|
|
|
|
if (unsigned int mod = offset % align)
|
|
{
|
|
offset += align - mod;
|
|
size += align - mod;
|
|
}
|
|
|
|
offset = growUp? firstTmpOffset + offset
|
|
: firstTmpOffset - offset;
|
|
|
|
currentTmpValuesSize += size;
|
|
return offset;
|
|
}
|
|
|
|
void
|
|
MachineCodeForMethod::popAllTempValues(const TargetMachine& target)
|
|
{
|
|
currentTmpValuesSize = 0;
|
|
}
|
|
|
|
int
|
|
MachineCodeForMethod::getOffset(const Value* val) const
|
|
{
|
|
hash_map<const Value*, int>::const_iterator pair = offsets.find(val);
|
|
return (pair == offsets.end())? INVALID_FRAME_OFFSET : (*pair).second;
|
|
}
|
|
|
|
void
|
|
MachineCodeForMethod::dump() const
|
|
{
|
|
cout << "\n" << method->getReturnType()
|
|
<< " \"" << method->getName() << "\"" << endl;
|
|
|
|
for (Method::const_iterator BI = method->begin(); BI != method->end(); ++BI)
|
|
{
|
|
BasicBlock* bb = *BI;
|
|
cout << "\n"
|
|
<< (bb->hasName()? bb->getName() : "Label")
|
|
<< " (" << bb << ")" << ":"
|
|
<< endl;
|
|
|
|
MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
|
|
for (unsigned i=0; i < mvec.size(); i++)
|
|
cout << "\t" << *mvec[i];
|
|
}
|
|
cout << endl << "End method \"" << method->getName() << "\""
|
|
<< endl << endl;
|
|
}
|