blob: 182e664e675f700a130e0a51859519029e5c0638 [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;
Evan Cheng8d3af5e2006-06-15 07:22:16 +000094 if ((TargetInstrDescriptors[Opcode].Flags & M_VARIABLE_OPS) == 0 &&
95 getNumOperands() >= (unsigned)NumOperands)
Vikram S. Adve34977822003-05-31 07:39:06 +000096 return true; // Broken: we have all the operands of this instruction!
Chris Lattner413746e2002-10-28 20:48:39 +000097 return false;
98}
99
Brian Gaeke21326fc2004-02-13 04:39:32 +0000100void MachineInstr::dump() const {
Chris Lattner925b7712003-08-03 20:24:29 +0000101 std::cerr << " " << *this;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000102}
103
Chris Lattner2a79a092002-10-30 00:58:19 +0000104static inline void OutputReg(std::ostream &os, unsigned RegNo,
105 const MRegisterInfo *MRI = 0) {
Alkis Evlogimenosddcfd9e2004-02-27 01:52:34 +0000106 if (!RegNo || MRegisterInfo::isPhysicalRegister(RegNo)) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000107 if (MRI)
Chris Lattner2a79a092002-10-30 00:58:19 +0000108 os << "%" << MRI->get(RegNo).Name;
109 else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000110 os << "%mreg(" << RegNo << ")";
Chris Lattner2a79a092002-10-30 00:58:19 +0000111 } else
Chris Lattner8517e1f2004-02-19 16:17:08 +0000112 os << "%reg" << RegNo;
Vikram S. Adve8c6936a2002-09-16 15:18:53 +0000113}
114
Chris Lattner10491642002-10-30 00:48:05 +0000115static void print(const MachineOperand &MO, std::ostream &OS,
Tanya Lattnerb1407622004-06-25 00:13:11 +0000116 const TargetMachine *TM) {
Misha Brukmance22e762004-07-09 14:45:17 +0000117 const MRegisterInfo *MRI = 0;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000118
Misha Brukmance22e762004-07-09 14:45:17 +0000119 if (TM) MRI = TM->getRegisterInfo();
Tanya Lattnerb1407622004-06-25 00:13:11 +0000120
Chris Lattner10491642002-10-30 00:48:05 +0000121 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000122 case MachineOperand::MO_Register:
Chris Lattner4efeab22006-05-04 01:26:39 +0000123 OutputReg(OS, MO.getReg(), MRI);
Chris Lattner10491642002-10-30 00:48:05 +0000124 break;
Chris Lattner63b3d712006-05-04 17:21:20 +0000125 case MachineOperand::MO_Immediate:
Evan Cheng00aff7d2006-05-26 08:00:14 +0000126 OS << MO.getImmedValue();
Chris Lattner10491642002-10-30 00:48:05 +0000127 break;
Chris Lattner2109f502002-12-15 20:35:25 +0000128 case MachineOperand::MO_MachineBasicBlock:
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000129 OS << "mbb<"
Chris Lattner2109f502002-12-15 20:35:25 +0000130 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
Brian Gaeke988b7ba2004-06-17 22:26:53 +0000131 << "," << (void*)MO.getMachineBasicBlock() << ">";
Chris Lattner2109f502002-12-15 20:35:25 +0000132 break;
Chris Lattner10cb79b2002-12-28 20:37:37 +0000133 case MachineOperand::MO_FrameIndex:
134 OS << "<fi#" << MO.getFrameIndex() << ">";
135 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000136 case MachineOperand::MO_ConstantPoolIndex:
137 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
138 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000139 case MachineOperand::MO_JumpTableIndex:
140 OS << "<jt#" << MO.getJumpTableIndex() << ">";
141 break;
Chris Lattner8d95ef42003-01-13 00:23:24 +0000142 case MachineOperand::MO_GlobalAddress:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000143 OS << "<ga:" << ((Value*)MO.getGlobal())->getName();
144 if (MO.getOffset()) OS << "+" << MO.getOffset();
145 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000146 break;
147 case MachineOperand::MO_ExternalSymbol:
Chris Lattnerca4f6eb2004-10-15 04:38:41 +0000148 OS << "<es:" << MO.getSymbolName();
149 if (MO.getOffset()) OS << "+" << MO.getOffset();
150 OS << ">";
Chris Lattner8d95ef42003-01-13 00:23:24 +0000151 break;
Chris Lattner10491642002-10-30 00:48:05 +0000152 default:
153 assert(0 && "Unrecognized operand type");
154 }
Chris Lattner10491642002-10-30 00:48:05 +0000155}
156
Tanya Lattnerb1407622004-06-25 00:13:11 +0000157void MachineInstr::print(std::ostream &OS, const TargetMachine *TM) const {
Chris Lattner6a592272002-10-30 01:55:38 +0000158 unsigned StartOp = 0;
Chris Lattner10491642002-10-30 00:48:05 +0000159
Chris Lattner6a592272002-10-30 01:55:38 +0000160 // Specialize printing if op#0 is definition
Chris Lattnerd8f44e02006-09-05 20:19:27 +0000161 if (getNumOperands() && getOperand(0).isReg() && getOperand(0).isDef()) {
Chris Lattner0742b592004-02-23 18:38:20 +0000162 ::print(getOperand(0), OS, TM);
Chris Lattner6a592272002-10-30 01:55:38 +0000163 OS << " = ";
164 ++StartOp; // Don't print this operand again!
165 }
Tanya Lattnerb1407622004-06-25 00:13:11 +0000166
Misha Brukmance22e762004-07-09 14:45:17 +0000167 // Must check if Target machine is not null because machine BB could not
168 // be attached to a Machine function yet
169 if (TM)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000170 OS << TM->getInstrInfo()->getName(getOpcode());
Misha Brukmanedf128a2005-04-21 22:36:52 +0000171
Chris Lattner6a592272002-10-30 01:55:38 +0000172 for (unsigned i = StartOp, e = getNumOperands(); i != e; ++i) {
Vikram S. Adve5f2180c2003-05-27 00:05:23 +0000173 const MachineOperand& mop = getOperand(i);
Chris Lattner6a592272002-10-30 01:55:38 +0000174 if (i != StartOp)
175 OS << ",";
176 OS << " ";
Chris Lattner0742b592004-02-23 18:38:20 +0000177 ::print(mop, OS, TM);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000178
Chris Lattnerd8f44e02006-09-05 20:19:27 +0000179 if (mop.isReg() && mop.isDef())
180 OS << "<def>";
Chris Lattner10491642002-10-30 00:48:05 +0000181 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000182
Chris Lattner10491642002-10-30 00:48:05 +0000183 OS << "\n";
184}
185
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000186std::ostream &llvm::operator<<(std::ostream &os, const MachineInstr &MI) {
Chris Lattner8517e1f2004-02-19 16:17:08 +0000187 // If the instruction is embedded into a basic block, we can find the target
188 // info for the instruction.
189 if (const MachineBasicBlock *MBB = MI.getParent()) {
190 const MachineFunction *MF = MBB->getParent();
Misha Brukmance22e762004-07-09 14:45:17 +0000191 if (MF)
Tanya Lattnerb1407622004-06-25 00:13:11 +0000192 MI.print(os, &MF->getTarget());
193 else
194 MI.print(os, 0);
Chris Lattner8517e1f2004-02-19 16:17:08 +0000195 return os;
196 }
197
198 // Otherwise, print it out in the "raw" format without symbolic register names
199 // and such.
Chris Lattner2a90ba62004-02-12 16:09:53 +0000200 os << TargetInstrDescriptors[MI.getOpcode()].Name;
Misha Brukmanedf128a2005-04-21 22:36:52 +0000201
Misha Brukmance22e762004-07-09 14:45:17 +0000202 for (unsigned i = 0, N = MI.getNumOperands(); i < N; i++) {
Chris Lattner8d95ef42003-01-13 00:23:24 +0000203 os << "\t" << MI.getOperand(i);
Chris Lattnerd8f44e02006-09-05 20:19:27 +0000204 if (MI.getOperand(i).isReg() && MI.getOperand(i).isDef())
205 os << "<d>";
Ruchira Sasanka8d243372001-11-14 20:05:23 +0000206 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000207
Chris Lattner697954c2002-01-20 22:54:45 +0000208 return os << "\n";
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000209}
210
Chris Lattner34fb2ca2006-05-04 00:49:59 +0000211std::ostream &llvm::operator<<(std::ostream &OS, const MachineOperand &MO) {
Misha Brukmance22e762004-07-09 14:45:17 +0000212 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000213 case MachineOperand::MO_Register:
Chris Lattner4efeab22006-05-04 01:26:39 +0000214 OutputReg(OS, MO.getReg());
Misha Brukmance22e762004-07-09 14:45:17 +0000215 break;
Chris Lattner63b3d712006-05-04 17:21:20 +0000216 case MachineOperand::MO_Immediate:
Misha Brukmance22e762004-07-09 14:45:17 +0000217 OS << (long)MO.getImmedValue();
218 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000219 case MachineOperand::MO_MachineBasicBlock:
220 OS << "<mbb:"
221 << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName()
222 << "@" << (void*)MO.getMachineBasicBlock() << ">";
223 break;
224 case MachineOperand::MO_FrameIndex:
225 OS << "<fi#" << MO.getFrameIndex() << ">";
226 break;
227 case MachineOperand::MO_ConstantPoolIndex:
228 OS << "<cp#" << MO.getConstantPoolIndex() << ">";
229 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000230 case MachineOperand::MO_JumpTableIndex:
231 OS << "<jt#" << MO.getJumpTableIndex() << ">";
232 break;
Misha Brukmance22e762004-07-09 14:45:17 +0000233 case MachineOperand::MO_GlobalAddress:
234 OS << "<ga:" << ((Value*)MO.getGlobal())->getName() << ">";
235 break;
236 case MachineOperand::MO_ExternalSymbol:
237 OS << "<es:" << MO.getSymbolName() << ">";
238 break;
239 default:
240 assert(0 && "Unrecognized operand type");
241 break;
242 }
Misha Brukmanedf128a2005-04-21 22:36:52 +0000243
Chris Lattner10cb79b2002-12-28 20:37:37 +0000244 return OS;
Vikram S. Adve70bc4b52001-07-21 12:41:50 +0000245}