Age | Commit message (Collapse) | Author |
|
Change SIGMOID, TANH precision to allow an
implementation using EXP. The bound is based
on the EXP bound.
Change-Id: I19582b31753ac614a1064a1b81961dbc54acf823
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
For bf16_t data type, REDUCE_SUM is changed to use fp32_t
as the accumulator type to be consistent with CONV2D.
For other data types the accumulator type is the same
as in_out_t (and so no change).
Also correct the rank limit text.
Update reduction pseudo-code to be consistent with
REDUCE_SUM.
Change-Id: I9923066be7d1b7edb0efd9bcf3365b4af9501beb
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Change RSQRT precision to 2 ulp to allow
unfused square root and reciprocal.
Also fixes:
- a typo in EXP and POW conformance
- exp2() handling of large negative values
- symmetry about 0 of test set S=4 data generation
- err_bnd cannot be negative
- ulp not taken for reference value of 0
Change-Id: Idaeeb7b615f1634e8e09dea5f82827039780b462
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Previous description referred to nonexistant input tensor
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I162ab05ed1db7491ed29ddeabd3490e9ff7ee39b
|
|
- CustomOp's domain attribute name has been updated to domain_name
- Forget to update that for the description text part.
Signed-off-by: Jerry Ge <jerry.ge@arm.com>
Change-Id: Ifa731125dc2f224ecc1cd661e238c7b27945db68
|
|
- "operator" is a reserved keyword in C++
- Update the attribute names to avoid those conflicts
Signed-off-by: Jerry Ge <jerry.ge@arm.com>
Change-Id: Iecb1edc50eb1a1232e05250b8baa79cfceb8cd61
|
|
EXP and POW are complex to implement in a precise number of ulp
and a more flexible precision is given.
Additionally, the test generater S=5 has the bias values
changed to zero. If the bias values are non-zero then a
bias for all output tensor elements of the channel can affect
the dot product bias test.
The numeric accuracy helpers are updated for bf16.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: Ia46a2ef4d577244b6983a08ce850de3db9573a42
|
|
Bias broadcast was introduced earlier, this adds text to the bias argument
to call out the broadcast when only a single data element is given for
broadcast.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I684afbe642e9b9cfb9f7c7e9b5bb4944019f206a
|
|
Clarify how to compare with an error range of a given
number of ulp in this specification. Denormals may be
flushed to zero.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I1158e777030c4770d74f1acff84ab98e4a3420ac
|
|
REDUCE_MIN, REDUCE_MAX, SELECT did not have an accuracy bound defined.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I0fea091752dfcdc2bb55eae7becc68b9c1860e9e
|
|
The output shape can be calculated from the
input shape and attributes so the out_shape
argument is redundant.
Change-Id: I7e6b0b7f03dc75ccdf967261fad4185c513ed187
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I323bf261ac4a5219ee881a31e2840356ba32ab9a
|
|
Also express the fp32_t acc_min_normal calculation
without a double negation.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I34ba274264bc511e60f0e01601d5d0a3f983e594
|
|
Define idiv_floor to give equivalent behavior to the floating-point
floor function for image coordinate calculation.
Change-Id: Id6268794b1e3ce5cc1114bda74dd06b892457a8e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|
|
Update the error bound for dot product operations to
allow floating point accumulators where denormal
values are flushed to zero.
Change-Id: I1d5805f0ad613ca9d78c6a6da12e31d7df5f6cc4
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
CUSTOM operators are still implementation specific, but now have
attributes added to identify and namespace the underyling operation.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I8db2fffd0b34958bd8c718633a130941f32f962b
|
|
Integer inputs and outputs to TOSA operators are now defined as signless
values. In most instances the operator will used signed arithmetic as
indicated in previous versions of the specification resulting in little
functional change to the specification.
New attributes have been added to the RESCALE operator to indicate
whether the input and output values should be treated as signed or unsigned.
Explicit use of static_cast, sign_extend, zero_extend and truncate are added
to the pseudocode to avoid ambiguity.
Change-Id: I71c67d3e5aeaabc418c768f821fce6ee3eebb65b
|
|
Adds a local_bound flag to convolution operations.
If the local_bound flag is true then the output accuracy
for floating-point is measured relative to the
input tensor data local to the particular convolution output.
If the local_bound flag is false then the output accuracy
for floating-point is measured relative to the whole input tensor.
This accuracy measure is the default and more approapriate for
implementations with non local optimizations (such as
transform based fast convolutions).
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I64e3e4981a63e26e6391149e28d5d71e7ef5560a
|
|
Shape inference derives the shape of tensors in
the graph from input shapes. Operations such as RESHAPE
may need calculations to derive the new tensor shape.
This patch:
- Adds a DIM operator to get the size of a tensor in
a given axis as a rank 0 tensor of type shape_t
- Allows RESHAPE to take a 1D shape tensor as input for
the new shape
- Allows RESIZE, TILE, PAD to take input sizes based
on shape tensors.
- Allows ADD, SUB, MUL, INTDIV to operate on rank 0
shape_t tensors
- Allows CONCAT to concatenate 0D shape_t tensors to
a 1D shape_t tensor
- Adds CONST support for shape_t tensors
In this version of the specification shape tensors must
be resolvable to constants at backend compile time.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I484bd44452453b5e05d0d8a82689564587b224e4
|
|
We've seen networks with >64 scale ratios that we would expect
to run on systems implementing the 8K level. Raise the ratio to 256.
Change-Id: I5a72a533b2125fe56ffedc8b8d5c31bb96f60f10
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|
|
Signed-off-by: Jerry Ge <jerry.ge@arm.com>
Change-Id: I63a4c1202a1eddcdedb222e64cac34557647ff21
|
|
Bias tensors often have the same value for
each channel. To allow for this the number of
bias channels, BC, is permitted to be 1 or the
output channel size. If BC == 1 then the
bias is broadcast.
Change-Id: I3262a6c699bd045f44201e2a123f9b792b9f67c9
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
No functional changes, cleanup only
Add missing copyright notices
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I0ddc8738f16aeced28fe7aa2ccc4fb715a84bd18
|
|
Nesting of if/while is bounded by MAX_NESTING,
set accoring to the TOSA level.
Change-Id: If9435a143ffa6bd7ba2e46a68542459b3d723b76
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
This aligns them with most of the other operators, with the
maximum rank handled defined by the level parameter MAX_RANK.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Iad9dd285121b4252b39e8e4c3d12a762299c9722
|
|
Change-Id: I188694080b74ec81c6dea675430e29db11ee6079
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Signed-off-by: Jerry Ge <jerry.ge@arm.com>
Change-Id: I3b6193f90541087be2de91837fb0c399e49a45b4
|
|
To be consistent with CONV2D, the FULLY_CONNECTED
weight and bias arguments should be
inputs rather than attributes.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I77bd0ca36f98bccd0c2224060476e3b4ac04b4bf
|
|
int8/uint8 zero point within the given range
uint16 zero point is either 0 or 32768
other data types zero point must be 0
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I3aa240dd8fb88a5f77b7ab90d4dbf634fbf4aa0b
|
|
Signed-off-by: Jerry Ge <jerry.ge@arm.com>
Change-Id: Iabe1095e58ddce446d4c1781660bcfe82a596e61
|
|
Defined for floating-point types only.
For integer versions, a TABLE should be used.
Change-Id: Ieaec6e6eb3227c5dcd9741cddd57426002a8db4d
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|
|
Correct the kernel size for the DEPTHWISE_CONV2D
test data generator in Appendix A.
Change-Id: I4fea6192bcd8a70d82d12543730cdc684fb839e5
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Correct scaling factor for tosa_mi_data()
for S=1 and S=4 data sets.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I3f09f758d82ccd64da8bb26fd219ff4d7a55918c
|
|
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Ifdcc2433cf632136f9d025ce2bdd4445e4cd2d09
|
|
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I82eb4b2005cb4124840de9c452705bfaa8cf9738
|
|
- Standardise the terminology for operator arguments. Argument,
Operand, and Parameter were used interchangeably.
- Introduce a templatized tensor_t<> type for tensor arguments.
Scalars are represented by rank-0 tensors.
- Types can be checked with the XSD schema.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: Ic57b9387950824e994c5e7f9ec1489c29159b974
|
|
Provide the mathematical formulas for sigmoid and tanh.
Define the operation function for sigmoid and tanh for
floating-point numbers.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: Ib949d2e8e06309e5c5292aa0192746ad0f9b1f11
|
|
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I75753adecd50b68e1184ab8aa59fd4c8c3638a1a
|
|
The lines using the flattened pad values were removed,
but the flatten call remained.
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I2b33945fa40ba413a657c4daaaf1820dd5b1c3d4
|
|
Add REQUIRE statements to constrain the range where needed.
Also fix a typo.
Change-Id: I281e6249d8951b4cb3ff19eaf199660bed3feac9
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
|
|
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I3b57615531eebebd356528deeb95a4930ca0b04c
|
|
This make it easier for implementations to use variadic constructs
to implement input_list.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I3fcc40be30551d883ead506f5eba2aa08cc5186e
|
|
Adds new optional element to argument 'rank'
- Must supply minimum and maximum rank
- Integer values or the level based "MAX_RANK"
- trailing modifiers allowed for "MAX_RANK"
- Displays in a new column in the document
- Document generation validates rank against specified shape
Change-Id: I507dc51bfe012d3230af43103c6c423a6f1e92b5
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|
|
- Add additional main inference compliance test
data sets for dot product testing in Appendix A.
- Express dot product test criteria in terms of
tensors rather than individual dot products.
- Add per-operation details on test set generation
in Appendix A.
- Clarify compliance vs conformance wording.
- Clarify that the comment in the table of section 1.8.2
on integer saturation applies to the CAST from
floating point to integer operation.
Change-Id: I1b4c4493b02ed7c8a6eb547656c91ca67d4b0e86
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
|
|
Existing logic was impossible to resolve
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Change-Id: I7f38ea57adb7fff9018a6f0fa8dd82453782d59b
|
|
resize_t is already used in the type support table for RESIZE, rename
the mode enum to resize_mode_t.
Also add a python function to get an enum object by name to the spec
object.
Change-Id: Id12c10929beda469c6e3714518d6e26f18ddd440
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
|
|
The tensor size in bytes must fit within the level
defined size range.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I131e3aa7e8666b4d0093ae8198367f243081da51
|
|
Also make LEVEL_CHECKs unconditional in pseudocode. The various
MAX_* maximums are always defined.
Change-Id: Iee5d8ade5cba3b4f86cc09f8b867b59fe18f5cfe
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
|
|
Also replace all instances of "co-ordinate" with "coordinate" for
consistency.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: Idff73092711d3ff85bf4db33df92924c754cf451
|
|
Currently used by RESIZE and AVG_POOL2D
Change-Id: I4f401ac092fcf426e6d57b3729943135f634a31e
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|