mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
a8d4d57f11
rdar://105837040 * WIP: Store layout string in type metadata * WIP: More cases working * WIP: Layout strings almost working * Add layout string pointer to struct metadata * Fetch bytecode layout strings from metadata in runtime * More efficient bytecode layout * Add support for interpreted generics in layout strings * Layout string instantiation, take and more * Remove duplicate information from layout strings * Include size of previous object in next objects offset to reduce number of increments at runtime * Add support for existentials * Build type layout strings with StructBuilder to support target sizes and metadata pointers * Add support for resilient types * Properly cache layout strings in compiler * Generic resilient types working * Non-generic resilient types working * Instantiate resilient type in layout when possible * Fix a few issues around alignment and signing * Disable generics, fix static alignment * Fix MultiPayloadEnum size when no extra tag is necessary * Fixes after rebase * Cleanup * Fix most tests * Fix objcImplementattion and non-Darwin builds * Fix BytecodeLayouts on non-Darwin * Fix Linux build * Fix sizes in linux tests * Sign layout string pointers * Use nullptr instead of debug value
115 lines
3.4 KiB
C++
115 lines
3.4 KiB
C++
//===--- EnumMetadataVisitor.h - CRTP for enum metadata ---------*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// A CRTP class useful for visiting all of the fields in an
|
|
// enum metadata object.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_IRGEN_ENUMMETADATAVISITOR_H
|
|
#define SWIFT_IRGEN_ENUMMETADATAVISITOR_H
|
|
|
|
#include "NominalMetadataVisitor.h"
|
|
#include "GenEnum.h"
|
|
|
|
namespace swift {
|
|
namespace irgen {
|
|
|
|
/// A CRTP class for laying out enum metadata.
|
|
///
|
|
/// This produces an object corresponding to the EnumMetadata type.
|
|
/// It does not itself doing anything special for metadata templates.
|
|
template <class Impl> class EnumMetadataVisitor
|
|
: public NominalMetadataVisitor<Impl> {
|
|
using super = NominalMetadataVisitor<Impl>;
|
|
|
|
protected:
|
|
using super::IGM;
|
|
using super::asImpl;
|
|
|
|
/// The Enum.
|
|
EnumDecl *const Target;
|
|
|
|
EnumMetadataVisitor(IRGenModule &IGM, EnumDecl *target)
|
|
: super(IGM), Target(target) {}
|
|
|
|
public:
|
|
void layout() {
|
|
static_assert(MetadataAdjustmentIndex::ValueType == 2,
|
|
"Adjustment index must be synchronized with this layout");
|
|
|
|
asImpl().addLayoutStringPointer();
|
|
|
|
// Metadata header.
|
|
super::layout();
|
|
|
|
// EnumMetadata header.
|
|
asImpl().addNominalTypeDescriptor();
|
|
|
|
// Everything after this is type-specific.
|
|
asImpl().noteStartOfTypeSpecificMembers();
|
|
|
|
// Generic arguments.
|
|
// This must always be the first piece of trailing data.
|
|
asImpl().addGenericFields(Target);
|
|
|
|
// Reserve a word to cache the payload size if the type has dynamic layout.
|
|
auto &strategy = getEnumImplStrategy(IGM,
|
|
Target->getDeclaredTypeInContext()->getCanonicalType());
|
|
if (strategy.needsPayloadSizeInMetadata())
|
|
asImpl().addPayloadSize();
|
|
|
|
if (asImpl().hasTrailingFlags())
|
|
asImpl().addTrailingFlags();
|
|
}
|
|
|
|
bool hasTrailingFlags() {
|
|
return Target->isGenericContext() &&
|
|
IGM.shouldPrespecializeGenericMetadata();
|
|
}
|
|
};
|
|
|
|
/// An "implementation" of EnumMetadataVisitor that just scans through
|
|
/// the metadata layout, maintaining the next index: the offset (in
|
|
/// pointer-sized chunks) into the metadata for the next field.
|
|
template <class Impl>
|
|
class EnumMetadataScanner : public EnumMetadataVisitor<Impl> {
|
|
using super = EnumMetadataVisitor<Impl>;
|
|
|
|
protected:
|
|
Size NextOffset = Size(0);
|
|
|
|
EnumMetadataScanner(IRGenModule &IGM, EnumDecl *target)
|
|
: super(IGM, target) {}
|
|
|
|
public:
|
|
void addMetadataFlags() { addPointer(); }
|
|
void addLayoutStringPointer() { addPointer(); }
|
|
void addValueWitnessTable() { addPointer(); }
|
|
void addNominalTypeDescriptor() { addPointer(); }
|
|
void addGenericRequirement(GenericRequirement requirement) { addPointer(); }
|
|
void addPayloadSize() { addPointer(); }
|
|
void noteStartOfTypeSpecificMembers() {}
|
|
void addTrailingFlags() { addInt64(); }
|
|
|
|
private:
|
|
void addPointer() {
|
|
NextOffset += super::IGM.getPointerSize();
|
|
}
|
|
void addInt64() { NextOffset += Size(8); }
|
|
};
|
|
|
|
} // end namespace irgen
|
|
} // end namespace swift
|
|
|
|
#endif
|