2003-01-13 00:26:36 +00:00
|
|
|
//===-- TargetInstrInfo.cpp - Target Instruction Information --------------===//
|
2005-04-21 22:55:34 +00:00
|
|
|
//
|
2003-10-20 19:43:21 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
2005-04-21 22:55:34 +00:00
|
|
|
//
|
2003-10-20 19:43:21 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-10-28 23:55:33 +00:00
|
|
|
//
|
2005-01-19 06:53:34 +00:00
|
|
|
// This file implements the TargetInstrInfo class.
|
2002-10-28 23:55:33 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2003-01-14 22:00:31 +00:00
|
|
|
#include "llvm/Target/TargetInstrInfo.h"
|
2002-11-17 22:53:03 +00:00
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
2002-10-28 23:55:33 +00:00
|
|
|
#include "llvm/Constant.h"
|
|
|
|
#include "llvm/DerivedTypes.h"
|
2005-01-19 06:53:34 +00:00
|
|
|
using namespace llvm;
|
2002-10-28 23:55:33 +00:00
|
|
|
|
2006-11-01 23:18:32 +00:00
|
|
|
/// findTiedToSrcOperand - Returns the operand that is tied to the specified
|
|
|
|
/// dest operand. Returns -1 if there isn't one.
|
2006-12-08 18:45:48 +00:00
|
|
|
int TargetInstrDescriptor::findTiedToSrcOperand(unsigned OpNum) const {
|
|
|
|
for (unsigned i = 0, e = numOperands; i != e; ++i) {
|
2006-11-01 23:00:31 +00:00
|
|
|
if (i == OpNum)
|
|
|
|
continue;
|
2006-12-08 18:45:48 +00:00
|
|
|
if (getOperandConstraint(i, TOI::TIED_TO) == (int)OpNum)
|
2006-11-01 23:00:31 +00:00
|
|
|
return i;
|
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
2002-10-28 23:55:33 +00:00
|
|
|
|
2006-12-08 18:45:48 +00:00
|
|
|
TargetInstrInfo::TargetInstrInfo(const TargetInstrDescriptor* Desc,
|
|
|
|
unsigned numOpcodes)
|
|
|
|
: desc(Desc), NumOpcodes(numOpcodes) {
|
|
|
|
}
|
|
|
|
|
|
|
|
TargetInstrInfo::~TargetInstrInfo() {
|
|
|
|
}
|
|
|
|
|
2005-01-19 06:53:34 +00:00
|
|
|
// commuteInstruction - The default implementation of this method just exchanges
|
|
|
|
// operand 1 and 2.
|
|
|
|
MachineInstr *TargetInstrInfo::commuteInstruction(MachineInstr *MI) const {
|
|
|
|
assert(MI->getOperand(1).isRegister() && MI->getOperand(2).isRegister() &&
|
|
|
|
"This only knows how to commute register operands so far");
|
|
|
|
unsigned Reg1 = MI->getOperand(1).getReg();
|
2006-05-12 01:46:26 +00:00
|
|
|
unsigned Reg2 = MI->getOperand(2).getReg();
|
2006-11-15 20:56:03 +00:00
|
|
|
bool Reg1IsKill = MI->getOperand(1).isKill();
|
|
|
|
bool Reg2IsKill = MI->getOperand(2).isKill();
|
2006-05-04 17:52:23 +00:00
|
|
|
MI->getOperand(2).setReg(Reg1);
|
|
|
|
MI->getOperand(1).setReg(Reg2);
|
2006-11-15 20:56:03 +00:00
|
|
|
if (Reg1IsKill)
|
|
|
|
MI->getOperand(2).setIsKill();
|
|
|
|
else
|
|
|
|
MI->getOperand(2).unsetIsKill();
|
|
|
|
if (Reg2IsKill)
|
|
|
|
MI->getOperand(1).setIsKill();
|
|
|
|
else
|
|
|
|
MI->getOperand(1).unsetIsKill();
|
2005-01-19 06:53:34 +00:00
|
|
|
return MI;
|
|
|
|
}
|
2007-05-16 21:20:37 +00:00
|
|
|
|
2007-05-16 21:53:07 +00:00
|
|
|
bool TargetInstrInfo::PredicateInstruction(MachineInstr *MI,
|
2007-05-29 18:35:22 +00:00
|
|
|
const std::vector<MachineOperand> &Pred) const {
|
2007-05-16 21:53:07 +00:00
|
|
|
bool MadeChange = false;
|
2007-05-16 21:20:37 +00:00
|
|
|
const TargetInstrDescriptor *TID = MI->getInstrDescriptor();
|
2007-05-16 21:53:07 +00:00
|
|
|
if (TID->Flags & M_PREDICABLE) {
|
|
|
|
for (unsigned j = 0, i = 0, e = MI->getNumOperands(); i != e; ++i) {
|
|
|
|
if ((TID->OpInfo[i].Flags & M_PREDICATE_OPERAND)) {
|
|
|
|
MachineOperand &MO = MI->getOperand(i);
|
|
|
|
if (MO.isReg()) {
|
2007-05-23 07:21:11 +00:00
|
|
|
MO.setReg(Pred[j].getReg());
|
2007-05-16 21:53:07 +00:00
|
|
|
MadeChange = true;
|
|
|
|
} else if (MO.isImm()) {
|
2007-05-23 07:21:11 +00:00
|
|
|
MO.setImm(Pred[j].getImmedValue());
|
2007-05-16 21:53:07 +00:00
|
|
|
MadeChange = true;
|
|
|
|
} else if (MO.isMBB()) {
|
2007-05-23 07:21:11 +00:00
|
|
|
MO.setMachineBasicBlock(Pred[j].getMachineBasicBlock());
|
2007-05-16 21:53:07 +00:00
|
|
|
MadeChange = true;
|
|
|
|
}
|
|
|
|
++j;
|
|
|
|
}
|
2007-05-16 21:20:37 +00:00
|
|
|
}
|
|
|
|
}
|
2007-05-16 21:53:07 +00:00
|
|
|
return MadeChange;
|
2007-05-16 21:20:37 +00:00
|
|
|
}
|
2007-06-08 21:59:56 +00:00
|
|
|
|
|
|
|
bool TargetInstrInfo::isUnpredicatedTerminator(const MachineInstr *MI) const {
|
|
|
|
const TargetInstrDescriptor *TID = MI->getInstrDescriptor();
|
2007-07-05 07:06:46 +00:00
|
|
|
if (TID->Flags & M_TERMINATOR_FLAG) {
|
2007-07-06 23:22:03 +00:00
|
|
|
// Conditional branch is a special case.
|
|
|
|
if ((TID->Flags & M_BRANCH_FLAG) != 0 && (TID->Flags & M_BARRIER_FLAG) == 0)
|
|
|
|
return true;
|
2007-07-05 07:06:46 +00:00
|
|
|
if ((TID->Flags & M_PREDICABLE) == 0)
|
|
|
|
return true;
|
2007-06-08 21:59:56 +00:00
|
|
|
return !isPredicated(MI);
|
2007-07-06 23:22:03 +00:00
|
|
|
}
|
2007-06-08 21:59:56 +00:00
|
|
|
return false;
|
|
|
|
}
|