4 implementations of Meet
illink (4)
Linker.Dataflow\InterproceduralState.cs (1)
104
public InterproceduralState
Meet
(InterproceduralState left, InterproceduralState right)
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
27
public DefaultValueDictionary<TKey, TValue>
Meet
(DefaultValueDictionary<TKey, TValue> left, DefaultValueDictionary<TKey, TValue> right)
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
45
public Maybe<T>
Meet
(Maybe<T> left, Maybe<T> right)
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ValueSetLattice.cs (1)
17
public ValueSet<TValue>
Meet
(ValueSet<TValue> left, ValueSet<TValue> right) => ValueSet<TValue>.Union(left, right);
13 references to Meet
illink (13)
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
34
met.Set(key, ValueLattice.
Meet
(left.Get(key), rightValue));
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (11)
199
TValue branchState = lattice.
Meet
(lattice.Top, state.Current);
289
currentState = lattice.
Meet
(currentState, predecessorState);
297
currentState = lattice.
Meet
(currentState, tryExceptionState.Value);
306
currentState = lattice.
Meet
(currentState, previousFilterExceptionState.Value);
312
currentState = lattice.
Meet
(currentState, finallyInputState);
329
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, predecessorState);
341
exceptionFinallyState = lattice.
Meet
(exceptionFinallyState.Value, tryExceptionState.Value);
355
exceptionState!.Value = lattice.
Meet
(exceptionState.Value, currentState);
361
exceptionState.Value = lattice.
Meet
(exceptionState.Value, exceptionFinallyState!.Value);
415
tryOrCatchExceptionState.Value = lattice.
Meet
(tryOrCatchExceptionState.Value, exceptionState!.Value);
433
TValue finallyInputState = lattice.
Meet
(oldFinallyInputState, predecessorState);
src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
51
return new Maybe<T>(ValueLattice.
Meet
(leftValue, rightValue));