4 implementations of Top
illink (4)
Linker.Dataflow\InterproceduralState.cs (1)
102
public InterproceduralState
Top
=> new InterproceduralState(MethodBodyLattice.Top, HoistedLocalsLattice.Top, this);
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
19
public DefaultValueDictionary<TKey, TValue>
Top
{ get; }
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
44
public Maybe<T>
Top
{ get; }
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ValueSetLattice.cs (1)
15
public ValueSet<TValue>
Top
=> default;
10 references to Top
illink (10)
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
24
Top = new DefaultValueDictionary<TKey, TValue>(valueLattice.
Top
);
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (9)
89
state = new Box<TValue>(lattice.
Top
);
112
state = lattice.
Top
;
134
state = lattice.
Top
;
157
Current = lattice.
Top
,
199
TValue branchState = lattice.Meet(lattice.
Top
, state.Current);
236
Current = lattice.
Top
,
242
Current = lattice.
Top
,
282
TValue currentState = lattice.
Top
;
321
exceptionFinallyState = lattice.
Top
;