Check output shape matches the padded
input shape.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I8e335ce9b086a36d9e38aa332ecc88782e040cc6

Define scaling factor as a ratio of integers so
that output dimensions can be derived from input
dimensions without rounding.

Change-Id: Iddfd9ff549edf2963bf22047e8641a348cadb35f
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

The current value is too strict, and can lead to some cases to fail.
By making the new value limit between (-1 << shift-1) and (1 << shift-1),
we still restrict the input value a range that works for optimized implementations
that left shift their values before multiplying.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Ib4f49732e361418884888d398087560da3ccd6e8

Use branch v0.30 and tag 0.30.0 for previous version.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I1469a9f631e44488142a1c0536e1d4be10153958

Also update copyright date for specification.

Change-Id: I72d2423247f62fa304d0c0535ef33defb903b74e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

The current version does not match the reference model or
serialization library. Revert to the old behavior until the
model is updated and tested that it works correctly.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I237dc3e94e6c31337073524527da75084ba7b578

Define operations in terms of common floating-point data
types. Definitions for the data types are in the introduction.

Added a section to describe status of the different profiles.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Iac57026806acfb7913f40af61176322fb02b7cc1

The information on quantization and numerics was out of date.
The tensor access helpers were also consolidated and moved into
their own section in the pseudocode chapter.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I472e674ed88f4a3ef379010cf50b13cf8afa5f17

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Ib953cc4b635469034300662b9ae997d0a1bd58a7

The captions for the images used 'direction', instead of 'inverse'
which is the attribute name.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I4d8ab9642288efb984d03b7862068e09334ce8f6

Adds FFT2D for complex->complex FFT
Adds RFFT2D for real->complex FFT

Change-Id: Id50f96b8f66f17c3020767c002f0c1f41a76d62e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Ibb60c192ea60b665cec8d91f7de7cc6e3f553fa6

Remove the calculation of a -1 dimension from the operator.
Calculates the new coordinates, and adds the proper
tensor_read/tensor_write for the data.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Iad1d83c170732bdfb3652dead9044809168b23d2

Replicates multiples times, not multiplies.

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I78c19013d08295171a20fead17661a8f9ea68ac8

An unsigned 16-bit integer data type for use with image networks.
Limited to only operating with the RESCALE operator for conversion
to signed int16.

Zero point can be 0 or 32768 in the RESCALE to allow for no loss of
precision (by subtracting 32768), or keeping all values as positive,
(zero point=0) with scaling/clipping as defined in the other RESCALE
arguments.

Change-Id: Id1aebab68fa207f8f8cc235fc3fa5d050307198e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

They are arrays of multipliers and shifts to handle per channel
scaling.

Change-Id: I4451a87ef4d710fcb93745c8df73ec41752415c0
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

Kevin Petit authored May 03, 2022 and Eric Kunze committed May 04, 2022

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I15ba640629433f87648ece24ffe723a60c8aaf11

Define scaling factor as a ratio of integers so
that output dimensions can be derived from input
dimensions without rounding.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Ie4c1a323dec80379fb0d6db1767777e6c9760a11

Jeremy Johnson authored Apr 26, 2022 and Eric Kunze committed May 03, 2022

Output dimensions should have been worked out correctly by the end
of the compilation to TOSA

Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I0193958d7d51bf1c6915a0953daa514f86516710

Clarify for types previously definded as int
the width assumed by the specification.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Ied62d4803a4323a600d33cff09752a76ca48f18d

It should be an attribute.

Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I2c9c73605486a44297dad105dbdb94abfb5903fb

- The input/output types for CAST should be in_t* and out_t*
- The shape for the multiplier and shift arguments to RESCALE was in the wrong column

Change-Id: I0a3c4ffed15e36f0c4bf8fc9b4a84df5a17a5523
Signed-off-by: Kevin Petit <kevin.petit@arm.com>

For each tensor op clarify how the output dimensions
of output height (OH) and output width (OW) relate
to the input height (IH) and input width (IW).

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Iad36041f54e439c944cacf08afac5567dd2bad3f

Will also fail if aspell is not installed

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I4cab802b64a938797d84604af80cb37caa04f401

Define the perms argument more clearly

Change-Id: I9ea695ef38c2a8160ba0fc2020fa28150942e39e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

Cover cases where NaN, +/- 0, +/- infinity are involved

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I1a5a23c7b856ddb997f7cdc00282420294ef3e6d

The interpolation slope must not exceed
int16_t range.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Ic9037dcc11c293c78b9398952118a129e3be66f5

Range checking adjusted to test that
optimized implementations with prior left
shift do not overflow.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I45a851a1dfc1f1a767f912bb1429d047ed0fb110

Have a simple outer check for proper size rather than
checking during the inner loop.

Change-Id: I20312c5f6b4aacbb630a2df0f901d8586caa04c0
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

The for_each already runs over 0 <= m < M, we don't
need c to also iterate over M.

Change-Id: Ia72b4be7e68e2f210e9bfc75e3958089d9930c47
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

ERROR_IF to make sure rank(index) == rank(out_shape)
Also try to better explain what the expected value for index is.

Change-Id: I0731324d33335cb1ffc0a6fbd153fbc8521ce2e9
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

We can't easily spell check the entire specification, the
pseudocode and operator tables make it unworkable. This
adds a simple python script that tries to extract just the
description of the operators for checking. It also does a check
over the entire license.

A custom dictionary is used to contain specification custom words.

Change-Id: I74558c03af1506e2970f20b3246d920c2753ca44
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

PETMITTED -> PERMITTED
NOTWITHSTANING -> NOTWITHSTANDING

Change-Id: Ic1727fc0b87f74fa34af8582de11dabda3364b25
Signed-off-by: Eric Kunze <eric.kunze@arm.com>

Clarify how RESIZE output dimensions are
related to the input dimensions and add the
border attributes to give a relation equation

Change-Id: I081464de140634d1a99fd8538112c65af949385e
Signed-off-by: Dominic Symes <dominic.symes@arm.com>

The previous call to apply_scale() was not
valid for value2<0.

Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I3fbf38eaad964efdb0c4920da1a61aee67c9bba9

Also change acc_t to out_t when the value is being used as an output.

This should make the argument tables easier to follow.

Change-Id: I2a57f3c4eaf937f29da785ff5c11576663a39494

Change-Id: Ifec04d98b81b351efe110d5a07259f69df4f3014

shpae3->shape3

Change-Id: I981edd50409cb5bac0fd8793a1bf578f20cc0574

Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Ib5da6027faf70d103bf0118d335b510d54a0b563

Change-Id: Id45f95bb06f314dff893a790cac4377d95f7c565
Signed-off-by: Eric Kunze <eric.kunze@arm.com>