1 write to ValueLattice
ILLink.RoslynAnalyzer (1)
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
23
ValueLattice
= valueLattice;
9 references to ValueLattice
ILLink.RoslynAnalyzer (9)
DataFlow\InterproceduralState.cs (2)
66
HoistedLocals.Set(key, new Maybe<TValue>(lattice.HoistedLocalLattice.
ValueLattice
.ValueLattice.Top));
79
lattice.HoistedLocalLattice.
ValueLattice
.Meet(
DataFlow\LocalDataFlowVisitor.cs (4)
47
protected TValue TopValue => LocalStateAndContextLattice.LocalStateLattice.Lattice.
ValueLattice
.Top;
237
? state.Lattice.LocalStateLattice.Lattice.
ValueLattice
.Meet(state.Get(local), value)
449
value = LocalStateAndContextLattice.LocalStateLattice.Lattice.
ValueLattice
.Meet(value, singleValue);
569
capturedValue = LocalStateAndContextLattice.LocalStateLattice.Lattice.
ValueLattice
.Meet(capturedValue, value);
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
34
met.Set(key,
ValueLattice
.Meet(left.Get(key), rightValue));
TrimAnalysis\TrimAnalysisVisitor.cs (1)
57
_multiValueLattice = lattice.LocalStateLattice.Lattice.
ValueLattice
;
TrimAnalysis\TrimDataFlowAnalysis.cs (1)
51
TrimAnalysisPatterns = new TrimAnalysisPatternStore(lattice.LocalStateLattice.Lattice.
ValueLattice
, lattice.ContextLattice);