blob: e300993a10faf5b55dd476dc6166c87ceabe718a [file] [log] [blame]
Chris Lattner035dfbe2002-08-09 20:08:06 +00001//===-- MachineInstr.cpp --------------------------------------------------===//
Misha Brukmanedf128a2005-04-21 22:36:52 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanedf128a2005-04-21 22:36:52 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Brian Gaeke21326fc2004-02-13 04:39:32 +00009//
10// Methods common to all machine instructions.
11//
12// FIXME: Now that MachineInstrs have parent pointers, they should always
13// print themselves using their MachineFunction's TargetMachine.
14//
Chris Lattner035dfbe2002-08-09 20:08:06 +000015//===----------------------------------------------------------------------===//
Vikram S. Adve70bc4b52001-07-21 12:41:50 +000016
Chris Lattner822b4fb2001-09-07 17:18:30 +000017#include "llvm/CodeGen/MachineInstr.h"
Chris Lattner8517e1f2004-02-19 16:17:08 +000018#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner3801f6d2002-02-03 07:46:01 +000019#include "llvm/Value.h"
Chris Lattner10491642002-10-30 00:48:05 +000020#include "llvm/Target/TargetMachine.h"
Chris Lattner3501fea2003-01-14 22:00:31 +000021#include "llvm/Target/TargetInstrInfo.h"
Chris Lattner2a79a092002-10-30 00:58:19 +000022#include "llvm/Target/MRegisterInfo.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000023#include "llvm/Support/LeakDetector.h"
Reid Spencer954da372004-07-04 12:19:56 +000024#include <iostream>
25
Chris Lattner0742b592004-02-23 18:38:20 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattnerf1757c42002-10-29 17:40:30 +000028// Global variable holding an array of descriptors for machine instructions.
29// The actual object needs to be created separately for each target machine.
Chris Lattner3501fea2003-01-14 22:00:31 +000030// This variable is initialized and reset by class TargetInstrInfo.
Misha Brukmanedf128a2005-04-21 22:36:52 +000031//
Chris Lattnerf1757c42002-10-29 17:40:30 +000032// FIXME: This should be a property of the target so that more than one target
33// at a time can be active...
34//
Chris Lattner11d1f212004-02-23 18:40:08 +000035namespace llvm {
Chris Lattner0742b592004-02-23 18:38:20 +000036 extern const TargetInstrDescriptor *TargetInstrDescriptors;
37}
Ruchira Sasanka69917e22001-10-18 22:40:02 +000038
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000039/// MachineInstr ctor - This constructor only does a _reserve_ of the operands,
40/// not a resize for them. It is expected that if you use this that you call
41/// add* methods below to fill up the operands, instead of the Set methods.
42/// Eventually, the "resizing" ctors will be phased out.
43///
Brian Gaeke21326fc2004-02-13 04:39:32 +000044MachineInstr::MachineInstr(short opcode, unsigned numOperands, bool XX, bool YY)
Chris Lattner02e5f8d2006-04-20 18:08:53 +000045 : Opcode(opcode), parent(0) {
Chris Lattner72791222002-10-28 20:59:49 +000046 operands.reserve(numOperands);
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000047 // Make sure that we get added to a machine basicblock
48 LeakDetector::addGarbageObject(this);
Chris Lattner72791222002-10-28 20:59:49 +000049}
50
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000051/// MachineInstr ctor - Work exactly the same as the ctor above, except that the
52/// MachineInstr is created and added to the end of the specified basic block.
53///
Alkis Evlogimenosab8672c2004-02-12 18:49:07 +000054MachineInstr::MachineInstr(MachineBasicBlock *MBB, short opcode,
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000055 unsigned numOperands)
Chris Lattner02e5f8d2006-04-20 18:08:53 +000056 : Opcode(opcode), parent(0) {
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000057 assert(MBB && "Cannot use inserting ctor with null basic block!");
58 operands.reserve(numOperands);
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000059 // Make sure that we get added to a machine basicblock
60 LeakDetector::addGarbageObject(this);
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000061 MBB->push_back(this); // Add instruction to end of basic block!
62}
63
Misha Brukmance22e762004-07-09 14:45:17 +000064/// MachineInstr ctor - Copies MachineInstr arg exactly
65///
Tanya Lattner466b5342004-05-23 19:35:12 +000066MachineInstr::MachineInstr(const MachineInstr &MI) {
67 Opcode = MI.getOpcode();
Tanya Lattnerb5159ed2004-05-23 20:58:02 +000068 operands.reserve(MI.getNumOperands());
69
Misha Brukmance22e762004-07-09 14:45:17 +000070 // Add operands
71 for (unsigned i = 0; i < MI.getNumOperands(); ++i)
Tanya Lattner466b5342004-05-23 19:35:12 +000072 operands.push_back(MachineOperand(MI.getOperand(i)));
Tanya Lattner0c63e032004-05-24 03:14:18 +000073
Misha Brukmance22e762004-07-09 14:45:17 +000074 // Set parent, next, and prev to null
Tanya Lattner0c63e032004-05-24 03:14:18 +000075 parent = 0;
76 prev = 0;
77 next = 0;
Tanya Lattner466b5342004-05-23 19:35:12 +000078}
79
80
Misha Brukmance22e762004-07-09 14:45:17 +000081MachineInstr::~MachineInstr() {
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000082 LeakDetector::removeGarbageObject(this);
83}
84
Misha Brukmance22e762004-07-09 14:45:17 +000085/// clone - Create a copy of 'this' instruction that is identical in all ways
86/// except the following: the new instruction has no parent and it has no name
87///
Tanya Lattner0c63e032004-05-24 03:14:18 +000088MachineInstr* MachineInstr::clone() const {
Tanya Lattnerb5159ed2004-05-23 20:58:02 +000089 return new MachineInstr(*this);
Tanya Lattner466b5342004-05-23 19:35:12 +000090}
91
Chris Lattner48d7c062006-04-17 21:35:41 +000092/// removeFromParent - This method unlinks 'this' from the containing basic
93/// block, and returns it, but does not delete it.
94MachineInstr *MachineInstr::removeFromParent() {
95 assert(getParent() && "Not embedded in a basic block!");
96 getParent()->remove(this);
97 return this;
98}
99
100
Brian Gaeke21326fc2004-02-13 04:39:32 +0000101/// OperandComplete - Return true if it's illegal to add a new operand
102///
Chris Lattner2a90ba62004-02-12 16:09:53 +0000103bool MachineInstr::OperandsComplete() const {
104 int NumOperands = TargetInstrDescriptors[Opcode].numOperands;
Vikram S. Advea2bae302002-10-29 19:41:18 +0000105 if (NumOperands >= 0 && getNumOperands() >= (unsigned)NumOperands)
Vikram S. Adve34977822003-05-31 07:39:06 +0000106 return true; // Broken: we have all the operands of this instruction!
Chris Lattner413746e2002-10-28 20:48:39 +0000107 return false;
108}
109
Chris Lattnera2dd7452003-08-05 16:58:46 +0000110void MachineInstr::SetMachineOperandVal(unsigned i,
111 MachineOperand::MachineOperandType opTy,
112 Value* V) {
Vikram S. Advea2bae302002-10-29 19:41:18 +0000113 assert(i < operands.size()); // may be explicit or implicit op
Chris Lattnera2dd7452003-08-05 16:58:46 +0000114 operands[i].opType = opTy;
Brian Gaekec5483952004-03-03 19:07:27 +0000115 operands[i].contents.value = V;
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000116 operands[i].extra.regNum = -1;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000117}
118
119void
Chris Lattner572f5c82002-10-28 04:24:49 +0000120MachineInstr::SetMachineOperandConst(unsigned i,
Brian Gaeke21326fc2004-02-13 04:39:32 +0000121 MachineOperand::MachineOperandType opTy,
Chris Lattner561c0102004-02-29 05:07:02 +0000122 int intValue) {
Vikram S. Advea2bae302002-10-29 19:41:18 +0000123 assert(i < getNumOperands()); // must be explicit op
Chris Lattner572f5c82002-10-28 04:24:49 +0000124
Brian Gaeke21326fc2004-02-13 04:39:32 +0000125 operands[i].opType = opTy;
Brian Gaekec5483952004-03-03 19:07:27 +0000126 operands[i].contents.value = NULL;
127 operands[i].contents.immedVal = intValue;
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000128 operands[i].extra.regNum = -1;
Chris Lattner572f5c82002-10-28 04:24:49 +0000129 operands[i].flags = 0;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000130}
131
Chris Lattnera2dd7452003-08-05 16:58:46 +0000132void MachineInstr::SetMachineOperandReg(unsigned i, int regNum) {
Vikram S. Advea2bae302002-10-29 19:41:18 +0000133 assert(i < getNumOperands()); // must be explicit op
Chris Lattner572f5c82002-10-28 04:24:49 +0000134
Chris Lattnerea50fab2006-05-04 01:15:02 +0000135 operands[i].opType = MachineOperand::MO_VirtualRegister;
Brian Gaekec5483952004-03-03 19:07:27 +0000136 operands[i].contents.value = NULL;
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000137 operands[i].extra.regNum = regNum;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000138}
139
Brian Gaeke21326fc2004-02-13 04:39:32 +0000140void MachineInstr::dump() const {
Chris Lattner925b7712003-08-03 20:24:29 +0000141 std::cerr << " " << *this;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000142}
143
Brian Gaeke21326fc2004-02-13 04:39:32 +0000144static inline std::ostream& OutputValue(std::ostream &os, const Value* val) {
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000145 os << "(val ";
Misha Brukmance22e762004-07-09 14:45:17 +0000146 os << (void*) val; // print address always
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000147 if (val && val->hasName())
Misha Brukmance22e762004-07-09 14:45:17 +0000148 os << " " << val->getName(); // print name also, if available
Brian Gaeke21326fc2004-02-13 04:39:32 +0000149 os << ")";
Vikram S. Adve627eb312003-07-10 19:45:07 +0000150 return os;
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000151}
152
Chris Lattner2a79a092002-10-30 00:58:19 +0000153static inline void OutputReg(std::ostream &os, unsigned RegNo,
154 const MRegisterInfo *MRI = 0) {
Alkis Evlogimenosddcfd9e2004-02-27 01:52:34 +0000155 if (!RegNo || MRegisterInfo::isPhysicalRegister(RegNo)) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000156 if (MRI)
Chris Lattner2a79a092002-10-30 00:58:19 +0000157 os << "%" << MRI->get(RegNo).Name;
158 else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000159 os << "%mreg(" << RegNo << ")";
Chris Lattner2a79a092002-10-30 00:58:19 +0000160 } else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000161 os << "%reg" << RegNo;
Vikram S. Adve8c6936a2002-09-16 15:18:53 +0000162}
163
Chris Lattner10491642002-10-30 00:48:05 +0000164static void print(const MachineOperand &MO, std::ostream &OS,
Tanya Lattnerb1407622004-06-25 00:13:11 +0000165 const TargetMachine *TM) {
Misha Brukmance22e762004-07-09 14:45:17 +0000166 const MRegisterInfo *MRI = 0;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000167
Misha Brukmance22e762004-07-09 14:45:17 +0000168 if (TM) MRI = TM->getRegisterInfo();
Tanya Lattnerb1407622004-06-25 00:13:11 +0000169
Chris Lattner10491642002-10-30 00:48:05 +0000170 switch (MO.getType()) {
171 case MachineOperand::MO_VirtualRegister:
Chris Lattner4efeab22006-05-04 01:26:39 +0000172 OutputReg(OS, MO.getReg(), MRI);
Chris Lattner10491642002-10-30 00:48:05 +0000173 break;
Chris Lattner10491642002-10-30 00:48:05 +0000174 case MachineOperand::MO_SignExtendedImmed:
175 OS << (long)MO.getImmedValue();
176 break;
177 case MachineOperand::MO_UnextendedImmed:
178 OS << (long)MO.getImmedValue();
179 break;
Chris Lattner2109f502002-12-15 20:35:25 +0000180 case MachineOperand::MO_MachineBasicBlock:
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000181 OS << "mbb<"
Chris Lattner2109f502002-12-15 20:35:25 +0000182 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000183 << "," << (void*)MO.getMachineBasicBlock() << ">";
Chris Lattner2109f502002-12-15 20:35:25 +0000184 break;
Chris Lattner10cb79b2002-12-28 20:37:37 +0000185 case MachineOperand::MO_FrameIndex:
186 OS << "<fi#" << MO.getFrameIndex() << ">";
187 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000188 case MachineOperand::MO_ConstantPoolIndex:
189 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
190 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000191 case MachineOperand::MO_JumpTableIndex:
192 OS << "<jt#" << MO.getJumpTableIndex() << ">";
193 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000194 case MachineOperand::MO_GlobalAddress:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000195 OS << "<ga:" << ((Value*)MO.getGlobal())->getName();
196 if (MO.getOffset()) OS << "+" << MO.getOffset();
197 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000198 break;
199 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000200 OS << "<es:" << MO.getSymbolName();
201 if (MO.getOffset()) OS << "+" << MO.getOffset();
202 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000203 break;
Chris Lattner10491642002-10-30 00:48:05 +0000204 default:
205 assert(0 && "Unrecognized operand type");
206 }
Chris Lattner10491642002-10-30 00:48:05 +0000207}
208
Tanya Lattnerb1407622004-06-25 00:13:11 +0000209void MachineInstr::print(std::ostream &OS, const TargetMachine *TM) const {
Chris Lattner6a592272002-10-30 01:55:38 +0000210 unsigned StartOp = 0;
Chris Lattner10491642002-10-30 00:48:05 +0000211
Chris Lattner6a592272002-10-30 01:55:38 +0000212 // Specialize printing if op#0 is definition
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000213 if (getNumOperands() && getOperand(0).isDef() && !getOperand(0).isUse()) {
Chris Lattner0742b592004-02-23 18:38:20 +0000214 ::print(getOperand(0), OS, TM);
Chris Lattner6a592272002-10-30 01:55:38 +0000215 OS << " = ";
216 ++StartOp; // Don't print this operand again!
217 }
Tanya Lattnerb1407622004-06-25 00:13:11 +0000218
Misha Brukmance22e762004-07-09 14:45:17 +0000219 // Must check if Target machine is not null because machine BB could not
220 // be attached to a Machine function yet
221 if (TM)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000222 OS << TM->getInstrInfo()->getName(getOpcode());
Misha Brukmanedf128a2005-04-21 22:36:52 +0000223
Chris Lattner6a592272002-10-30 01:55:38 +0000224 for (unsigned i = StartOp, e = getNumOperands(); i != e; ++i) {
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000225 const MachineOperand& mop = getOperand(i);
Chris Lattner6a592272002-10-30 01:55:38 +0000226 if (i != StartOp)
227 OS << ",";
228 OS << " ";
Chris Lattner0742b592004-02-23 18:38:20 +0000229 ::print(mop, OS, TM);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000230
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000231 if (mop.isDef())
232 if (mop.isUse())
233 OS << "<def&use>";
234 else
235 OS << "<def>";
Chris Lattner10491642002-10-30 00:48:05 +0000236 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000237
Chris Lattner10491642002-10-30 00:48:05 +0000238 OS << "\n";
239}
240
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000241std::ostream &llvm::operator<<(std::ostream &os, const MachineInstr &MI) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000242 // If the instruction is embedded into a basic block, we can find the target
243 // info for the instruction.
244 if (const MachineBasicBlock *MBB = MI.getParent()) {
245 const MachineFunction *MF = MBB->getParent();
Misha Brukmance22e762004-07-09 14:45:17 +0000246 if (MF)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000247 MI.print(os, &MF->getTarget());
248 else
249 MI.print(os, 0);
Chris Lattner8517e1f2004-02-19 16:17:08 +0000250 return os;
251 }
252
253 // Otherwise, print it out in the "raw" format without symbolic register names
254 // and such.
Chris Lattner2a90ba62004-02-12 16:09:53 +0000255 os << TargetInstrDescriptors[MI.getOpcode()].Name;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000256
Misha Brukmance22e762004-07-09 14:45:17 +0000257 for (unsigned i = 0, N = MI.getNumOperands(); i < N; i++) {
Chris Lattner8d95ef42003-01-13 00:23:24 +0000258 os << "\t" << MI.getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000259 if (MI.getOperand(i).isDef())
260 if (MI.getOperand(i).isUse())
261 os << "<d&u>";
262 else
263 os << "<d>";
Ruchira Sasanka8d243372001-11-14 20:05:23 +0000264 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000265
Chris Lattner697954c2002-01-20 22:54:45 +0000266 return os << "\n";
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000267}
268
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000269std::ostream &llvm::operator<<(std::ostream &OS, const MachineOperand &MO) {
Misha Brukmance22e762004-07-09 14:45:17 +0000270 switch (MO.getType()) {
271 case MachineOperand::MO_VirtualRegister:
Chris Lattner4efeab22006-05-04 01:26:39 +0000272 OutputReg(OS, MO.getReg());
Misha Brukmance22e762004-07-09 14:45:17 +0000273 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000274 case MachineOperand::MO_SignExtendedImmed:
275 OS << (long)MO.getImmedValue();
276 break;
277 case MachineOperand::MO_UnextendedImmed:
278 OS << (long)MO.getImmedValue();
279 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000280 case MachineOperand::MO_MachineBasicBlock:
281 OS << "<mbb:"
282 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
283 << "@" << (void*)MO.getMachineBasicBlock() << ">";
284 break;
285 case MachineOperand::MO_FrameIndex:
286 OS << "<fi#" << MO.getFrameIndex() << ">";
287 break;
288 case MachineOperand::MO_ConstantPoolIndex:
289 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
290 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000291 case MachineOperand::MO_JumpTableIndex:
292 OS << "<jt#" << MO.getJumpTableIndex() << ">";
293 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000294 case MachineOperand::MO_GlobalAddress:
295 OS << "<ga:" << ((Value*)MO.getGlobal())->getName() << ">";
296 break;
297 case MachineOperand::MO_ExternalSymbol:
298 OS << "<es:" << MO.getSymbolName() << ">";
299 break;
300 default:
301 assert(0 && "Unrecognized operand type");
302 break;
303 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000304
Chris Lattner10cb79b2002-12-28 20:37:37 +0000305 return OS;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000306}