Ted Kremenek | 2f1f8cb | 2007-10-25 21:37:16 +0000 | [diff] [blame] | 1 | //===--- DeclSerialization.cpp - Serialization of Decls ---------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file was developed by Ted Kremenek and is distributed under |
| 6 | // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This files defines methods that implement bitcode serialization for Decls. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "clang/AST/Decl.h" |
| 15 | #include "clang/AST/Expr.h" |
| 16 | #include "llvm/Bitcode/Serialize.h" |
| 17 | #include "llvm/Bitcode/Deserialize.h" |
| 18 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 19 | using llvm::Serializer; |
| 20 | using llvm::Deserializer; |
| 21 | using llvm::SerializedPtrID; |
| 22 | |
Ted Kremenek | 2f1f8cb | 2007-10-25 21:37:16 +0000 | [diff] [blame] | 23 | using namespace clang; |
| 24 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 25 | //===----------------------------------------------------------------------===// |
| 26 | // Decl Serialization: Dispatch code to handle specialized decl types. |
| 27 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 8af8fe3 | 2007-11-05 21:38:00 +0000 | [diff] [blame] | 28 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 29 | void Decl::Emit(Serializer& S) const { |
| 30 | S.EmitInt(getKind()); |
| 31 | EmitImpl(S); |
Ted Kremenek | 2f1f8cb | 2007-10-25 21:37:16 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 34 | Decl* Decl::Create(Deserializer& D) { |
| 35 | |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 36 | Kind k = static_cast<Kind>(D.ReadInt()); |
| 37 | |
| 38 | switch (k) { |
| 39 | default: |
| 40 | assert (false && "Not implemented."); |
| 41 | break; |
| 42 | |
| 43 | case BlockVar: |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 44 | return BlockVarDecl::CreateImpl(D); |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 45 | |
| 46 | case FileVar: |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 47 | return FileVarDecl::CreateImpl(D); |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 48 | |
| 49 | case ParmVar: |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 50 | return ParmVarDecl::CreateImpl(D); |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 51 | |
| 52 | case Function: |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 53 | return FunctionDecl::CreateImpl(D); |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 54 | |
Ted Kremenek | aad48b6 | 2007-11-14 08:06:37 +0000 | [diff] [blame^] | 55 | case Struct: |
| 56 | return RecordDecl::CreateImpl(k,D); |
| 57 | |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 58 | case Typedef: |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 59 | return TypedefDecl::CreateImpl(D); |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 60 | } |
Ted Kremenek | 2f1f8cb | 2007-10-25 21:37:16 +0000 | [diff] [blame] | 61 | } |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 62 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 63 | //===----------------------------------------------------------------------===// |
| 64 | // Common serialization logic for subclasses of Decl. |
| 65 | //===----------------------------------------------------------------------===// |
| 66 | |
| 67 | void Decl::EmitInRec(Serializer& S) const { |
| 68 | S.Emit(getLocation()); // From Decl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 69 | } |
| 70 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 71 | void Decl::ReadInRec(Deserializer& D) { |
| 72 | Loc = SourceLocation::ReadVal(D); // From Decl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 73 | } |
| 74 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 75 | //===----------------------------------------------------------------------===// |
| 76 | // Common serialization logic for subclasses of NamedDecl. |
| 77 | //===----------------------------------------------------------------------===// |
| 78 | |
| 79 | void NamedDecl::EmitInRec(Serializer& S) const { |
| 80 | Decl::EmitInRec(S); |
| 81 | S.EmitPtr(getIdentifier()); // From NamedDecl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 82 | } |
| 83 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 84 | void NamedDecl::ReadInRec(Deserializer& D) { |
| 85 | Decl::ReadInRec(D); |
| 86 | D.ReadPtr(Identifier); // From NamedDecl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 87 | } |
| 88 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 89 | //===----------------------------------------------------------------------===// |
| 90 | // Common serialization logic for subclasses of ScopedDecl. |
| 91 | //===----------------------------------------------------------------------===// |
| 92 | |
| 93 | void ScopedDecl::EmitInRec(Serializer& S) const { |
| 94 | NamedDecl::EmitInRec(S); |
| 95 | S.EmitPtr(getNext()); // From ScopedDecl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 96 | } |
| 97 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 98 | void ScopedDecl::ReadInRec(Deserializer& D) { |
| 99 | NamedDecl::ReadInRec(D); |
| 100 | D.ReadPtr(Next); // From ScopedDecl. |
| 101 | } |
| 102 | |
| 103 | //===------------------------------------------------------------===// |
| 104 | // NOTE: Not all subclasses of ScopedDecl will use the "OutRec" // |
| 105 | // methods. This is because owned pointers are usually "batched" // |
| 106 | // together for efficiency. // |
| 107 | //===------------------------------------------------------------===// |
| 108 | |
| 109 | void ScopedDecl::EmitOutRec(Serializer& S) const { |
| 110 | S.EmitOwnedPtr(getNextDeclarator()); // From ScopedDecl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 113 | void ScopedDecl::ReadOutRec(Deserializer& D) { |
| 114 | NextDeclarator = |
| 115 | cast_or_null<ScopedDecl>(D.ReadOwnedPtr<Decl>()); // From ScopedDecl. |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 118 | //===----------------------------------------------------------------------===// |
| 119 | // Common serialization logic for subclasses of ValueDecl. |
| 120 | //===----------------------------------------------------------------------===// |
| 121 | |
| 122 | void ValueDecl::EmitInRec(Serializer& S) const { |
| 123 | ScopedDecl::EmitInRec(S); |
| 124 | S.Emit(getType()); // From ValueDecl. |
| 125 | } |
| 126 | |
| 127 | void ValueDecl::ReadInRec(Deserializer& D) { |
| 128 | ScopedDecl::ReadInRec(D); |
| 129 | DeclType = QualType::ReadVal(D); // From ValueDecl. |
| 130 | } |
| 131 | |
| 132 | //===----------------------------------------------------------------------===// |
| 133 | // Common serialization logic for subclasses of VarDecl. |
| 134 | //===----------------------------------------------------------------------===// |
| 135 | |
| 136 | void VarDecl::EmitInRec(Serializer& S) const { |
| 137 | ValueDecl::EmitInRec(S); |
| 138 | S.EmitInt(getStorageClass()); // From VarDecl. |
| 139 | S.EmitInt(getObjcDeclQualifier()); // From VarDecl. |
| 140 | } |
| 141 | |
| 142 | void VarDecl::ReadInRec(Deserializer& D) { |
| 143 | ValueDecl::ReadInRec(D); |
| 144 | SClass = static_cast<StorageClass>(D.ReadInt()); // From VarDecl. |
| 145 | objcDeclQualifier = static_cast<ObjcDeclQualifier>(D.ReadInt()); // VarDecl. |
| 146 | } |
| 147 | |
| 148 | //===------------------------------------------------------------===// |
| 149 | // NOTE: VarDecl has its own "OutRec" methods that doesn't use // |
| 150 | // the one define in ScopedDecl. This is to batch emit the // |
| 151 | // owned pointers, which results in a smaller output. |
| 152 | //===------------------------------------------------------------===// |
| 153 | |
| 154 | void VarDecl::EmitOutRec(Serializer& S) const { |
| 155 | // Emit these last because they will create records of their own. |
| 156 | S.BatchEmitOwnedPtrs(getInit(), // From VarDecl. |
| 157 | getNextDeclarator()); // From ScopedDecl. |
| 158 | } |
| 159 | |
| 160 | void VarDecl::ReadOutRec(Deserializer& D) { |
| 161 | Decl* next_declarator; |
| 162 | |
| 163 | D.BatchReadOwnedPtrs(Init, // From VarDecl. |
| 164 | next_declarator); // From ScopedDecl. |
| 165 | |
| 166 | setNextDeclarator(cast_or_null<ScopedDecl>(next_declarator)); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 167 | } |
| 168 | |
| 169 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 170 | void VarDecl::EmitImpl(Serializer& S) const { |
| 171 | VarDecl::EmitInRec(S); |
| 172 | VarDecl::EmitOutRec(S); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 173 | } |
| 174 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 175 | void VarDecl::ReadImpl(Deserializer& D) { |
| 176 | ReadInRec(D); |
| 177 | ReadOutRec(D); |
| 178 | } |
| 179 | |
| 180 | //===----------------------------------------------------------------------===// |
| 181 | // BlockVarDecl Serialization. |
| 182 | //===----------------------------------------------------------------------===// |
| 183 | |
| 184 | BlockVarDecl* BlockVarDecl::CreateImpl(Deserializer& D) { |
| 185 | BlockVarDecl* decl = |
| 186 | new BlockVarDecl(SourceLocation(),NULL,QualType(),None,NULL); |
| 187 | |
| 188 | decl->VarDecl::ReadImpl(D); |
| 189 | |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 190 | return decl; |
| 191 | } |
| 192 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 193 | //===----------------------------------------------------------------------===// |
| 194 | // FileVarDecl Serialization. |
| 195 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 196 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 197 | FileVarDecl* FileVarDecl::CreateImpl(Deserializer& D) { |
| 198 | FileVarDecl* decl = |
| 199 | new FileVarDecl(SourceLocation(),NULL,QualType(),None,NULL); |
| 200 | |
| 201 | decl->VarDecl::ReadImpl(D); |
| 202 | |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 203 | return decl; |
| 204 | } |
| 205 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 206 | //===----------------------------------------------------------------------===// |
| 207 | // ParmDecl Serialization. |
| 208 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 209 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 210 | ParmVarDecl* ParmVarDecl::CreateImpl(Deserializer& D) { |
| 211 | ParmVarDecl* decl = |
| 212 | new ParmVarDecl(SourceLocation(),NULL,QualType(),None,NULL); |
| 213 | |
| 214 | decl->VarDecl::ReadImpl(D); |
| 215 | |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 216 | return decl; |
| 217 | } |
| 218 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 219 | //===----------------------------------------------------------------------===// |
| 220 | // FunctionDecl Serialization. |
| 221 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 222 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 223 | void FunctionDecl::EmitImpl(Serializer& S) const { |
| 224 | S.EmitInt(SClass); // From FunctionDecl. |
| 225 | S.EmitBool(IsInline); // From FunctionDecl. |
| 226 | ValueDecl::EmitInRec(S); |
| 227 | S.EmitPtr(DeclChain); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 228 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 229 | // NOTE: We do not need to serialize out the number of parameters, because |
| 230 | // that is encoded in the type (accessed via getNumParams()). |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 231 | |
Ted Kremenek | d437f23 | 2007-11-13 22:51:08 +0000 | [diff] [blame] | 232 | if (ParamInfo != NULL) { |
| 233 | S.EmitBool(true); |
| 234 | S.BatchEmitOwnedPtrs(getNumParams(),&ParamInfo[0], Body, |
| 235 | getNextDeclarator()); |
| 236 | } |
| 237 | else { |
| 238 | S.EmitBool(false); |
| 239 | S.BatchEmitOwnedPtrs(Body,getNextDeclarator()); |
| 240 | } |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 241 | } |
| 242 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 243 | FunctionDecl* FunctionDecl::CreateImpl(Deserializer& D) { |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 244 | StorageClass SClass = static_cast<StorageClass>(D.ReadInt()); |
| 245 | bool IsInline = D.ReadBool(); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 246 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 247 | FunctionDecl* decl = |
| 248 | new FunctionDecl(SourceLocation(),NULL,QualType(),SClass,IsInline); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 249 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 250 | decl->ValueDecl::ReadInRec(D); |
| 251 | D.ReadPtr(decl->DeclChain); |
| 252 | |
| 253 | decl->ParamInfo = decl->getNumParams() |
| 254 | ? new ParmVarDecl*[decl->getNumParams()] |
| 255 | : NULL; |
| 256 | |
| 257 | Decl* next_declarator; |
| 258 | |
Ted Kremenek | d437f23 | 2007-11-13 22:51:08 +0000 | [diff] [blame] | 259 | bool hasParamDecls = D.ReadBool(); |
| 260 | |
| 261 | if (hasParamDecls) |
| 262 | D.BatchReadOwnedPtrs(decl->getNumParams(), |
| 263 | reinterpret_cast<Decl**>(&decl->ParamInfo[0]), |
| 264 | decl->Body, next_declarator); |
| 265 | else |
| 266 | D.BatchReadOwnedPtrs(decl->Body, next_declarator); |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 267 | |
| 268 | decl->setNextDeclarator(cast_or_null<ScopedDecl>(next_declarator)); |
Ted Kremenek | 0497331 | 2007-11-02 18:05:11 +0000 | [diff] [blame] | 269 | |
| 270 | return decl; |
| 271 | } |
Ted Kremenek | f7bf411 | 2007-11-05 21:49:34 +0000 | [diff] [blame] | 272 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 273 | //===----------------------------------------------------------------------===// |
Ted Kremenek | aad48b6 | 2007-11-14 08:06:37 +0000 | [diff] [blame^] | 274 | // RecordDecl Serialization. |
| 275 | //===----------------------------------------------------------------------===// |
| 276 | |
| 277 | void RecordDecl::EmitImpl(llvm::Serializer& S) const { |
| 278 | ScopedDecl::EmitInRec(S); |
| 279 | S.EmitBool(hasFlexibleArrayMember()); |
| 280 | S.EmitSInt(getNumMembers()); |
| 281 | if (getNumMembers() > 0) { |
| 282 | assert (Members); |
| 283 | S.BatchEmitOwnedPtrs((unsigned) getNumMembers(), |
| 284 | (Decl**) &Members[0],getNextDeclarator()); |
| 285 | } |
| 286 | else |
| 287 | ScopedDecl::EmitOutRec(S); |
| 288 | } |
| 289 | |
| 290 | RecordDecl* RecordDecl::CreateImpl(Decl::Kind DK, Deserializer& D) { |
| 291 | RecordDecl* decl = new RecordDecl(DK,SourceLocation(),NULL,NULL); |
| 292 | |
| 293 | decl->ScopedDecl::ReadInRec(D); |
| 294 | decl->setHasFlexibleArrayMember(D.ReadBool()); |
| 295 | decl->NumMembers = D.ReadSInt(); |
| 296 | |
| 297 | if (decl->getNumMembers() > 0) { |
| 298 | Decl* next_declarator; |
| 299 | decl->Members = new FieldDecl*[(unsigned) decl->getNumMembers()]; |
| 300 | |
| 301 | D.BatchReadOwnedPtrs((unsigned) decl->getNumMembers(), |
| 302 | (Decl**) &decl->Members[0], |
| 303 | next_declarator); |
| 304 | |
| 305 | decl->setNextDeclarator(cast_or_null<ScopedDecl>(next_declarator)); |
| 306 | } |
| 307 | else |
| 308 | decl->ScopedDecl::ReadOutRec(D); |
| 309 | |
| 310 | return decl; |
| 311 | } |
| 312 | |
| 313 | //===----------------------------------------------------------------------===// |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 314 | // TypedefDecl Serialization. |
| 315 | //===----------------------------------------------------------------------===// |
| 316 | |
| 317 | void TypedefDecl::EmitImpl(Serializer& S) const { |
Ted Kremenek | 2ebc89f | 2007-11-06 19:51:47 +0000 | [diff] [blame] | 318 | S.Emit(UnderlyingType); |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 319 | ScopedDecl::EmitInRec(S); |
| 320 | ScopedDecl::EmitOutRec(S); |
Ted Kremenek | f7bf411 | 2007-11-05 21:49:34 +0000 | [diff] [blame] | 321 | } |
| 322 | |
Ted Kremenek | 928fd7f | 2007-11-13 00:15:39 +0000 | [diff] [blame] | 323 | TypedefDecl* TypedefDecl::CreateImpl(Deserializer& D) { |
| 324 | QualType T = QualType::ReadVal(D); |
| 325 | |
| 326 | TypedefDecl* decl = new TypedefDecl(SourceLocation(),NULL,T,NULL); |
| 327 | |
| 328 | decl->ScopedDecl::ReadInRec(D); |
| 329 | decl->ScopedDecl::ReadOutRec(D); |
| 330 | |
Ted Kremenek | f7bf411 | 2007-11-05 21:49:34 +0000 | [diff] [blame] | 331 | return decl; |
| 332 | } |