Lines Matching +full:composite +full:- +full:in
1 //===--- Pointer.cpp - Types for the constexpr VM ---------------*- C++ -*-===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
25 : Pointer(Pointee, Pointee->getDescriptor()->getMetadataSize(), in Pointer()
26 Pointee->getDescriptor()->getMetadataSize()) {} in Pointer()
36 PointeeStorage.BS.Pointee->addPointer(this); in Pointer()
46 Pointee->addPointer(this); in Pointer()
54 PointeeStorage.BS.Pointee->replacePointer(&P, this); in Pointer()
62 Pointee->removePointer(this); in ~Pointer()
63 Pointee->cleanup(); in ~Pointer()
74 PointeeStorage.BS.Pointee->removePointer(this); in operator =()
75 Old->cleanup(); in operator =()
87 PointeeStorage.BS.Pointee->addPointer(this); in operator =()
102 PointeeStorage.BS.Pointee->removePointer(this); in operator =()
103 Old->cleanup(); in operator =()
115 PointeeStorage.BS.Pointee->addPointer(this); in operator =()
131 CharUnits::fromQuantity(asIntPointer().Value + this->Offset), in toAPValue()
138 if (const auto *VD = Desc->asValueDecl()) in toAPValue()
140 else if (const auto *E = Desc->asExpr()) in toAPValue()
145 if (isUnknownSizeArray() || Desc->asExpr()) in toAPValue()
151 auto getFieldOffset = [&](const FieldDecl *FD) -> CharUnits { in toAPValue()
154 if (FD->getParent()->isInvalidDecl()) in toAPValue()
156 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(FD->getParent()); in toAPValue()
157 unsigned FieldIndex = FD->getFieldIndex(); in toAPValue()
166 {Ptr.getFieldDesc()->asDecl(), /*IsVirtual=*/false})); in toAPValue()
168 if (const auto *FD = dyn_cast<FieldDecl>(Ptr.getFieldDesc()->asDecl())) in toAPValue()
187 if (const auto *BaseOrMember = Desc->asDecl()) { in toAPValue()
197 cast<CXXRecordDecl>(BaseRecord->getDecl())); in toAPValue()
214 // for dummy pointers (that causes crashes later in CheckConstantExpression). in toAPValue()
219 // outermost one. SO in a.b.c, the first element in Path will refer to in toAPValue()
245 OS << B->getSize(); in print()
271 *reinterpret_cast<const GlobalInlineDescriptor *>(block()->rawData()); in isInitialized()
279 if (Desc->isPrimitiveArray()) { in isInitialized()
288 if (IM->first) in isInitialized()
291 return IM->second->isElementInitialized(getIndex()); in isInitialized()
297 // Field has its bit in an inline descriptor. in isInitialized()
298 return getInlineDesc()->IsInitialized; in isInitialized()
310 asBlockPointer().Pointee->rawData()); in initialize()
316 if (Desc->isPrimitiveArray()) { in initialize()
322 if (Desc->getNumElems() == 0) in initialize()
328 std::make_pair(false, std::make_shared<InitMap>(Desc->getNumElems())); in initialize()
333 if (IM->first) in initialize()
336 if (IM->second->initializeElement(getIndex())) { in initialize()
337 IM->first = true; in initialize()
338 IM->second.reset(); in initialize()
343 // Field has its bit in an inline descriptor. in initialize()
345 "Only composite fields can be initialised"); in initialize()
346 getInlineDesc()->IsInitialized = true; in initialize()
350 // Field has its bit in an inline descriptor. in activate()
352 "Only composite fields can be initialised"); in activate()
357 getInlineDesc()->IsActive = true; in activate()
361 // TODO: this only appears in constructors, so nothing to deactivate. in deactivate()
381 A.getFieldDesc()->IsArray; in hasSameArray()
389 std::function<bool(QualType, const Pointer &, APValue &)> Composite; in toRValue() local
390 Composite = [&Composite, &Ctx, &ASTCtx](QualType Ty, const Pointer &Ptr, in toRValue()
392 if (const auto *AT = Ty->getAs<AtomicType>()) in toRValue()
393 Ty = AT->getValueType(); in toRValue()
406 if (const auto *RT = Ty->getAs<RecordType>()) { in toRValue()
411 if (RT->getDecl()->isUnion()) { in toRValue()
414 for (const auto &F : Record->fields()) { in toRValue()
416 QualType FieldTy = F.Decl->getType(); in toRValue()
421 Ok &= Composite(FieldTy, FP, Value); in toRValue()
423 ActiveField = FP.getFieldDesc()->asFieldDecl(); in toRValue()
429 unsigned NF = Record->getNumFields(); in toRValue()
430 unsigned NB = Record->getNumBases(); in toRValue()
431 unsigned NV = Ptr.isBaseClass() ? 0 : Record->getNumVirtualBases(); in toRValue()
436 const Record::Field *FD = Record->getField(I); in toRValue()
437 QualType FieldTy = FD->Decl->getType(); in toRValue()
438 const Pointer &FP = Ptr.atField(FD->Offset); in toRValue()
444 Ok &= Composite(FieldTy, FP, Value); in toRValue()
449 const Record::Base *BD = Record->getBase(I); in toRValue()
450 QualType BaseTy = Ctx.getASTContext().getRecordType(BD->Decl); in toRValue()
451 const Pointer &BP = Ptr.atField(BD->Offset); in toRValue()
452 Ok &= Composite(BaseTy, BP, R.getStructBase(I)); in toRValue()
456 const Record::Base *VD = Record->getVirtualBase(I); in toRValue()
457 QualType VirtBaseTy = Ctx.getASTContext().getRecordType(VD->Decl); in toRValue()
458 const Pointer &VP = Ptr.atField(VD->Offset); in toRValue()
459 Ok &= Composite(VirtBaseTy, VP, R.getStructBase(NB + I)); in toRValue()
465 if (Ty->isIncompleteArrayType()) { in toRValue()
470 if (const auto *AT = Ty->getAsArrayTypeUnsafe()) { in toRValue()
472 QualType ElemTy = AT->getElementType(); in toRValue()
482 Ok &= Composite(ElemTy, EP.narrow(), Slot); in toRValue()
489 if (const auto *CT = Ty->getAs<ComplexType>()) { in toRValue()
490 QualType ElemTy = CT->getElementType(); in toRValue()
492 if (ElemTy->isIntegerType()) { in toRValue()
501 } else if (ElemTy->isFloatingType()) { in toRValue()
510 if (const auto *VT = Ty->getAs<VectorType>()) { in toRValue()
511 assert(Ptr.getFieldDesc()->isPrimitiveArray()); in toRValue()
512 QualType ElemTy = VT->getElementType(); in toRValue()
516 Values.reserve(VT->getNumElements()); in toRValue()
517 for (unsigned I = 0; I != VT->getNumElements(); ++I) { in toRValue()
523 assert(Values.size() == VT->getNumElements()); in toRValue()
541 TYPE_SWITCH(*T, return this->deref<T>().toAPValue(ASTCtx)); in toRValue()
544 // Return the composite type. in toRValue()
546 if (!Composite(getType(), *this, Result)) in toRValue()