ArrayValue

3 instantiations of ArrayValue

illink (3)

Linker.Dataflow\ArrayValue.cs (3)

22result = MultiValueLattice.Meet(result, new MultiValue(new ArrayValue(sizeValue, elementType))); 30return new ArrayValue(new ConstIntValue(size), elementType); 86var newValue = new ArrayValue(Size.DeepCopy(), ElementType);

22 references to ArrayValue

illink (22)

Linker.Dataflow\ArrayValue.cs (4)

28public static ArrayValue Create(int size, TypeReference elementType) 63public bool Equals(ArrayValue? otherArr) 86var newValue = new ArrayValue(Size.DeepCopy(), ElementType); 95System.Diagnostics.Debug.Assert(v is not ArrayValue);

Linker.Dataflow\FlowAnnotations.cs (1)

829"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)

540currentStack.Push(new StackSlot(ArrayValue.Create(count.Value, (TypeReference)operation.Operand))); 1188if (v is ArrayValue arr) 1211private static void MarkArrayValuesAsUnknown(ArrayValue arrValue, int curBasicBlock) 1234if (array is ArrayValue arrValue) 1243StoreMethodLocalValue(arrValue.IndexValues, ArrayValue.SanitizeArrayElementValue(valueToStore.Value), indexToStoreAtInt.Value, curBasicBlock, MaxTrackedArrayValues); 1277if (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)

960bool hasTypeArguments = (argumentValues[2].AsSingleValue() as ArrayValue)?.Size.AsConstInt() != 0; 1121if ((argumentValue as ArrayValue)?.TryGetValueByIndex(0, out var underlyingMultiValue) == true) 13001 => (argumentValues[0].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13012 => (argumentValues[1].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13024 => (argumentValues[2].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 13035 => (argumentValues[3].AsSingleValue() as ArrayValue)?.Size.AsConstInt(), 1407if (argumentValues[argsParam].AsSingleValue() is ArrayValue arrayValue && 1592if (typesValue is not ArrayValue array)