diff options
| author | Dominic Symes <dominic.symes@arm.com> | 2024-05-14 11:27:52 +0100 |
|---|---|---|
| committer | Dominic Symes <dominic.symes@arm.com> | 2024-05-16 16:49:52 +0000 |
| commit | 85bc862fc27b3005a14e44190b9ab01d7264ce48 (patch) | |
| tree | bb77c5609547284a1fac74185ecf42c957ae9191 /chapters/appendix_a.adoc | |
| parent | 9ff96c5cb05a2beb1225dabf447b762e1c7129f6 (diff) | |
| download | specification-85bc862fc27b3005a14e44190b9ab01d7264ce48.tar.gz | |
Main conformance: update test set generators
Update test set generator scaling factors so that
different set values occur on calls to set_data()
for each test S value.
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Change-Id: I5651944b31476e264360c0fce17fc7a074ae425e
Diffstat (limited to 'chapters/appendix_a.adoc')
| -rw-r--r-- | chapters/appendix_a.adoc | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/chapters/appendix_a.adoc b/chapters/appendix_a.adoc index 0f21b6b..acb59ec 100644 --- a/chapters/appendix_a.adoc +++ b/chapters/appendix_a.adoc @@ -60,8 +60,8 @@ The aim of this generator is to check that sum of products with zero gives zero [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | set_data(2*S, i) < 0 ? 0.0 : set_data(2*S+1, i) -| 1 | set_data(2*S, i) < 0 ? set_data(2*S+1, i) : 0.0 +| 0 | set_data(3*S, i) < 0 ? 0.0 : set_data(3*S+1, i) +| 1 | set_data(3*S, i) < 0 ? set_data(3*S+1, i) : 0.0 | 2 | 0.0 |=== @@ -86,8 +86,8 @@ If the implementation changes the order of the sum, then the test data must also [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | (k==0) ? 1.0 : set_data(2*S+0, i)/sqrt(KS) -| 1 | (k==0) ? 1.0 : set_data(2*S+1, i)/sqrt(KS) +| 0 | (k==0) ? 1.0 : set_data(3*S+0, i)/sqrt(KS) +| 1 | (k==0) ? 1.0 : set_data(3*S+1, i)/sqrt(KS) | 2 | 0.0 |=== @@ -100,8 +100,8 @@ If the implementation changes the order of the sum, then the test data must also [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | (k==0) ? ((set_data(2*S+0, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(2*S+0, 2*i+0)) * set_data(2*S+0, 2*i+1) -| 1 | (k==0) ? ((set_data(2*S+1, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(2*S+1, 2*i+0)) * set_data(2*S+1, 2*i+1) +| 0 | (k==0) ? ((set_data(3*S+0, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(3*S+0, 2*i+0)) * set_data(3*S+0, 2*i+1) +| 1 | (k==0) ? ((set_data(3*S+1, 2*i+0) < 0) ? -16.0 : 16.0) : exp(2*set_data(3*S+1, 2*i+0)) * set_data(3*S+1, 2*i+1) | 2 | 0.0 |=== @@ -112,8 +112,8 @@ The aim of this test set is to check a mixture of zero and non-zero products. [cols="1,9"] |=== | p | tosa_mi_data(S, KS, p, k, i) = -| 0 | (k==KS/2) ? (set_data(2*S, i) < 0 ? -0.5 : +0.5) : (set_data(2*S, i) < 0 ? 0.0 : (B/sqrt(KS))*set_data(2*S+1, i)) -| 1 | (k==KS/2) ? (set_data(2*S, i) < 0 ? +0.5 : -0.5) : (set_data(2*S, i) < 0 ? (B/sqrt(KS))*set_data(2*S+1, i) : 0.0) +| 0 | (k==KS/2) ? (set_data(3*S, i) < 0 ? -0.5 : +0.5) : (set_data(3*S, i) < 0 ? 0.0 : (B/sqrt(KS))*set_data(3*S+1, i)) +| 1 | (k==KS/2) ? (set_data(3*S, i) < 0 ? +0.5 : -0.5) : (set_data(3*S, i) < 0 ? (B/sqrt(KS))*set_data(3*S+1, i) : 0.0) | 2 | 0.0 |=== |