ValueSet

Linker.Dataflow\ArrayValue.cs (5)

11using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 18public static MultiValue Create(MultiValue size, TypeReference elementType) 20MultiValue result = MultiValueLattice.Top; 47public partial bool TryGetValueByIndex(int index, out MultiValue value)

Linker.Dataflow\AttributeDataFlow.cs (5)

10using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 34MultiValue value = GetValueForCustomAttributeArgument(arguments[parameter.MetadataIndex]); 43MultiValue valueNode = GetValueForCustomAttributeArgument(value); 52MultiValue GetValueForCustomAttributeArgument(CustomAttributeArgument argument) 72void RequireDynamicallyAccessedMembers(in DiagnosticContext diagnosticContext, in MultiValue value, ValueWithDynamicallyAccessedMembers targetValue)

Linker.Dataflow\GenericArgumentDataFlow.cs (2)

10using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 68MultiValue genericArgumentValue = context.Annotations.FlowAnnotations.GetTypeValueFromGenericArgument(genericArgument);

Linker.Dataflow\HandleCallAction.cs (7)

14using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 49MultiValue instanceValue, 50IReadOnlyList<MultiValue> argumentValues, 52out MultiValue? methodReturnValue) 54MultiValue? maybeMethodReturnValue = methodReturnValue = null; 234void AddReturnValue(MultiValue value) 236maybeMethodReturnValue = (maybeMethodReturnValue is null) ? value : MultiValueLattice.Meet((MultiValue)maybeMethodReturnValue, value);

Linker.Dataflow\InterproceduralState.cs (8)

13ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>>; 14using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 22public ValueSet<MethodIL> MethodBodies; 26public InterproceduralState(ValueSet<MethodIL> methodBodies, HoistedLocalState hoistedLocals, InterproceduralStateLattice lattice) 76public void SetHoistedLocal(HoistedLocalKey key, MultiValue value) 86public MultiValue GetHoistedLocal(HoistedLocalKey key) 93public readonly DictionaryLattice<HoistedLocalKey, MultiValue, ValueSetLattice<SingleValue>> HoistedLocalsLattice; 98DictionaryLattice<HoistedLocalKey, MultiValue, ValueSetLattice<SingleValue>> hoistedLocalsLattice,

Linker.Dataflow\MethodBodyScanner.cs (29)

