blob: 52d6957f239ff70451df1816a938abe11de52601 (
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
140
141
142
143
144
145
146
147
148
149
|
// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
using System.Collections.Generic;
using System.Diagnostics;
using Mono.Cecil;
using Mono.Collections.Generic;
namespace Mono.Linker.Steps
{
public class SealerStep : BaseStep
{
HashSet<TypeDefinition>? referencedBaseTypeCache;
public SealerStep ()
{
}
protected override void ProcessAssembly (AssemblyDefinition assembly)
{
if (!Context.CanApplyOptimization (CodeOptimizations.Sealer, assembly))
return;
foreach (var type in assembly.MainModule.Types)
ProcessType (type);
}
protected override void EndProcess ()
{
referencedBaseTypeCache = null;
}
bool IsSubclassed (TypeDefinition type)
{
if (referencedBaseTypeCache == null) {
referencedBaseTypeCache = new HashSet<TypeDefinition> ();
foreach (var a in Context.GetAssemblies ()) {
if (!Annotations.IsMarked (a))
continue;
PopulateCache (a.MainModule.Types);
void PopulateCache (Collection<TypeDefinition> types)
{
foreach (var t in types) {
var btd = Context.TryResolve (t.BaseType);
if (btd != null)
referencedBaseTypeCache.Add (btd);
if (t.HasNestedTypes) {
PopulateCache (t.NestedTypes);
}
}
}
}
}
var bt = Context.TryResolve (type);
return bt != null && referencedBaseTypeCache.Contains (bt);
}
void ProcessType (TypeDefinition type)
{
if (type.HasNestedTypes) {
foreach (var nt in type.NestedTypes) {
ProcessType (nt);
}
}
//
// interface members are virtual (and we cannot change this)
//
if (type.IsInterface)
return;
//
// the code does not include any subclass for this type
//
if (!type.IsAbstract && !type.IsSealed && !IsSubclassed (type))
SealType (type);
if (!type.HasMethods)
return;
// process methods to see if we can seal or devirtualize them
foreach (var method in type.Methods) {
if (method.IsFinal || !method.IsVirtual || method.IsAbstract || method.IsRuntime)
continue;
Debug.Assert (Annotations.IsMarked (method));
if (!Annotations.IsMarked (method))
continue;
var overrides = Annotations.GetOverrides (method);
//
// cannot de-virtualize nor seal methods if something overrides them
//
if (IsAnyMarked (overrides))
continue;
SealMethod (method);
// subclasses might need this method to satisfy an interface requirement
// and requires dispatch/virtual support
if (!type.IsSealed)
continue;
var bases = Annotations.GetBaseMethods (method);
// Devirtualize if a method is not override to existing marked methods
if (!IsAnyMarked (bases))
method.IsVirtual = method.IsFinal = method.IsNewSlot = false;
}
}
protected virtual void SealType (TypeDefinition type)
{
type.IsSealed = true;
}
protected virtual void SealMethod (MethodDefinition method)
{
method.IsFinal = true;
}
bool IsAnyMarked (IEnumerable<OverrideInformation>? list)
{
if (list == null)
return false;
foreach (var m in list) {
if (Annotations.IsMarked (m.Override))
return true;
}
return false;
}
bool IsAnyMarked (List<MethodDefinition>? list)
{
if (list == null)
return false;
foreach (var m in list) {
if (Annotations.IsMarked (m))
return true;
}
return false;
}
}
}
|
