xref: /freebsd/tests/sys/devrandom/uint128_test.c (revision d0d71d818c28069a8b940b3fb115c2d21a4efba9)
1403c0413SConrad Meyer /*-
2403c0413SConrad Meyer  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
3403c0413SConrad Meyer  *
4403c0413SConrad Meyer  * Copyright (c) 2019 Conrad Meyer <cem@FreeBSD.org>
5403c0413SConrad Meyer  * All rights reserved.
6403c0413SConrad Meyer  *
7403c0413SConrad Meyer  * Redistribution and use in source and binary forms, with or without
8403c0413SConrad Meyer  * modification, are permitted provided that the following conditions
9403c0413SConrad Meyer  * are met:
10403c0413SConrad Meyer  * 1. Redistributions of source code must retain the above copyright
11403c0413SConrad Meyer  *    notice, this list of conditions and the following disclaimer.
12403c0413SConrad Meyer  * 2. Redistributions in binary form must reproduce the above copyright
13403c0413SConrad Meyer  *    notice, this list of conditions and the following disclaimer in the
14403c0413SConrad Meyer  *    documentation and/or other materials provided with the distribution.
15403c0413SConrad Meyer  *
16403c0413SConrad Meyer  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17403c0413SConrad Meyer  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18403c0413SConrad Meyer  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19403c0413SConrad Meyer  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20403c0413SConrad Meyer  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21403c0413SConrad Meyer  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22403c0413SConrad Meyer  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23403c0413SConrad Meyer  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24403c0413SConrad Meyer  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25403c0413SConrad Meyer  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26403c0413SConrad Meyer  * SUCH DAMAGE.
27403c0413SConrad Meyer  */
28403c0413SConrad Meyer 
29403c0413SConrad Meyer #include <sys/cdefs.h>
30403c0413SConrad Meyer __FBSDID("$FreeBSD$");
31403c0413SConrad Meyer 
32403c0413SConrad Meyer #include <sys/param.h>
33403c0413SConrad Meyer #include <sys/random.h>
34403c0413SConrad Meyer 
35403c0413SConrad Meyer #include <errno.h>
36403c0413SConrad Meyer #include <stdint.h>
37403c0413SConrad Meyer #include <stdio.h>
38403c0413SConrad Meyer #include <stdbool.h>
39403c0413SConrad Meyer 
40403c0413SConrad Meyer #include <crypto/chacha20/chacha.h>
41403c0413SConrad Meyer #include <crypto/rijndael/rijndael-api-fst.h>
42403c0413SConrad Meyer #include <crypto/sha2/sha256.h>
43403c0413SConrad Meyer 
44403c0413SConrad Meyer #include <dev/random/hash.h>
45403c0413SConrad Meyer #include <dev/random/uint128.h>
46403c0413SConrad Meyer 
47403c0413SConrad Meyer #include <atf-c.h>
48403c0413SConrad Meyer 
49403c0413SConrad Meyer static void
50403c0413SConrad Meyer vec_u32_tole128(uint8_t dst[static 16], const uint32_t src[static 4])
51403c0413SConrad Meyer {
52403c0413SConrad Meyer 	le32enc(dst, src[0]);
53403c0413SConrad Meyer 	le32enc(&dst[4], src[1]);
54403c0413SConrad Meyer 	le32enc(&dst[8], src[2]);
55403c0413SConrad Meyer 	le32enc(&dst[12], src[3]);
56403c0413SConrad Meyer }
57403c0413SConrad Meyer 
58403c0413SConrad Meyer static void
59403c0413SConrad Meyer le128_to_vec_u32(uint32_t dst[static 4], const uint8_t src[static 16])
60403c0413SConrad Meyer {
61403c0413SConrad Meyer 	dst[0] = le32dec(src);
62403c0413SConrad Meyer 	dst[1] = le32dec(&src[4]);
63403c0413SConrad Meyer 	dst[2] = le32dec(&src[8]);
64403c0413SConrad Meyer 	dst[3] = le32dec(&src[12]);
65403c0413SConrad Meyer }
66403c0413SConrad Meyer 
67403c0413SConrad Meyer static void
68403c0413SConrad Meyer formatu128(char buf[static 52], uint128_t x)
69403c0413SConrad Meyer {
70403c0413SConrad Meyer 	uint8_t le128x[16];
71403c0413SConrad Meyer 	uint32_t vx[4];
72403c0413SConrad Meyer 	size_t sz, i;
73403c0413SConrad Meyer 	int rc;
74403c0413SConrad Meyer 
75403c0413SConrad Meyer 	le128enc(le128x, x);
76403c0413SConrad Meyer 	le128_to_vec_u32(vx, le128x);
77403c0413SConrad Meyer 
78403c0413SConrad Meyer 	sz = 52;
79403c0413SConrad Meyer 	for (i = 0; i < 4; i++) {
80403c0413SConrad Meyer 		rc = snprintf(buf, sz, "0x%x ", vx[i]);
81403c0413SConrad Meyer 		ATF_REQUIRE(rc > 0 && (size_t)rc < sz);
82403c0413SConrad Meyer 
83403c0413SConrad Meyer 		buf += rc;
84403c0413SConrad Meyer 		sz -= rc;
85403c0413SConrad Meyer 	}
86403c0413SConrad Meyer 	/* Delete last trailing space */
87403c0413SConrad Meyer 	buf[-1] = '\0';
88403c0413SConrad Meyer }
89403c0413SConrad Meyer 
90403c0413SConrad Meyer static void
91403c0413SConrad Meyer u128_check_equality(uint128_t a, uint128_t b, const char *descr)
92403c0413SConrad Meyer {
93403c0413SConrad Meyer 	char fmtbufa[52], fmtbufb[52];
94403c0413SConrad Meyer 
95403c0413SConrad Meyer 	formatu128(fmtbufa, a);
96403c0413SConrad Meyer 	formatu128(fmtbufb, b);
97403c0413SConrad Meyer 
98403c0413SConrad Meyer 	ATF_CHECK_MSG(uint128_equals(a, b),
99403c0413SConrad Meyer 	    "Expected: [%s] != Actual: [%s]: %s", fmtbufa, fmtbufb, descr);
100403c0413SConrad Meyer }
101403c0413SConrad Meyer 
102403c0413SConrad Meyer ATF_TC_WITHOUT_HEAD(uint128_inc);
103403c0413SConrad Meyer ATF_TC_BODY(uint128_inc, tc)
104403c0413SConrad Meyer {
105403c0413SConrad Meyer 	static const struct u128_inc_tc {
106403c0413SConrad Meyer 		uint32_t input[4];
107403c0413SConrad Meyer 		uint32_t expected[4];
108403c0413SConrad Meyer 		const char *descr;
109403c0413SConrad Meyer 	} tests[] = {
110403c0413SConrad Meyer 		{
111403c0413SConrad Meyer 			.input = { 0, 0, 0, 0 },
112403c0413SConrad Meyer 			.expected = { 1, 0, 0, 0 },
113403c0413SConrad Meyer 			.descr = "0 -> 1",
114403c0413SConrad Meyer 		},
115403c0413SConrad Meyer 		{
116403c0413SConrad Meyer 			.input = { 1, 0, 0, 0 },
117403c0413SConrad Meyer 			.expected = { 2, 0, 0, 0 },
118403c0413SConrad Meyer 			.descr = "0 -> 2",
119403c0413SConrad Meyer 		},
120403c0413SConrad Meyer 		{
121403c0413SConrad Meyer 			.input = { 0xff, 0, 0, 0 },
122403c0413SConrad Meyer 			.expected = { 0x100, 0, 0, 0 },
123403c0413SConrad Meyer 			.descr = "0xff -> 0x100 (byte carry)",
124403c0413SConrad Meyer 		},
125403c0413SConrad Meyer 		{
126403c0413SConrad Meyer 			.input = { UINT32_MAX, 0, 0, 0 },
127403c0413SConrad Meyer 			.expected = { 0, 1, 0, 0 },
128403c0413SConrad Meyer 			.descr = "2^32 - 1 -> 2^32 (word carry)",
129403c0413SConrad Meyer 		},
130403c0413SConrad Meyer 		{
131403c0413SConrad Meyer 			.input = { UINT32_MAX, UINT32_MAX, 0, 0 },
132403c0413SConrad Meyer 			.expected = { 0, 0, 1, 0 },
133403c0413SConrad Meyer 			.descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)",
134403c0413SConrad Meyer 		},
135403c0413SConrad Meyer 		{
136403c0413SConrad Meyer 			.input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 },
137403c0413SConrad Meyer 			.expected = { 0, 0, 0, 1 },
138403c0413SConrad Meyer 			.descr = "2^96 - 1 -> 2^96 (word carry)",
139403c0413SConrad Meyer 		},
140403c0413SConrad Meyer 	};
141403c0413SConrad Meyer 	uint8_t inputle[16], expectedle[16];
142403c0413SConrad Meyer 	uint128_t a;
143403c0413SConrad Meyer 	size_t i;
144403c0413SConrad Meyer 
145403c0413SConrad Meyer 	for (i = 0; i < nitems(tests); i++) {
146403c0413SConrad Meyer 		vec_u32_tole128(inputle, tests[i].input);
147403c0413SConrad Meyer 		vec_u32_tole128(expectedle, tests[i].expected);
148403c0413SConrad Meyer 
149403c0413SConrad Meyer 		a = le128dec(inputle);
150403c0413SConrad Meyer 		uint128_increment(&a);
151403c0413SConrad Meyer 		u128_check_equality(le128dec(expectedle), a, tests[i].descr);
152403c0413SConrad Meyer 	}
153403c0413SConrad Meyer }
154403c0413SConrad Meyer 
155403c0413SConrad Meyer /*
156403c0413SConrad Meyer  * Test assumptions about Chacha incrementing counter in the same way as
157403c0413SConrad Meyer  * uint128.h
158403c0413SConrad Meyer  */
159403c0413SConrad Meyer ATF_TC_WITHOUT_HEAD(uint128_chacha_ctr);
160403c0413SConrad Meyer ATF_TC_BODY(uint128_chacha_ctr, tc)
161403c0413SConrad Meyer {
162403c0413SConrad Meyer 	static const struct u128_chacha_tc {
163403c0413SConrad Meyer 		uint32_t input[4];
164403c0413SConrad Meyer 		uint32_t expected[4];
165403c0413SConrad Meyer 		const char *descr;
166403c0413SConrad Meyer 	} tests[] = {
167403c0413SConrad Meyer 		{
168403c0413SConrad Meyer 			.input = { 0, 0, 0, 0 },
169403c0413SConrad Meyer 			.expected = { 1, 0, 0, 0 },
170403c0413SConrad Meyer 			.descr = "Single block",
171403c0413SConrad Meyer 		},
172403c0413SConrad Meyer 		{
173403c0413SConrad Meyer 			.input = { 1, 0, 0, 0 },
174403c0413SConrad Meyer 			.expected = { 2, 0, 0, 0 },
175403c0413SConrad Meyer 			.descr = "0 -> 2",
176403c0413SConrad Meyer 		},
177403c0413SConrad Meyer 		{
178403c0413SConrad Meyer 			.input = { 0xff, 0, 0, 0 },
179403c0413SConrad Meyer 			.expected = { 0x100, 0, 0, 0 },
180403c0413SConrad Meyer 			.descr = "0xff -> 0x100 (byte carry)",
181403c0413SConrad Meyer 		},
182403c0413SConrad Meyer 		{
183403c0413SConrad Meyer 			.input = { UINT32_MAX, 0, 0, 0 },
184403c0413SConrad Meyer 			.expected = { 0, 1, 0, 0 },
185403c0413SConrad Meyer 			.descr = "2^32 - 1 -> 2^32 (word carry)",
186403c0413SConrad Meyer 		},
187403c0413SConrad Meyer 		{
188403c0413SConrad Meyer 			.input = { UINT32_MAX, UINT32_MAX, 0, 0 },
189403c0413SConrad Meyer 			.expected = { 0, 0, 1, 0 },
190403c0413SConrad Meyer 			.descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)",
191403c0413SConrad Meyer 		},
192403c0413SConrad Meyer 		{
193403c0413SConrad Meyer 			.input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 },
194403c0413SConrad Meyer 			.expected = { 0, 0, 0, 1 },
195403c0413SConrad Meyer 			.descr = "2^96 - 1 -> 2^96 (word carry)",
196403c0413SConrad Meyer 		},
197403c0413SConrad Meyer 	};
198403c0413SConrad Meyer 	union randomdev_key context;
199403c0413SConrad Meyer 	uint8_t inputle[16], expectedle[16], trash[CHACHA_BLOCKLEN];
200403c0413SConrad Meyer 	uint8_t notrandomkey[RANDOM_KEYSIZE] = { 0 };
201403c0413SConrad Meyer 	uint128_t a;
202403c0413SConrad Meyer 	size_t i;
203403c0413SConrad Meyer 
204403c0413SConrad Meyer 	random_chachamode = true;
205403c0413SConrad Meyer 	randomdev_encrypt_init(&context, notrandomkey);
206403c0413SConrad Meyer 
207403c0413SConrad Meyer 	for (i = 0; i < nitems(tests); i++) {
208403c0413SConrad Meyer 		vec_u32_tole128(inputle, tests[i].input);
209403c0413SConrad Meyer 		vec_u32_tole128(expectedle, tests[i].expected);
210403c0413SConrad Meyer 
211403c0413SConrad Meyer 		a = le128dec(inputle);
212*d0d71d81SConrad Meyer 		randomdev_keystream(&context, &a, trash, sizeof(trash));
213403c0413SConrad Meyer 		u128_check_equality(le128dec(expectedle), a, tests[i].descr);
214403c0413SConrad Meyer 	}
215403c0413SConrad Meyer 
216403c0413SConrad Meyer }
217403c0413SConrad Meyer 
218403c0413SConrad Meyer ATF_TP_ADD_TCS(tp)
219403c0413SConrad Meyer {
220403c0413SConrad Meyer 
221403c0413SConrad Meyer 	ATF_TP_ADD_TC(tp, uint128_inc);
222403c0413SConrad Meyer 	ATF_TP_ADD_TC(tp, uint128_chacha_ctr);
223403c0413SConrad Meyer 	return (atf_no_error());
224403c0413SConrad Meyer }
225