//
// This confidential and proprietary software may be used only as
// authorised by a licensing agreement from ARM Limited
// (C) COPYRIGHT 2020 ARM Limited
// ALL RIGHTS RESERVED
// The entire notice above must be reproduced on all authorised
// copies and copies may only be made to the extent permitted
// by a licensing agreement from ARM Limited.

=== Reduction Operators

==== REDUCE_ANY

Reduce a tensor along the given axes with a logical OR operation

*Arguments:*

|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, false)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = acc || value
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|Any|Boolean|bool|bool
|===

==== REDUCE_ALL

Reduce a tensor along the given axes with a logical AND operation

*Arguments:*

|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, true)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = acc && value
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|Any|Boolean|bool|bool
|===

==== REDUCE_MAX

Reduce a tensor along the given axes with a maximum operation

*Arguments:*

|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, minimum<in_t>)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = apply_max<in_t>(acc, value)
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|Any|signed 8|aint8|aint8
|Any|signed 16|int16|int16
|Any|signed 32|int32|int32
|MI, MT|float|float|float
|===

==== REDUCE_MIN

Reduce a tensor along the given axes with a minimum operation

*Arguments:*
|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Quantization Parameters:*

Quantization is ignored when doing the REDUCE_MIN operation. The input and output must maintain the same parameters.

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, maximum<in_t>)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = apply_min<in_t>(acc, value)
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|Any|signed 8|aint8|aint8
|Any|signed 16|int16|int16
|Any|signed 32|int32|int32
|MI, MT|float|float|float
|===

==== REDUCE_PRODUCT

Reduce a tensor along the given axes by computing the product of the axes.

*Arguments:*

|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, 1.0)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = acc * value
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|MI, MT|float|float|float
|===

==== REDUCE_SUM

Reduce a tensor along the given axes by computing the sum of the axes.

*Arguments:*

|===
|Argument|Type|Name|Shape|Description

|Input|in_t*|input|in_shape|Input tensor from 1 to 4 dims
|Attribute|int|axes|[]|List of axes with size from 1 to rank(input1). Values are integers into the 0-based dimensions of the input tensor. An empty list is not allowed.
|Attribute|int|keep_dims|-|If 1, axes reduced will be retained with length=1.
|Output|out_t*|output|out_shape|Output tensor. Same rank as the input tensor if keep_dims set, else one less than input tensor rank.
|===

*Operation Function:*

[source,c]
----
tmp_shape = in_shape;
for_each (axis in axes[]) {
    tmp_shape[axis]=1;
}
if (keep_dims) assert(tmp_shape == out_shape)
for_each (index in tmp_shape) {
    tensor_write<in_t>(output, tmp_shape, index, 0)
}
for_each (index in in_shape) {
    tmp_index = index;
    for each (axis in axes[]) {
        tmp_index[axis]=0;
    }
    value = tensor_read<in_t>(input, in_shape, index)
    acc   = tensor_read<in_t>(output, tmp_shape, tmp_index)
    acc   = apply_add<in_t>(acc, value)
    tensor_write<in_t>(output, tmp_shape, tmp_index, acc)
}
----

*Supported Data Types:*

|===
|Profile|Mode|in_t|out_t

|Any|signed 32|int32|int32
|MI, MT|float|float|float
|===