MethodBodies

2 writes to MethodBodies

illink (2)

Linker.Dataflow\InterproceduralState.cs (2)

27=> (MethodBodies, HoistedLocals, this.lattice) = (methodBodies, hoistedLocals, lattice); 73MethodBodies = new ValueSet<MethodIL>(methodsList);

11 references to MethodBodies

illink (11)

Linker.Dataflow\InterproceduralState.cs (8)

30=> MethodBodies.Equals(other.MethodBodies) && HoistedLocals.Equals(other.HoistedLocals); 35public override int GetHashCode() => HashUtils.Combine(MethodBodies.GetHashCode(), HoistedLocals.GetHashCode()); 38=> new(MethodBodies.DeepCopy(), HoistedLocals.Clone(), lattice); 56Debug.Assert(!MethodBodies.IsUnknown()); 57var methodsList = new List<MethodIL>(MethodBodies.GetKnownValues()); 106MethodBodyLattice.Meet(left.MethodBodies, right.MethodBodies),

Linker.Dataflow\MethodBodyScanner.cs (3)

266Debug.Assert(!oldInterproceduralState.MethodBodies.IsUnknown()); 267foreach (var methodIL in oldInterproceduralState.MethodBodies.GetKnownValues()) 285Debug.Assert(interproceduralState.MethodBodies.GetKnownValues().Count() == 1);