Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===-- InstructionWriter.cpp - Functions for writing instructions --------===// |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 2 | // |
| 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. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file implements the routines for encoding instruction opcodes to a |
| 11 | // bytecode stream. |
| 12 | // |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "WriterInternals.h" |
| 16 | #include "llvm/Module.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 17 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 18 | #include "llvm/Instructions.h" |
Chris Lattner | a92f696 | 2002-10-01 22:38:41 +0000 | [diff] [blame] | 19 | #include "Support/Statistic.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 20 | #include <algorithm> |
Chris Lattner | 44f549b | 2004-01-10 18:49:43 +0000 | [diff] [blame] | 21 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 22 | |
Chris Lattner | ce6ef11 | 2002-07-26 18:40:14 +0000 | [diff] [blame] | 23 | static Statistic<> |
Chris Lattner | a407ba1 | 2003-01-21 20:13:49 +0000 | [diff] [blame] | 24 | NumInstrs("bytecodewriter", "Number of instructions"); |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 25 | static Statistic<> |
| 26 | NumOversizedInstrs("bytecodewriter", "Number of oversized instructions"); |
| 27 | static Statistic<> |
| 28 | BytesOversizedInstrs("bytecodewriter", "Bytes of oversized instructions"); |
| 29 | |
| 30 | static Statistic<> |
| 31 | NumHugeOperandInstrs("bytecodewriter", "Number of instructions with > 3 operands"); |
| 32 | static Statistic<> |
| 33 | NumOversized1OpInstrs("bytecodewriter", "Number of oversized 1 operand instrs"); |
| 34 | static Statistic<> |
| 35 | NumOversized2OpInstrs("bytecodewriter", "Number of oversized 2 operand instrs"); |
| 36 | static Statistic<> |
| 37 | NumOversized3OpInstrs("bytecodewriter", "Number of oversized 3 operand instrs"); |
| 38 | |
| 39 | static Statistic<> |
| 40 | NumOversidedBecauseOfTypes("bytecodewriter", "Number of oversized instructions because of their type"); |
| 41 | |
Chris Lattner | ce6ef11 | 2002-07-26 18:40:14 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 43 | typedef unsigned char uchar; |
| 44 | |
| 45 | // outputInstructionFormat0 - Output those wierd instructions that have a large |
| 46 | // number of operands or have large operands themselves... |
| 47 | // |
| 48 | // Format: [opcode] [type] [numargs] [arg0] [arg1] ... [arg<numargs-1>] |
| 49 | // |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 50 | static void outputInstructionFormat0(const Instruction *I, unsigned Opcode, |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 51 | const SlotCalculator &Table, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 52 | unsigned Type, std::deque<uchar> &Out) { |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 53 | NumOversizedInstrs++; |
| 54 | BytesOversizedInstrs -= Out.size(); |
| 55 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 56 | // Opcode must have top two bits clear... |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 57 | output_vbr(Opcode << 2, Out); // Instruction Opcode ID |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 58 | output_vbr(Type, Out); // Result type |
| 59 | |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 60 | unsigned NumArgs = I->getNumOperands(); |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 61 | output_vbr(NumArgs + (isa<CastInst>(I) || isa<VANextInst>(I) || |
| 62 | isa<VAArgInst>(I)), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 63 | |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 64 | for (unsigned i = 0; i < NumArgs; ++i) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 65 | int Slot = Table.getSlot(I->getOperand(i)); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 66 | assert(Slot >= 0 && "No slot number for value!?!?"); |
| 67 | output_vbr((unsigned)Slot, Out); |
| 68 | } |
Chris Lattner | 5ab1f87 | 2001-10-21 00:14:44 +0000 | [diff] [blame] | 69 | |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 70 | if (isa<CastInst>(I) || isa<VAArgInst>(I)) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 71 | int Slot = Table.getSlot(I->getType()); |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 72 | assert(Slot != -1 && "Cast return type unknown?"); |
| 73 | output_vbr((unsigned)Slot, Out); |
| 74 | } else if (const VANextInst *VAI = dyn_cast<VANextInst>(I)) { |
| 75 | int Slot = Table.getSlot(VAI->getArgType()); |
| 76 | assert(Slot != -1 && "VarArg argument type unknown?"); |
Chris Lattner | 5ab1f87 | 2001-10-21 00:14:44 +0000 | [diff] [blame] | 77 | output_vbr((unsigned)Slot, Out); |
| 78 | } |
| 79 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 80 | align32(Out); // We must maintain correct alignment! |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 81 | BytesOversizedInstrs += Out.size(); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 85 | // outputInstrVarArgsCall - Output the absurdly annoying varargs function calls. |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 86 | // This are more annoying than most because the signature of the call does not |
| 87 | // tell us anything about the types of the arguments in the varargs portion. |
| 88 | // Because of this, we encode (as type 0) all of the argument types explicitly |
| 89 | // before the argument value. This really sucks, but you shouldn't be using |
| 90 | // varargs functions in your code! *death to printf*! |
| 91 | // |
| 92 | // Format: [opcode] [type] [numargs] [arg0] [arg1] ... [arg<numargs-1>] |
| 93 | // |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 94 | static void outputInstrVarArgsCall(const Instruction *I, unsigned Opcode, |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 95 | const SlotCalculator &Table, unsigned Type, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 96 | std::deque<uchar> &Out) { |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 97 | assert(isa<CallInst>(I) || isa<InvokeInst>(I)); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 98 | // Opcode must have top two bits clear... |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 99 | output_vbr(Opcode << 2, Out); // Instruction Opcode ID |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 100 | output_vbr(Type, Out); // Result type (varargs type) |
| 101 | |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 102 | const PointerType *PTy = cast<PointerType>(I->getOperand(0)->getType()); |
| 103 | const FunctionType *FTy = cast<FunctionType>(PTy->getElementType()); |
| 104 | unsigned NumParams = FTy->getNumParams(); |
| 105 | |
| 106 | unsigned NumFixedOperands; |
| 107 | if (isa<CallInst>(I)) { |
| 108 | // Output an operand for the callee and each fixed argument, then two for |
| 109 | // each variable argument. |
| 110 | NumFixedOperands = 1+NumParams; |
| 111 | } else { |
| 112 | assert(isa<InvokeInst>(I) && "Not call or invoke??"); |
| 113 | // Output an operand for the callee and destinations, then two for each |
| 114 | // variable argument. |
| 115 | NumFixedOperands = 3+NumParams; |
| 116 | } |
| 117 | output_vbr(2 * I->getNumOperands()-NumFixedOperands, Out); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 118 | |
Chris Lattner | 2fbfdcf | 2002-04-07 20:49:59 +0000 | [diff] [blame] | 119 | // The type for the function has already been emitted in the type field of the |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 120 | // instruction. Just emit the slot # now. |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 121 | for (unsigned i = 0; i != NumFixedOperands; ++i) { |
| 122 | int Slot = Table.getSlot(I->getOperand(i)); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 123 | assert(Slot >= 0 && "No slot number for value!?!?"); |
| 124 | output_vbr((unsigned)Slot, Out); |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 125 | } |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 126 | |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 127 | for (unsigned i = NumFixedOperands, e = I->getNumOperands(); i != e; ++i) { |
| 128 | // Output Arg Type ID |
| 129 | int Slot = Table.getSlot(I->getOperand(i)->getType()); |
| 130 | assert(Slot >= 0 && "No slot number for value!?!?"); |
| 131 | output_vbr((unsigned)Slot, Out); |
| 132 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 133 | // Output arg ID itself |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 134 | Slot = Table.getSlot(I->getOperand(i)); |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 135 | assert(Slot >= 0 && "No slot number for value!?!?"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 136 | output_vbr((unsigned)Slot, Out); |
| 137 | } |
| 138 | align32(Out); // We must maintain correct alignment! |
| 139 | } |
| 140 | |
| 141 | |
| 142 | // outputInstructionFormat1 - Output one operand instructions, knowing that no |
| 143 | // operand index is >= 2^12. |
| 144 | // |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 145 | static void outputInstructionFormat1(const Instruction *I, unsigned Opcode, |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 146 | const SlotCalculator &Table, int *Slots, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 147 | unsigned Type, std::deque<uchar> &Out) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 148 | // bits Instruction format: |
| 149 | // -------------------------- |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 150 | // 01-00: Opcode type, fixed to 1. |
| 151 | // 07-02: Opcode |
| 152 | // 19-08: Resulting type plane |
| 153 | // 31-20: Operand #1 (if set to (2^12-1), then zero operands) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 154 | // |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 155 | unsigned Bits = 1 | (Opcode << 2) | (Type << 8) | (Slots[0] << 20); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 156 | // cerr << "1 " << IType << " " << Type << " " << Slots[0] << endl; |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 157 | output(Bits, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 158 | } |
| 159 | |
| 160 | |
| 161 | // outputInstructionFormat2 - Output two operand instructions, knowing that no |
| 162 | // operand index is >= 2^8. |
| 163 | // |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 164 | static void outputInstructionFormat2(const Instruction *I, unsigned Opcode, |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 165 | const SlotCalculator &Table, int *Slots, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 166 | unsigned Type, std::deque<uchar> &Out) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 167 | // bits Instruction format: |
| 168 | // -------------------------- |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 169 | // 01-00: Opcode type, fixed to 2. |
| 170 | // 07-02: Opcode |
| 171 | // 15-08: Resulting type plane |
| 172 | // 23-16: Operand #1 |
| 173 | // 31-24: Operand #2 |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 174 | // |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 175 | unsigned Bits = 2 | (Opcode << 2) | (Type << 8) | |
| 176 | (Slots[0] << 16) | (Slots[1] << 24); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 177 | // cerr << "2 " << IType << " " << Type << " " << Slots[0] << " " |
| 178 | // << Slots[1] << endl; |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 179 | output(Bits, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 180 | } |
| 181 | |
| 182 | |
| 183 | // outputInstructionFormat3 - Output three operand instructions, knowing that no |
| 184 | // operand index is >= 2^6. |
| 185 | // |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 186 | static void outputInstructionFormat3(const Instruction *I, unsigned Opcode, |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 187 | const SlotCalculator &Table, int *Slots, |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 188 | unsigned Type, std::deque<uchar> &Out) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 189 | // bits Instruction format: |
| 190 | // -------------------------- |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 191 | // 01-00: Opcode type, fixed to 3. |
| 192 | // 07-02: Opcode |
| 193 | // 13-08: Resulting type plane |
| 194 | // 19-14: Operand #1 |
| 195 | // 25-20: Operand #2 |
| 196 | // 31-26: Operand #3 |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 197 | // |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 198 | unsigned Bits = 3 | (Opcode << 2) | (Type << 8) | |
| 199 | (Slots[0] << 14) | (Slots[1] << 20) | (Slots[2] << 26); |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 200 | //cerr << "3 " << IType << " " << Type << " " << Slots[0] << " " |
| 201 | // << Slots[1] << " " << Slots[2] << endl; |
Chris Lattner | 2b9f600 | 2001-10-23 03:21:10 +0000 | [diff] [blame] | 202 | output(Bits, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 203 | } |
| 204 | |
Chris Lattner | cf3e67f | 2004-01-18 21:08:52 +0000 | [diff] [blame^] | 205 | void BytecodeWriter::outputInstruction(const Instruction &I) { |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 206 | assert(I.getOpcode() < 62 && "Opcode too big???"); |
| 207 | unsigned Opcode = I.getOpcode(); |
| 208 | |
| 209 | // Encode 'volatile load' as 62 and 'volatile store' as 63. |
| 210 | if (isa<LoadInst>(I) && cast<LoadInst>(I).isVolatile()) |
| 211 | Opcode = 62; |
| 212 | if (isa<StoreInst>(I) && cast<StoreInst>(I).isVolatile()) |
| 213 | Opcode = 63; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 214 | |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 215 | unsigned NumOperands = I.getNumOperands(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 216 | int MaxOpSlot = 0; |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 217 | int Slots[3]; Slots[0] = (1 << 12)-1; // Marker to signify 0 operands |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 218 | |
Chris Lattner | cf3e67f | 2004-01-18 21:08:52 +0000 | [diff] [blame^] | 219 | for (unsigned i = 0; i != NumOperands; ++i) { |
| 220 | int slot = Table.getSlot(I.getOperand(i)); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 221 | assert(slot != -1 && "Broken bytecode!"); |
| 222 | if (slot > MaxOpSlot) MaxOpSlot = slot; |
Chris Lattner | c8b25d4 | 2001-07-07 08:36:50 +0000 | [diff] [blame] | 223 | if (i < 3) Slots[i] = slot; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 224 | } |
| 225 | |
| 226 | // Figure out which type to encode with the instruction. Typically we want |
| 227 | // the type of the first parameter, as opposed to the type of the instruction |
| 228 | // (for example, with setcc, we always know it returns bool, but the type of |
| 229 | // the first param is actually interesting). But if we have no arguments |
| 230 | // we take the type of the instruction itself. |
| 231 | // |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 232 | const Type *Ty; |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 233 | switch (I.getOpcode()) { |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 234 | case Instruction::Malloc: |
| 235 | case Instruction::Alloca: |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 236 | Ty = I.getType(); // Malloc & Alloca ALWAYS want to encode the return type |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 237 | break; |
| 238 | case Instruction::Store: |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 239 | Ty = I.getOperand(1)->getType(); // Encode the pointer type... |
Chris Lattner | 9b62503 | 2002-05-06 16:15:30 +0000 | [diff] [blame] | 240 | assert(isa<PointerType>(Ty) && "Store to nonpointer type!?!?"); |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 241 | break; |
| 242 | default: // Otherwise use the default behavior... |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 243 | Ty = NumOperands ? I.getOperand(0)->getType() : I.getType(); |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 244 | break; |
| 245 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 246 | |
| 247 | unsigned Type; |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 248 | int Slot = Table.getSlot(Ty); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 249 | assert(Slot != -1 && "Type not available!!?!"); |
| 250 | Type = (unsigned)Slot; |
| 251 | |
Chris Lattner | 7c50147 | 2001-07-28 17:51:21 +0000 | [diff] [blame] | 252 | // Make sure that we take the type number into consideration. We don't want |
| 253 | // to overflow the field size for the instruction format we select. |
| 254 | // |
| 255 | if (Slot > MaxOpSlot) MaxOpSlot = Slot; |
| 256 | |
Chris Lattner | 0908309 | 2001-07-08 04:57:15 +0000 | [diff] [blame] | 257 | // Handle the special case for cast... |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 258 | if (isa<CastInst>(I) || isa<VAArgInst>(I)) { |
Chris Lattner | 0908309 | 2001-07-08 04:57:15 +0000 | [diff] [blame] | 259 | // Cast has to encode the destination type as the second argument in the |
| 260 | // packet, or else we won't know what type to cast to! |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 261 | Slots[1] = Table.getSlot(I.getType()); |
Chris Lattner | 0908309 | 2001-07-08 04:57:15 +0000 | [diff] [blame] | 262 | assert(Slots[1] != -1 && "Cast return type unknown?"); |
| 263 | if (Slots[1] > MaxOpSlot) MaxOpSlot = Slots[1]; |
| 264 | NumOperands++; |
Chris Lattner | eff112c | 2003-10-18 05:54:48 +0000 | [diff] [blame] | 265 | } else if (const VANextInst *VANI = dyn_cast<VANextInst>(&I)) { |
| 266 | Slots[1] = Table.getSlot(VANI->getArgType()); |
| 267 | assert(Slots[1] != -1 && "va_next return type unknown?"); |
| 268 | if (Slots[1] > MaxOpSlot) MaxOpSlot = Slots[1]; |
| 269 | NumOperands++; |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 270 | } else if (const CallInst *CI = dyn_cast<CallInst>(&I)){// Handle VarArg calls |
Chris Lattner | 9fcccb0 | 2002-06-05 17:49:40 +0000 | [diff] [blame] | 271 | const PointerType *Ty = cast<PointerType>(CI->getCalledValue()->getType()); |
Chris Lattner | 2aac6bf | 2002-04-04 22:19:18 +0000 | [diff] [blame] | 272 | if (cast<FunctionType>(Ty->getElementType())->isVarArg()) { |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 273 | outputInstrVarArgsCall(CI, Opcode, Table, Type, Out); |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 274 | return; |
| 275 | } |
Chris Lattner | 0b12b5f | 2002-06-25 16:13:21 +0000 | [diff] [blame] | 276 | } else if (const InvokeInst *II = dyn_cast<InvokeInst>(&I)) {// ... & Invokes |
Chris Lattner | 9fcccb0 | 2002-06-05 17:49:40 +0000 | [diff] [blame] | 277 | const PointerType *Ty = cast<PointerType>(II->getCalledValue()->getType()); |
Chris Lattner | 2aac6bf | 2002-04-04 22:19:18 +0000 | [diff] [blame] | 278 | if (cast<FunctionType>(Ty->getElementType())->isVarArg()) { |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 279 | outputInstrVarArgsCall(II, Opcode, Table, Type, Out); |
Chris Lattner | ef9c23f | 2001-10-03 14:53:21 +0000 | [diff] [blame] | 280 | return; |
| 281 | } |
Chris Lattner | 0908309 | 2001-07-08 04:57:15 +0000 | [diff] [blame] | 282 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 283 | |
Chris Lattner | a407ba1 | 2003-01-21 20:13:49 +0000 | [diff] [blame] | 284 | ++NumInstrs; |
| 285 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 286 | // Decide which instruction encoding to use. This is determined primarily by |
| 287 | // the number of operands, and secondarily by whether or not the max operand |
| 288 | // will fit into the instruction encoding. More operands == fewer bits per |
| 289 | // operand. |
| 290 | // |
| 291 | switch (NumOperands) { |
| 292 | case 0: |
| 293 | case 1: |
| 294 | if (MaxOpSlot < (1 << 12)-1) { // -1 because we use 4095 to indicate 0 ops |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 295 | outputInstructionFormat1(&I, Opcode, Table, Slots, Type, Out); |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 296 | return; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 297 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 298 | if (Type >= (1 << 12)-1) |
| 299 | NumOversidedBecauseOfTypes++; |
| 300 | |
| 301 | NumOversized1OpInstrs++; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 302 | break; |
| 303 | |
| 304 | case 2: |
| 305 | if (MaxOpSlot < (1 << 8)) { |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 306 | outputInstructionFormat2(&I, Opcode, Table, Slots, Type, Out); |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 307 | return; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 308 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 309 | if (Type >= (1 << 8)) |
| 310 | NumOversidedBecauseOfTypes++; |
| 311 | NumOversized2OpInstrs++; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 312 | break; |
| 313 | |
| 314 | case 3: |
| 315 | if (MaxOpSlot < (1 << 6)) { |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 316 | outputInstructionFormat3(&I, Opcode, Table, Slots, Type, Out); |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 317 | return; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 318 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 319 | if (Type >= (1 << 6)) |
| 320 | NumOversidedBecauseOfTypes++; |
| 321 | NumOversized3OpInstrs++; |
| 322 | break; |
| 323 | default: |
| 324 | ++NumHugeOperandInstrs; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 325 | break; |
| 326 | } |
| 327 | |
Chris Lattner | ab5ac6b | 2001-07-08 23:22:50 +0000 | [diff] [blame] | 328 | // If we weren't handled before here, we either have a large number of |
Misha Brukman | 37f92e2 | 2003-09-11 22:34:13 +0000 | [diff] [blame] | 329 | // operands or a large operand index that we are referring to. |
Chris Lattner | 0fe56f4 | 2003-09-08 17:58:37 +0000 | [diff] [blame] | 330 | outputInstructionFormat0(&I, Opcode, Table, Type, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 331 | } |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 332 | |