2001-07-21 12:41:50 +00:00
|
|
|
// $Id$
|
|
|
|
//***************************************************************************
|
|
|
|
// File:
|
|
|
|
// MachineInstr.cpp
|
|
|
|
//
|
|
|
|
// Purpose:
|
|
|
|
//
|
|
|
|
//
|
|
|
|
// Strategy:
|
|
|
|
//
|
|
|
|
// History:
|
|
|
|
// 7/2/01 - Vikram Adve - Created
|
|
|
|
//**************************************************************************/
|
|
|
|
|
2001-08-28 23:02:39 +00:00
|
|
|
|
2001-09-07 17:18:30 +00:00
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
2001-08-28 23:02:39 +00:00
|
|
|
#include "llvm/Method.h"
|
2001-07-21 12:41:50 +00:00
|
|
|
#include "llvm/ConstPoolVals.h"
|
|
|
|
#include "llvm/Instruction.h"
|
2001-08-28 23:02:39 +00:00
|
|
|
|
2001-07-21 12:41:50 +00:00
|
|
|
|
|
|
|
//************************ Class Implementations **************************/
|
|
|
|
|
2001-07-31 21:49:28 +00:00
|
|
|
// Constructor for instructions with fixed #operands (nearly all)
|
2001-07-21 12:41:50 +00:00
|
|
|
MachineInstr::MachineInstr(MachineOpCode _opCode,
|
|
|
|
OpCodeMask _opCodeMask)
|
|
|
|
: opCode(_opCode),
|
|
|
|
opCodeMask(_opCodeMask),
|
2001-07-28 04:06:37 +00:00
|
|
|
operands(TargetInstrDescriptors[_opCode].numOperands)
|
2001-07-31 21:49:28 +00:00
|
|
|
{
|
|
|
|
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)
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
|
|
|
MachineOperand::MachineOperandType operandType,
|
2001-08-07 20:16:52 +00:00
|
|
|
Value* _val, bool isdef=false)
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
assert(i < operands.size());
|
2001-07-21 12:41:50 +00:00
|
|
|
operands[i].Initialize(operandType, _val);
|
2001-08-13 16:32:45 +00:00
|
|
|
operands[i].isDef = isdef ||
|
|
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
|
|
|
MachineOperand::MachineOperandType operandType,
|
2001-08-07 20:16:52 +00:00
|
|
|
int64_t intValue, bool isdef=false)
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
assert(i < operands.size());
|
2001-07-21 12:41:50 +00:00
|
|
|
operands[i].InitializeConst(operandType, intValue);
|
2001-08-13 16:32:45 +00:00
|
|
|
operands[i].isDef = isdef ||
|
|
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
MachineInstr::SetMachineOperand(unsigned int i,
|
2001-08-07 20:16:52 +00:00
|
|
|
unsigned int regNum, bool isdef=false)
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
assert(i < operands.size());
|
2001-07-21 12:41:50 +00:00
|
|
|
operands[i].InitializeReg(regNum);
|
2001-08-13 16:32:45 +00:00
|
|
|
operands[i].isDef = isdef ||
|
|
|
|
TargetInstrDescriptors[opCode].resultPos == (int) i;
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2001-08-07 21:01:23 +00:00
|
|
|
MachineInstr::dump(unsigned int indent) const
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
|
|
|
for (unsigned i=0; i < indent; i++)
|
|
|
|
cout << " ";
|
|
|
|
|
|
|
|
cout << *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
ostream&
|
|
|
|
operator<< (ostream& os, const MachineInstr& minstr)
|
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
os << TargetInstrDescriptors[minstr.opCode].opCodeString;
|
2001-07-21 12:41:50 +00:00
|
|
|
|
|
|
|
for (unsigned i=0, N=minstr.getNumOperands(); i < N; i++)
|
|
|
|
os << "\t" << minstr.getOperand(i);
|
|
|
|
|
2001-07-28 04:06:37 +00:00
|
|
|
#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), " : ", ");
|
|
|
|
}
|
|
|
|
os << endl;
|
|
|
|
#endif
|
|
|
|
|
2001-07-21 12:41:50 +00:00
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
2001-09-09 22:26:29 +00:00
|
|
|
static inline ostream &OutputOperand(ostream &os, const MachineOperand &mop) {
|
|
|
|
switch (mop.getOperandType()) {
|
|
|
|
case MachineOperand::MO_CCRegister:
|
|
|
|
case MachineOperand::MO_VirtualRegister:
|
|
|
|
return os << "(val " << mop.getVRegValue() << ")";
|
|
|
|
case MachineOperand::MO_MachineRegister:
|
|
|
|
return os << "(" << mop.getMachineRegNum() << ")";
|
|
|
|
default:
|
|
|
|
assert(0 && "Unknown operand type");
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
}
|
2001-07-21 12:41:50 +00:00
|
|
|
|
2001-09-09 22:26:29 +00:00
|
|
|
|
|
|
|
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:
|
2001-09-10 19:43:38 +00:00
|
|
|
return os << "%disp(label " << mop.getVRegValue() << ")";
|
2001-09-09 22:26:29 +00:00
|
|
|
default:
|
|
|
|
assert(0 && "Unrecognized operand type");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2001-07-21 12:41:50 +00:00
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
// Target-independent utility routines for creating machine instructions
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
|
|
//------------------------------------------------------------------------
|
|
|
|
// Function Set2OperandsFromInstr
|
|
|
|
// Function Set3OperandsFromInstr
|
|
|
|
//
|
|
|
|
// For the common case of 2- and 3-operand arithmetic/logical instructions,
|
|
|
|
// set the m/c instr. operands directly from the VM instruction's operands.
|
2001-09-11 23:22:43 +00:00
|
|
|
// Check whether the first or second operand is 0 and can use a dedicated "0"
|
|
|
|
// register.
|
2001-07-21 12:41:50 +00:00
|
|
|
// Check whether the second operand should use an immediate field or register.
|
|
|
|
// (First and third operands are never immediates for such instructions.)
|
|
|
|
//
|
|
|
|
// Arguments:
|
|
|
|
// canDiscardResult: Specifies that the result operand can be discarded
|
|
|
|
// by using the dedicated "0"
|
|
|
|
//
|
|
|
|
// op1position, op2position and resultPosition: Specify in which position
|
|
|
|
// in the machine instruction the 3 operands (arg1, arg2
|
|
|
|
// and result) should go.
|
|
|
|
//
|
|
|
|
// RETURN VALUE: unsigned int flags, where
|
|
|
|
// flags & 0x01 => operand 1 is constant and needs a register
|
|
|
|
// flags & 0x02 => operand 2 is constant and needs a register
|
|
|
|
//------------------------------------------------------------------------
|
|
|
|
|
|
|
|
void
|
|
|
|
Set2OperandsFromInstr(MachineInstr* minstr,
|
|
|
|
InstructionNode* vmInstrNode,
|
2001-07-28 04:06:37 +00:00
|
|
|
const TargetMachine& target,
|
2001-07-21 12:41:50 +00:00
|
|
|
bool canDiscardResult,
|
|
|
|
int op1Position,
|
|
|
|
int resultPosition)
|
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
Set3OperandsFromInstr(minstr, vmInstrNode, target,
|
2001-07-21 12:41:50 +00:00
|
|
|
canDiscardResult, op1Position,
|
|
|
|
/*op2Position*/ -1, resultPosition);
|
|
|
|
}
|
|
|
|
|
2001-07-28 04:06:37 +00:00
|
|
|
#undef REVERT_TO_EXPLICIT_CONSTANT_CHECKS
|
|
|
|
#ifdef REVERT_TO_EXPLICIT_CONSTANT_CHECKS
|
2001-07-21 12:41:50 +00:00
|
|
|
unsigned
|
|
|
|
Set3OperandsFromInstrJUNK(MachineInstr* minstr,
|
|
|
|
InstructionNode* vmInstrNode,
|
2001-07-28 04:06:37 +00:00
|
|
|
const TargetMachine& target,
|
2001-07-21 12:41:50 +00:00
|
|
|
bool canDiscardResult,
|
|
|
|
int op1Position,
|
|
|
|
int op2Position,
|
|
|
|
int resultPosition)
|
|
|
|
{
|
|
|
|
assert(op1Position >= 0);
|
|
|
|
assert(resultPosition >= 0);
|
|
|
|
|
|
|
|
unsigned returnFlags = 0x0;
|
|
|
|
|
2001-08-28 23:02:39 +00:00
|
|
|
// Check if operand 1 is 0. If so, try to use a hardwired 0 register.
|
2001-07-21 12:41:50 +00:00
|
|
|
Value* op1Value = vmInstrNode->leftChild()->getValue();
|
|
|
|
bool isValidConstant;
|
|
|
|
int64_t intValue = GetConstantValueAsSignedInt(op1Value, isValidConstant);
|
2001-07-28 04:06:37 +00:00
|
|
|
if (isValidConstant && intValue == 0 && target.zeroRegNum >= 0)
|
|
|
|
minstr->SetMachineOperand(op1Position, /*regNum*/ target.zeroRegNum);
|
2001-07-21 12:41:50 +00:00
|
|
|
else
|
|
|
|
{
|
2001-09-10 19:43:38 +00:00
|
|
|
if (op1Value->isConstant()) {
|
|
|
|
// value is constant and must be loaded from constant pool
|
|
|
|
returnFlags = returnFlags | (1 << op1Position);
|
|
|
|
}
|
|
|
|
minstr->SetMachineOperand(op1Position, MachineOperand::MO_VirtualRegister,
|
|
|
|
op1Value);
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
2001-08-28 23:02:39 +00:00
|
|
|
// Check if operand 2 (if any) fits in the immed. field of the instruction,
|
|
|
|
// or if it is 0 and can use a dedicated machine register
|
2001-07-21 12:41:50 +00:00
|
|
|
if (op2Position >= 0)
|
|
|
|
{
|
|
|
|
Value* op2Value = vmInstrNode->rightChild()->getValue();
|
|
|
|
int64_t immedValue;
|
|
|
|
unsigned int machineRegNum;
|
|
|
|
|
|
|
|
MachineOperand::MachineOperandType
|
2001-07-28 04:06:37 +00:00
|
|
|
op2type = ChooseRegOrImmed(op2Value, minstr->getOpCode(), target,
|
2001-07-21 12:41:50 +00:00
|
|
|
/*canUseImmed*/ true,
|
2001-07-28 04:06:37 +00:00
|
|
|
machineRegNum, immedValue);
|
2001-07-21 12:41:50 +00:00
|
|
|
|
2001-07-28 04:06:37 +00:00
|
|
|
if (op2type == MachineOperand::MO_MachineRegister)
|
|
|
|
minstr->SetMachineOperand(op2Position, machineRegNum);
|
|
|
|
else if (op2type == MachineOperand::MO_VirtualRegister)
|
2001-07-21 12:41:50 +00:00
|
|
|
{
|
2001-09-10 19:43:38 +00:00
|
|
|
if (op2Value->isConstant()) {
|
|
|
|
// value is constant and must be loaded from constant pool
|
|
|
|
returnFlags = returnFlags | (1 << op2Position);
|
|
|
|
}
|
2001-07-28 04:06:37 +00:00
|
|
|
minstr->SetMachineOperand(op2Position, op2type, op2Value);
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
else
|
2001-07-28 04:06:37 +00:00
|
|
|
{
|
|
|
|
assert(op2type != MO_CCRegister);
|
|
|
|
minstr->SetMachineOperand(op2Position, op2type, immedValue);
|
|
|
|
}
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// If operand 3 (result) can be discarded, use a dead register if one exists
|
2001-07-28 04:06:37 +00:00
|
|
|
if (canDiscardResult && target.zeroRegNum >= 0)
|
2001-08-13 16:32:45 +00:00
|
|
|
minstr->SetMachineOperand(resultPosition, target.zeroRegNum);
|
2001-07-21 12:41:50 +00:00
|
|
|
else
|
2001-08-13 16:32:45 +00:00
|
|
|
minstr->SetMachineOperand(resultPosition, MachineOperand::MO_VirtualRegister, vmInstrNode->getValue());
|
2001-07-21 12:41:50 +00:00
|
|
|
|
|
|
|
return returnFlags;
|
|
|
|
}
|
2001-07-28 04:06:37 +00:00
|
|
|
#endif
|
2001-07-21 12:41:50 +00:00
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
Set3OperandsFromInstr(MachineInstr* minstr,
|
|
|
|
InstructionNode* vmInstrNode,
|
2001-07-28 04:06:37 +00:00
|
|
|
const TargetMachine& target,
|
2001-07-21 12:41:50 +00:00
|
|
|
bool canDiscardResult,
|
|
|
|
int op1Position,
|
|
|
|
int op2Position,
|
|
|
|
int resultPosition)
|
|
|
|
{
|
|
|
|
assert(op1Position >= 0);
|
|
|
|
assert(resultPosition >= 0);
|
|
|
|
|
|
|
|
// operand 1
|
2001-07-28 04:06:37 +00:00
|
|
|
minstr->SetMachineOperand(op1Position, MachineOperand::MO_VirtualRegister,
|
2001-07-21 12:41:50 +00:00
|
|
|
vmInstrNode->leftChild()->getValue());
|
|
|
|
|
|
|
|
// operand 2 (if any)
|
|
|
|
if (op2Position >= 0)
|
2001-07-28 04:06:37 +00:00
|
|
|
minstr->SetMachineOperand(op2Position, MachineOperand::MO_VirtualRegister,
|
2001-07-21 12:41:50 +00:00
|
|
|
vmInstrNode->rightChild()->getValue());
|
|
|
|
|
|
|
|
// result operand: if it can be discarded, use a dead register if one exists
|
2001-07-28 04:06:37 +00:00
|
|
|
if (canDiscardResult && target.zeroRegNum >= 0)
|
2001-08-13 16:32:45 +00:00
|
|
|
minstr->SetMachineOperand(resultPosition, target.zeroRegNum);
|
2001-07-21 12:41:50 +00:00
|
|
|
else
|
2001-08-13 16:32:45 +00:00
|
|
|
minstr->SetMachineOperand(resultPosition, MachineOperand::MO_VirtualRegister, vmInstrNode->getValue());
|
2001-07-21 12:41:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
MachineOperand::MachineOperandType
|
|
|
|
ChooseRegOrImmed(Value* val,
|
|
|
|
MachineOpCode opCode,
|
2001-07-28 04:06:37 +00:00
|
|
|
const TargetMachine& target,
|
2001-07-21 12:41:50 +00:00
|
|
|
bool canUseImmed,
|
|
|
|
unsigned int& getMachineRegNum,
|
|
|
|
int64_t& getImmedValue)
|
|
|
|
{
|
2001-07-28 04:06:37 +00:00
|
|
|
MachineOperand::MachineOperandType opType =
|
|
|
|
MachineOperand::MO_VirtualRegister;
|
2001-07-21 12:41:50 +00:00
|
|
|
getMachineRegNum = 0;
|
|
|
|
getImmedValue = 0;
|
|
|
|
|
|
|
|
// Check for the common case first: argument is not constant
|
|
|
|
//
|
2001-09-09 23:01:32 +00:00
|
|
|
ConstPoolVal *CPV = val->castConstant();
|
|
|
|
if (!CPV) return opType;
|
|
|
|
|
|
|
|
if (CPV->getType() == Type::BoolTy) {
|
|
|
|
ConstPoolBool *CPB = (ConstPoolBool*)CPV;
|
|
|
|
if (!CPB->getValue() && target.zeroRegNum >= 0) {
|
|
|
|
getMachineRegNum = target.zeroRegNum;
|
|
|
|
return MachineOperand::MO_MachineRegister;
|
|
|
|
}
|
|
|
|
|
|
|
|
getImmedValue = 1;
|
|
|
|
return MachineOperand::MO_SignExtendedImmed;
|
|
|
|
}
|
2001-07-21 12:41:50 +00:00
|
|
|
|
2001-09-09 23:01:32 +00:00
|
|
|
if (!CPV->getType()->isIntegral()) return opType;
|
|
|
|
|
2001-07-21 12:41:50 +00:00
|
|
|
// Now get the constant value and check if it fits in the IMMED field.
|
|
|
|
// Take advantage of the fact that the max unsigned value will rarely
|
|
|
|
// fit into any IMMED field and ignore that case (i.e., cast smaller
|
|
|
|
// unsigned constants to signed).
|
|
|
|
//
|
2001-09-09 23:01:32 +00:00
|
|
|
int64_t intValue;
|
|
|
|
if (CPV->getType()->isSigned()) {
|
|
|
|
intValue = ((ConstPoolSInt*)CPV)->getValue();
|
|
|
|
} else {
|
|
|
|
uint64_t V = ((ConstPoolUInt*)CPV)->getValue();
|
|
|
|
if (V >= INT64_MAX) return opType;
|
|
|
|
intValue = (int64_t)V;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (intValue == 0 && target.zeroRegNum >= 0){
|
|
|
|
opType = MachineOperand::MO_MachineRegister;
|
|
|
|
getMachineRegNum = target.zeroRegNum;
|
|
|
|
} else if (canUseImmed &&
|
|
|
|
target.getInstrInfo().constantFitsInImmedField(opCode, intValue)) {
|
|
|
|
opType = MachineOperand::MO_SignExtendedImmed;
|
|
|
|
getImmedValue = intValue;
|
|
|
|
}
|
2001-07-21 12:41:50 +00:00
|
|
|
|
|
|
|
return opType;
|
|
|
|
}
|
2001-08-28 23:02:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
void
|
2001-09-09 19:52:23 +00:00
|
|
|
PrintMachineInstructions(const Method* method)
|
2001-08-28 23:02:39 +00:00
|
|
|
{
|
|
|
|
cout << "\n" << method->getReturnType()
|
|
|
|
<< " \"" << method->getName() << "\"" << endl;
|
|
|
|
|
|
|
|
for (Method::const_iterator BI = method->begin(); BI != method->end(); ++BI)
|
|
|
|
{
|
2001-09-09 19:52:23 +00:00
|
|
|
const BasicBlock* bb = *BI;
|
2001-08-28 23:02:39 +00:00
|
|
|
cout << "\n"
|
|
|
|
<< (bb->hasName()? bb->getName() : "Label")
|
|
|
|
<< " (" << bb << ")" << ":"
|
|
|
|
<< endl;
|
|
|
|
|
2001-09-09 19:52:23 +00:00
|
|
|
const MachineCodeForBasicBlock& mvec = bb->getMachineInstrVec();
|
2001-08-28 23:02:39 +00:00
|
|
|
for (unsigned i=0; i < mvec.size(); i++)
|
|
|
|
cout << "\t" << *mvec[i] << endl;
|
|
|
|
}
|
|
|
|
cout << endl << "End method \"" << method->getName() << "\""
|
|
|
|
<< endl << endl;
|
|
|
|
}
|