Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 1 | //===-- WriteConst.cpp - Functions for writing constants ---------*- C++ -*--=// |
| 2 | // |
| 3 | // This file implements the routines for encoding constants to a bytecode |
| 4 | // stream. |
| 5 | // |
| 6 | // Note that the performance of this library is not terribly important, because |
| 7 | // it shouldn't be used by JIT type applications... so it is not a huge focus |
| 8 | // at least. :) |
| 9 | // |
| 10 | //===----------------------------------------------------------------------===// |
| 11 | |
| 12 | #include "WriterInternals.h" |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 13 | #include "llvm/ConstantVals.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 14 | #include "llvm/SymbolTable.h" |
| 15 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 16 | #include <iostream> |
| 17 | using std::cerr; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | |
| 19 | void BytecodeWriter::outputType(const Type *T) { |
| 20 | output_vbr((unsigned)T->getPrimitiveID(), Out); |
| 21 | |
| 22 | // That's all there is to handling primitive types... |
| 23 | if (T->isPrimitiveType()) |
| 24 | return; // We might do this if we alias a prim type: %x = type int |
| 25 | |
| 26 | switch (T->getPrimitiveID()) { // Handle derived types now. |
| 27 | case Type::MethodTyID: { |
Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 28 | const MethodType *MT = cast<const MethodType>(T); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 29 | int Slot = Table.getValSlot(MT->getReturnType()); |
| 30 | assert(Slot != -1 && "Type used but not available!!"); |
| 31 | output_vbr((unsigned)Slot, Out); |
| 32 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 33 | // Output the number of arguments to method (+1 if varargs): |
| 34 | output_vbr(MT->getParamTypes().size()+MT->isVarArg(), Out); |
| 35 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 36 | // Output all of the arguments... |
| 37 | MethodType::ParamTypes::const_iterator I = MT->getParamTypes().begin(); |
Chris Lattner | 079df31 | 2001-06-27 23:34:01 +0000 | [diff] [blame] | 38 | for (; I != MT->getParamTypes().end(); ++I) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 39 | Slot = Table.getValSlot(*I); |
| 40 | assert(Slot != -1 && "Type used but not available!!"); |
| 41 | output_vbr((unsigned)Slot, Out); |
| 42 | } |
| 43 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 44 | // Terminate list with VoidTy if we are a varargs function... |
| 45 | if (MT->isVarArg()) |
| 46 | output_vbr((unsigned)Type::VoidTy->getPrimitiveID(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 47 | break; |
| 48 | } |
| 49 | |
| 50 | case Type::ArrayTyID: { |
Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 51 | const ArrayType *AT = cast<const ArrayType>(T); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 52 | int Slot = Table.getValSlot(AT->getElementType()); |
| 53 | assert(Slot != -1 && "Type used but not available!!"); |
| 54 | output_vbr((unsigned)Slot, Out); |
| 55 | //cerr << "Type slot = " << Slot << " Type = " << T->getName() << endl; |
| 56 | |
| 57 | output_vbr(AT->getNumElements(), Out); |
| 58 | break; |
| 59 | } |
| 60 | |
| 61 | case Type::StructTyID: { |
Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 62 | const StructType *ST = cast<const StructType>(T); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 63 | |
| 64 | // Output all of the element types... |
| 65 | StructType::ElementTypes::const_iterator I = ST->getElementTypes().begin(); |
Chris Lattner | 079df31 | 2001-06-27 23:34:01 +0000 | [diff] [blame] | 66 | for (; I != ST->getElementTypes().end(); ++I) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 67 | int Slot = Table.getValSlot(*I); |
| 68 | assert(Slot != -1 && "Type used but not available!!"); |
| 69 | output_vbr((unsigned)Slot, Out); |
| 70 | } |
| 71 | |
| 72 | // Terminate list with VoidTy |
| 73 | output_vbr((unsigned)Type::VoidTy->getPrimitiveID(), Out); |
| 74 | break; |
| 75 | } |
| 76 | |
| 77 | case Type::PointerTyID: { |
Chris Lattner | b00c582 | 2001-10-02 03:41:24 +0000 | [diff] [blame] | 78 | const PointerType *PT = cast<const PointerType>(T); |
Chris Lattner | 7a17675 | 2001-12-04 00:03:30 +0000 | [diff] [blame] | 79 | int Slot = Table.getValSlot(PT->getElementType()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 80 | assert(Slot != -1 && "Type used but not available!!"); |
| 81 | output_vbr((unsigned)Slot, Out); |
| 82 | break; |
| 83 | } |
| 84 | |
Chris Lattner | 5855f0d | 2001-10-23 01:53:22 +0000 | [diff] [blame] | 85 | case Type::OpaqueTyID: { |
| 86 | // No need to emit anything, just the count of opaque types is enough. |
| 87 | break; |
| 88 | } |
| 89 | |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 90 | //case Type::PackedTyID: |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 91 | default: |
| 92 | cerr << __FILE__ << ":" << __LINE__ << ": Don't know how to serialize" |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 93 | << " Type '" << T->getDescription() << "'\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 94 | break; |
| 95 | } |
| 96 | } |
| 97 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 98 | bool BytecodeWriter::outputConstant(const Constant *CPV) { |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 99 | switch (CPV->getType()->getPrimitiveID()) { |
| 100 | case Type::BoolTyID: // Boolean Types |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 101 | if (cast<const ConstantBool>(CPV)->getValue()) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 102 | output_vbr((unsigned)1, Out); |
| 103 | else |
| 104 | output_vbr((unsigned)0, Out); |
| 105 | break; |
| 106 | |
| 107 | case Type::UByteTyID: // Unsigned integer types... |
| 108 | case Type::UShortTyID: |
| 109 | case Type::UIntTyID: |
| 110 | case Type::ULongTyID: |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 111 | output_vbr(cast<const ConstantUInt>(CPV)->getValue(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 112 | break; |
| 113 | |
| 114 | case Type::SByteTyID: // Signed integer types... |
| 115 | case Type::ShortTyID: |
| 116 | case Type::IntTyID: |
| 117 | case Type::LongTyID: |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 118 | output_vbr(cast<const ConstantSInt>(CPV)->getValue(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 119 | break; |
| 120 | |
| 121 | case Type::TypeTyID: // Serialize type type |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 122 | assert(0 && "Types should not be in the Constant!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 123 | break; |
| 124 | |
| 125 | case Type::ArrayTyID: { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 126 | const ConstantArray *CPA = cast<const ConstantArray>(CPV); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 127 | unsigned size = CPA->getValues().size(); |
Chris Lattner | 9086515 | 2001-12-14 16:30:51 +0000 | [diff] [blame] | 128 | assert(size == cast<ArrayType>(CPA->getType())->getNumElements() && "ConstantArray out of whack!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 129 | for (unsigned i = 0; i < size; i++) { |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 130 | int Slot = Table.getValSlot(CPA->getOperand(i)); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 131 | assert(Slot != -1 && "Constant used but not available!!"); |
| 132 | output_vbr((unsigned)Slot, Out); |
| 133 | } |
| 134 | break; |
| 135 | } |
| 136 | |
| 137 | case Type::StructTyID: { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 138 | const ConstantStruct *CPS = cast<const ConstantStruct>(CPV); |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame^] | 139 | const std::vector<Use> &Vals = CPS->getValues(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 140 | |
| 141 | for (unsigned i = 0; i < Vals.size(); ++i) { |
| 142 | int Slot = Table.getValSlot(Vals[i]); |
| 143 | assert(Slot != -1 && "Constant used but not available!!"); |
| 144 | output_vbr((unsigned)Slot, Out); |
| 145 | } |
| 146 | break; |
| 147 | } |
| 148 | |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 149 | case Type::PointerTyID: { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 150 | const ConstantPointer *CPP = cast<const ConstantPointer>(CPV); |
| 151 | if (isa<ConstantPointerNull>(CPP)) { |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 152 | output_vbr((unsigned)0, Out); |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 153 | } else if (const ConstantPointerRef *CPR = |
| 154 | dyn_cast<ConstantPointerRef>(CPP)) { |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 155 | output_vbr((unsigned)1, Out); |
| 156 | int Slot = Table.getValSlot((Value*)CPR->getValue()); |
| 157 | assert(Slot != -1 && "Global used but not available!!"); |
| 158 | output_vbr((unsigned)Slot, Out); |
| 159 | } else { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 160 | assert(0 && "Unknown ConstantPointer Subclass!"); |
Chris Lattner | 1b98c5c | 2001-10-13 06:48:38 +0000 | [diff] [blame] | 161 | } |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 162 | break; |
| 163 | } |
| 164 | |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 165 | case Type::FloatTyID: { // Floating point types... |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 166 | float Tmp = (float)cast<ConstantFP>(CPV)->getValue(); |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 167 | output_data(&Tmp, &Tmp+1, Out); |
| 168 | break; |
| 169 | } |
| 170 | case Type::DoubleTyID: { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 171 | double Tmp = cast<ConstantFP>(CPV)->getValue(); |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 172 | output_data(&Tmp, &Tmp+1, Out); |
| 173 | break; |
| 174 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 175 | |
| 176 | case Type::VoidTyID: |
| 177 | case Type::LabelTyID: |
| 178 | default: |
| 179 | cerr << __FILE__ << ":" << __LINE__ << ": Don't know how to serialize" |
| 180 | << " type '" << CPV->getType()->getName() << "'\n"; |
| 181 | break; |
| 182 | } |
| 183 | return false; |
| 184 | } |