type
  TBigData = array of UInt64;

procedure Add_pr(Var arr_to: TBigData; Const arr_from: TBigData); --суммирует два массива, результат пишет в первый
begin
   arr_to[i] := arr_to[i] + arr_from[i];//Код пропущен, просто суммирование двух массивов в первый
end;

function Add_fu(Const arr_to, arr_from: TBigData): TBigData; --суммирует два массива, результат пишет в третий (fun.Result)
begin
   Result[i] := arr_to[i] + arr_from[i];//Код пропущен, просто суммирование двух массивов в третий
end;

function Add_fu(Var arr_to: TBigData; Const arr_from: TBigData): TBigData;
begin
   Result[i] := arr_to[i] + arr_from[i];
end;

arr3 := Add_fu(arr1,arr2);

arr1 := Add_fu(arr1,arr2);

procedure Add(A, B, C: TBigData);
begin
  ... C[i] := A[i] + B[i];
end;

Add(X, Y, Z);   //сумму в третий
Add(X, Y, X);   //сумму в первый
Add(X, X, X);   //первый удвоить

function Add(arr_to: TBigData; arr_from: TBigData; aCreateResult: boolean): TBigData;
begin
  if aCreateResult then
    SetLength(result, Length(arr_to));
  else
    result := arr_to;

  ...
    result[i] := arr_to[i] + arr_from[i];
end;