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