blob: dad1e1f2e789fac922c238bc20233b05f8f8226e [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
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000110void
Chris Lattner572f5c82002-10-28 04:24:49 +0000111MachineInstr::SetMachineOperandConst(unsigned i,
Brian Gaeke21326fc2004-02-13 04:39:32 +0000112 MachineOperand::MachineOperandType opTy,
Chris Lattner561c0102004-02-29 05:07:02 +0000113 int intValue) {
Chris Lattnerceb408f2006-05-04 17:02:51 +0000114 assert(i < getNumOperands());
Brian Gaeke21326fc2004-02-13 04:39:32 +0000115 operands[i].opType = opTy;
Brian Gaekec5483952004-03-03 19:07:27 +0000116 operands[i].contents.immedVal = intValue;
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000117 operands[i].extra.regNum = -1;
Chris Lattner572f5c82002-10-28 04:24:49 +0000118 operands[i].flags = 0;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000119}
120
Chris Lattnera2dd7452003-08-05 16:58:46 +0000121void MachineInstr::SetMachineOperandReg(unsigned i, int regNum) {
Chris Lattnerceb408f2006-05-04 17:02:51 +0000122 assert(i < getNumOperands());
Chris Lattner572f5c82002-10-28 04:24:49 +0000123
Chris Lattnerea50fab2006-05-04 01:15:02 +0000124 operands[i].opType = MachineOperand::MO_VirtualRegister;
Chris Lattnerceb408f2006-05-04 17:02:51 +0000125 operands[i].contents.GV = NULL;
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000126 operands[i].extra.regNum = regNum;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000127}
128
Brian Gaeke21326fc2004-02-13 04:39:32 +0000129void MachineInstr::dump() const {
Chris Lattner925b7712003-08-03 20:24:29 +0000130 std::cerr << " " << *this;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000131}
132
Brian Gaeke21326fc2004-02-13 04:39:32 +0000133static inline std::ostream& OutputValue(std::ostream &os, const Value* val) {
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000134 os << "(val ";
Misha Brukmance22e762004-07-09 14:45:17 +0000135 os << (void*) val; // print address always
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000136 if (val && val->hasName())
Misha Brukmance22e762004-07-09 14:45:17 +0000137 os << " " << val->getName(); // print name also, if available
Brian Gaeke21326fc2004-02-13 04:39:32 +0000138 os << ")";
Vikram S. Adve627eb312003-07-10 19:45:07 +0000139 return os;
Vikram S. Adve93240fe2002-04-25 04:31:18 +0000140}
141
Chris Lattner2a79a092002-10-30 00:58:19 +0000142static inline void OutputReg(std::ostream &os, unsigned RegNo,
143 const MRegisterInfo *MRI = 0) {
Alkis Evlogimenosddcfd9e2004-02-27 01:52:34 +0000144 if (!RegNo || MRegisterInfo::isPhysicalRegister(RegNo)) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000145 if (MRI)
Chris Lattner2a79a092002-10-30 00:58:19 +0000146 os << "%" << MRI->get(RegNo).Name;
147 else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000148 os << "%mreg(" << RegNo << ")";
Chris Lattner2a79a092002-10-30 00:58:19 +0000149 } else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000150 os << "%reg" << RegNo;
Vikram S. Adve8c6936a2002-09-16 15:18:53 +0000151}
152
Chris Lattner10491642002-10-30 00:48:05 +0000153static void print(const MachineOperand &MO, std::ostream &OS,
Tanya Lattnerb1407622004-06-25 00:13:11 +0000154 const TargetMachine *TM) {
Misha Brukmance22e762004-07-09 14:45:17 +0000155 const MRegisterInfo *MRI = 0;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000156
Misha Brukmance22e762004-07-09 14:45:17 +0000157 if (TM) MRI = TM->getRegisterInfo();
Tanya Lattnerb1407622004-06-25 00:13:11 +0000158
Chris Lattner10491642002-10-30 00:48:05 +0000159 switch (MO.getType()) {
160 case MachineOperand::MO_VirtualRegister:
Chris Lattner4efeab22006-05-04 01:26:39 +0000161 OutputReg(OS, MO.getReg(), MRI);
Chris Lattner10491642002-10-30 00:48:05 +0000162 break;
Chris Lattner10491642002-10-30 00:48:05 +0000163 case MachineOperand::MO_SignExtendedImmed:
164 OS << (long)MO.getImmedValue();
165 break;
166 case MachineOperand::MO_UnextendedImmed:
167 OS << (long)MO.getImmedValue();
168 break;
Chris Lattner2109f502002-12-15 20:35:25 +0000169 case MachineOperand::MO_MachineBasicBlock:
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000170 OS << "mbb<"
Chris Lattner2109f502002-12-15 20:35:25 +0000171 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000172 << "," << (void*)MO.getMachineBasicBlock() << ">";
Chris Lattner2109f502002-12-15 20:35:25 +0000173 break;
Chris Lattner10cb79b2002-12-28 20:37:37 +0000174 case MachineOperand::MO_FrameIndex:
175 OS << "<fi#" << MO.getFrameIndex() << ">";
176 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000177 case MachineOperand::MO_ConstantPoolIndex:
178 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
179 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000180 case MachineOperand::MO_JumpTableIndex:
181 OS << "<jt#" << MO.getJumpTableIndex() << ">";
182 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000183 case MachineOperand::MO_GlobalAddress:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000184 OS << "<ga:" << ((Value*)MO.getGlobal())->getName();
185 if (MO.getOffset()) OS << "+" << MO.getOffset();
186 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000187 break;
188 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000189 OS << "<es:" << MO.getSymbolName();
190 if (MO.getOffset()) OS << "+" << MO.getOffset();
191 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000192 break;
Chris Lattner10491642002-10-30 00:48:05 +0000193 default:
194 assert(0 && "Unrecognized operand type");
195 }
Chris Lattner10491642002-10-30 00:48:05 +0000196}
197
Tanya Lattnerb1407622004-06-25 00:13:11 +0000198void MachineInstr::print(std::ostream &OS, const TargetMachine *TM) const {
Chris Lattner6a592272002-10-30 01:55:38 +0000199 unsigned StartOp = 0;
Chris Lattner10491642002-10-30 00:48:05 +0000200
Chris Lattner6a592272002-10-30 01:55:38 +0000201 // Specialize printing if op#0 is definition
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000202 if (getNumOperands() && getOperand(0).isDef() && !getOperand(0).isUse()) {
Chris Lattner0742b592004-02-23 18:38:20 +0000203 ::print(getOperand(0), OS, TM);
Chris Lattner6a592272002-10-30 01:55:38 +0000204 OS << " = ";
205 ++StartOp; // Don't print this operand again!
206 }
Tanya Lattnerb1407622004-06-25 00:13:11 +0000207
Misha Brukmance22e762004-07-09 14:45:17 +0000208 // Must check if Target machine is not null because machine BB could not
209 // be attached to a Machine function yet
210 if (TM)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000211 OS << TM->getInstrInfo()->getName(getOpcode());
Misha Brukmanedf128a2005-04-21 22:36:52 +0000212
Chris Lattner6a592272002-10-30 01:55:38 +0000213 for (unsigned i = StartOp, e = getNumOperands(); i != e; ++i) {
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000214 const MachineOperand& mop = getOperand(i);
Chris Lattner6a592272002-10-30 01:55:38 +0000215 if (i != StartOp)
216 OS << ",";
217 OS << " ";
Chris Lattner0742b592004-02-23 18:38:20 +0000218 ::print(mop, OS, TM);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000219
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000220 if (mop.isDef())
221 if (mop.isUse())
222 OS << "<def&use>";
223 else
224 OS << "<def>";
Chris Lattner10491642002-10-30 00:48:05 +0000225 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000226
Chris Lattner10491642002-10-30 00:48:05 +0000227 OS << "\n";
228}
229
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000230std::ostream &llvm::operator<<(std::ostream &os, const MachineInstr &MI) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000231 // If the instruction is embedded into a basic block, we can find the target
232 // info for the instruction.
233 if (const MachineBasicBlock *MBB = MI.getParent()) {
234 const MachineFunction *MF = MBB->getParent();
Misha Brukmance22e762004-07-09 14:45:17 +0000235 if (MF)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000236 MI.print(os, &MF->getTarget());
237 else
238 MI.print(os, 0);
Chris Lattner8517e1f2004-02-19 16:17:08 +0000239 return os;
240 }
241
242 // Otherwise, print it out in the "raw" format without symbolic register names
243 // and such.
Chris Lattner2a90ba62004-02-12 16:09:53 +0000244 os << TargetInstrDescriptors[MI.getOpcode()].Name;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000245
Misha Brukmance22e762004-07-09 14:45:17 +0000246 for (unsigned i = 0, N = MI.getNumOperands(); i < N; i++) {
Chris Lattner8d95ef42003-01-13 00:23:24 +0000247 os << "\t" << MI.getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000248 if (MI.getOperand(i).isDef())
249 if (MI.getOperand(i).isUse())
250 os << "<d&u>";
251 else
252 os << "<d>";
Ruchira Sasanka8d243372001-11-14 20:05:23 +0000253 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000254
Chris Lattner697954c2002-01-20 22:54:45 +0000255 return os << "\n";
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000256}
257
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000258std::ostream &llvm::operator<<(std::ostream &OS, const MachineOperand &MO) {
Misha Brukmance22e762004-07-09 14:45:17 +0000259 switch (MO.getType()) {
260 case MachineOperand::MO_VirtualRegister:
Chris Lattner4efeab22006-05-04 01:26:39 +0000261 OutputReg(OS, MO.getReg());
Misha Brukmance22e762004-07-09 14:45:17 +0000262 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000263 case MachineOperand::MO_SignExtendedImmed:
264 OS << (long)MO.getImmedValue();
265 break;
266 case MachineOperand::MO_UnextendedImmed:
267 OS << (long)MO.getImmedValue();
268 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000269 case MachineOperand::MO_MachineBasicBlock:
270 OS << "<mbb:"
271 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
272 << "@" << (void*)MO.getMachineBasicBlock() << ">";
273 break;
274 case MachineOperand::MO_FrameIndex:
275 OS << "<fi#" << MO.getFrameIndex() << ">";
276 break;
277 case MachineOperand::MO_ConstantPoolIndex:
278 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
279 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000280 case MachineOperand::MO_JumpTableIndex:
281 OS << "<jt#" << MO.getJumpTableIndex() << ">";
282 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000283 case MachineOperand::MO_GlobalAddress:
284 OS << "<ga:" << ((Value*)MO.getGlobal())->getName() << ">";
285 break;
286 case MachineOperand::MO_ExternalSymbol:
287 OS << "<es:" << MO.getSymbolName() << ">";
288 break;
289 default:
290 assert(0 && "Unrecognized operand type");
291 break;
292 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000293
Chris Lattner10cb79b2002-12-28 20:37:37 +0000294 return OS;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000295}