-
Notifications
You must be signed in to change notification settings - Fork 392
/
OMRAliasBuilder.hpp
203 lines (157 loc) · 8.06 KB
/
OMRAliasBuilder.hpp
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
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
/*******************************************************************************
* Copyright (c) 2000, 2021 IBM Corp. and others
*
* This program and the accompanying materials are made available under
* the terms of the Eclipse Public License 2.0 which accompanies this
* distribution and is available at http://eclipse.org/legal/epl-2.0
* or the Apache License, Version 2.0 which accompanies this distribution
* and is available at https://www.apache.org/licenses/LICENSE-2.0.
*
* This Source Code may also be made available under the following Secondary
* Licenses when the conditions for such availability set forth in the
* Eclipse Public License, v. 2.0 are satisfied: GNU General Public License,
* version 2 with the GNU Classpath Exception [1] and GNU General Public
* License, version 2 with the OpenJDK Assembly Exception [2].
*
* [1] https://www.gnu.org/software/classpath/license.html
* [2] http://openjdk.java.net/legal/assembly-exception.html
*
* SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 OR GPL-2.0 WITH Classpath-exception-2.0 OR LicenseRef-GPL-2.0 WITH Assembly-exception
*******************************************************************************/
#ifndef OMR_ALIASBUILDER_INCL
#define OMR_ALIASBUILDER_INCL
/*
* The following #define and typedef must appear before any #includes in this file
*/
#ifndef OMR_ALIASBUILDER_CONNECTOR
#define OMR_ALIASBUILDER_CONNECTOR
namespace OMR { class AliasBuilder; }
namespace OMR { typedef OMR::AliasBuilder AliasBuilderConnector; }
#endif
#include "compile/Method.hpp"
#include "env/TRMemory.hpp"
#include "il/Node.hpp"
#include "infra/BitVector.hpp"
#include "infra/Array.hpp"
#include "infra/List.hpp"
#include "infra/Link.hpp"
class TR_Memory;
class TR_StackMemory;
class TR_HeapMemory;
namespace TR { class AliasBuilder; }
namespace TR { class Block; }
namespace TR { class Compilation; }
namespace TR { class Node; }
namespace TR { class ResolvedMethodSymbol; }
namespace TR { class SymbolReference; }
namespace TR { class SymbolReferenceTable; }
namespace OMR
{
class AliasBuilder
{
public:
TR_ALLOC(TR_Memory::SymbolReferenceTable)
AliasBuilder(TR::SymbolReferenceTable *symRefTab, size_t sizeHintInElements, TR::Compilation *comp);
void createAliasInfo();
TR::SymbolReferenceTable *symRefTab() { return _symRefTab; }
TR::Compilation *comp() { return _compilation; }
TR_Memory *trMemory() { return _trMemory; }
TR_StackMemory trStackMemory() { return _trMemory; }
TR_HeapMemory trHeapMemory() { return _trMemory; }
TR_BitVector & addressShadowSymRefs() { return _addressShadowSymRefs; }
TR_BitVector & intShadowSymRefs() { return _intShadowSymRefs; }
TR_BitVector & genericIntShadowSymRefs() { return _genericIntShadowSymRefs; }
TR_BitVector & genericIntArrayShadowSymRefs() { return _genericIntArrayShadowSymRefs; }
TR_BitVector & genericIntNonArrayShadowSymRefs() { return _genericIntNonArrayShadowSymRefs; }
TR_BitVector & nonIntPrimitiveShadowSymRefs() { return _nonIntPrimitiveShadowSymRefs; }
TR_BitVector & addressStaticSymRefs() { return _addressStaticSymRefs; }
TR_BitVector & intStaticSymRefs() { return _intStaticSymRefs; }
TR_BitVector & nonIntPrimitiveStaticSymRefs() { return _nonIntPrimitiveStaticSymRefs; }
TR_BitVector & methodSymRefs() { return _methodSymRefs; }
TR_BitVector & arrayElementSymRefs() { return _arrayElementSymRefs; }
TR_BitVector & immutableArrayElementSymRefs() { return _immutableArrayElementSymRefs; }
TR::SymbolReference *getSymRefForAliasing(TR::Node *node, TR::Node *addrChild);
TR_BitVector & arrayletElementSymRefs() { return _arrayletElementSymRefs; }
TR_BitVector & unsafeSymRefNumbers() { return _unsafeSymRefNumbers; }
TR_BitVector & unsafeArrayElementSymRefs() { return _unsafeArrayElementSymRefs; }
TR_BitVector & gcSafePointSymRefNumbers() { return _gcSafePointSymRefNumbers; }
TR_BitVector & cpConstantSymRefs() { return _cpConstantSymRefs; }
TR_BitVector & cpSymRefs() { return _cpSymRefs; }
TR_BitVector & catchLocalUseSymRefs() { return _catchLocalUseSymRefs; }
TR_BitVector & defaultMethodDefAliases() { return _defaultMethodDefAliases; }
TR_BitVector & defaultMethodUseAliases() { return _defaultMethodUseAliases; }
TR_BitVector & methodsThatMayThrow() { return _methodsThatMayThrow; }
TR_BitVector & defaultMethodDefAliasesWithoutImmutable() { return _defaultMethodDefAliasesWithoutImmutable; }
TR_BitVector & defaultMethodDefAliasesWithoutUserField() { return _defaultMethodDefAliasesWithoutUserField; }
// used in support of LoopAliasRefiner
TR_BitVector & refinedNonIntPrimitiveArrayShadows() { return _refinedNonIntPrimitiveArrayShadows; }
TR_BitVector & refinedAddressArrayShadows() { return _refinedAddressArrayShadows; }
TR_BitVector & refinedIntArrayShadows() { return _refinedIntArrayShadows; }
bool litPoolGenericIntShadowHasBeenCreated(){ return _litPoolGenericIntShadowHasBeenCreated; }
void setLitPoolGenericIntShadowHasBeenCreated(){ _litPoolGenericIntShadowHasBeenCreated = true; }
void updateSubSets(TR::SymbolReference *ref);
TR_BitVector * methodAliases(TR::SymbolReference *);
void setVeryRefinedCallAliasSets(TR::ResolvedMethodSymbol *, TR_BitVector *);
TR_BitVector * getVeryRefinedCallAliasSets(TR::ResolvedMethodSymbol *);
TR_BitVector & notOsrCatchLocalUseSymRefs() { return _notOsrCatchLocalUseSymRefs; }
void setCatchLocalUseSymRefs();
void gatherLocalUseInfo(TR::Node *, TR_BitVector&, vcount_t, bool);
void gatherLocalUseInfo(TR::Block *, bool);
void gatherLocalUseInfo(TR::Block *, TR_BitVector &, TR_ScratchList<TR_Pair<TR::Block, TR_BitVector> > *, vcount_t, bool);
bool hasUseonlyAliasesOnlyDueToOSRCatchBlocks(TR::SymbolReference *symRef);
bool conservativeGenericIntShadowAliasing();
void setConservativeGenericIntShadowAliasing(bool b) { _conservativeGenericIntShadowAliasingRequired = b; }
bool mutableGenericIntShadowHasBeenCreated() { return _mutableGenericIntShadowHasBeenCreated; }
void setMutableGenericIntShadowHasBeenCreated(bool b) { _mutableGenericIntShadowHasBeenCreated = b; }
void addNonIntPrimitiveArrayShadows(TR_BitVector *);
void addAddressArrayShadows(TR_BitVector *);
void addIntArrayShadows(TR_BitVector *);
protected:
TR::AliasBuilder *self();
TR::Compilation *_compilation;
TR_Memory *_trMemory;
TR::SymbolReferenceTable *_symRefTab;
struct CallAliases : TR_Link<CallAliases>
{
CallAliases(TR_BitVector * bv, TR::ResolvedMethodSymbol * m) : _callAliases(bv), _methodSymbol(m) { }
TR_BitVector * _callAliases;
TR::ResolvedMethodSymbol * _methodSymbol;
};
TR_LinkHead<CallAliases> _callAliases;
TR_BitVector _addressShadowSymRefs;
TR_BitVector _intShadowSymRefs;
TR_BitVector _genericIntShadowSymRefs;
TR_BitVector _genericIntArrayShadowSymRefs;
TR_BitVector _genericIntNonArrayShadowSymRefs;
TR_BitVector _nonIntPrimitiveShadowSymRefs;
TR_BitVector _addressStaticSymRefs;
TR_BitVector _intStaticSymRefs;
TR_BitVector _nonIntPrimitiveStaticSymRefs;
TR_BitVector _methodSymRefs;
TR_BitVector _arrayElementSymRefs;
TR_BitVector _immutableArrayElementSymRefs;
TR_BitVector _arrayletElementSymRefs;
TR_BitVector _unsafeSymRefNumbers;
TR_BitVector _unsafeArrayElementSymRefs; // subset of _unsafeSymRefNumbers
TR_BitVector _gcSafePointSymRefNumbers;
TR_BitVector _cpConstantSymRefs;
TR_BitVector _cpSymRefs;
TR_BitVector _catchLocalUseSymRefs;
TR_BitVector _defaultMethodDefAliases;
TR_BitVector _defaultMethodUseAliases;
TR_BitVector _methodsThatMayThrow;
TR_BitVector _defaultMethodDefAliasesWithoutImmutable;
TR_BitVector _defaultMethodDefAliasesWithoutUserField;
// used for LoopAliasRefiner
TR_BitVector _refinedAddressArrayShadows;
TR_BitVector _refinedIntArrayShadows;
TR_BitVector _refinedNonIntPrimitiveArrayShadows;
bool _litPoolGenericIntShadowHasBeenCreated;
TR_Array<TR_BitVector *> _userFieldMethodDefAliases;
TR_BitVector _notOsrCatchLocalUseSymRefs;
// J9?
bool _conservativeGenericIntShadowAliasingRequired;
bool _mutableGenericIntShadowHasBeenCreated;
};
}
#endif