blob: 842ddefadbe352df7fe56660df46302eb75c7fb9 (
plain)
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
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Collections.Generic;
using System.Diagnostics;
using ILCompiler.DependencyAnalysis;
using Internal.TypeSystem;
using Internal.TypeSystem.Ecma;
namespace ILCompiler
{
public abstract class MultiFileCompilationModuleGroup : CompilationModuleGroup
{
private HashSet<ModuleDesc> _compilationModuleSet;
public MultiFileCompilationModuleGroup(TypeSystemContext context, IEnumerable<ModuleDesc> compilationModuleSet)
{
_compilationModuleSet = new HashSet<ModuleDesc>(compilationModuleSet);
// The fake assembly that holds compiler generated types is part of the compilation.
_compilationModuleSet.Add(context.GeneratedAssembly);
}
public sealed override bool ContainsType(TypeDesc type)
{
EcmaType ecmaType = type as EcmaType;
if (ecmaType == null)
return true;
if (!IsModuleInCompilationGroup(ecmaType.EcmaModule))
{
return false;
}
return true;
}
public sealed override bool ContainsTypeDictionary(TypeDesc type)
{
return ContainsType(type);
}
public sealed override bool ContainsMethodBody(MethodDesc method, bool unboxingStub)
{
if (method.HasInstantiation)
return true;
return ContainsType(method.OwningType);
}
public sealed override bool ContainsMethodDictionary(MethodDesc method)
{
Debug.Assert(method.GetCanonMethodTarget(CanonicalFormKind.Specific) != method);
return ContainsMethodBody(method, false);
}
public sealed override bool ImportsMethod(MethodDesc method, bool unboxingStub)
{
return false;
}
public sealed override ExportForm GetExportTypeForm(TypeDesc type)
{
return ExportForm.None;
}
public sealed override ExportForm GetExportTypeFormDictionary(TypeDesc type)
{
return ExportForm.None;
}
public sealed override ExportForm GetExportMethodForm(MethodDesc method, bool unboxingStub)
{
return ExportForm.None;
}
public override ExportForm GetExportMethodDictionaryForm(MethodDesc method)
{
return ExportForm.None;
}
private bool IsModuleInCompilationGroup(EcmaModule module)
{
return _compilationModuleSet.Contains(module);
}
public sealed override bool IsSingleFileCompilation
{
get
{
return false;
}
}
public sealed override bool ShouldReferenceThroughImportTable(TypeDesc type)
{
return false;
}
public override bool CanHaveReferenceThroughImportTable
{
get
{
return false;
}
}
}
/// <summary>
/// Represents a non-leaf multifile compilation group where types contained in the group are always fully expanded.
/// </summary>
public class MultiFileSharedCompilationModuleGroup : MultiFileCompilationModuleGroup
{
public MultiFileSharedCompilationModuleGroup(TypeSystemContext context, IEnumerable<ModuleDesc> compilationModuleSet)
: base(context, compilationModuleSet)
{
}
public override bool ShouldProduceFullVTable(TypeDesc type)
{
return ConstructedEETypeNode.CreationAllowed(type);
}
public override bool ShouldPromoteToFullType(TypeDesc type)
{
return ShouldProduceFullVTable(type);
}
public override bool PresenceOfEETypeImpliesAllMethodsOnType(TypeDesc type)
{
return (type.HasInstantiation || type.IsArray) && ShouldProduceFullVTable(type) &&
type.ConvertToCanonForm(CanonicalFormKind.Specific).IsCanonicalSubtype(CanonicalFormKind.Any);
}
}
}
|
