commit 85bc862fc27b3005a14e44190b9ab01d7264ce48
author Dominic Symes <dominic.symes@arm.com> Tue May 14 11:27:52 2024 +0100
committer Dominic Symes <dominic.symes@arm.com> Thu May 16 16:49:52 2024 +0000
tree bb77c5609547284a1fac74185ecf42c957ae9191
parent 9ff96c5cb05a2beb1225dabf447b762e1c7129f6

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

chapters/appendix_a.adoc

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 @@
 [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 @@
 [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 @@
 [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 @@
 [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
 |===