Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- ConstantInitBuilder.h - Builder for LLVM IR constants ----*- C++ -*-===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | // This class provides a convenient interface for building complex |
||
| 10 | // global initializers of the sort that are frequently required for |
||
| 11 | // language ABIs. |
||
| 12 | // |
||
| 13 | //===----------------------------------------------------------------------===// |
||
| 14 | |||
| 15 | #ifndef LLVM_CLANG_CODEGEN_CONSTANTINITBUILDER_H |
||
| 16 | #define LLVM_CLANG_CODEGEN_CONSTANTINITBUILDER_H |
||
| 17 | |||
| 18 | #include "llvm/ADT/ArrayRef.h" |
||
| 19 | #include "llvm/ADT/SmallVector.h" |
||
| 20 | #include "llvm/IR/Constants.h" |
||
| 21 | #include "llvm/IR/GlobalValue.h" |
||
| 22 | #include "clang/AST/CharUnits.h" |
||
| 23 | #include "clang/CodeGen/ConstantInitFuture.h" |
||
| 24 | |||
| 25 | #include <vector> |
||
| 26 | |||
| 27 | namespace clang { |
||
| 28 | namespace CodeGen { |
||
| 29 | |||
| 30 | class CodeGenModule; |
||
| 31 | |||
| 32 | /// A convenience builder class for complex constant initializers, |
||
| 33 | /// especially for anonymous global structures used by various language |
||
| 34 | /// runtimes. |
||
| 35 | /// |
||
| 36 | /// The basic usage pattern is expected to be something like: |
||
| 37 | /// ConstantInitBuilder builder(CGM); |
||
| 38 | /// auto toplevel = builder.beginStruct(); |
||
| 39 | /// toplevel.addInt(CGM.SizeTy, widgets.size()); |
||
| 40 | /// auto widgetArray = builder.beginArray(); |
||
| 41 | /// for (auto &widget : widgets) { |
||
| 42 | /// auto widgetDesc = widgetArray.beginStruct(); |
||
| 43 | /// widgetDesc.addInt(CGM.SizeTy, widget.getPower()); |
||
| 44 | /// widgetDesc.add(CGM.GetAddrOfConstantString(widget.getName())); |
||
| 45 | /// widgetDesc.add(CGM.GetAddrOfGlobal(widget.getInitializerDecl())); |
||
| 46 | /// widgetDesc.finishAndAddTo(widgetArray); |
||
| 47 | /// } |
||
| 48 | /// widgetArray.finishAndAddTo(toplevel); |
||
| 49 | /// auto global = toplevel.finishAndCreateGlobal("WIDGET_LIST", Align, |
||
| 50 | /// /*constant*/ true); |
||
| 51 | class ConstantInitBuilderBase { |
||
| 52 | struct SelfReference { |
||
| 53 | llvm::GlobalVariable *Dummy; |
||
| 54 | llvm::SmallVector<llvm::Constant*, 4> Indices; |
||
| 55 | |||
| 56 | SelfReference(llvm::GlobalVariable *dummy) : Dummy(dummy) {} |
||
| 57 | }; |
||
| 58 | CodeGenModule &CGM; |
||
| 59 | llvm::SmallVector<llvm::Constant*, 16> Buffer; |
||
| 60 | std::vector<SelfReference> SelfReferences; |
||
| 61 | bool Frozen = false; |
||
| 62 | |||
| 63 | friend class ConstantInitFuture; |
||
| 64 | friend class ConstantAggregateBuilderBase; |
||
| 65 | template <class, class> |
||
| 66 | friend class ConstantAggregateBuilderTemplateBase; |
||
| 67 | |||
| 68 | protected: |
||
| 69 | explicit ConstantInitBuilderBase(CodeGenModule &CGM) : CGM(CGM) {} |
||
| 70 | |||
| 71 | ~ConstantInitBuilderBase() { |
||
| 72 | assert(Buffer.empty() && "didn't claim all values out of buffer"); |
||
| 73 | assert(SelfReferences.empty() && "didn't apply all self-references"); |
||
| 74 | } |
||
| 75 | |||
| 76 | private: |
||
| 77 | llvm::GlobalVariable *createGlobal(llvm::Constant *initializer, |
||
| 78 | const llvm::Twine &name, |
||
| 79 | CharUnits alignment, |
||
| 80 | bool constant = false, |
||
| 81 | llvm::GlobalValue::LinkageTypes linkage |
||
| 82 | = llvm::GlobalValue::InternalLinkage, |
||
| 83 | unsigned addressSpace = 0); |
||
| 84 | |||
| 85 | ConstantInitFuture createFuture(llvm::Constant *initializer); |
||
| 86 | |||
| 87 | void setGlobalInitializer(llvm::GlobalVariable *GV, |
||
| 88 | llvm::Constant *initializer); |
||
| 89 | |||
| 90 | void resolveSelfReferences(llvm::GlobalVariable *GV); |
||
| 91 | |||
| 92 | void abandon(size_t newEnd); |
||
| 93 | }; |
||
| 94 | |||
| 95 | /// A concrete base class for struct and array aggregate |
||
| 96 | /// initializer builders. |
||
| 97 | class ConstantAggregateBuilderBase { |
||
| 98 | protected: |
||
| 99 | ConstantInitBuilderBase &Builder; |
||
| 100 | ConstantAggregateBuilderBase *Parent; |
||
| 101 | size_t Begin; |
||
| 102 | mutable size_t CachedOffsetEnd = 0; |
||
| 103 | bool Finished = false; |
||
| 104 | bool Frozen = false; |
||
| 105 | bool Packed = false; |
||
| 106 | mutable CharUnits CachedOffsetFromGlobal; |
||
| 107 | |||
| 108 | llvm::SmallVectorImpl<llvm::Constant*> &getBuffer() { |
||
| 109 | return Builder.Buffer; |
||
| 110 | } |
||
| 111 | |||
| 112 | const llvm::SmallVectorImpl<llvm::Constant*> &getBuffer() const { |
||
| 113 | return Builder.Buffer; |
||
| 114 | } |
||
| 115 | |||
| 116 | ConstantAggregateBuilderBase(ConstantInitBuilderBase &builder, |
||
| 117 | ConstantAggregateBuilderBase *parent) |
||
| 118 | : Builder(builder), Parent(parent), Begin(builder.Buffer.size()) { |
||
| 119 | if (parent) { |
||
| 120 | assert(!parent->Frozen && "parent already has child builder active"); |
||
| 121 | parent->Frozen = true; |
||
| 122 | } else { |
||
| 123 | assert(!builder.Frozen && "builder already has child builder active"); |
||
| 124 | builder.Frozen = true; |
||
| 125 | } |
||
| 126 | } |
||
| 127 | |||
| 128 | ~ConstantAggregateBuilderBase() { |
||
| 129 | assert(Finished && "didn't finish aggregate builder"); |
||
| 130 | } |
||
| 131 | |||
| 132 | void markFinished() { |
||
| 133 | assert(!Frozen && "child builder still active"); |
||
| 134 | assert(!Finished && "builder already finished"); |
||
| 135 | Finished = true; |
||
| 136 | if (Parent) { |
||
| 137 | assert(Parent->Frozen && |
||
| 138 | "parent not frozen while child builder active"); |
||
| 139 | Parent->Frozen = false; |
||
| 140 | } else { |
||
| 141 | assert(Builder.Frozen && |
||
| 142 | "builder not frozen while child builder active"); |
||
| 143 | Builder.Frozen = false; |
||
| 144 | } |
||
| 145 | } |
||
| 146 | |||
| 147 | public: |
||
| 148 | // Not copyable. |
||
| 149 | ConstantAggregateBuilderBase(const ConstantAggregateBuilderBase &) = delete; |
||
| 150 | ConstantAggregateBuilderBase &operator=(const ConstantAggregateBuilderBase &) |
||
| 151 | = delete; |
||
| 152 | |||
| 153 | // Movable, mostly to allow returning. But we have to write this out |
||
| 154 | // properly to satisfy the assert in the destructor. |
||
| 155 | ConstantAggregateBuilderBase(ConstantAggregateBuilderBase &&other) |
||
| 156 | : Builder(other.Builder), Parent(other.Parent), Begin(other.Begin), |
||
| 157 | CachedOffsetEnd(other.CachedOffsetEnd), |
||
| 158 | Finished(other.Finished), Frozen(other.Frozen), Packed(other.Packed), |
||
| 159 | CachedOffsetFromGlobal(other.CachedOffsetFromGlobal) { |
||
| 160 | other.Finished = true; |
||
| 161 | } |
||
| 162 | ConstantAggregateBuilderBase &operator=(ConstantAggregateBuilderBase &&other) |
||
| 163 | = delete; |
||
| 164 | |||
| 165 | /// Return the number of elements that have been added to |
||
| 166 | /// this struct or array. |
||
| 167 | size_t size() const { |
||
| 168 | assert(!this->Finished && "cannot query after finishing builder"); |
||
| 169 | assert(!this->Frozen && "cannot query while sub-builder is active"); |
||
| 170 | assert(this->Begin <= this->getBuffer().size()); |
||
| 171 | return this->getBuffer().size() - this->Begin; |
||
| 172 | } |
||
| 173 | |||
| 174 | /// Return true if no elements have yet been added to this struct or array. |
||
| 175 | bool empty() const { |
||
| 176 | return size() == 0; |
||
| 177 | } |
||
| 178 | |||
| 179 | /// Abandon this builder completely. |
||
| 180 | void abandon() { |
||
| 181 | markFinished(); |
||
| 182 | Builder.abandon(Begin); |
||
| 183 | } |
||
| 184 | |||
| 185 | /// Add a new value to this initializer. |
||
| 186 | void add(llvm::Constant *value) { |
||
| 187 | assert(value && "adding null value to constant initializer"); |
||
| 188 | assert(!Finished && "cannot add more values after finishing builder"); |
||
| 189 | assert(!Frozen && "cannot add values while subbuilder is active"); |
||
| 190 | Builder.Buffer.push_back(value); |
||
| 191 | } |
||
| 192 | |||
| 193 | /// Add an integer value of type size_t. |
||
| 194 | void addSize(CharUnits size); |
||
| 195 | |||
| 196 | /// Add an integer value of a specific type. |
||
| 197 | void addInt(llvm::IntegerType *intTy, uint64_t value, |
||
| 198 | bool isSigned = false) { |
||
| 199 | add(llvm::ConstantInt::get(intTy, value, isSigned)); |
||
| 200 | } |
||
| 201 | |||
| 202 | /// Add a null pointer of a specific type. |
||
| 203 | void addNullPointer(llvm::PointerType *ptrTy) { |
||
| 204 | add(llvm::ConstantPointerNull::get(ptrTy)); |
||
| 205 | } |
||
| 206 | |||
| 207 | /// Add a bitcast of a value to a specific type. |
||
| 208 | void addBitCast(llvm::Constant *value, llvm::Type *type) { |
||
| 209 | add(llvm::ConstantExpr::getBitCast(value, type)); |
||
| 210 | } |
||
| 211 | |||
| 212 | /// Add a bunch of new values to this initializer. |
||
| 213 | void addAll(llvm::ArrayRef<llvm::Constant *> values) { |
||
| 214 | assert(!Finished && "cannot add more values after finishing builder"); |
||
| 215 | assert(!Frozen && "cannot add values while subbuilder is active"); |
||
| 216 | Builder.Buffer.append(values.begin(), values.end()); |
||
| 217 | } |
||
| 218 | |||
| 219 | /// Add a relative offset to the given target address, i.e. the |
||
| 220 | /// static difference between the target address and the address |
||
| 221 | /// of the relative offset. The target must be known to be defined |
||
| 222 | /// in the current linkage unit. The offset will have the given |
||
| 223 | /// integer type, which must be no wider than intptr_t. Some |
||
| 224 | /// targets may not fully support this operation. |
||
| 225 | void addRelativeOffset(llvm::IntegerType *type, llvm::Constant *target) { |
||
| 226 | add(getRelativeOffset(type, target)); |
||
| 227 | } |
||
| 228 | |||
| 229 | /// Same as addRelativeOffset(), but instead relative to an element in this |
||
| 230 | /// aggregate, identified by its index. |
||
| 231 | void addRelativeOffsetToPosition(llvm::IntegerType *type, |
||
| 232 | llvm::Constant *target, size_t position) { |
||
| 233 | add(getRelativeOffsetToPosition(type, target, position)); |
||
| 234 | } |
||
| 235 | |||
| 236 | /// Add a relative offset to the target address, plus a small |
||
| 237 | /// constant offset. This is primarily useful when the relative |
||
| 238 | /// offset is known to be a multiple of (say) four and therefore |
||
| 239 | /// the tag can be used to express an extra two bits of information. |
||
| 240 | void addTaggedRelativeOffset(llvm::IntegerType *type, |
||
| 241 | llvm::Constant *address, |
||
| 242 | unsigned tag) { |
||
| 243 | llvm::Constant *offset = getRelativeOffset(type, address); |
||
| 244 | if (tag) { |
||
| 245 | offset = llvm::ConstantExpr::getAdd(offset, |
||
| 246 | llvm::ConstantInt::get(type, tag)); |
||
| 247 | } |
||
| 248 | add(offset); |
||
| 249 | } |
||
| 250 | |||
| 251 | /// Return the offset from the start of the initializer to the |
||
| 252 | /// next position, assuming no padding is required prior to it. |
||
| 253 | /// |
||
| 254 | /// This operation will not succeed if any unsized placeholders are |
||
| 255 | /// currently in place in the initializer. |
||
| 256 | CharUnits getNextOffsetFromGlobal() const { |
||
| 257 | assert(!Finished && "cannot add more values after finishing builder"); |
||
| 258 | assert(!Frozen && "cannot add values while subbuilder is active"); |
||
| 259 | return getOffsetFromGlobalTo(Builder.Buffer.size()); |
||
| 260 | } |
||
| 261 | |||
| 262 | /// An opaque class to hold the abstract position of a placeholder. |
||
| 263 | class PlaceholderPosition { |
||
| 264 | size_t Index; |
||
| 265 | friend class ConstantAggregateBuilderBase; |
||
| 266 | PlaceholderPosition(size_t index) : Index(index) {} |
||
| 267 | }; |
||
| 268 | |||
| 269 | /// Add a placeholder value to the structure. The returned position |
||
| 270 | /// can be used to set the value later; it will not be invalidated by |
||
| 271 | /// any intermediate operations except (1) filling the same position or |
||
| 272 | /// (2) finishing the entire builder. |
||
| 273 | /// |
||
| 274 | /// This is useful for emitting certain kinds of structure which |
||
| 275 | /// contain some sort of summary field, generally a count, before any |
||
| 276 | /// of the data. By emitting a placeholder first, the structure can |
||
| 277 | /// be emitted eagerly. |
||
| 278 | PlaceholderPosition addPlaceholder() { |
||
| 279 | assert(!Finished && "cannot add more values after finishing builder"); |
||
| 280 | assert(!Frozen && "cannot add values while subbuilder is active"); |
||
| 281 | Builder.Buffer.push_back(nullptr); |
||
| 282 | return Builder.Buffer.size() - 1; |
||
| 283 | } |
||
| 284 | |||
| 285 | /// Add a placeholder, giving the expected type that will be filled in. |
||
| 286 | PlaceholderPosition addPlaceholderWithSize(llvm::Type *expectedType); |
||
| 287 | |||
| 288 | /// Fill a previously-added placeholder. |
||
| 289 | void fillPlaceholderWithInt(PlaceholderPosition position, |
||
| 290 | llvm::IntegerType *type, uint64_t value, |
||
| 291 | bool isSigned = false) { |
||
| 292 | fillPlaceholder(position, llvm::ConstantInt::get(type, value, isSigned)); |
||
| 293 | } |
||
| 294 | |||
| 295 | /// Fill a previously-added placeholder. |
||
| 296 | void fillPlaceholder(PlaceholderPosition position, llvm::Constant *value) { |
||
| 297 | assert(!Finished && "cannot change values after finishing builder"); |
||
| 298 | assert(!Frozen && "cannot add values while subbuilder is active"); |
||
| 299 | llvm::Constant *&slot = Builder.Buffer[position.Index]; |
||
| 300 | assert(slot == nullptr && "placeholder already filled"); |
||
| 301 | slot = value; |
||
| 302 | } |
||
| 303 | |||
| 304 | /// Produce an address which will eventually point to the next |
||
| 305 | /// position to be filled. This is computed with an indexed |
||
| 306 | /// getelementptr rather than by computing offsets. |
||
| 307 | /// |
||
| 308 | /// The returned pointer will have type T*, where T is the given type. This |
||
| 309 | /// type can differ from the type of the actual element. |
||
| 310 | llvm::Constant *getAddrOfCurrentPosition(llvm::Type *type); |
||
| 311 | |||
| 312 | /// Produce an address which points to a position in the aggregate being |
||
| 313 | /// constructed. This is computed with an indexed getelementptr rather than by |
||
| 314 | /// computing offsets. |
||
| 315 | /// |
||
| 316 | /// The returned pointer will have type T*, where T is the given type. This |
||
| 317 | /// type can differ from the type of the actual element. |
||
| 318 | llvm::Constant *getAddrOfPosition(llvm::Type *type, size_t position); |
||
| 319 | |||
| 320 | llvm::ArrayRef<llvm::Constant*> getGEPIndicesToCurrentPosition( |
||
| 321 | llvm::SmallVectorImpl<llvm::Constant*> &indices) { |
||
| 322 | getGEPIndicesTo(indices, Builder.Buffer.size()); |
||
| 323 | return indices; |
||
| 324 | } |
||
| 325 | |||
| 326 | protected: |
||
| 327 | llvm::Constant *finishArray(llvm::Type *eltTy); |
||
| 328 | llvm::Constant *finishStruct(llvm::StructType *structTy); |
||
| 329 | |||
| 330 | private: |
||
| 331 | void getGEPIndicesTo(llvm::SmallVectorImpl<llvm::Constant*> &indices, |
||
| 332 | size_t position) const; |
||
| 333 | |||
| 334 | llvm::Constant *getRelativeOffset(llvm::IntegerType *offsetType, |
||
| 335 | llvm::Constant *target); |
||
| 336 | |||
| 337 | llvm::Constant *getRelativeOffsetToPosition(llvm::IntegerType *offsetType, |
||
| 338 | llvm::Constant *target, |
||
| 339 | size_t position); |
||
| 340 | |||
| 341 | CharUnits getOffsetFromGlobalTo(size_t index) const; |
||
| 342 | }; |
||
| 343 | |||
| 344 | template <class Impl, class Traits> |
||
| 345 | class ConstantAggregateBuilderTemplateBase |
||
| 346 | : public Traits::AggregateBuilderBase { |
||
| 347 | using super = typename Traits::AggregateBuilderBase; |
||
| 348 | public: |
||
| 349 | using InitBuilder = typename Traits::InitBuilder; |
||
| 350 | using ArrayBuilder = typename Traits::ArrayBuilder; |
||
| 351 | using StructBuilder = typename Traits::StructBuilder; |
||
| 352 | using AggregateBuilderBase = typename Traits::AggregateBuilderBase; |
||
| 353 | |||
| 354 | protected: |
||
| 355 | ConstantAggregateBuilderTemplateBase(InitBuilder &builder, |
||
| 356 | AggregateBuilderBase *parent) |
||
| 357 | : super(builder, parent) {} |
||
| 358 | |||
| 359 | Impl &asImpl() { return *static_cast<Impl*>(this); } |
||
| 360 | |||
| 361 | public: |
||
| 362 | ArrayBuilder beginArray(llvm::Type *eltTy = nullptr) { |
||
| 363 | return ArrayBuilder(static_cast<InitBuilder&>(this->Builder), this, eltTy); |
||
| 364 | } |
||
| 365 | |||
| 366 | StructBuilder beginStruct(llvm::StructType *ty = nullptr) { |
||
| 367 | return StructBuilder(static_cast<InitBuilder&>(this->Builder), this, ty); |
||
| 368 | } |
||
| 369 | |||
| 370 | /// Given that this builder was created by beginning an array or struct |
||
| 371 | /// component on the given parent builder, finish the array/struct |
||
| 372 | /// component and add it to the parent. |
||
| 373 | /// |
||
| 374 | /// It is an intentional choice that the parent is passed in explicitly |
||
| 375 | /// despite it being redundant with information already kept in the |
||
| 376 | /// builder. This aids in readability by making it easier to find the |
||
| 377 | /// places that add components to a builder, as well as "bookending" |
||
| 378 | /// the sub-builder more explicitly. |
||
| 379 | void finishAndAddTo(AggregateBuilderBase &parent) { |
||
| 380 | assert(this->Parent == &parent && "adding to non-parent builder"); |
||
| 381 | parent.add(asImpl().finishImpl()); |
||
| 382 | } |
||
| 383 | |||
| 384 | /// Given that this builder was created by beginning an array or struct |
||
| 385 | /// directly on a ConstantInitBuilder, finish the array/struct and |
||
| 386 | /// create a global variable with it as the initializer. |
||
| 387 | template <class... As> |
||
| 388 | llvm::GlobalVariable *finishAndCreateGlobal(As &&...args) { |
||
| 389 | assert(!this->Parent && "finishing non-root builder"); |
||
| 390 | return this->Builder.createGlobal(asImpl().finishImpl(), |
||
| 391 | std::forward<As>(args)...); |
||
| 392 | } |
||
| 393 | |||
| 394 | /// Given that this builder was created by beginning an array or struct |
||
| 395 | /// directly on a ConstantInitBuilder, finish the array/struct and |
||
| 396 | /// set it as the initializer of the given global variable. |
||
| 397 | void finishAndSetAsInitializer(llvm::GlobalVariable *global) { |
||
| 398 | assert(!this->Parent && "finishing non-root builder"); |
||
| 399 | return this->Builder.setGlobalInitializer(global, asImpl().finishImpl()); |
||
| 400 | } |
||
| 401 | |||
| 402 | /// Given that this builder was created by beginning an array or struct |
||
| 403 | /// directly on a ConstantInitBuilder, finish the array/struct and |
||
| 404 | /// return a future which can be used to install the initializer in |
||
| 405 | /// a global later. |
||
| 406 | /// |
||
| 407 | /// This is useful for allowing a finished initializer to passed to |
||
| 408 | /// an API which will build the global. However, the "future" preserves |
||
| 409 | /// a dependency on the original builder; it is an error to pass it aside. |
||
| 410 | ConstantInitFuture finishAndCreateFuture() { |
||
| 411 | assert(!this->Parent && "finishing non-root builder"); |
||
| 412 | return this->Builder.createFuture(asImpl().finishImpl()); |
||
| 413 | } |
||
| 414 | }; |
||
| 415 | |||
| 416 | template <class Traits> |
||
| 417 | class ConstantArrayBuilderTemplateBase |
||
| 418 | : public ConstantAggregateBuilderTemplateBase<typename Traits::ArrayBuilder, |
||
| 419 | Traits> { |
||
| 420 | using super = |
||
| 421 | ConstantAggregateBuilderTemplateBase<typename Traits::ArrayBuilder, Traits>; |
||
| 422 | |||
| 423 | public: |
||
| 424 | using InitBuilder = typename Traits::InitBuilder; |
||
| 425 | using AggregateBuilderBase = typename Traits::AggregateBuilderBase; |
||
| 426 | |||
| 427 | private: |
||
| 428 | llvm::Type *EltTy; |
||
| 429 | |||
| 430 | template <class, class> |
||
| 431 | friend class ConstantAggregateBuilderTemplateBase; |
||
| 432 | |||
| 433 | protected: |
||
| 434 | ConstantArrayBuilderTemplateBase(InitBuilder &builder, |
||
| 435 | AggregateBuilderBase *parent, |
||
| 436 | llvm::Type *eltTy) |
||
| 437 | : super(builder, parent), EltTy(eltTy) {} |
||
| 438 | |||
| 439 | private: |
||
| 440 | /// Form an array constant from the values that have been added to this |
||
| 441 | /// builder. |
||
| 442 | llvm::Constant *finishImpl() { |
||
| 443 | return AggregateBuilderBase::finishArray(EltTy); |
||
| 444 | } |
||
| 445 | }; |
||
| 446 | |||
| 447 | /// A template class designed to allow other frontends to |
||
| 448 | /// easily customize the builder classes used by ConstantInitBuilder, |
||
| 449 | /// and thus to extend the API to work with the abstractions they |
||
| 450 | /// prefer. This would probably not be necessary if C++ just |
||
| 451 | /// supported extension methods. |
||
| 452 | template <class Traits> |
||
| 453 | class ConstantStructBuilderTemplateBase |
||
| 454 | : public ConstantAggregateBuilderTemplateBase<typename Traits::StructBuilder, |
||
| 455 | Traits> { |
||
| 456 | using super = |
||
| 457 | ConstantAggregateBuilderTemplateBase<typename Traits::StructBuilder,Traits>; |
||
| 458 | |||
| 459 | public: |
||
| 460 | using InitBuilder = typename Traits::InitBuilder; |
||
| 461 | using AggregateBuilderBase = typename Traits::AggregateBuilderBase; |
||
| 462 | |||
| 463 | private: |
||
| 464 | llvm::StructType *StructTy; |
||
| 465 | |||
| 466 | template <class, class> |
||
| 467 | friend class ConstantAggregateBuilderTemplateBase; |
||
| 468 | |||
| 469 | protected: |
||
| 470 | ConstantStructBuilderTemplateBase(InitBuilder &builder, |
||
| 471 | AggregateBuilderBase *parent, |
||
| 472 | llvm::StructType *structTy) |
||
| 473 | : super(builder, parent), StructTy(structTy) { |
||
| 474 | if (structTy) this->Packed = structTy->isPacked(); |
||
| 475 | } |
||
| 476 | |||
| 477 | public: |
||
| 478 | void setPacked(bool packed) { |
||
| 479 | this->Packed = packed; |
||
| 480 | } |
||
| 481 | |||
| 482 | /// Use the given type for the struct if its element count is correct. |
||
| 483 | /// Don't add more elements after calling this. |
||
| 484 | void suggestType(llvm::StructType *structTy) { |
||
| 485 | if (this->size() == structTy->getNumElements()) { |
||
| 486 | StructTy = structTy; |
||
| 487 | } |
||
| 488 | } |
||
| 489 | |||
| 490 | private: |
||
| 491 | /// Form an array constant from the values that have been added to this |
||
| 492 | /// builder. |
||
| 493 | llvm::Constant *finishImpl() { |
||
| 494 | return AggregateBuilderBase::finishStruct(StructTy); |
||
| 495 | } |
||
| 496 | }; |
||
| 497 | |||
| 498 | /// A template class designed to allow other frontends to |
||
| 499 | /// easily customize the builder classes used by ConstantInitBuilder, |
||
| 500 | /// and thus to extend the API to work with the abstractions they |
||
| 501 | /// prefer. This would probably not be necessary if C++ just |
||
| 502 | /// supported extension methods. |
||
| 503 | template <class Traits> |
||
| 504 | class ConstantInitBuilderTemplateBase : public ConstantInitBuilderBase { |
||
| 505 | protected: |
||
| 506 | ConstantInitBuilderTemplateBase(CodeGenModule &CGM) |
||
| 507 | : ConstantInitBuilderBase(CGM) {} |
||
| 508 | |||
| 509 | public: |
||
| 510 | using InitBuilder = typename Traits::InitBuilder; |
||
| 511 | using ArrayBuilder = typename Traits::ArrayBuilder; |
||
| 512 | using StructBuilder = typename Traits::StructBuilder; |
||
| 513 | |||
| 514 | ArrayBuilder beginArray(llvm::Type *eltTy = nullptr) { |
||
| 515 | return ArrayBuilder(static_cast<InitBuilder&>(*this), nullptr, eltTy); |
||
| 516 | } |
||
| 517 | |||
| 518 | StructBuilder beginStruct(llvm::StructType *structTy = nullptr) { |
||
| 519 | return StructBuilder(static_cast<InitBuilder&>(*this), nullptr, structTy); |
||
| 520 | } |
||
| 521 | }; |
||
| 522 | |||
| 523 | class ConstantInitBuilder; |
||
| 524 | class ConstantStructBuilder; |
||
| 525 | class ConstantArrayBuilder; |
||
| 526 | |||
| 527 | struct ConstantInitBuilderTraits { |
||
| 528 | using InitBuilder = ConstantInitBuilder; |
||
| 529 | using AggregateBuilderBase = ConstantAggregateBuilderBase; |
||
| 530 | using ArrayBuilder = ConstantArrayBuilder; |
||
| 531 | using StructBuilder = ConstantStructBuilder; |
||
| 532 | }; |
||
| 533 | |||
| 534 | /// The standard implementation of ConstantInitBuilder used in Clang. |
||
| 535 | class ConstantInitBuilder |
||
| 536 | : public ConstantInitBuilderTemplateBase<ConstantInitBuilderTraits> { |
||
| 537 | public: |
||
| 538 | explicit ConstantInitBuilder(CodeGenModule &CGM) : |
||
| 539 | ConstantInitBuilderTemplateBase(CGM) {} |
||
| 540 | }; |
||
| 541 | |||
| 542 | /// A helper class of ConstantInitBuilder, used for building constant |
||
| 543 | /// array initializers. |
||
| 544 | class ConstantArrayBuilder |
||
| 545 | : public ConstantArrayBuilderTemplateBase<ConstantInitBuilderTraits> { |
||
| 546 | template <class Traits> |
||
| 547 | friend class ConstantInitBuilderTemplateBase; |
||
| 548 | |||
| 549 | // The use of explicit qualification is a GCC workaround. |
||
| 550 | template <class Impl, class Traits> |
||
| 551 | friend class CodeGen::ConstantAggregateBuilderTemplateBase; |
||
| 552 | |||
| 553 | ConstantArrayBuilder(ConstantInitBuilder &builder, |
||
| 554 | ConstantAggregateBuilderBase *parent, |
||
| 555 | llvm::Type *eltTy) |
||
| 556 | : ConstantArrayBuilderTemplateBase(builder, parent, eltTy) {} |
||
| 557 | }; |
||
| 558 | |||
| 559 | /// A helper class of ConstantInitBuilder, used for building constant |
||
| 560 | /// struct initializers. |
||
| 561 | class ConstantStructBuilder |
||
| 562 | : public ConstantStructBuilderTemplateBase<ConstantInitBuilderTraits> { |
||
| 563 | template <class Traits> |
||
| 564 | friend class ConstantInitBuilderTemplateBase; |
||
| 565 | |||
| 566 | // The use of explicit qualification is a GCC workaround. |
||
| 567 | template <class Impl, class Traits> |
||
| 568 | friend class CodeGen::ConstantAggregateBuilderTemplateBase; |
||
| 569 | |||
| 570 | ConstantStructBuilder(ConstantInitBuilder &builder, |
||
| 571 | ConstantAggregateBuilderBase *parent, |
||
| 572 | llvm::StructType *structTy) |
||
| 573 | : ConstantStructBuilderTemplateBase(builder, parent, structTy) {} |
||
| 574 | }; |
||
| 575 | |||
| 576 | } // end namespace CodeGen |
||
| 577 | } // end namespace clang |
||
| 578 | |||
| 579 | #endif |