3 * Test the test-vector framework
5 * (c) 2023 Straylight/Edgeware
8 /*----- Licensing notice --------------------------------------------------*
10 * This file is part of the mLib utilities library.
12 * mLib is free software: you can redistribute it and/or modify it under
13 * the terms of the GNU Library General Public License as published by
14 * the Free Software Foundation; either version 2 of the License, or (at
15 * your option) any later version.
17 * mLib is distributed in the hope that it will be useful, but WITHOUT
18 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public
20 * License for more details.
22 * You should have received a copy of the GNU Library General Public
23 * License along with mLib. If not, write to the Free Software
24 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
28 /*----- Header files ------------------------------------------------------*/
32 /*----- Register definitions ----------------------------------------------*/
34 static const struct tvec_iassoc ienum_assocs
[] = {
41 static const struct tvec_uassoc uenum_assocs
[] = {
48 static const struct tvec_fassoc fenum_assocs
[] = {
49 { "e", 2.718281828459045 },
50 { "pi", 3.141592653589793 },
51 { "tau", 6.283185307179586 },
55 static const struct tvec_passoc penum_assocs
[] = {
56 { "alice", &uenum_assocs
[0] },
57 { "bob", &uenum_assocs
[1] },
58 { "carol", &uenum_assocs
[2] },
62 #if __STDC_VERSION__x >= 199901
68 static const struct tvec_floatinfo fenum_fltinfo
=
69 { TVFF_ABSDELTA
, -10, +10, 1e-3 };
71 #define DEFENUM(tag, ty, slot) \
72 static const struct tvec_##slot##enuminfo slot##enum_info = \
73 { slot##enum_NAME, slot##enum_assocs slot##enum_ARGS };
74 #define ienum_NAME "order"
75 #define ienum_ARGS , &tvrange_i16
76 #define uenum_NAME "fruit"
77 #define uenum_ARGS , &tvrange_u16
78 #define fenum_NAME "const"
79 #define fenum_ARGS , &fenum_fltinfo
80 #define penum_NAME "actor"
82 TVEC_MISCSLOTS(DEFENUM
)
85 static const struct tvec_flag attr_flags
[] = {
86 { "black-fg", 0x07, 0x00 },
87 { "blue-fg", 0x07, 0x01 },
88 { "red-fg", 0x07, 0x02 },
89 { "magenta-fg", 0x07, 0x03 },
90 { "green-fg", 0x07, 0x04 },
91 { "cyan-fg", 0x07, 0x05 },
92 { "yellow-fg", 0x07, 0x06 },
93 { "white-fg", 0x07, 0x07 },
95 { "black-bg", 0x38, 0x00 },
96 { "blue-bg", 0x38, 0x08 },
97 { "red-bg", 0x38, 0x10 },
98 { "magenta-bg", 0x38, 0x18 },
99 { "green-bg", 0x38, 0x20 },
100 { "cyan-bg", 0x38, 0x28 },
101 { "yellow-bg", 0x38, 0x30 },
102 { "white-bg", 0x38, 0x38 },
104 { "normal", 0xc0, 0x00 },
105 { "bright", 0x40, 0x40 },
106 { "flash", 0x80, 0x80 },
111 static const struct tvec_flaginfo attr_info
=
112 { "attr", attr_flags
, &tvrange_u16
};
114 static const struct tvec_floatinfo fltish_info
=
115 { TVFF_RELDELTA
, -1.0, +1.0, 1e-6 };
117 static const struct tvec_urange range_32
= { 0, 31 };
119 #define TYPEREGS(_) \
120 _(int, RI, int, p, &tvrange_i16) \
121 _(uint, RU, uint, p, &tvrange_u16) \
122 _(float, RFP, float, p, 0) \
123 _(fltish, RFISH, float, p, &fltish_info) \
124 _(char, RCH, char, p, 0) \
125 _(ienum, RIE, ienum, p, &ienum_info) \
126 _(uenum, RUE, uenum, p, &uenum_info) \
127 _(fenum, RFE, fenum, p, &fenum_info) \
128 _(penum, RPE, penum, p, &penum_info) \
129 _(flags, RF, flags, p, &attr_info) \
130 _(string, RSTR, string, p, &range_32) \
131 _(bytes, RBY, bytes, p, &tvrange_byte) \
132 _(buffer, RBUF, buffer, p, &tvrange_u16)
135 /* Output registers, one for each register type. */
136 #define DEFREG(name, i, ty, argslot, argval) i,
141 /* Standard outputs. */
142 RRC
= NSER
, /* return code from deserialize */
144 /* Additional diagnostic outputs. */
145 RSER
, /* serialized data */
149 /* Some additional inputs. */
150 RSAB
= NROUT
, /* which register to sabotage */
154 /* Single register for copy tests. */
158 /*----- Serialization test ------------------------------------------------*/
160 struct test_context
{
161 struct tvec_state
*tv
;
164 static int capture_setup(struct tvec_state
*tv
,
165 const struct tvec_env
*env
, void *pctx
, void *ctx
)
166 { struct test_context
*tctx
= ctx
; tctx
->tv
= tv
; return (0); }
168 static void capture_run(struct tvec_state
*tv
, tvec_testfn
*fn
, void *ctx
)
170 if (!(tv
->in
[RRC
].f
&TVRF_LIVE
)) {
171 tv
->in
[RRC
].f
|= TVRF_LIVE
; tv
->in
[RRC
].v
.i
= 0;
172 tv
->out
[RRC
].f
|= TVRF_LIVE
;
174 fn(tv
->in
, tv
->out
, ctx
); tvec_check(tv
, 0);
176 static const struct tvec_env capture_testenv
=
177 { sizeof(struct test_context
), capture_setup
, 0, 0, capture_run
, 0, 0 };
179 static void test_serialization
180 (const struct tvec_reg
*in
, struct tvec_reg
*out
, void *ctx
)
182 struct test_context
*tctx
= ctx
;
183 struct tvec_state
*tv
= tctx
->tv
;
184 const struct tvec_regdef
*rd
;
185 union tvec_regval
*rv
;
188 if (tvec_serialize(tv
->in
, DBUF_BUF(&b
), tv
->test
->regs
,
189 NSER
, sizeof(struct tvec_reg
)))
190 { out
[NSER
].v
.i
= -1; goto end
; }
191 tvec_allocbytes(&out
[RSER
].v
, DBLEN(&b
));
192 memcpy(out
[RSER
].v
.bytes
.p
, DBBASE(&b
), DBLEN(&b
));
193 out
[RSER
].f
|= TVRF_LIVE
;
194 buf_flip(DBUF_BUF(&b
));
196 if (tvec_deserialize(tv
->out
, DBUF_BUF(&b
), tv
->test
->regs
,
197 NSER
, sizeof(struct tvec_reg
)))
198 { out
[RRC
].v
.i
= -2; goto end
; }
200 { out
[RRC
].v
.i
= -3; goto end
; }
202 if ((in
[RSAB
].f
&TVRF_LIVE
) && in
[RSAB
].v
.i
>= 0) {
203 rd
= &tv
->test
->regs
[in
[RSAB
].v
.i
]; rv
= &out
[in
[RSAB
].v
.i
].v
;
204 if (rd
->ty
== &tvty_int
|| rd
->ty
== &tvty_ienum
)
206 else if (rd
->ty
== &tvty_uint
||
207 rd
->ty
== &tvty_flags
|| rd
->ty
== &tvty_uenum
)
209 else if (rd
->ty
== &tvty_float
|| rd
->ty
== &tvty_fenum
) {
210 if (rv
->f
== rv
->f
) rv
->f
= -rv
->f
;
212 } else if (rd
->ty
== &tvty_penum
)
215 : (/*unconst*/ void *)
216 ((const struct tvec_penuminfo
*)rd
->arg
.p
)->av
[0].p
;
217 else if (rd
->ty
== &tvty_string
)
218 { if (rv
->str
.sz
) rv
->str
.p
[0] ^= 1; }
219 else if (rd
->ty
== &tvty_bytes
)
220 { if (rv
->bytes
.sz
) rv
->bytes
.p
[0] ^= 1; }
228 static const struct tvec_iassoc type_assocs
[] = {
230 #define DEFASSOC(name, i, ty, argslot, argval) { #name, i },
235 static const struct tvec_ienuminfo type_enum
= { "regty", type_assocs
, 0 };
237 static DSGINIT(const) struct tvec_regdef test_regs
[] = {
238 #define DEFREG(name, i, ty, argslot, argval) \
239 { #name, i, &tvty_##ty, TVRF_OPT, \
240 DSGINIT({ .argslot = argval }) },
243 { "rc", RRC
, &tvty_int
, TVRF_OPT
, { &tvrange_int
} },
244 { "serialized", RSER
, &tvty_bytes
, TVRF_OPT
},
245 { "sabotage", RSAB
, &tvty_ienum
, TVRF_OPT
, { &type_enum
} },
250 /*----- Single-type copy tests --------------------------------------------*/
252 static void test_copy_simple
253 (const struct tvec_reg
*in
, struct tvec_reg
*out
, void *ctx
)
256 static void test_copy_string
257 (const struct tvec_reg
*in
, struct tvec_reg
*out
, void *ctx
)
259 tvec_allocstring(&out
->v
, in
->v
.str
.sz
);
260 memcpy(out
->v
.str
.p
, in
->v
.str
.p
, in
->v
.str
.sz
);
263 static void test_copy_bytes
264 (const struct tvec_reg
*in
, struct tvec_reg
*out
, void *ctx
)
266 tvec_allocstring(&out
->v
, in
->v
.str
.sz
);
267 memcpy(out
->v
.str
.p
, in
->v
.str
.p
, in
->v
.str
.sz
);
270 #define test_copy_int test_copy_simple
271 #define test_copy_uint test_copy_simple
272 #define test_copy_ienum test_copy_simple
273 #define test_copy_uenum test_copy_simple
274 #define test_copy_fenum test_copy_simple
275 #define test_copy_penum test_copy_simple
276 #define test_copy_char test_copy_simple
277 #define test_copy_flags test_copy_simple
278 #define test_copy_float test_copy_simple
279 #define test_copy_fltish test_copy_simple
280 #define test_copy_buffer test_copy_bytes
282 #define SINGLEREG(name, i, ty, argslot, argval) \
283 DSGINIT(const) struct tvec_regdef name##_regs[] = { \
284 { #name, RV, &tvty_##ty, 0, DSGINIT({ .argslot = argval }) }, \
295 static int single_setup(struct tvec_state
*tv
, const struct tvec_env
*env
,
296 void *pctx
, void *ctx
)
297 { struct singlectx
*s
= ctx
; s
->f
= 0; return (0); }
299 static int single_set(struct tvec_state
*tv
, const char *name
,
300 const struct tvec_env
*env
, void *ctx
)
302 struct singlectx
*s
= ctx
;
303 union tvec_regval rv
;
304 static const struct tvec_regdef rd
=
305 { "@show", -1, &tvty_ienum
, 0, { &tvenum_bool
} };
307 if (STRCMP(name
, ==, "@show")) {
308 if (tvty_ienum
.parse(&rv
, &rd
, tv
)) return (-1);
310 if (rv
.i
) s
->f
|= SF_SHOW
;
311 else s
->f
&= ~SF_SHOW
;
318 static void single_run(struct tvec_state
*tv
, tvec_testfn
*fn
, void *ctx
)
320 struct singlectx
*s
= ctx
;
323 fn(tv
->in
, tv
->out
, 0);
324 if (tvec_checkregs(tv
)) { tvec_fail(tv
, 0); f
|= SF_SHOW
; }
325 if (f
&SF_SHOW
) tvec_mismatch(tv
, TVMF_IN
| TVMF_OUT
);
328 static void single_after(struct tvec_state
*tv
, void *ctx
)
329 { struct singlectx
*s
= ctx
; s
->f
= 0; }
331 static const struct tvec_env single_testenv
=
332 { sizeof(struct singlectx
),
340 /*----- Front end ---------------------------------------------------------*/
342 static const struct tvec_test tests
[] = {
343 { "types", test_regs
, &capture_testenv
, test_serialization
},
345 #define DEFCOPY(name, i, ty, argslot, argval) \
346 { #name, name##_regs, &single_testenv, test_copy_##name },
353 static const struct tvec_config testconfig
= {
355 NROUT
, NREG
, sizeof(struct tvec_reg
)
358 int main(int argc
, char *argv
[])
360 #if __STDC_VERSION__x < 199901
361 # define POKE(name, i, ty, argslot, argval) \
362 test_regs[i].arg.argslot = argval; \
363 name##_regs->arg.argslot = argval;
367 return (tvec_main(argc
, argv
, &testconfig
, 0));
370 /*----- That's all, folks -------------------------------------------------*/