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