ArrayValue

3 instantiations of ArrayValue

illink (3)

Linker.Dataflow\ArrayValue.cs (3)

23result = MultiValueLattice.Meet(result, new MultiValue(new ArrayValue(sizeValue, elementType))); 31return new ArrayValue(new ConstIntValue(size), elementType); 87var newValue = new ArrayValue(Size.DeepCopy(), ElementType);

22 references to ArrayValue

illink (22)

Linker.Dataflow\ArrayValue.cs (4)

29public static ArrayValue Create(int size, TypeReference elementType) 64public bool Equals(ArrayValue? otherArr) 87var newValue = new ArrayValue(Size.DeepCopy(), ElementType); 96System.Diagnostics.Debug.Assert(v is not ArrayValue);

Linker.Dataflow\FlowAnnotations.cs (1)

900"EmptyTypes" when field.DeclaringType.IsTypeOf(WellKnownType.System_Type) => ArrayValue.Create(0, field.DeclaringType),

Linker.Dataflow\HandleCallAction.cs (1)

81AddReturnValue(ArrayValue.Create(0, ((GenericInstanceMethod)calledMethod.Method).GenericArguments[0]));

Linker.Dataflow\MethodBodyScanner.cs (6)

549currentStack.Push(new StackSlot(ArrayValue.Create(count.Value, arrayElementType))); 1214if (v is ArrayValue arr) 1237private static void MarkArrayValuesAsUnknown(ArrayValue arrValue, int curBasicBlock) 1260if (array is ArrayValue arrValue) 1269StoreMethodLocalValue(arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue(valueToStore.Value), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues); 1303if (arrayToLoadFrom.Value.AsSingleValue() is not ArrayValue arr)

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

39if (v is ArrayValue) 46return new(input.AsEnumerable().Select(v => v is ArrayValue ? UnknownValue.Instance : v));

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

961bool hasTypeArguments = (argumentValues[2].AsSingleValue() as ArrayValue)?.Size.AsConstInt() != 0; 1123if ((argumentValue as ArrayValue)?.TryGetValueByIndex(0, out var underlyingMultiValue) == true) 13021 => (argumentValues[0].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13032 => (argumentValues[1].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13044 => (argumentValues[2].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13055 => (argumentValues[3].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 1409if (argumentValues[argsParam].AsSingleValue() is ArrayValue arrayValue && 1594if (typesValue is not ArrayValue array)