1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
//===--- ExtendedExistential.h - IRGen support for existentials -*- C++ -*-===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2022 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
//
//===----------------------------------------------------------------------===//
//
// This file defines routines useful for working with extended
// existential type shapes.
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_IRGEN_EXTENDEDEXISTENTIAL_H
#define SWIFT_IRGEN_EXTENDEDEXISTENTIAL_H
#include "swift/AST/Types.h"
#include "swift/SIL/FormalLinkage.h"
namespace swift {
namespace irgen {
class IRGenModule;
/// A type describing all the IRGen-relevant details of an extended
/// existential type shape.
class ExtendedExistentialTypeShapeInfo {
public:
CanGenericSignature genSig;
CanType shapeType;
SubstitutionMap genSubs; // optional
FormalLinkage linkage;
/// Get the extended existential type shape for the given
/// existential type.
///
/// `genSubs` will be set in the returned value.
static ExtendedExistentialTypeShapeInfo get(CanType type);
/// Get the extended existential type shape for the given
/// base existential type and metatype depth.
///
/// `genSubs` will not be set in the returned value.
static ExtendedExistentialTypeShapeInfo get(
const ExistentialTypeGeneralization &gen,
unsigned metatypeDepth);
/// Is this shape guaranteed to be unique after static linking?
/// If false, the shape object will have a NonUnique prefix.
bool isUnique() const { return linkage != FormalLinkage::PublicNonUnique; }
/// Should this shape be uniqued by the static linker? If false,
/// the shape object will be private to the translation unit.
bool isShared() const { return linkage != FormalLinkage::Private; }
};
/// Emit the extended existential type shape for the given existential
/// type generalization.
llvm::Constant *emitExtendedExistentialTypeShape(IRGenModule &IGM,
const ExtendedExistentialTypeShapeInfo &shape);
} // end namespace irgen
} // end namespace swift
#endif
|