18using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 27public MultiValue Value { get; } 39public StackSlot(MultiValue value) 197MultiValue localValue = keyValuePair.Value.Value; 215in MultiValue valueToStore, 223MultiValue value; 710MultiValue retValue = DereferenceValue(retStackSlot.Value, locals, ref interproceduralState); 937protected void StoreInReference(MultiValue target, MultiValue source, MethodIL methodIL, Instruction operation, LocalVariableStore locals, int curBasicBlock, ref InterproceduralState ipState, int? parameterIndex) 978protected abstract MultiValue GetFieldValue(FieldReference field); 999MultiValue value; 1015protected virtual void HandleStoreField(MethodIL methodIL, FieldValue field, Instruction operation, MultiValue valueToStore, int? parameterIndex) 1019protected virtual void HandleStoreParameter(MethodIL methodIL, MethodParameterValue parameter, Instruction operation, MultiValue valueToStore, int? parameterIndex) 1023protected virtual void HandleReturnValue(MethodIL method, MethodReturnValue thisParameter, Instruction operation, MultiValue valueToReturn) 1062MultiValue valueToStore = DereferenceValue(valueToStoreSlot.Value, locals, ref interproceduralState); 1106internal MultiValue DereferenceValue(MultiValue maybeReferenceValue, LocalVariableStore locals, ref InterproceduralState interproceduralState) 1108MultiValue dereferencedValue = MultiValueLattice.Top; 1114dereferencedValue = MultiValue.Union( 1121dereferencedValue = MultiValue.Union( 1127dereferencedValue = MultiValue.Union(dereferencedValue, valueBasicBlockPair.Value); 1129dereferencedValue = MultiValue.Union(dereferencedValue, UnknownValue.Instance); 1135dereferencedValue = MultiValue.Union(dereferencedValue, fieldValue); 1138dereferencedValue = MultiValue.Union(dereferencedValue, value); 1196var dereferencedMethodParams = new List<MultiValue>(); 1197foreach (var argument in methodArguments) 1199MultiValue methodReturnValue = HandleCall( 1210foreach (var param in methodArguments) 1228public abstract MultiValue HandleCall(

Linker.Dataflow\ReflectionMethodBodyScanner.cs (13)

14using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 110protected override MultiValue GetFieldValue(FieldReference field) 118private void HandleStoreValueWithDynamicallyAccessedMembers(ValueWithDynamicallyAccessedMembers targetValue, Instruction operation, MultiValue sourceValue, int? parameterIndex) 127protected override void HandleStoreField(MethodIL methodIL, FieldValue field, Instruction operation, MultiValue valueToStore, int? parameterIndex) 130protected override void HandleStoreParameter(MethodIL methodIL, MethodParameterValue parameter, Instruction operation, MultiValue valueToStore, int? parameterIndex) 133protected override void HandleReturnValue(MethodIL methodIL, MethodReturnValue returnValue, Instruction operation, MultiValue valueToStore) 161public override MultiValue HandleCall(MethodIL callingMethodIL, MethodReference calledMethod, Instruction operation, ValueNodeList methodParams) 178MultiValue instanceValue; 179ImmutableArray<MultiValue> arguments; 213public static MultiValue HandleCall( 216MultiValue instanceValue, 217ImmutableArray<MultiValue> argumentValues, 240if (!handleCallAction.Invoke(calledMethodProxy.Value, instanceValue, argumentValues, intrinsicId, out MultiValue methodReturnValue))

Linker.Dataflow\TrimAnalysisAssignmentPattern.cs (5)

8using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 14public MultiValue Source { get; init; } 15public MultiValue Target { get; init; } 22public TrimAnalysisAssignmentPattern(MultiValue source, MultiValue target, MessageOrigin origin, int? parameterIndex)

Linker.Dataflow\TrimAnalysisMethodCallPattern.cs (9)

11using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 19public readonly MultiValue Instance; 20public readonly ImmutableArray<MultiValue> Arguments; 26MultiValue instance, 27ImmutableArray<MultiValue> arguments, 36Arguments = ImmutableArray<MultiValue>.Empty; 40var builder = ImmutableArray.CreateBuilder<MultiValue>(); 41foreach (var argument in arguments) 55var argumentsBuilder = ImmutableArray.CreateBuilder<MultiValue>();

Linker.Dataflow\ValueNode.cs (6)

7using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 11public class ValueNodeList : List<MultiValue> 22public ValueNodeList(List<MultiValue> other) 30foreach (var item in this) 54public ValueBasicBlockPair(MultiValue value, int basicBlockIndex) 60public MultiValue Value { get; }

src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ValueSet.cs (19)

src\runtime\src\tools\illink\src\ILLink.Shared\DataFlow\ValueSetLattice.cs (6)

12public readonly struct ValueSetLattice<TValue> : ILattice<ValueSet<TValue>> 15public ValueSet<TValue> Top => default; 17public ValueSet<TValue> Meet(ValueSet<TValue> left, ValueSet<TValue> right) => ValueSet<TValue>.Union(left, right);

src\runtime\src\tools\illink\src\ILLink.Shared\TrimAnalysis\ArrayValue.cs (4)

6using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 19public partial bool TryGetValueByIndex(int index, out MultiValue value); 21public static MultiValue SanitizeArrayElementValue(MultiValue input)

src\runtime\src\tools\illink\src\ILLink.Shared\TrimAnalysis\HandleCallAction.cs (23)

14using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 31public bool Invoke(MethodProxy calledMethod, MultiValue instanceValue, IReadOnlyList<MultiValue> argumentValues, IntrinsicId intrinsicId, out MultiValue methodReturnValue) 33MultiValue? maybeMethodReturnValue; 79MultiValue instanceValue, 80IReadOnlyList<MultiValue> argumentValues, 82out MultiValue? methodReturnValue); 86MultiValue instanceValue, 87IReadOnlyList<MultiValue> argumentValues, 89out MultiValue? methodReturnValue) 91MultiValue? returnValue = methodReturnValue = null; 638foreach (var methodValue in ProcessGetMethodByName(systemTypeValue.RepresentedType, stringValue.Contents, bindingFlags)) 819foreach (var methodValue in ProcessGetMethodByName(systemTypeValue.RepresentedType, stringValue.Contents, bindingFlags)) 1145if ((argumentValue as ArrayValue)?.TryGetValueByIndex(0, out var underlyingMultiValue) == true) 1637void AddReturnValue(MultiValue value) 1643private IEnumerable<MultiValue> ProcessGetMethodByName(TypeProxy type, string methodName, BindingFlags? bindingFlags) 1661private bool AnalyzeGenericInstantiationTypeArray(in MultiValue arrayParam, ImmutableArray<GenericParameterValue> genericParameters) 1693if (!array.TryGetValueByIndex(i, out MultiValue value) || value.AsSingleValue() is UnknownValue) 1707if (array.TryGetValueByIndex(i, out MultiValue value)) 1733in MultiValue genericParametersArray, 1761private void ProcessCreateInstanceByName(MethodProxy calledMethod, IReadOnlyList<MultiValue> argumentValues) 1818internal static BindingFlags? GetBindingFlagsFromValue(in MultiValue parameter) => (BindingFlags?)parameter.AsConstInt();

src\runtime\src\tools\illink\src\ILLink.Shared\TrimAnalysis\RequireDynamicallyAccessedMembersAction.cs (2)

9using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 21public void Invoke(in MultiValue value, ValueWithDynamicallyAccessedMembers targetValue)

src\runtime\src\tools\illink\src\ILLink.Shared\TrimAnalysis\ValueExtensions.cs (7)

7using MultiValue = ILLink.Shared.DataFlow.ValueSet<ILLink.Shared.DataFlow.SingleValue>; 45internal static int? AsConstInt(this in MultiValue value) 53internal static SingleValue? AsSingleValue(this in MultiValue node) 62private static ValueSet<SingleValue>.Enumerable Unknown = new ValueSet<SingleValue>.Enumerable(UnknownValue.Instance); 66internal static ValueSet<SingleValue>.Enumerable AsEnumerable(this MultiValue multiValue)