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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
//===--- SubstitutionMapStorage.h - Substitution Map Storage ----*- 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
//
//===----------------------------------------------------------------------===//
//
// This file defines the SubstitutionMap::Storage class, which is used as the
// backing storage for SubstitutionMap.
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_AST_SUBSTITUTION_MAP_STORAGE_H
#define SWIFT_AST_SUBSTITUTION_MAP_STORAGE_H
#include "swift/AST/DiagnosticEngine.h"
#include "swift/AST/DiagnosticsCommon.h"
#include "swift/AST/ExistentialLayout.h"
#include "swift/AST/FileSystem.h"
#include "swift/AST/GenericSignature.h"
#include "swift/AST/SubstitutionMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/Support/FileSystem.h"
#include "llvm/Support/TrailingObjects.h"
namespace swift {
class SubstitutionMap::Storage final
: public llvm::FoldingSetNode,
llvm::TrailingObjects<Storage, Type, ProtocolConformanceRef>
{
friend TrailingObjects;
/// The generic signature for which we are performing substitutions.
GenericSignature genericSig;
/// The number of conformance requirements, cached to avoid constantly
/// recomputing it on conformance-buffer access.
const unsigned numConformanceRequirements : 31;
/// Whether we've populated all replacement types already.
unsigned populatedAllReplacements : 1;
Storage() = delete;
Storage(GenericSignature genericSig,
ArrayRef<Type> replacementTypes,
ArrayRef<ProtocolConformanceRef> conformances);
friend class SubstitutionMap;
private:
unsigned getNumReplacementTypes() const {
return genericSig.getGenericParams().size();
}
size_t numTrailingObjects(OverloadToken<Type>) const {
return getNumReplacementTypes();
}
size_t numTrailingObjects(OverloadToken<ProtocolConformanceRef>) const {
return numConformanceRequirements;
}
public:
/// Form storage for the given generic signature and its replacement
/// types and conformances.
static Storage *get(GenericSignature genericSig,
ArrayRef<Type> replacementTypes,
ArrayRef<ProtocolConformanceRef> conformances);
/// Retrieve the generic signature that describes the shape of this
/// storage.
GenericSignature getGenericSignature() const { return genericSig; }
/// Retrieve the array of replacement types, which line up with the
/// generic parameters.
///
/// Note that the types may be null, for cases where the generic parameter
/// is concrete but hasn't been queried yet.
ArrayRef<Type> getReplacementTypes() const {
return llvm::ArrayRef(getTrailingObjects<Type>(), getNumReplacementTypes());
}
MutableArrayRef<Type> getReplacementTypes() {
return MutableArrayRef<Type>(getTrailingObjects<Type>(),
getNumReplacementTypes());
}
/// Retrieve the array of protocol conformances, which line up with the
/// requirements of the generic signature.
ArrayRef<ProtocolConformanceRef> getConformances() const {
return llvm::ArrayRef(getTrailingObjects<ProtocolConformanceRef>(),
numConformanceRequirements);
}
MutableArrayRef<ProtocolConformanceRef> getConformances() {
return MutableArrayRef<ProtocolConformanceRef>(
getTrailingObjects<ProtocolConformanceRef>(),
numConformanceRequirements);
}
/// Profile the substitution map storage, for use with LLVM's FoldingSet.
void Profile(llvm::FoldingSetNodeID &id) const {
Profile(id, getGenericSignature(), getReplacementTypes(),
getConformances());
}
/// Profile the substitution map storage, for use with LLVM's FoldingSet.
static void Profile(llvm::FoldingSetNodeID &id,
GenericSignature genericSig,
ArrayRef<Type> replacementTypes,
ArrayRef<ProtocolConformanceRef> conformances);
};
}
#endif // SWIFT_AST_SUBSTITUTION_MAP_STORAGE_H
|
