2  * Test floating-point multiply-and-add instructions.
4  * SPDX-License-Identifier: GPL-2.0-or-later
24 …/*         -inf           -Fn          -0             +0             +Fn          +inf           Q…
25 …{/* -inf */ "P(+inf)",     "P(+inf)",   "Xi: T(dNaN)", "Xi: T(dNaN)", "P(-inf)",   "P(-inf)",     …
26 …{/* -Fn  */ "P(+inf)",     "P(a*b)",    "P(+0)",       "P(-0)",       "P(a*b)",    "P(-inf)",     …
27 …{/* -0   */ "Xi: T(dNaN)", "P(+0)",     "P(+0)",       "P(-0)",       "P(-0)",     "Xi: T(dNaN)", …
28 …{/* +0   */ "Xi: T(dNaN)", "P(-0)",     "P(-0)",       "P(+0)",       "P(+0)",     "Xi: T(dNaN)", …
29 …{/* +Fn  */ "P(-inf)",     "P(a*b)",    "P(-0)",       "P(+0)",       "P(a*b)",    "P(+inf)",     …
30 …{/* +inf */ "P(-inf)",     "P(-inf)",   "Xi: T(dNaN)", "Xi: T(dNaN)", "P(+inf)",   "P(+inf)",     …
31 …{/* QNaN */ "P(a)",        "P(a)",      "P(a)",        "P(a)",        "P(a)",      "P(a)",        …
36 …/*         -inf           -Fn        -0         +0         +Fn        +inf           QNaN    SNaN …
37 …{/* -inf */ "T(-inf)",     "T(-inf)", "T(-inf)", "T(-inf)", "T(-inf)", "Xi: T(dNaN)", "T(c)", "Xi:…
38 …{/* -Fn  */ "T(-inf)",     "R(p+c)",  "R(p)",    "R(p)",    "R(p+c)",  "T(+inf)",     "T(c)", "Xi:…
39 …{/* -0   */ "T(-inf)",     "R(c)",    "T(-0)",   "Rezd",    "R(c)",    "T(+inf)",     "T(c)", "Xi:…
40 …{/* +0   */ "T(-inf)",     "R(c)",    "Rezd",    "T(+0)",   "R(c)",    "T(+inf)",     "T(c)", "Xi:…
41 …{/* +Fn  */ "T(-inf)",     "R(p+c)",  "R(p)",    "R(p)",    "R(p+c)",  "T(+inf)",     "T(c)", "Xi:…
43 …{/* QNaN */ "T(p)",        "T(p)",    "T(p)",    "T(p)",    "T(p)",    "T(p)",        "T(p)", "Xi:…
54     union val p;  in interpret_tables()  local
59     if (strcmp(spec1, "P(-inf)") == 0) {  in interpret_tables()
61     } else if (strcmp(spec1, "P(+inf)") == 0) {  in interpret_tables()
63     } else if (strcmp(spec1, "P(-0)") == 0) {  in interpret_tables()
65     } else if (strcmp(spec1, "P(+0)") == 0) {  in interpret_tables()
67     } else if (strcmp(spec1, "P(a)") == 0) {  in interpret_tables()
69         memcpy(&p, a, sizeof(p));  in interpret_tables()
70     } else if (strcmp(spec1, "P(b)") == 0) {  in interpret_tables()
72         memcpy(&p, b, sizeof(p));  in interpret_tables()
73     } else if (strcmp(spec1, "P(a*b)") == 0) {  in interpret_tables()
81             p.e = a->e * b->e;  in interpret_tables()
84             p.d = a->d * b->d;  in interpret_tables()
87             p.x = a->x * b->x;  in interpret_tables()
99         snan_to_qnan(r->buf, fmt);  in interpret_tables()
104         snan_to_qnan(r->buf, fmt);  in interpret_tables()
113     if (strcmp(spec2, "T(-inf)") == 0) {  in interpret_tables()
117     } else if (strcmp(spec2, "T(-0)") == 0) {  in interpret_tables()
123     } else if (strcmp(spec2, "R(p)") == 0 || strcmp(spec2, "T(p)") == 0) {  in interpret_tables()
124         memcpy(r, &p, sizeof(*r));  in interpret_tables()
125     } else if (strcmp(spec2, "R(p+c)") == 0 || strcmp(spec2, "T(p+c)") == 0) {  in interpret_tables()
128             r->e = p.e + c->e;  in interpret_tables()
131             r->d = p.d + c->d;  in interpret_tables()
134             r->x = p.x + c->x;  in interpret_tables()
145         snan_to_qnan(r->buf, fmt);  in interpret_tables()
163     for (i = 2; i >= 0; i--) {  in iter_next()
164         if (++it->val[i] != signed_floats[it->fmt][it->cls[i]].n) {  in iter_next()
167         it->val[i] = 0;  in iter_next()
169         if (++it->cls[i] != N_SIGNED_CLASSES) {  in iter_next()
172         it->cls[i] = 0;  in iter_next()
175     return ++it->fmt != N_FORMATS;  in iter_next()