Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 1 | // $Id$ |
| 2 | //*************************************************************************** |
| 3 | // File: |
| 4 | // MachineInstr.cpp |
| 5 | // |
| 6 | // Purpose: |
| 7 | // |
| 8 | // |
| 9 | // Strategy: |
| 10 | // |
| 11 | // History: |
| 12 | // 7/2/01 - Vikram Adve - Created |
| 13 | //**************************************************************************/ |
| 14 | |
Chris Lattner | 822b4fb | 2001-09-07 17:18:30 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/MachineInstr.h" |
Chris Lattner | 3801f6d | 2002-02-03 07:46:01 +0000 | [diff] [blame] | 16 | #include "llvm/Value.h" |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 17 | #include <iostream> |
| 18 | using std::cerr; |
Vikram S. Adve | 5b79591 | 2001-08-28 23:02:39 +0000 | [diff] [blame] | 19 | |
Ruchira Sasanka | 69917e2 | 2001-10-18 22:40:02 +0000 | [diff] [blame] | 20 | |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 21 | //************************ Class Implementations **************************/ |
| 22 | |
Vikram S. Adve | 1885da4 | 2001-07-31 21:49:28 +0000 | [diff] [blame] | 23 | // Constructor for instructions with fixed #operands (nearly all) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 24 | MachineInstr::MachineInstr(MachineOpCode _opCode, |
| 25 | OpCodeMask _opCodeMask) |
| 26 | : opCode(_opCode), |
| 27 | opCodeMask(_opCodeMask), |
Vikram S. Adve | 6a175e0 | 2001-07-28 04:06:37 +0000 | [diff] [blame] | 28 | operands(TargetInstrDescriptors[_opCode].numOperands) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 29 | { |
Vikram S. Adve | 1885da4 | 2001-07-31 21:49:28 +0000 | [diff] [blame] | 30 | assert(TargetInstrDescriptors[_opCode].numOperands >= 0); |
| 31 | } |
| 32 | |
| 33 | // Constructor for instructions with variable #operands |
| 34 | MachineInstr::MachineInstr(MachineOpCode _opCode, |
| 35 | unsigned numOperands, |
| 36 | OpCodeMask _opCodeMask) |
| 37 | : opCode(_opCode), |
| 38 | opCodeMask(_opCodeMask), |
| 39 | operands(numOperands) |
| 40 | { |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 41 | } |
| 42 | |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 43 | void |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 44 | MachineInstr::SetMachineOperandVal(unsigned int i, |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 45 | MachineOperand::MachineOperandType opType, |
| 46 | Value* _val, |
| 47 | bool isdef=false, |
| 48 | bool isDefAndUse=false) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 49 | { |
Vikram S. Adve | 6a175e0 | 2001-07-28 04:06:37 +0000 | [diff] [blame] | 50 | assert(i < operands.size()); |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 51 | operands[i].Initialize(opType, _val); |
Vikram S. Adve | 149977b | 2001-08-13 16:32:45 +0000 | [diff] [blame] | 52 | operands[i].isDef = isdef || |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 53 | TargetInstrDescriptors[opCode].resultPos == (int) i; |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 54 | operands[i].isDefAndUse = isDefAndUse; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 55 | } |
| 56 | |
| 57 | void |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 58 | MachineInstr::SetMachineOperandConst(unsigned int i, |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 59 | MachineOperand::MachineOperandType operandType, |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 60 | int64_t intValue) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 61 | { |
Vikram S. Adve | 6a175e0 | 2001-07-28 04:06:37 +0000 | [diff] [blame] | 62 | assert(i < operands.size()); |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 63 | assert(TargetInstrDescriptors[opCode].resultPos != (int) i && |
| 64 | "immed. constant cannot be defined"); |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 65 | operands[i].InitializeConst(operandType, intValue); |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 66 | operands[i].isDef = false; |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 67 | operands[i].isDefAndUse = false; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | void |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 71 | MachineInstr::SetMachineOperandReg(unsigned int i, |
| 72 | int regNum, |
| 73 | bool isdef=false, |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 74 | bool isDefAndUse=false, |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 75 | bool isCCReg=false) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 76 | { |
Vikram S. Adve | 6a175e0 | 2001-07-28 04:06:37 +0000 | [diff] [blame] | 77 | assert(i < operands.size()); |
Vikram S. Adve | c356e56 | 2002-03-18 03:35:24 +0000 | [diff] [blame] | 78 | operands[i].InitializeReg(regNum, isCCReg); |
Vikram S. Adve | 149977b | 2001-08-13 16:32:45 +0000 | [diff] [blame] | 79 | operands[i].isDef = isdef || |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 80 | TargetInstrDescriptors[opCode].resultPos == (int) i; |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 81 | operands[i].isDefAndUse = isDefAndUse; |
| 82 | regsUsed.insert(regNum); |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 83 | } |
| 84 | |
| 85 | void |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 86 | MachineInstr::SetRegForOperand(unsigned i, int regNum) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 87 | { |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 88 | operands[i].setRegForValue(regNum); |
| 89 | regsUsed.insert(regNum); |
| 90 | } |
| 91 | |
| 92 | |
| 93 | void |
| 94 | MachineInstr::dump() const |
| 95 | { |
| 96 | cerr << " " << *this; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 99 | static inline std::ostream &OutputValue(std::ostream &os, |
| 100 | const Value* val) |
| 101 | { |
| 102 | os << "(val "; |
| 103 | if (val && val->hasName()) |
| 104 | return os << val->getName(); |
| 105 | else |
| 106 | return os << (void*) val; // print address only |
| 107 | os << ")"; |
| 108 | } |
| 109 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 110 | std::ostream &operator<<(std::ostream& os, const MachineInstr& minstr) |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 111 | { |
Vikram S. Adve | 6a175e0 | 2001-07-28 04:06:37 +0000 | [diff] [blame] | 112 | os << TargetInstrDescriptors[minstr.opCode].opCodeString; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 113 | |
Ruchira Sasanka | 8d24337 | 2001-11-14 20:05:23 +0000 | [diff] [blame] | 114 | for (unsigned i=0, N=minstr.getNumOperands(); i < N; i++) { |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 115 | os << "\t" << minstr.getOperand(i); |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 116 | if( minstr.operandIsDefined(i) ) |
| 117 | os << "*"; |
| 118 | if( minstr.operandIsDefinedAndUsed(i) ) |
Ruchira Sasanka | 07c7086 | 2001-11-15 20:46:40 +0000 | [diff] [blame] | 119 | os << "*"; |
Ruchira Sasanka | 8d24337 | 2001-11-14 20:05:23 +0000 | [diff] [blame] | 120 | } |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 121 | |
Ruchira Sasanka | 69917e2 | 2001-10-18 22:40:02 +0000 | [diff] [blame] | 122 | // code for printing implict references |
Ruchira Sasanka | 69917e2 | 2001-10-18 22:40:02 +0000 | [diff] [blame] | 123 | unsigned NumOfImpRefs = minstr.getNumImplicitRefs(); |
| 124 | if( NumOfImpRefs > 0 ) { |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 125 | os << "\tImplicit: "; |
Ruchira Sasanka | 69917e2 | 2001-10-18 22:40:02 +0000 | [diff] [blame] | 126 | for(unsigned z=0; z < NumOfImpRefs; z++) { |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 127 | OutputValue(os, minstr.getImplicitRef(z)); |
Ruchira Sasanka | 8d24337 | 2001-11-14 20:05:23 +0000 | [diff] [blame] | 128 | if( minstr.implicitRefIsDefined(z)) os << "*"; |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 129 | if( minstr.implicitRefIsDefinedAndUsed(z)) os << "*"; |
Ruchira Sasanka | 07c7086 | 2001-11-15 20:46:40 +0000 | [diff] [blame] | 130 | os << "\t"; |
Ruchira Sasanka | 69917e2 | 2001-10-18 22:40:02 +0000 | [diff] [blame] | 131 | } |
| 132 | } |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 133 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 134 | return os << "\n"; |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 137 | static inline std::ostream &OutputOperand(std::ostream &os, |
| 138 | const MachineOperand &mop) |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 139 | { |
Vikram S. Adve | d9beb97 | 2001-11-12 14:19:47 +0000 | [diff] [blame] | 140 | Value* val; |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 141 | switch (mop.getOperandType()) |
| 142 | { |
| 143 | case MachineOperand::MO_CCRegister: |
| 144 | case MachineOperand::MO_VirtualRegister: |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 145 | return OutputValue(os, mop.getVRegValue()); |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 146 | case MachineOperand::MO_MachineRegister: |
Vikram S. Adve | 93240fe | 2002-04-25 04:31:18 +0000 | [diff] [blame] | 147 | return os << "(" << mop.getMachineRegNum() << ")"; |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 148 | default: |
| 149 | assert(0 && "Unknown operand type"); |
| 150 | return os; |
| 151 | } |
Chris Lattner | e6fdb11 | 2001-09-09 22:26:29 +0000 | [diff] [blame] | 152 | } |
| 153 | |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 154 | std::ostream &operator<<(std::ostream &os, const MachineOperand &mop) |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 155 | { |
| 156 | switch(mop.opType) |
| 157 | { |
| 158 | case MachineOperand::MO_VirtualRegister: |
| 159 | case MachineOperand::MO_MachineRegister: |
| 160 | os << "%reg"; |
| 161 | return OutputOperand(os, mop); |
| 162 | case MachineOperand::MO_CCRegister: |
| 163 | os << "%ccreg"; |
| 164 | return OutputOperand(os, mop); |
| 165 | case MachineOperand::MO_SignExtendedImmed: |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 166 | return os << (long)mop.immedVal; |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 167 | case MachineOperand::MO_UnextendedImmed: |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 168 | return os << (long)mop.immedVal; |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 169 | case MachineOperand::MO_PCRelativeDisp: |
Vikram S. Adve | e949da5 | 2001-09-30 23:44:19 +0000 | [diff] [blame] | 170 | { |
| 171 | const Value* opVal = mop.getVRegValue(); |
Chris Lattner | 4d669b5 | 2002-04-08 22:01:15 +0000 | [diff] [blame] | 172 | bool isLabel = isa<Function>(opVal) || isa<BasicBlock>(opVal); |
Vikram S. Adve | d9beb97 | 2001-11-12 14:19:47 +0000 | [diff] [blame] | 173 | os << "%disp(" << (isLabel? "label " : "addr-of-val "); |
| 174 | if (opVal->hasName()) |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 175 | os << opVal->getName(); |
Vikram S. Adve | d9beb97 | 2001-11-12 14:19:47 +0000 | [diff] [blame] | 176 | else |
Vikram S. Adve | 7a4be95 | 2002-07-08 22:38:45 +0000 | [diff] [blame] | 177 | os << (const void*) opVal; |
Vikram S. Adve | d9beb97 | 2001-11-12 14:19:47 +0000 | [diff] [blame] | 178 | return os << ")"; |
Vikram S. Adve | e949da5 | 2001-09-30 23:44:19 +0000 | [diff] [blame] | 179 | } |
Vikram S. Adve | 6e44718 | 2001-09-18 12:56:28 +0000 | [diff] [blame] | 180 | default: |
| 181 | assert(0 && "Unrecognized operand type"); |
| 182 | break; |
| 183 | } |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 184 | |
Vikram S. Adve | 70bc4b5 | 2001-07-21 12:41:50 +0000 | [diff] [blame] | 185 | return os; |
| 186 | } |