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
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
// slang-ir-generics-lowering-context.h
#pragma once
#include "slang-ir-dce.h"
#include "slang-ir-insts.h"
#include "slang-ir-lower-generics.h"
#include "slang-ir.h"
namespace Slang
{
struct IRModule;
constexpr IRIntegerValue kInvalidAnyValueSize = 0xFFFFFFFF;
constexpr IRIntegerValue kDefaultAnyValueSize = 16;
constexpr SlangInt kRTTIHeaderSize = 16;
constexpr SlangInt kRTTIHandleSize = 8;
struct SharedGenericsLoweringContext
{
// For convenience, we will keep a pointer to the module
// we are processing.
IRModule* module;
TargetProgram* targetProgram;
DiagnosticSink* sink;
// RTTI objects for each type used to call a generic function.
OrderedDictionary<IRInst*, IRInst*> mapTypeToRTTIObject;
Dictionary<IRInst*, IRInst*> loweredGenericFunctions;
Dictionary<IRInterfaceType*, IRInterfaceType*> loweredInterfaceTypes;
Dictionary<IRInterfaceType*, IRInterfaceType*> mapLoweredInterfaceToOriginal;
// Dictionaries for interface type requirement key-value lookups.
// Used by `findInterfaceRequirementVal`.
Dictionary<IRInterfaceType*, Dictionary<IRInst*, IRInst*>> mapInterfaceRequirementKeyValue;
// Map from interface requirement keys to its corresponding dispatch method.
OrderedDictionary<IRInst*, IRFunc*> mapInterfaceRequirementKeyToDispatchMethods;
// We will use a single work list of instructions that need
// to be considered for lowering.
//
InstWorkList workList;
InstHashSet workListSet;
SharedGenericsLoweringContext(IRModule* inModule)
: module(inModule), workList(inModule), workListSet(inModule)
{
}
void addToWorkList(IRInst* inst)
{
if (!inst)
return;
for (auto ii = inst->getParent(); ii; ii = ii->getParent())
{
if (as<IRGeneric>(ii))
return;
}
if (workListSet.contains(inst))
return;
workList.add(inst);
workListSet.add(inst);
}
void _builldInterfaceRequirementMap(IRInterfaceType* interfaceType);
IRInst* findInterfaceRequirementVal(IRInterfaceType* interfaceType, IRInst* requirementKey);
// Emits an IRRTTIObject containing type information for a given type.
IRInst* maybeEmitRTTIObject(IRInst* typeInst);
static IRIntegerValue getInterfaceAnyValueSize(IRInst* type, SourceLoc usageLoc);
static IRType* lowerAssociatedType(IRBuilder* builder, IRInst* type);
IRType* lowerType(
IRBuilder* builder,
IRInst* paramType,
const Dictionary<IRInst*, IRInst*>& typeMapping,
IRType* concreteType);
IRType* lowerType(IRBuilder* builder, IRInst* paramType)
{
return lowerType(builder, paramType, Dictionary<IRInst*, IRInst*>(), nullptr);
}
// Get a list of all witness tables whose conformance type is `interfaceType`.
List<IRWitnessTable*> getWitnessTablesFromInterfaceType(IRInst* interfaceType);
/// Does the given `concreteType` fit within the any-value size deterined by `interfaceType`?
bool doesTypeFitInAnyValue(
IRType* concreteType,
IRInterfaceType* interfaceType,
IRIntegerValue* outTypeSize = nullptr,
IRIntegerValue* outLimit = nullptr,
bool* outIsTypeOpaque = nullptr);
};
List<IRWitnessTable*> getWitnessTablesFromInterfaceType(IRModule* module, IRInst* interfaceType);
bool isPolymorphicType(IRInst* typeInst);
// Returns true if typeInst represents a type and should be lowered into
// Ptr(RTTIType).
bool isTypeValue(IRInst* typeInst);
template<typename TFunc>
void workOnModule(SharedGenericsLoweringContext* sharedContext, const TFunc& func)
{
sharedContext->addToWorkList(sharedContext->module->getModuleInst());
while (sharedContext->workList.getCount() != 0)
{
IRInst* inst = sharedContext->workList.getLast();
sharedContext->workList.removeLast();
sharedContext->workListSet.remove(inst);
func(inst);
for (auto child = inst->getLastChild(); child; child = child->getPrevInst())
{
sharedContext->addToWorkList(child);
}
}
}
template<typename TFunc>
void workOnCallGraph(SharedGenericsLoweringContext* sharedContext, const TFunc& func)
{
sharedContext->addToWorkList(sharedContext->module->getModuleInst());
IRDeadCodeEliminationOptions dceOptions;
dceOptions.keepExportsAlive = true;
dceOptions.keepLayoutsAlive = true;
while (sharedContext->workList.getCount() != 0)
{
IRInst* inst = sharedContext->workList.getLast();
sharedContext->workList.removeLast();
sharedContext->addToWorkList(inst->parent);
sharedContext->addToWorkList(inst->getFullType());
UInt operandCount = inst->getOperandCount();
for (UInt ii = 0; ii < operandCount; ++ii)
{
if (!isWeakReferenceOperand(inst, ii))
sharedContext->addToWorkList(inst->getOperand(ii));
}
if (auto call = as<IRCall>(inst))
{
if (func(call))
return;
}
for (auto child = inst->getLastChild(); child; child = child->getPrevInst())
{
if (shouldInstBeLiveIfParentIsLive(child, dceOptions))
sharedContext->addToWorkList(child);
}
}
}
} // namespace Slang
|
