blob: 8003afa0ba5ae238f9ca557cb267ff71b72228ed [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//
Chris Lattner035dfbe2002-08-09 20:08:06 +000012//===----------------------------------------------------------------------===//
Vikram S. Adve70bc4b52001-07-21 12:41:50 +000013
Chris Lattner822b4fb2001-09-07 17:18:30 +000014#include "llvm/CodeGen/MachineInstr.h"
Chris Lattner8517e1f2004-02-19 16:17:08 +000015#include "llvm/CodeGen/MachineFunction.h"
Chris Lattner10491642002-10-30 00:48:05 +000016#include "llvm/Target/TargetMachine.h"
Chris Lattner3501fea2003-01-14 22:00:31 +000017#include "llvm/Target/TargetInstrInfo.h"
Chris Lattner2a79a092002-10-30 00:58:19 +000018#include "llvm/Target/MRegisterInfo.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000019#include "llvm/Support/LeakDetector.h"
Reid Spencer954da372004-07-04 12:19:56 +000020#include <iostream>
21
Chris Lattner0742b592004-02-23 18:38:20 +000022using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000023
Chris Lattnerf1757c42002-10-29 17:40:30 +000024// Global variable holding an array of descriptors for machine instructions.
25// The actual object needs to be created separately for each target machine.
Chris Lattner3501fea2003-01-14 22:00:31 +000026// This variable is initialized and reset by class TargetInstrInfo.
Misha Brukmanedf128a2005-04-21 22:36:52 +000027//
Chris Lattnerf1757c42002-10-29 17:40:30 +000028// FIXME: This should be a property of the target so that more than one target
29// at a time can be active...
30//
Chris Lattner11d1f212004-02-23 18:40:08 +000031namespace llvm {
Chris Lattner0742b592004-02-23 18:38:20 +000032 extern const TargetInstrDescriptor *TargetInstrDescriptors;
33}
Ruchira Sasanka69917e22001-10-18 22:40:02 +000034
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000035/// MachineInstr ctor - This constructor only does a _reserve_ of the operands,
36/// not a resize for them. It is expected that if you use this that you call
37/// add* methods below to fill up the operands, instead of the Set methods.
38/// Eventually, the "resizing" ctors will be phased out.
39///
Chris Lattner8b915b42006-05-04 18:16:01 +000040MachineInstr::MachineInstr(short opcode, unsigned numOperands)
Chris Lattner02e5f8d2006-04-20 18:08:53 +000041 : Opcode(opcode), parent(0) {
Chris Lattner943b5e12006-05-04 19:14:44 +000042 Operands.reserve(numOperands);
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000043 // Make sure that we get added to a machine basicblock
44 LeakDetector::addGarbageObject(this);
Chris Lattner72791222002-10-28 20:59:49 +000045}
46
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000047/// MachineInstr ctor - Work exactly the same as the ctor above, except that the
48/// MachineInstr is created and added to the end of the specified basic block.
49///
Alkis Evlogimenosab8672c2004-02-12 18:49:07 +000050MachineInstr::MachineInstr(MachineBasicBlock *MBB, short opcode,
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000051 unsigned numOperands)
Chris Lattner02e5f8d2006-04-20 18:08:53 +000052 : Opcode(opcode), parent(0) {
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000053 assert(MBB && "Cannot use inserting ctor with null basic block!");
Chris Lattner943b5e12006-05-04 19:14:44 +000054 Operands.reserve(numOperands);
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000055 // Make sure that we get added to a machine basicblock
56 LeakDetector::addGarbageObject(this);
Chris Lattnerddd7fcb2002-10-29 23:19:00 +000057 MBB->push_back(this); // Add instruction to end of basic block!
58}
59
Misha Brukmance22e762004-07-09 14:45:17 +000060/// MachineInstr ctor - Copies MachineInstr arg exactly
61///
Tanya Lattner466b5342004-05-23 19:35:12 +000062MachineInstr::MachineInstr(const MachineInstr &MI) {
63 Opcode = MI.getOpcode();
Chris Lattner943b5e12006-05-04 19:14:44 +000064 Operands.reserve(MI.getNumOperands());
Tanya Lattnerb5159ed2004-05-23 20:58:02 +000065
Misha Brukmance22e762004-07-09 14:45:17 +000066 // Add operands
Chris Lattner943b5e12006-05-04 19:14:44 +000067 for (unsigned i = 0; i != MI.getNumOperands(); ++i)
68 Operands.push_back(MI.getOperand(i));
Tanya Lattner0c63e032004-05-24 03:14:18 +000069
Misha Brukmance22e762004-07-09 14:45:17 +000070 // Set parent, next, and prev to null
Tanya Lattner0c63e032004-05-24 03:14:18 +000071 parent = 0;
72 prev = 0;
73 next = 0;
Tanya Lattner466b5342004-05-23 19:35:12 +000074}
75
76
Misha Brukmance22e762004-07-09 14:45:17 +000077MachineInstr::~MachineInstr() {
Alkis Evlogimenosaad5c052004-02-16 07:17:43 +000078 LeakDetector::removeGarbageObject(this);
79}
80
Chris Lattner48d7c062006-04-17 21:35:41 +000081/// removeFromParent - This method unlinks 'this' from the containing basic
82/// block, and returns it, but does not delete it.
83MachineInstr *MachineInstr::removeFromParent() {
84 assert(getParent() && "Not embedded in a basic block!");
85 getParent()->remove(this);
86 return this;
87}
88
89
Brian Gaeke21326fc2004-02-13 04:39:32 +000090/// OperandComplete - Return true if it's illegal to add a new operand
91///
Chris Lattner2a90ba62004-02-12 16:09:53 +000092bool MachineInstr::OperandsComplete() const {
93 int NumOperands = TargetInstrDescriptors[Opcode].numOperands;
Vikram S. Advea2bae302002-10-29 19:41:18 +000094 if (NumOperands >= 0 && getNumOperands() >= (unsigned)NumOperands)
Vikram S. Adve34977822003-05-31 07:39:06 +000095 return true; // Broken: we have all the operands of this instruction!
Chris Lattner413746e2002-10-28 20:48:39 +000096 return false;
97}
98
Brian Gaeke21326fc2004-02-13 04:39:32 +000099void MachineInstr::dump() const {
Chris Lattner925b7712003-08-03 20:24:29 +0000100 std::cerr << " " << *this;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000101}
102
Chris Lattner2a79a092002-10-30 00:58:19 +0000103static inline void OutputReg(std::ostream &os, unsigned RegNo,
104 const MRegisterInfo *MRI = 0) {
Alkis Evlogimenosddcfd9e2004-02-27 01:52:34 +0000105 if (!RegNo || MRegisterInfo::isPhysicalRegister(RegNo)) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000106 if (MRI)
Chris Lattner2a79a092002-10-30 00:58:19 +0000107 os << "%" << MRI->get(RegNo).Name;
108 else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000109 os << "%mreg(" << RegNo << ")";
Chris Lattner2a79a092002-10-30 00:58:19 +0000110 } else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000111 os << "%reg" << RegNo;
Vikram S. Adve8c6936a2002-09-16 15:18:53 +0000112}
113
Chris Lattner10491642002-10-30 00:48:05 +0000114static void print(const MachineOperand &MO, std::ostream &OS,
Tanya Lattnerb1407622004-06-25 00:13:11 +0000115 const TargetMachine *TM) {
Misha Brukmance22e762004-07-09 14:45:17 +0000116 const MRegisterInfo *MRI = 0;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000117
Misha Brukmance22e762004-07-09 14:45:17 +0000118 if (TM) MRI = TM->getRegisterInfo();
Tanya Lattnerb1407622004-06-25 00:13:11 +0000119
Chris Lattner10491642002-10-30 00:48:05 +0000120 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000121 case MachineOperand::MO_Register:
Chris Lattner4efeab22006-05-04 01:26:39 +0000122 OutputReg(OS, MO.getReg(), MRI);
Chris Lattner10491642002-10-30 00:48:05 +0000123 break;
Chris Lattner63b3d712006-05-04 17:21:20 +0000124 case MachineOperand::MO_Immediate:
Evan Cheng00aff7d2006-05-26 08:00:14 +0000125 OS << MO.getImmedValue();
Chris Lattner10491642002-10-30 00:48:05 +0000126 break;
Chris Lattner2109f502002-12-15 20:35:25 +0000127 case MachineOperand::MO_MachineBasicBlock:
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000128 OS << "mbb<"
Chris Lattner2109f502002-12-15 20:35:25 +0000129 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000130 << "," << (void*)MO.getMachineBasicBlock() << ">";
Chris Lattner2109f502002-12-15 20:35:25 +0000131 break;
Chris Lattner10cb79b2002-12-28 20:37:37 +0000132 case MachineOperand::MO_FrameIndex:
133 OS << "<fi#" << MO.getFrameIndex() << ">";
134 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000135 case MachineOperand::MO_ConstantPoolIndex:
136 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
137 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000138 case MachineOperand::MO_JumpTableIndex:
139 OS << "<jt#" << MO.getJumpTableIndex() << ">";
140 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000141 case MachineOperand::MO_GlobalAddress:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000142 OS << "<ga:" << ((Value*)MO.getGlobal())->getName();
143 if (MO.getOffset()) OS << "+" << MO.getOffset();
144 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000145 break;
146 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000147 OS << "<es:" << MO.getSymbolName();
148 if (MO.getOffset()) OS << "+" << MO.getOffset();
149 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000150 break;
Chris Lattner10491642002-10-30 00:48:05 +0000151 default:
152 assert(0 && "Unrecognized operand type");
153 }
Chris Lattner10491642002-10-30 00:48:05 +0000154}
155
Tanya Lattnerb1407622004-06-25 00:13:11 +0000156void MachineInstr::print(std::ostream &OS, const TargetMachine *TM) const {
Chris Lattner6a592272002-10-30 01:55:38 +0000157 unsigned StartOp = 0;
Chris Lattner10491642002-10-30 00:48:05 +0000158
Chris Lattner6a592272002-10-30 01:55:38 +0000159 // Specialize printing if op#0 is definition
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000160 if (getNumOperands() && getOperand(0).isDef() && !getOperand(0).isUse()) {
Chris Lattner0742b592004-02-23 18:38:20 +0000161 ::print(getOperand(0), OS, TM);
Chris Lattner6a592272002-10-30 01:55:38 +0000162 OS << " = ";
163 ++StartOp; // Don't print this operand again!
164 }
Tanya Lattnerb1407622004-06-25 00:13:11 +0000165
Misha Brukmance22e762004-07-09 14:45:17 +0000166 // Must check if Target machine is not null because machine BB could not
167 // be attached to a Machine function yet
168 if (TM)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000169 OS << TM->getInstrInfo()->getName(getOpcode());
Misha Brukmanedf128a2005-04-21 22:36:52 +0000170
Chris Lattner6a592272002-10-30 01:55:38 +0000171 for (unsigned i = StartOp, e = getNumOperands(); i != e; ++i) {
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000172 const MachineOperand& mop = getOperand(i);
Chris Lattner6a592272002-10-30 01:55:38 +0000173 if (i != StartOp)
174 OS << ",";
175 OS << " ";
Chris Lattner0742b592004-02-23 18:38:20 +0000176 ::print(mop, OS, TM);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000177
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000178 if (mop.isDef())
179 if (mop.isUse())
180 OS << "<def&use>";
181 else
182 OS << "<def>";
Chris Lattner10491642002-10-30 00:48:05 +0000183 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000184
Chris Lattner10491642002-10-30 00:48:05 +0000185 OS << "\n";
186}
187
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000188std::ostream &llvm::operator<<(std::ostream &os, const MachineInstr &MI) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000189 // If the instruction is embedded into a basic block, we can find the target
190 // info for the instruction.
191 if (const MachineBasicBlock *MBB = MI.getParent()) {
192 const MachineFunction *MF = MBB->getParent();
Misha Brukmance22e762004-07-09 14:45:17 +0000193 if (MF)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000194 MI.print(os, &MF->getTarget());
195 else
196 MI.print(os, 0);
Chris Lattner8517e1f2004-02-19 16:17:08 +0000197 return os;
198 }
199
200 // Otherwise, print it out in the "raw" format without symbolic register names
201 // and such.
Chris Lattner2a90ba62004-02-12 16:09:53 +0000202 os << TargetInstrDescriptors[MI.getOpcode()].Name;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000203
Misha Brukmance22e762004-07-09 14:45:17 +0000204 for (unsigned i = 0, N = MI.getNumOperands(); i < N; i++) {
Chris Lattner8d95ef42003-01-13 00:23:24 +0000205 os << "\t" << MI.getOperand(i);
Alkis Evlogimenos4d7af652003-12-14 13:24:17 +0000206 if (MI.getOperand(i).isDef())
207 if (MI.getOperand(i).isUse())
208 os << "<d&u>";
209 else
210 os << "<d>";
Ruchira Sasanka8d243372001-11-14 20:05:23 +0000211 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000212
Chris Lattner697954c2002-01-20 22:54:45 +0000213 return os << "\n";
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000214}
215
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000216std::ostream &llvm::operator<<(std::ostream &OS, const MachineOperand &MO) {
Misha Brukmance22e762004-07-09 14:45:17 +0000217 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000218 case MachineOperand::MO_Register:
Chris Lattner4efeab22006-05-04 01:26:39 +0000219 OutputReg(OS, MO.getReg());
Misha Brukmance22e762004-07-09 14:45:17 +0000220 break;
Chris Lattner63b3d712006-05-04 17:21:20 +0000221 case MachineOperand::MO_Immediate:
Misha Brukmance22e762004-07-09 14:45:17 +0000222 OS << (long)MO.getImmedValue();
223 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000224 case MachineOperand::MO_MachineBasicBlock:
225 OS << "<mbb:"
226 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
227 << "@" << (void*)MO.getMachineBasicBlock() << ">";
228 break;
229 case MachineOperand::MO_FrameIndex:
230 OS << "<fi#" << MO.getFrameIndex() << ">";
231 break;
232 case MachineOperand::MO_ConstantPoolIndex:
233 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
234 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000235 case MachineOperand::MO_JumpTableIndex:
236 OS << "<jt#" << MO.getJumpTableIndex() << ">";
237 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000238 case MachineOperand::MO_GlobalAddress:
239 OS << "<ga:" << ((Value*)MO.getGlobal())->getName() << ">";
240 break;
241 case MachineOperand::MO_ExternalSymbol:
242 OS << "<es:" << MO.getSymbolName() << ">";
243 break;
244 default:
245 assert(0 && "Unrecognized operand type");
246 break;
247 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000248
Chris Lattner10cb79b2002-12-28 20:37:37 +0000249 return OS;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000250}