2004-08-01 13:04:00 +08:00
|
|
|
//===- CodeGenInstruction.h - Instruction Class Wrapper ---------*- C++ -*-===//
|
2005-04-22 08:00:37 +08:00
|
|
|
//
|
2004-08-01 13:04:00 +08:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-30 04:37:13 +08:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-22 08:00:37 +08:00
|
|
|
//
|
2004-08-01 13:04:00 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines a wrapper class for the 'Instruction' TableGen class.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef CODEGEN_INSTRUCTION_H
|
|
|
|
#define CODEGEN_INSTRUCTION_H
|
|
|
|
|
2004-08-01 15:42:39 +08:00
|
|
|
#include "llvm/CodeGen/ValueTypes.h"
|
2004-08-01 13:04:00 +08:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
#include <utility>
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
class Record;
|
2005-11-19 15:05:57 +08:00
|
|
|
class DagInit;
|
2004-08-01 13:04:00 +08:00
|
|
|
|
2006-11-06 03:31:28 +08:00
|
|
|
class CodeGenInstruction {
|
|
|
|
public:
|
2004-08-01 13:04:00 +08: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 09:35:39 +08:00
|
|
|
|
2004-08-11 10:22:39 +08:00
|
|
|
/// OperandInfo - The information we keep track of for each operand in the
|
|
|
|
/// operand list for a tablegen instruction.
|
2004-08-01 15:42:39 +08:00
|
|
|
struct OperandInfo {
|
2004-08-11 10:22:39 +08:00
|
|
|
/// Rec - The definition this operand is declared as.
|
2005-08-20 00:57:28 +08:00
|
|
|
///
|
2004-08-01 15:42:39 +08:00
|
|
|
Record *Rec;
|
2004-08-11 10:22:39 +08:00
|
|
|
|
|
|
|
/// Name - If this operand was assigned a symbolic name, this is it,
|
|
|
|
/// otherwise, it's empty.
|
2004-08-01 15:42:39 +08:00
|
|
|
std::string Name;
|
2004-08-11 10:22:39 +08: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-19 07:38:41 +08:00
|
|
|
unsigned MINumOperands; // The number of operands.
|
2004-08-11 10:22:39 +08:00
|
|
|
|
2006-11-16 07:23:02 +08: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-12-01 07:58:18 +08:00
|
|
|
/// MIOperandInfo - Default MI operand type. Note an operand may be made
|
|
|
|
/// up of multiple MI operands.
|
2005-11-19 15:05:57 +08:00
|
|
|
DagInit *MIOperandInfo;
|
2006-11-07 07:49:51 +08:00
|
|
|
|
2006-11-15 10:38:17 +08:00
|
|
|
/// Constraint info for this operand. This operand can have pieces, so we
|
|
|
|
/// track constraint info for each.
|
|
|
|
std::vector<std::string> Constraints;
|
2005-11-19 15:05:57 +08:00
|
|
|
|
2005-12-01 08:12:04 +08: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 15:05:57 +08:00
|
|
|
MINumOperands(MINO), MIOperandInfo(MIOI) {}
|
2004-08-01 15:42:39 +08:00
|
|
|
};
|
2005-04-22 08:00:37 +08: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))]>;
llvm-svn: 40033
2007-07-19 09:14:50 +08:00
|
|
|
/// NumDefs - Number of def operands declared.
|
|
|
|
///
|
|
|
|
unsigned NumDefs;
|
|
|
|
|
2004-08-01 13:04:00 +08:00
|
|
|
/// OperandList - The list of declared operands, along with their declared
|
|
|
|
/// type (which is a record).
|
2004-08-01 15:42:39 +08:00
|
|
|
std::vector<OperandInfo> OperandList;
|
2004-08-01 13:04:00 +08:00
|
|
|
|
|
|
|
// Various boolean values we track for the instruction.
|
|
|
|
bool isReturn;
|
|
|
|
bool isBranch;
|
2007-11-12 15:39:39 +08:00
|
|
|
bool isIndirectBranch;
|
2004-08-01 13:04:00 +08:00
|
|
|
bool isBarrier;
|
|
|
|
bool isCall;
|
2008-12-04 02:15:48 +08:00
|
|
|
bool canFoldAsLoad;
|
2008-01-09 02:05:21 +08:00
|
|
|
bool mayLoad, mayStore;
|
2007-05-17 04:45:24 +08:00
|
|
|
bool isPredicable;
|
2005-01-02 10:29:04 +08:00
|
|
|
bool isConvertibleToThreeAddress;
|
|
|
|
bool isCommutable;
|
2004-08-01 13:04:00 +08:00
|
|
|
bool isTerminator;
|
2007-06-26 08:48:07 +08:00
|
|
|
bool isReMaterializable;
|
2004-09-29 02:38:01 +08:00
|
|
|
bool hasDelaySlot;
|
2005-08-27 04:42:52 +08:00
|
|
|
bool usesCustomDAGSchedInserter;
|
2008-01-07 13:19:29 +08:00
|
|
|
bool isVariadic;
|
2005-12-04 16:18:16 +08:00
|
|
|
bool hasCtrlDep;
|
2007-06-19 09:26:51 +08:00
|
|
|
bool isNotDuplicable;
|
2007-07-11 02:05:01 +08:00
|
|
|
bool hasOptionalDef;
|
2008-05-29 06:54:52 +08:00
|
|
|
bool hasSideEffects;
|
|
|
|
bool mayHaveSideEffects;
|
|
|
|
bool neverHasSideEffects;
|
|
|
|
bool isAsCheapAsAMove;
|
2009-10-01 16:21:18 +08:00
|
|
|
bool hasExtraSrcRegAllocReq;
|
|
|
|
bool hasExtraDefRegAllocReq;
|
2006-11-15 10:38:17 +08: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-16 07:23:02 +08: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 13:04:00 +08:00
|
|
|
|
2004-08-15 06:50:53 +08:00
|
|
|
CodeGenInstruction(Record *R, const std::string &AsmStr);
|
2004-08-01 15:42:39 +08: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 13:04:00 +08:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|