Skip to content
MachineInstr.cpp 4.58 KiB
Newer Older
// $Id$
//***************************************************************************
// File:
//	MachineInstr.cpp
// 
// Purpose:
//	
// 
// Strategy:
// 
// History:
//	7/2/01	 -  Vikram Adve  -  Created
//**************************************************************************/

#include "llvm/CodeGen/MachineInstr.h"
Chris Lattner's avatar
Chris Lattner committed
#include "llvm/Value.h"
#include <iostream>
using std::cerr;
//************************ 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)
MachineInstr::SetMachineOperandVal(unsigned int i,
				MachineOperand::MachineOperandType operandType,
				Value* _val, bool isdef=false)
  assert(i < operands.size());
  operands[i].Initialize(operandType, _val);
  operands[i].isDef = isdef ||
Vikram S. Adve's avatar
Vikram S. Adve committed
    TargetInstrDescriptors[opCode].resultPos == (int) i;
MachineInstr::SetMachineOperandConst(unsigned int i,
				MachineOperand::MachineOperandType operandType,
                                     int64_t intValue)
  assert(i < operands.size());
  assert(TargetInstrDescriptors[opCode].resultPos != (int) i &&
         "immed. constant cannot be defined");
  operands[i].InitializeConst(operandType, intValue);
  operands[i].isDef = false;
MachineInstr::SetMachineOperandReg(unsigned int i,
                                   int regNum,
                                   bool isdef=false,
                                   bool isCCReg=false)
  assert(i < operands.size());
  operands[i].InitializeReg(regNum, isCCReg);
  operands[i].isDef = isdef ||
Vikram S. Adve's avatar
Vikram S. Adve committed
    TargetInstrDescriptors[opCode].resultPos == (int) i;
MachineInstr::dump(unsigned int indent) const 
static inline std::ostream &OutputValue(std::ostream &os,
                                        const Value* val)
{
  os << "(val ";
  if (val && val->hasName())
    return os << val->getName();
  else
    return os << (void*) val;              // print address only
  os << ")";
}

std::ostream &operator<<(std::ostream& os, const MachineInstr& minstr)
  os << TargetInstrDescriptors[minstr.opCode].opCodeString;
  for (unsigned i=0, N=minstr.getNumOperands(); i < N; i++) {
    if( minstr.getOperand(i).opIsDef() ) 
      os << "*";
  // code for printing implict references
  unsigned NumOfImpRefs =  minstr.getNumImplicitRefs();
  if(  NumOfImpRefs > 0 ) {
    os << "\tImplicit: ";
    for(unsigned z=0; z < NumOfImpRefs; z++) {
      OutputValue(os, minstr.getImplicitRef(z)); 
      if( minstr.implicitRefIsDefined(z)) os << "*";
  return os << "\n";
static inline std::ostream &OutputOperand(std::ostream &os,
                                          const MachineOperand &mop)
Vikram S. Adve's avatar
Vikram S. Adve committed
{
  Value* val;
Vikram S. Adve's avatar
Vikram S. Adve committed
  switch (mop.getOperandType())
    {
    case MachineOperand::MO_CCRegister:
    case MachineOperand::MO_VirtualRegister:
      return OutputValue(os, mop.getVRegValue());
Vikram S. Adve's avatar
Vikram S. Adve committed
    case MachineOperand::MO_MachineRegister:
      return os << "(" << mop.getMachineRegNum() << ")";
Vikram S. Adve's avatar
Vikram S. Adve committed
    default:
      assert(0 && "Unknown operand type");
      return os;
    }
std::ostream &operator<<(std::ostream &os, const MachineOperand &mop)
Vikram S. Adve's avatar
Vikram S. Adve committed
{
  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 << (long)mop.immedVal;
Vikram S. Adve's avatar
Vikram S. Adve committed
    case MachineOperand::MO_UnextendedImmed:
      return os << (long)mop.immedVal;
Vikram S. Adve's avatar
Vikram S. Adve committed
    case MachineOperand::MO_PCRelativeDisp:
      {
        const Value* opVal = mop.getVRegValue();
Chris Lattner's avatar
Chris Lattner committed
        bool isLabel = isa<Function>(opVal) || isa<BasicBlock>(opVal);
        os << "%disp(" << (isLabel? "label " : "addr-of-val ");
        if (opVal->hasName())
          os << opVal->getName();
        else
          os << opVal;
        return os << ")";
Vikram S. Adve's avatar
Vikram S. Adve committed
    default:
      assert(0 && "Unrecognized operand type");
      break;
    }