Chris Lattner | 035dfbe | 2002-08-09 20:08:06 +0000 | [diff] [blame] | 1 | //===-- MachineInstr.cpp --------------------------------------------------===// |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // 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 Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Brian Gaeke | 21326fc | 2004-02-13 04:39:32 +0000 | [diff] [blame] | 9 | // |
| 10 | // Methods common to all machine instructions. |
| 11 | // |
Chris Lattner | 035dfbe | 2002-08-09 20:08:06 +0000 | [diff] [blame] | 12 | //===----------------------------------------------------------------------===// |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 13 | |
Chris Lattner | 822b4fb | 2001-09-07 17:18:30 +0000 | [diff] [blame] | 14 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/MachineFunction.h" |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 16 | #include "llvm/Target/TargetMachine.h" |
Chris Lattner | 3501fea | 2003-01-14 22:00:31 +0000 | [diff] [blame] | 17 | #include "llvm/Target/TargetInstrInfo.h" |
Chris Lattner | 2a79a09 | 2002-10-30 00:58:19 +0000 | [diff] [blame] | 18 | #include "llvm/Target/MRegisterInfo.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 19 | #include "llvm/Support/LeakDetector.h" |
Bill Wendling | a09362e | 2006-11-28 22:48:48 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Streams.h" |
Jeff Cohen | c21c5ee | 2006-12-15 22:57:14 +0000 | [diff] [blame] | 21 | #include <ostream> |
Chris Lattner | 0742b59 | 2004-02-23 18:38:20 +0000 | [diff] [blame] | 22 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 23 | |
Evan Cheng | c0f64ff | 2006-11-27 23:37:22 +0000 | [diff] [blame] | 24 | /// MachineInstr ctor - This constructor creates a dummy MachineInstr with |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 25 | /// TID NULL and no operands. |
Evan Cheng | c0f64ff | 2006-11-27 23:37:22 +0000 | [diff] [blame] | 26 | MachineInstr::MachineInstr() |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 27 | : TID(0), NumImplicitOps(0), parent(0) { |
Alkis Evlogimenos | aad5c05 | 2004-02-16 07:17:43 +0000 | [diff] [blame] | 28 | // Make sure that we get added to a machine basicblock |
| 29 | LeakDetector::addGarbageObject(this); |
Chris Lattner | 7279122 | 2002-10-28 20:59:49 +0000 | [diff] [blame] | 30 | } |
| 31 | |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 32 | void MachineInstr::addImplicitDefUseOperands() { |
| 33 | if (TID->ImplicitDefs) |
| 34 | for (const unsigned *ImpDefs = TID->ImplicitDefs; *ImpDefs; ++ImpDefs) { |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 35 | MachineOperand Op; |
| 36 | Op.opType = MachineOperand::MO_Register; |
| 37 | Op.IsDef = true; |
| 38 | Op.IsImp = true; |
| 39 | Op.IsKill = false; |
| 40 | Op.IsDead = false; |
| 41 | Op.contents.RegNo = *ImpDefs; |
| 42 | Op.offset = 0; |
| 43 | Operands.push_back(Op); |
| 44 | } |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 45 | if (TID->ImplicitUses) |
| 46 | for (const unsigned *ImpUses = TID->ImplicitUses; *ImpUses; ++ImpUses) { |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 47 | MachineOperand Op; |
| 48 | Op.opType = MachineOperand::MO_Register; |
| 49 | Op.IsDef = false; |
| 50 | Op.IsImp = true; |
| 51 | Op.IsKill = false; |
| 52 | Op.IsDead = false; |
| 53 | Op.contents.RegNo = *ImpUses; |
| 54 | Op.offset = 0; |
| 55 | Operands.push_back(Op); |
| 56 | } |
| 57 | } |
| 58 | |
| 59 | /// MachineInstr ctor - This constructor create a MachineInstr and add the |
Evan Cheng | c0f64ff | 2006-11-27 23:37:22 +0000 | [diff] [blame] | 60 | /// implicit operands. It reserves space for number of operands specified by |
| 61 | /// TargetInstrDescriptor or the numOperands if it is not zero. (for |
| 62 | /// instructions with variable number of operands). |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 63 | MachineInstr::MachineInstr(const TargetInstrDescriptor &tid) |
| 64 | : TID(&tid), NumImplicitOps(0), parent(0) { |
| 65 | if (TID->ImplicitDefs) |
| 66 | for (const unsigned *ImpDefs = TID->ImplicitDefs; *ImpDefs; ++ImpDefs) |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 67 | NumImplicitOps++; |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 68 | if (TID->ImplicitUses) |
| 69 | for (const unsigned *ImpUses = TID->ImplicitUses; *ImpUses; ++ImpUses) |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 70 | NumImplicitOps++; |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 71 | Operands.reserve(NumImplicitOps + TID->numOperands); |
| 72 | addImplicitDefUseOperands(); |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 73 | // Make sure that we get added to a machine basicblock |
| 74 | LeakDetector::addGarbageObject(this); |
| 75 | } |
| 76 | |
Chris Lattner | ddd7fcb | 2002-10-29 23:19:00 +0000 | [diff] [blame] | 77 | /// MachineInstr ctor - Work exactly the same as the ctor above, except that the |
| 78 | /// MachineInstr is created and added to the end of the specified basic block. |
| 79 | /// |
Evan Cheng | c0f64ff | 2006-11-27 23:37:22 +0000 | [diff] [blame] | 80 | MachineInstr::MachineInstr(MachineBasicBlock *MBB, |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 81 | const TargetInstrDescriptor &tid) |
| 82 | : TID(&tid), NumImplicitOps(0), parent(0) { |
Chris Lattner | ddd7fcb | 2002-10-29 23:19:00 +0000 | [diff] [blame] | 83 | assert(MBB && "Cannot use inserting ctor with null basic block!"); |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 84 | if (TID->ImplicitDefs) |
| 85 | for (const unsigned *ImpDefs = TID->ImplicitDefs; *ImpDefs; ++ImpDefs) |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 86 | NumImplicitOps++; |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 87 | if (TID->ImplicitUses) |
| 88 | for (const unsigned *ImpUses = TID->ImplicitUses; *ImpUses; ++ImpUses) |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 89 | NumImplicitOps++; |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 90 | Operands.reserve(NumImplicitOps + TID->numOperands); |
| 91 | addImplicitDefUseOperands(); |
Alkis Evlogimenos | aad5c05 | 2004-02-16 07:17:43 +0000 | [diff] [blame] | 92 | // Make sure that we get added to a machine basicblock |
| 93 | LeakDetector::addGarbageObject(this); |
Chris Lattner | ddd7fcb | 2002-10-29 23:19:00 +0000 | [diff] [blame] | 94 | MBB->push_back(this); // Add instruction to end of basic block! |
| 95 | } |
| 96 | |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 97 | /// MachineInstr ctor - Copies MachineInstr arg exactly |
| 98 | /// |
Tanya Lattner | 466b534 | 2004-05-23 19:35:12 +0000 | [diff] [blame] | 99 | MachineInstr::MachineInstr(const MachineInstr &MI) { |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 100 | TID = MI.getInstrDescriptor(); |
Evan Cheng | 6b2c05f | 2006-11-15 20:54:29 +0000 | [diff] [blame] | 101 | NumImplicitOps = MI.NumImplicitOps; |
Chris Lattner | 943b5e1 | 2006-05-04 19:14:44 +0000 | [diff] [blame] | 102 | Operands.reserve(MI.getNumOperands()); |
Tanya Lattner | b5159ed | 2004-05-23 20:58:02 +0000 | [diff] [blame] | 103 | |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 104 | // Add operands |
Chris Lattner | 943b5e1 | 2006-05-04 19:14:44 +0000 | [diff] [blame] | 105 | for (unsigned i = 0; i != MI.getNumOperands(); ++i) |
| 106 | Operands.push_back(MI.getOperand(i)); |
Tanya Lattner | 0c63e03 | 2004-05-24 03:14:18 +0000 | [diff] [blame] | 107 | |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 108 | // Set parent, next, and prev to null |
Tanya Lattner | 0c63e03 | 2004-05-24 03:14:18 +0000 | [diff] [blame] | 109 | parent = 0; |
| 110 | prev = 0; |
| 111 | next = 0; |
Tanya Lattner | 466b534 | 2004-05-23 19:35:12 +0000 | [diff] [blame] | 112 | } |
| 113 | |
| 114 | |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 115 | MachineInstr::~MachineInstr() { |
Alkis Evlogimenos | aad5c05 | 2004-02-16 07:17:43 +0000 | [diff] [blame] | 116 | LeakDetector::removeGarbageObject(this); |
| 117 | } |
| 118 | |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 119 | /// getOpcode - Returns the opcode of this MachineInstr. |
| 120 | /// |
| 121 | const int MachineInstr::getOpcode() const { |
| 122 | return TID->Opcode; |
| 123 | } |
| 124 | |
Chris Lattner | 48d7c06 | 2006-04-17 21:35:41 +0000 | [diff] [blame] | 125 | /// removeFromParent - This method unlinks 'this' from the containing basic |
| 126 | /// block, and returns it, but does not delete it. |
| 127 | MachineInstr *MachineInstr::removeFromParent() { |
| 128 | assert(getParent() && "Not embedded in a basic block!"); |
| 129 | getParent()->remove(this); |
| 130 | return this; |
| 131 | } |
| 132 | |
| 133 | |
Brian Gaeke | 21326fc | 2004-02-13 04:39:32 +0000 | [diff] [blame] | 134 | /// OperandComplete - Return true if it's illegal to add a new operand |
| 135 | /// |
Chris Lattner | 2a90ba6 | 2004-02-12 16:09:53 +0000 | [diff] [blame] | 136 | bool MachineInstr::OperandsComplete() const { |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 137 | unsigned short NumOperands = TID->numOperands; |
| 138 | if ((TID->Flags & M_VARIABLE_OPS) == 0 && |
Evan Cheng | 8bcb042 | 2006-11-28 02:25:34 +0000 | [diff] [blame] | 139 | getNumOperands()-NumImplicitOps >= NumOperands) |
Vikram S. Adve | 3497782 | 2003-05-31 07:39:06 +0000 | [diff] [blame] | 140 | return true; // Broken: we have all the operands of this instruction! |
Chris Lattner | 413746e | 2002-10-28 20:48:39 +0000 | [diff] [blame] | 141 | return false; |
| 142 | } |
| 143 | |
Chris Lattner | 8ace2cd | 2006-10-20 22:39:59 +0000 | [diff] [blame] | 144 | /// isIdenticalTo - Return true if this operand is identical to the specified |
| 145 | /// operand. |
| 146 | bool MachineOperand::isIdenticalTo(const MachineOperand &Other) const { |
| 147 | if (getType() != Other.getType()) return false; |
| 148 | |
| 149 | switch (getType()) { |
| 150 | default: assert(0 && "Unrecognized operand type"); |
| 151 | case MachineOperand::MO_Register: |
| 152 | return getReg() == Other.getReg() && isDef() == Other.isDef(); |
| 153 | case MachineOperand::MO_Immediate: |
| 154 | return getImm() == Other.getImm(); |
| 155 | case MachineOperand::MO_MachineBasicBlock: |
| 156 | return getMBB() == Other.getMBB(); |
| 157 | case MachineOperand::MO_FrameIndex: |
| 158 | return getFrameIndex() == Other.getFrameIndex(); |
| 159 | case MachineOperand::MO_ConstantPoolIndex: |
| 160 | return getConstantPoolIndex() == Other.getConstantPoolIndex() && |
| 161 | getOffset() == Other.getOffset(); |
| 162 | case MachineOperand::MO_JumpTableIndex: |
| 163 | return getJumpTableIndex() == Other.getJumpTableIndex(); |
| 164 | case MachineOperand::MO_GlobalAddress: |
| 165 | return getGlobal() == Other.getGlobal() && getOffset() == Other.getOffset(); |
| 166 | case MachineOperand::MO_ExternalSymbol: |
Chris Lattner | 13a0412 | 2006-10-25 18:08:14 +0000 | [diff] [blame] | 167 | return !strcmp(getSymbolName(), Other.getSymbolName()) && |
Chris Lattner | 8ace2cd | 2006-10-20 22:39:59 +0000 | [diff] [blame] | 168 | getOffset() == Other.getOffset(); |
| 169 | } |
| 170 | } |
| 171 | |
Evan Cheng | 576d123 | 2006-12-06 08:27:42 +0000 | [diff] [blame] | 172 | /// findRegisterUseOperand() - Returns the MachineOperand that is a use of |
Evan Cheng | 76d7e76 | 2007-02-23 01:04:26 +0000 | [diff] [blame^] | 173 | /// the specific register or NULL if it is not found. It further tightening |
| 174 | /// the search criteria to a use that kills the register if isKill is true. |
| 175 | MachineOperand *MachineInstr::findRegisterUseOperand(unsigned Reg, bool isKill){ |
Evan Cheng | 576d123 | 2006-12-06 08:27:42 +0000 | [diff] [blame] | 176 | for (unsigned i = 0, e = getNumOperands(); i != e; ++i) { |
| 177 | MachineOperand &MO = getOperand(i); |
| 178 | if (MO.isReg() && MO.isUse() && MO.getReg() == Reg) |
Evan Cheng | 76d7e76 | 2007-02-23 01:04:26 +0000 | [diff] [blame^] | 179 | if (!isKill || MO.isKill()) |
| 180 | return &MO; |
Evan Cheng | 576d123 | 2006-12-06 08:27:42 +0000 | [diff] [blame] | 181 | } |
| 182 | return NULL; |
| 183 | } |
| 184 | |
Evan Cheng | b371f45 | 2007-02-19 21:49:54 +0000 | [diff] [blame] | 185 | /// findRegisterDefOperand() - Returns the MachineOperand that is a def of |
| 186 | /// the specific register or NULL if it is not found. |
| 187 | MachineOperand *MachineInstr::findRegisterDefOperand(unsigned Reg) { |
| 188 | for (unsigned i = 0, e = getNumOperands(); i != e; ++i) { |
| 189 | MachineOperand &MO = getOperand(i); |
| 190 | if (MO.isReg() && MO.isDef() && MO.getReg() == Reg) |
| 191 | return &MO; |
| 192 | } |
| 193 | return NULL; |
| 194 | } |
| 195 | |
Evan Cheng | 576d123 | 2006-12-06 08:27:42 +0000 | [diff] [blame] | 196 | /// copyKillDeadInfo - Copies kill / dead operand properties from MI. |
| 197 | /// |
| 198 | void MachineInstr::copyKillDeadInfo(const MachineInstr *MI) { |
| 199 | for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { |
| 200 | const MachineOperand &MO = MI->getOperand(i); |
| 201 | if (!MO.isReg() || (!MO.isKill() && !MO.isDead())) |
| 202 | continue; |
| 203 | for (unsigned j = 0, ee = getNumOperands(); j != ee; ++j) { |
| 204 | MachineOperand &MOp = getOperand(j); |
| 205 | if (!MOp.isIdenticalTo(MO)) |
| 206 | continue; |
| 207 | if (MO.isKill()) |
| 208 | MOp.setIsKill(); |
| 209 | else |
| 210 | MOp.setIsDead(); |
| 211 | break; |
| 212 | } |
| 213 | } |
| 214 | } |
| 215 | |
Brian Gaeke | 21326fc | 2004-02-13 04:39:32 +0000 | [diff] [blame] | 216 | void MachineInstr::dump() const { |
Bill Wendling | e815619 | 2006-12-07 01:30:32 +0000 | [diff] [blame] | 217 | cerr << " " << *this; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 218 | } |
| 219 | |
Chris Lattner | 2a79a09 | 2002-10-30 00:58:19 +0000 | [diff] [blame] | 220 | static inline void OutputReg(std::ostream &os, unsigned RegNo, |
| 221 | const MRegisterInfo *MRI = 0) { |
Alkis Evlogimenos | ddcfd9e | 2004-02-27 01:52:34 +0000 | [diff] [blame] | 222 | if (!RegNo || MRegisterInfo::isPhysicalRegister(RegNo)) { |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 223 | if (MRI) |
Chris Lattner | 2a79a09 | 2002-10-30 00:58:19 +0000 | [diff] [blame] | 224 | os << "%" << MRI->get(RegNo).Name; |
| 225 | else |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 226 | os << "%mreg(" << RegNo << ")"; |
Chris Lattner | 2a79a09 | 2002-10-30 00:58:19 +0000 | [diff] [blame] | 227 | } else |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 228 | os << "%reg" << RegNo; |
Vikram S. Adve | 8c6936a | 2002-09-16 15:18:53 +0000 | [diff] [blame] | 229 | } |
| 230 | |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 231 | static void print(const MachineOperand &MO, std::ostream &OS, |
Tanya Lattner | b140762 | 2004-06-25 00:13:11 +0000 | [diff] [blame] | 232 | const TargetMachine *TM) { |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 233 | const MRegisterInfo *MRI = 0; |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 234 | |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 235 | if (TM) MRI = TM->getRegisterInfo(); |
Tanya Lattner | b140762 | 2004-06-25 00:13:11 +0000 | [diff] [blame] | 236 | |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 237 | switch (MO.getType()) { |
Chris Lattner | 2d90ac7 | 2006-05-04 18:05:43 +0000 | [diff] [blame] | 238 | case MachineOperand::MO_Register: |
Chris Lattner | 4efeab2 | 2006-05-04 01:26:39 +0000 | [diff] [blame] | 239 | OutputReg(OS, MO.getReg(), MRI); |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 240 | break; |
Chris Lattner | 63b3d71 | 2006-05-04 17:21:20 +0000 | [diff] [blame] | 241 | case MachineOperand::MO_Immediate: |
Evan Cheng | 00aff7d | 2006-05-26 08:00:14 +0000 | [diff] [blame] | 242 | OS << MO.getImmedValue(); |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 243 | break; |
Chris Lattner | 2109f50 | 2002-12-15 20:35:25 +0000 | [diff] [blame] | 244 | case MachineOperand::MO_MachineBasicBlock: |
Brian Gaeke | 988b7ba | 2004-06-17 22:26:53 +0000 | [diff] [blame] | 245 | OS << "mbb<" |
Chris Lattner | 2109f50 | 2002-12-15 20:35:25 +0000 | [diff] [blame] | 246 | << ((Value*)MO.getMachineBasicBlock()->getBasicBlock())->getName() |
Brian Gaeke | 988b7ba | 2004-06-17 22:26:53 +0000 | [diff] [blame] | 247 | << "," << (void*)MO.getMachineBasicBlock() << ">"; |
Chris Lattner | 2109f50 | 2002-12-15 20:35:25 +0000 | [diff] [blame] | 248 | break; |
Chris Lattner | 10cb79b | 2002-12-28 20:37:37 +0000 | [diff] [blame] | 249 | case MachineOperand::MO_FrameIndex: |
| 250 | OS << "<fi#" << MO.getFrameIndex() << ">"; |
| 251 | break; |
Chris Lattner | 8d95ef4 | 2003-01-13 00:23:24 +0000 | [diff] [blame] | 252 | case MachineOperand::MO_ConstantPoolIndex: |
| 253 | OS << "<cp#" << MO.getConstantPoolIndex() << ">"; |
| 254 | break; |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 255 | case MachineOperand::MO_JumpTableIndex: |
| 256 | OS << "<jt#" << MO.getJumpTableIndex() << ">"; |
| 257 | break; |
Chris Lattner | 8d95ef4 | 2003-01-13 00:23:24 +0000 | [diff] [blame] | 258 | case MachineOperand::MO_GlobalAddress: |
Chris Lattner | ca4f6eb | 2004-10-15 04:38:41 +0000 | [diff] [blame] | 259 | OS << "<ga:" << ((Value*)MO.getGlobal())->getName(); |
| 260 | if (MO.getOffset()) OS << "+" << MO.getOffset(); |
| 261 | OS << ">"; |
Chris Lattner | 8d95ef4 | 2003-01-13 00:23:24 +0000 | [diff] [blame] | 262 | break; |
| 263 | case MachineOperand::MO_ExternalSymbol: |
Chris Lattner | ca4f6eb | 2004-10-15 04:38:41 +0000 | [diff] [blame] | 264 | OS << "<es:" << MO.getSymbolName(); |
| 265 | if (MO.getOffset()) OS << "+" << MO.getOffset(); |
| 266 | OS << ">"; |
Chris Lattner | 8d95ef4 | 2003-01-13 00:23:24 +0000 | [diff] [blame] | 267 | break; |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 268 | default: |
| 269 | assert(0 && "Unrecognized operand type"); |
| 270 | } |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 271 | } |
| 272 | |
Tanya Lattner | b140762 | 2004-06-25 00:13:11 +0000 | [diff] [blame] | 273 | void MachineInstr::print(std::ostream &OS, const TargetMachine *TM) const { |
Chris Lattner | 6a59227 | 2002-10-30 01:55:38 +0000 | [diff] [blame] | 274 | unsigned StartOp = 0; |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 275 | |
Chris Lattner | 6a59227 | 2002-10-30 01:55:38 +0000 | [diff] [blame] | 276 | // Specialize printing if op#0 is definition |
Chris Lattner | d8f44e0 | 2006-09-05 20:19:27 +0000 | [diff] [blame] | 277 | if (getNumOperands() && getOperand(0).isReg() && getOperand(0).isDef()) { |
Chris Lattner | 0742b59 | 2004-02-23 18:38:20 +0000 | [diff] [blame] | 278 | ::print(getOperand(0), OS, TM); |
Evan Cheng | bdf44b9 | 2007-02-16 09:49:18 +0000 | [diff] [blame] | 279 | if (getOperand(0).isDead()) |
| 280 | OS << "<dead>"; |
Chris Lattner | 6a59227 | 2002-10-30 01:55:38 +0000 | [diff] [blame] | 281 | OS << " = "; |
| 282 | ++StartOp; // Don't print this operand again! |
| 283 | } |
Tanya Lattner | b140762 | 2004-06-25 00:13:11 +0000 | [diff] [blame] | 284 | |
Evan Cheng | 67f660c | 2006-11-30 07:08:44 +0000 | [diff] [blame] | 285 | if (TID) |
| 286 | OS << TID->Name; |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 287 | |
Chris Lattner | 6a59227 | 2002-10-30 01:55:38 +0000 | [diff] [blame] | 288 | for (unsigned i = StartOp, e = getNumOperands(); i != e; ++i) { |
Vikram S. Adve | 5f2180c | 2003-05-27 00:05:23 +0000 | [diff] [blame] | 289 | const MachineOperand& mop = getOperand(i); |
Chris Lattner | 6a59227 | 2002-10-30 01:55:38 +0000 | [diff] [blame] | 290 | if (i != StartOp) |
| 291 | OS << ","; |
| 292 | OS << " "; |
Chris Lattner | 0742b59 | 2004-02-23 18:38:20 +0000 | [diff] [blame] | 293 | ::print(mop, OS, TM); |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 294 | |
Evan Cheng | 438f7bc | 2006-11-10 08:43:01 +0000 | [diff] [blame] | 295 | if (mop.isReg()) { |
Evan Cheng | d7de496 | 2006-11-13 23:34:06 +0000 | [diff] [blame] | 296 | if (mop.isDef() || mop.isKill() || mop.isDead() || mop.isImplicit()) { |
| 297 | OS << "<"; |
| 298 | bool NeedComma = false; |
| 299 | if (mop.isImplicit()) { |
| 300 | OS << (mop.isDef() ? "imp-def" : "imp-use"); |
| 301 | NeedComma = true; |
| 302 | } else if (mop.isDef()) { |
| 303 | OS << "def"; |
| 304 | NeedComma = true; |
| 305 | } |
| 306 | if (mop.isKill() || mop.isDead()) { |
| 307 | if (NeedComma) |
| 308 | OS << ","; |
| 309 | if (mop.isKill()) |
| 310 | OS << "kill"; |
| 311 | if (mop.isDead()) |
| 312 | OS << "dead"; |
| 313 | } |
| 314 | OS << ">"; |
| 315 | } |
Evan Cheng | 438f7bc | 2006-11-10 08:43:01 +0000 | [diff] [blame] | 316 | } |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 317 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 318 | |
Chris Lattner | 1049164 | 2002-10-30 00:48:05 +0000 | [diff] [blame] | 319 | OS << "\n"; |
| 320 | } |
| 321 | |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 322 | void MachineInstr::print(std::ostream &os) const { |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 323 | // If the instruction is embedded into a basic block, we can find the target |
| 324 | // info for the instruction. |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 325 | if (const MachineBasicBlock *MBB = getParent()) { |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 326 | const MachineFunction *MF = MBB->getParent(); |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 327 | if (MF) |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 328 | print(os, &MF->getTarget()); |
Tanya Lattner | b140762 | 2004-06-25 00:13:11 +0000 | [diff] [blame] | 329 | else |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 330 | print(os, 0); |
Chris Lattner | 8517e1f | 2004-02-19 16:17:08 +0000 | [diff] [blame] | 331 | } |
| 332 | |
| 333 | // Otherwise, print it out in the "raw" format without symbolic register names |
| 334 | // and such. |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 335 | os << getInstrDescriptor()->Name; |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 336 | |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 337 | for (unsigned i = 0, N = getNumOperands(); i < N; i++) { |
| 338 | os << "\t" << getOperand(i); |
| 339 | if (getOperand(i).isReg() && getOperand(i).isDef()) |
Chris Lattner | d8f44e0 | 2006-09-05 20:19:27 +0000 | [diff] [blame] | 340 | os << "<d>"; |
Ruchira Sasanka | 8d24337 | 2001-11-14 20:05:23 +0000 | [diff] [blame] | 341 | } |
Misha Brukman | edf128a | 2005-04-21 22:36:52 +0000 | [diff] [blame] | 342 | |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 343 | os << "\n"; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 344 | } |
| 345 | |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 346 | void MachineOperand::print(std::ostream &OS) const { |
| 347 | switch (getType()) { |
| 348 | case MO_Register: |
| 349 | OutputReg(OS, getReg()); |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 350 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 351 | case MO_Immediate: |
| 352 | OS << (long)getImmedValue(); |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 353 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 354 | case MO_MachineBasicBlock: |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 355 | OS << "<mbb:" |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 356 | << ((Value*)getMachineBasicBlock()->getBasicBlock())->getName() |
| 357 | << "@" << (void*)getMachineBasicBlock() << ">"; |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 358 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 359 | case MO_FrameIndex: |
| 360 | OS << "<fi#" << getFrameIndex() << ">"; |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 361 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 362 | case MO_ConstantPoolIndex: |
| 363 | OS << "<cp#" << getConstantPoolIndex() << ">"; |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 364 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 365 | case MO_JumpTableIndex: |
| 366 | OS << "<jt#" << getJumpTableIndex() << ">"; |
Nate Begeman | 37efe67 | 2006-04-22 18:53:45 +0000 | [diff] [blame] | 367 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 368 | case MO_GlobalAddress: |
| 369 | OS << "<ga:" << ((Value*)getGlobal())->getName() << ">"; |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 370 | break; |
Jeff Cohen | 4b60774 | 2006-12-16 02:15:42 +0000 | [diff] [blame] | 371 | case MO_ExternalSymbol: |
| 372 | OS << "<es:" << getSymbolName() << ">"; |
Misha Brukman | ce22e76 | 2004-07-09 14:45:17 +0000 | [diff] [blame] | 373 | break; |
| 374 | default: |
| 375 | assert(0 && "Unrecognized operand type"); |
| 376 | break; |
| 377 | } |
Jeff Cohen | c21c5ee | 2006-12-15 22:57:14 +0000 | [diff] [blame] | 378 | } |
| 379 | |