2004-08-01 05:04:00 +00:00
|
|
|
//===- CodeGenInstruction.h - Instruction Class Wrapper ---------*- C++ -*-===//
|
2005-04-22 00:00:37 +00:00
|
|
|
//
|
2004-08-01 05:04:00 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:37:13 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-22 00:00:37 +00:00
|
|
|
//
|
2004-08-01 05:04:00 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines a wrapper class for the 'Instruction' TableGen class.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef CODEGEN_INSTRUCTION_H
|
|
|
|
#define CODEGEN_INSTRUCTION_H
|
|
|
|
|
2004-08-01 07:42:39 +00:00
|
|
|
#include "llvm/CodeGen/ValueTypes.h"
|
2004-08-01 05:04:00 +00:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
#include <utility>
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class Record;
|
2005-11-19 07:05:57 +00:00
|
|
|
class DagInit;
|
2004-08-01 05:04:00 +00:00
|
|
|
|
2006-11-05 19:31:28 +00:00
|
|
|
class CodeGenInstruction {
|
|
|
|
public:
|
2004-08-01 05:04:00 +00:00
|
|
|
Record *TheDef; // The actual record defining this instruction.
|
|
|
|
std::string Namespace; // The namespace the instruction is in.
|
|
|
|
|
|
|
|
/// AsmString - The format string used to emit a .s file for the
|
|
|
|
/// instruction.
|
|
|
|
std::string AsmString;
|
2008-01-06 01:35:39 +00:00
|
|
|
|
2010-02-10 01:45:28 +00:00
|
|
|
class ConstraintInfo {
|
|
|
|
enum { None, EarlyClobber, Tied } Kind;
|
|
|
|
unsigned OtherTiedOperand;
|
|
|
|
public:
|
|
|
|
ConstraintInfo() : Kind(None) {}
|
|
|
|
|
|
|
|
static ConstraintInfo getEarlyClobber() {
|
|
|
|
ConstraintInfo I;
|
|
|
|
I.Kind = EarlyClobber;
|
2010-02-10 21:22:51 +00:00
|
|
|
I.OtherTiedOperand = 0;
|
2010-02-10 01:45:28 +00:00
|
|
|
return I;
|
|
|
|
}
|
|
|
|
|
|
|
|
static ConstraintInfo getTied(unsigned Op) {
|
|
|
|
ConstraintInfo I;
|
|
|
|
I.Kind = Tied;
|
|
|
|
I.OtherTiedOperand = Op;
|
|
|
|
return I;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool isNone() const { return Kind == None; }
|
|
|
|
bool isEarlyClobber() const { return Kind == EarlyClobber; }
|
|
|
|
bool isTied() const { return Kind == Tied; }
|
|
|
|
|
|
|
|
unsigned getTiedOperand() const {
|
|
|
|
assert(isTied());
|
|
|
|
return OtherTiedOperand;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2004-08-11 02:22:39 +00:00
|
|
|
/// OperandInfo - The information we keep track of for each operand in the
|
|
|
|
/// operand list for a tablegen instruction.
|
2004-08-01 07:42:39 +00:00
|
|
|
struct OperandInfo {
|
2004-08-11 02:22:39 +00:00
|
|
|
/// Rec - The definition this operand is declared as.
|
2005-08-19 16:57:28 +00:00
|
|
|
///
|
2004-08-01 07:42:39 +00:00
|
|
|
Record *Rec;
|
2004-08-11 02:22:39 +00:00
|
|
|
|
|
|
|
/// Name - If this operand was assigned a symbolic name, this is it,
|
|
|
|
/// otherwise, it's empty.
|
2004-08-01 07:42:39 +00:00
|
|
|
std::string Name;
|
2004-08-11 02:22:39 +00:00
|
|
|
|
|
|
|
/// PrinterMethodName - The method used to print operands of this type in
|
|
|
|
/// the asmprinter.
|
|
|
|
std::string PrinterMethodName;
|
|
|
|
|
|
|
|
/// MIOperandNo - Currently (this is meant to be phased out), some logical
|
|
|
|
/// operands correspond to multiple MachineInstr operands. In the X86
|
|
|
|
/// target for example, one address operand is represented as 4
|
|
|
|
/// MachineOperands. Because of this, the operand number in the
|
|
|
|
/// OperandList may not match the MachineInstr operand num. Until it
|
|
|
|
/// does, this contains the MI operand index of this operand.
|
|
|
|
unsigned MIOperandNo;
|
2005-08-18 23:38:41 +00:00
|
|
|
unsigned MINumOperands; // The number of operands.
|
2004-08-11 02:22:39 +00:00
|
|
|
|
2006-11-15 23:23:02 +00:00
|
|
|
/// DoNotEncode - Bools are set to true in this vector for each operand in
|
|
|
|
/// the DisableEncoding list. These should not be emitted by the code
|
|
|
|
/// emitter.
|
|
|
|
std::vector<bool> DoNotEncode;
|
|
|
|
|
2005-11-30 23:58:18 +00:00
|
|
|
/// MIOperandInfo - Default MI operand type. Note an operand may be made
|
|
|
|
/// up of multiple MI operands.
|
2005-11-19 07:05:57 +00:00
|
|
|
DagInit *MIOperandInfo;
|
2006-11-06 23:49:51 +00:00
|
|
|
|
2006-11-15 02:38:17 +00:00
|
|
|
/// Constraint info for this operand. This operand can have pieces, so we
|
|
|
|
/// track constraint info for each.
|
2010-02-10 01:45:28 +00:00
|
|
|
std::vector<ConstraintInfo> Constraints;
|
2005-11-19 07:05:57 +00:00
|
|
|
|
2005-12-01 00:12:04 +00:00
|
|
|
OperandInfo(Record *R, const std::string &N, const std::string &PMN,
|
|
|
|
unsigned MION, unsigned MINO, DagInit *MIOI)
|
|
|
|
: Rec(R), Name(N), PrinterMethodName(PMN), MIOperandNo(MION),
|
2005-11-19 07:05:57 +00:00
|
|
|
MINumOperands(MINO), MIOperandInfo(MIOI) {}
|
2004-08-01 07:42:39 +00:00
|
|
|
};
|
2005-04-22 00:00:37 +00:00
|
|
|
|
Change instruction description to split OperandList into OutOperandList and
InOperandList. This gives one piece of important information: # of results
produced by an instruction.
An example of the change:
def ADD32rr : I<0x01, MRMDestReg, (ops GR32:$dst, GR32:$src1, GR32:$src2),
"add{l} {$src2, $dst|$dst, $src2}",
[(set GR32:$dst, (add GR32:$src1, GR32:$src2))]>;
=>
def ADD32rr : I<0x01, MRMDestReg, (outs GR32:$dst), (ins GR32:$src1, GR32:$src2),
"add{l} {$src2, $dst|$dst, $src2}",
[(set GR32:$dst, (add GR32:$src1, GR32:$src2))]>;
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40033 91177308-0d34-0410-b5e6-96231b3b80d8
2007-07-19 01:14:50 +00:00
|
|
|
/// NumDefs - Number of def operands declared.
|
|
|
|
///
|
|
|
|
unsigned NumDefs;
|
|
|
|
|
2004-08-01 05:04:00 +00:00
|
|
|
/// OperandList - The list of declared operands, along with their declared
|
|
|
|
/// type (which is a record).
|
2004-08-01 07:42:39 +00:00
|
|
|
std::vector<OperandInfo> OperandList;
|
2004-08-01 05:04:00 +00:00
|
|
|
|
|
|
|
// Various boolean values we track for the instruction.
|
|
|
|
bool isReturn;
|
|
|
|
bool isBranch;
|
2007-11-12 07:39:39 +00:00
|
|
|
bool isIndirectBranch;
|
2004-08-01 05:04:00 +00:00
|
|
|
bool isBarrier;
|
|
|
|
bool isCall;
|
2008-12-03 18:15:48 +00:00
|
|
|
bool canFoldAsLoad;
|
2008-01-08 18:05:21 +00:00
|
|
|
bool mayLoad, mayStore;
|
2007-05-16 20:45:24 +00:00
|
|
|
bool isPredicable;
|
2005-01-02 02:29:04 +00:00
|
|
|
bool isConvertibleToThreeAddress;
|
|
|
|
bool isCommutable;
|
2004-08-01 05:04:00 +00:00
|
|
|
bool isTerminator;
|
2007-06-26 00:48:07 +00:00
|
|
|
bool isReMaterializable;
|
2004-09-28 18:38:01 +00:00
|
|
|
bool hasDelaySlot;
|
2009-10-29 18:10:34 +00:00
|
|
|
bool usesCustomInserter;
|
2008-01-07 05:19:29 +00:00
|
|
|
bool isVariadic;
|
2005-12-04 08:18:16 +00:00
|
|
|
bool hasCtrlDep;
|
2007-06-19 01:26:51 +00:00
|
|
|
bool isNotDuplicable;
|
2007-07-10 18:05:01 +00:00
|
|
|
bool hasOptionalDef;
|
2008-05-28 22:54:52 +00:00
|
|
|
bool hasSideEffects;
|
|
|
|
bool neverHasSideEffects;
|
|
|
|
bool isAsCheapAsAMove;
|
2009-10-01 08:21:18 +00:00
|
|
|
bool hasExtraSrcRegAllocReq;
|
|
|
|
bool hasExtraDefRegAllocReq;
|
2006-11-15 02:38:17 +00:00
|
|
|
|
|
|
|
/// ParseOperandName - Parse an operand name like "$foo" or "$foo.bar",
|
|
|
|
/// where $foo is a whole operand and $foo.bar refers to a suboperand.
|
|
|
|
/// This throws an exception if the name is invalid. If AllowWholeOp is
|
|
|
|
/// true, references to operands with suboperands are allowed, otherwise
|
|
|
|
/// not.
|
|
|
|
std::pair<unsigned,unsigned> ParseOperandName(const std::string &Op,
|
|
|
|
bool AllowWholeOp = true);
|
|
|
|
|
|
|
|
/// getFlattenedOperandNumber - Flatten a operand/suboperand pair into a
|
|
|
|
/// flat machineinstr operand #.
|
|
|
|
unsigned getFlattenedOperandNumber(std::pair<unsigned,unsigned> Op) const {
|
|
|
|
return OperandList[Op.first].MIOperandNo + Op.second;
|
|
|
|
}
|
|
|
|
|
2006-11-15 23:23:02 +00:00
|
|
|
/// getSubOperandNumber - Unflatten a operand number into an
|
|
|
|
/// operand/suboperand pair.
|
|
|
|
std::pair<unsigned,unsigned> getSubOperandNumber(unsigned Op) const {
|
|
|
|
for (unsigned i = 0; ; ++i) {
|
|
|
|
assert(i < OperandList.size() && "Invalid flat operand #");
|
|
|
|
if (OperandList[i].MIOperandNo+OperandList[i].MINumOperands > Op)
|
|
|
|
return std::make_pair(i, Op-OperandList[i].MIOperandNo);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// isFlatOperandNotEmitted - Return true if the specified flat operand #
|
|
|
|
/// should not be emitted with the code emitter.
|
|
|
|
bool isFlatOperandNotEmitted(unsigned FlatOpNo) const {
|
|
|
|
std::pair<unsigned,unsigned> Op = getSubOperandNumber(FlatOpNo);
|
|
|
|
if (OperandList[Op.first].DoNotEncode.size() > Op.second)
|
|
|
|
return OperandList[Op.first].DoNotEncode[Op.second];
|
|
|
|
return false;
|
|
|
|
}
|
2004-08-01 05:04:00 +00:00
|
|
|
|
2004-08-14 22:50:53 +00:00
|
|
|
CodeGenInstruction(Record *R, const std::string &AsmStr);
|
2004-08-01 07:42:39 +00:00
|
|
|
|
|
|
|
/// getOperandNamed - Return the index of the operand with the specified
|
|
|
|
/// non-empty name. If the instruction does not have an operand with the
|
|
|
|
/// specified name, throw an exception.
|
|
|
|
unsigned getOperandNamed(const std::string &Name) const;
|
2004-08-01 05:04:00 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|