Chris Lattner | cf3056d | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===-- ConstantWriter.cpp - Functions for writing constants --------------===// |
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 constants to a bytecode |
| 11 | // stream. |
| 12 | // |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "WriterInternals.h" |
Chris Lattner | 31bcdb8 | 2002-04-28 19:55:58 +0000 | [diff] [blame] | 16 | #include "llvm/Constants.h" |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 17 | #include "llvm/SymbolTable.h" |
| 18 | #include "llvm/DerivedTypes.h" |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 19 | #include "Support/Statistic.h" |
Chris Lattner | 44f549b | 2004-01-10 18:49:43 +0000 | [diff] [blame] | 20 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 21 | |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 22 | static Statistic<> |
| 23 | TypeBytes("bytecodewriter", "Bytes of types"); |
| 24 | static Statistic<> |
| 25 | ConstantBytes("bytecodewriter", "Bytes of constants"); |
| 26 | static Statistic<> |
| 27 | NumConstants("bytecodewriter", "Number of constants"); |
| 28 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 29 | void BytecodeWriter::outputType(const Type *T) { |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 30 | TypeBytes -= Out.size(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 31 | output_vbr((unsigned)T->getPrimitiveID(), Out); |
| 32 | |
| 33 | // That's all there is to handling primitive types... |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 34 | if (T->isPrimitiveType()) { |
| 35 | TypeBytes += Out.size(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 36 | return; // We might do this if we alias a prim type: %x = type int |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 37 | } |
| 38 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 39 | switch (T->getPrimitiveID()) { // Handle derived types now. |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 40 | case Type::FunctionTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 41 | const FunctionType *MT = cast<FunctionType>(T); |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 42 | int Slot = Table.getSlot(MT->getReturnType()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 43 | assert(Slot != -1 && "Type used but not available!!"); |
| 44 | output_vbr((unsigned)Slot, Out); |
| 45 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 46 | // Output the number of arguments to method (+1 if varargs): |
Brian Gaeke | bc839b5 | 2003-10-29 20:09:01 +0000 | [diff] [blame] | 47 | output_vbr((unsigned)MT->getParamTypes().size()+MT->isVarArg(), Out); |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 48 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 49 | // Output all of the arguments... |
Chris Lattner | c9aa7df | 2002-03-29 03:51:11 +0000 | [diff] [blame] | 50 | FunctionType::ParamTypes::const_iterator I = MT->getParamTypes().begin(); |
Chris Lattner | 079df31 | 2001-06-27 23:34:01 +0000 | [diff] [blame] | 51 | for (; I != MT->getParamTypes().end(); ++I) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 52 | Slot = Table.getSlot(*I); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 53 | assert(Slot != -1 && "Type used but not available!!"); |
| 54 | output_vbr((unsigned)Slot, Out); |
| 55 | } |
| 56 | |
Chris Lattner | e5a57ee | 2001-07-25 22:47:55 +0000 | [diff] [blame] | 57 | // Terminate list with VoidTy if we are a varargs function... |
| 58 | if (MT->isVarArg()) |
| 59 | output_vbr((unsigned)Type::VoidTy->getPrimitiveID(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 60 | break; |
| 61 | } |
| 62 | |
| 63 | case Type::ArrayTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 64 | const ArrayType *AT = cast<ArrayType>(T); |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 65 | int Slot = Table.getSlot(AT->getElementType()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 66 | assert(Slot != -1 && "Type used but not available!!"); |
| 67 | output_vbr((unsigned)Slot, Out); |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 68 | //std::cerr << "Type slot = " << Slot << " Type = " << T->getName() << endl; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 69 | |
| 70 | output_vbr(AT->getNumElements(), Out); |
| 71 | break; |
| 72 | } |
| 73 | |
| 74 | case Type::StructTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 75 | const StructType *ST = cast<StructType>(T); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 76 | |
| 77 | // Output all of the element types... |
| 78 | StructType::ElementTypes::const_iterator I = ST->getElementTypes().begin(); |
Chris Lattner | 079df31 | 2001-06-27 23:34:01 +0000 | [diff] [blame] | 79 | for (; I != ST->getElementTypes().end(); ++I) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 80 | int Slot = Table.getSlot(*I); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 81 | assert(Slot != -1 && "Type used but not available!!"); |
| 82 | output_vbr((unsigned)Slot, Out); |
| 83 | } |
| 84 | |
| 85 | // Terminate list with VoidTy |
| 86 | output_vbr((unsigned)Type::VoidTy->getPrimitiveID(), Out); |
| 87 | break; |
| 88 | } |
| 89 | |
| 90 | case Type::PointerTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 91 | const PointerType *PT = cast<PointerType>(T); |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 92 | int Slot = Table.getSlot(PT->getElementType()); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 93 | assert(Slot != -1 && "Type used but not available!!"); |
| 94 | output_vbr((unsigned)Slot, Out); |
| 95 | break; |
| 96 | } |
| 97 | |
Chris Lattner | 5855f0d | 2001-10-23 01:53:22 +0000 | [diff] [blame] | 98 | case Type::OpaqueTyID: { |
| 99 | // No need to emit anything, just the count of opaque types is enough. |
| 100 | break; |
| 101 | } |
| 102 | |
Chris Lattner | e8fdde1 | 2001-09-07 16:39:41 +0000 | [diff] [blame] | 103 | //case Type::PackedTyID: |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 104 | default: |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 105 | std::cerr << __FILE__ << ":" << __LINE__ << ": Don't know how to serialize" |
| 106 | << " Type '" << T->getDescription() << "'\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 107 | break; |
| 108 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 109 | TypeBytes += Out.size(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 110 | } |
| 111 | |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 112 | bool BytecodeWriter::outputConstant(const Constant *CPV) { |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 113 | ConstantBytes -= Out.size(); |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 114 | assert((CPV->getType()->isPrimitiveType() || !CPV->isNullValue()) && |
| 115 | "Shouldn't output null constants!"); |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 116 | |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 117 | ++NumConstants; |
| 118 | |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 119 | // We must check for a ConstantExpr before switching by type because |
| 120 | // a ConstantExpr can be of any type, and has no explicit value. |
| 121 | // |
Chris Lattner | c188eeb | 2002-07-30 18:54:25 +0000 | [diff] [blame] | 122 | if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CPV)) { |
| 123 | // FIXME: Encoding of constant exprs could be much more compact! |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 124 | assert(CE->getNumOperands() > 0 && "ConstantExpr with 0 operands"); |
| 125 | output_vbr(CE->getNumOperands(), Out); // flags as an expr |
| 126 | output_vbr(CE->getOpcode(), Out); // flags as an expr |
| 127 | |
| 128 | for (User::const_op_iterator OI = CE->op_begin(); OI != CE->op_end(); ++OI){ |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 129 | int Slot = Table.getSlot(*OI); |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 130 | assert(Slot != -1 && "Unknown constant used in ConstantExpr!!"); |
| 131 | output_vbr((unsigned)Slot, Out); |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 132 | Slot = Table.getSlot((*OI)->getType()); |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 133 | output_vbr((unsigned)Slot, Out); |
| 134 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 135 | ConstantBytes += Out.size(); |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 136 | return false; |
Chris Lattner | c188eeb | 2002-07-30 18:54:25 +0000 | [diff] [blame] | 137 | } else { |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 138 | output_vbr(0U, Out); // flag as not a ConstantExpr |
Chris Lattner | c188eeb | 2002-07-30 18:54:25 +0000 | [diff] [blame] | 139 | } |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 141 | switch (CPV->getType()->getPrimitiveID()) { |
| 142 | case Type::BoolTyID: // Boolean Types |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 143 | if (cast<ConstantBool>(CPV)->getValue()) |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 144 | output_vbr(1U, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 145 | else |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 146 | output_vbr(0U, Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 147 | break; |
| 148 | |
| 149 | case Type::UByteTyID: // Unsigned integer types... |
| 150 | case Type::UShortTyID: |
| 151 | case Type::UIntTyID: |
| 152 | case Type::ULongTyID: |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 153 | output_vbr(cast<ConstantUInt>(CPV)->getValue(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 154 | break; |
| 155 | |
| 156 | case Type::SByteTyID: // Signed integer types... |
| 157 | case Type::ShortTyID: |
| 158 | case Type::IntTyID: |
| 159 | case Type::LongTyID: |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 160 | output_vbr(cast<ConstantSInt>(CPV)->getValue(), Out); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 161 | break; |
| 162 | |
| 163 | case Type::TypeTyID: // Serialize type type |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 164 | assert(0 && "Types should not be in the Constant!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 165 | break; |
| 166 | |
| 167 | case Type::ArrayTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 168 | const ConstantArray *CPA = cast<ConstantArray>(CPV); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 169 | unsigned size = CPA->getValues().size(); |
Vikram S. Adve | a24a0bb | 2002-07-14 23:08:30 +0000 | [diff] [blame] | 170 | assert(size == cast<ArrayType>(CPA->getType())->getNumElements() |
| 171 | && "ConstantArray out of whack!"); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 172 | for (unsigned i = 0; i < size; i++) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 173 | int Slot = Table.getSlot(CPA->getOperand(i)); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 174 | assert(Slot != -1 && "Constant used but not available!!"); |
| 175 | output_vbr((unsigned)Slot, Out); |
| 176 | } |
| 177 | break; |
| 178 | } |
| 179 | |
| 180 | case Type::StructTyID: { |
Chris Lattner | 987cb2c | 2003-07-23 14:54:33 +0000 | [diff] [blame] | 181 | const ConstantStruct *CPS = cast<ConstantStruct>(CPV); |
Chris Lattner | 697954c | 2002-01-20 22:54:45 +0000 | [diff] [blame] | 182 | const std::vector<Use> &Vals = CPS->getValues(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 183 | |
| 184 | for (unsigned i = 0; i < Vals.size(); ++i) { |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 185 | int Slot = Table.getSlot(Vals[i]); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 186 | assert(Slot != -1 && "Constant used but not available!!"); |
| 187 | output_vbr((unsigned)Slot, Out); |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 188 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 189 | break; |
| 190 | } |
| 191 | |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 192 | case Type::PointerTyID: { |
Chris Lattner | 02071d0 | 2003-11-17 17:28:29 +0000 | [diff] [blame] | 193 | const ConstantPointerRef *CPR = cast<ConstantPointerRef>(CPV); |
Alkis Evlogimenos | 6059638 | 2003-10-17 02:02:40 +0000 | [diff] [blame] | 194 | int Slot = Table.getSlot((Value*)CPR->getValue()); |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 195 | assert(Slot != -1 && "Global used but not available!!"); |
| 196 | output_vbr((unsigned)Slot, Out); |
Chris Lattner | 1a1cb11 | 2001-09-30 22:46:54 +0000 | [diff] [blame] | 197 | break; |
| 198 | } |
| 199 | |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 200 | case Type::FloatTyID: { // Floating point types... |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 201 | float Tmp = (float)cast<ConstantFP>(CPV)->getValue(); |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 202 | output_data(&Tmp, &Tmp+1, Out); |
| 203 | break; |
| 204 | } |
| 205 | case Type::DoubleTyID: { |
Chris Lattner | e9bb2df | 2001-12-03 22:26:30 +0000 | [diff] [blame] | 206 | double Tmp = cast<ConstantFP>(CPV)->getValue(); |
Chris Lattner | ff5ecce | 2001-07-15 00:17:23 +0000 | [diff] [blame] | 207 | output_data(&Tmp, &Tmp+1, Out); |
| 208 | break; |
| 209 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 210 | |
| 211 | case Type::VoidTyID: |
| 212 | case Type::LabelTyID: |
| 213 | default: |
Chris Lattner | 186a1f7 | 2003-03-19 20:56:46 +0000 | [diff] [blame] | 214 | std::cerr << __FILE__ << ":" << __LINE__ << ": Don't know how to serialize" |
| 215 | << " type '" << CPV->getType()->getName() << "'\n"; |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 216 | break; |
| 217 | } |
Chris Lattner | d6942d7 | 2004-01-14 16:54:21 +0000 | [diff] [blame] | 218 | ConstantBytes += Out.size(); |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 219 | return false; |
| 220 | } |