1 /*-
2  * SPDX-License-Identifier: BSD-2-Clause
38 #include <crypto/rijndael/rijndael-api-fst.h>
44 #include <atf-c.h>
47 vec_u32_tole128(uint8_t dst[static 16], const uint32_t src[static 4])  in vec_u32_tole128()
56 le128_to_vec_u32(uint32_t dst[static 4], const uint8_t src[static 16])  in le128_to_vec_u32()
67 	uint8_t le128x[16];  in formatu128()
81 		sz -= rc;  in formatu128()
84 	buf[-1] = '\0';  in formatu128()
103 		uint32_t input[4];  in ATF_TC_BODY()  member
108 			.input = { 0, 0, 0, 0 },  in ATF_TC_BODY()
110 			.descr = "0 -> 1",  in ATF_TC_BODY()
113 			.input = { 1, 0, 0, 0 },  in ATF_TC_BODY()
115 			.descr = "0 -> 2",  in ATF_TC_BODY()
118 			.input = { 0xff, 0, 0, 0 },  in ATF_TC_BODY()
120 			.descr = "0xff -> 0x100 (byte carry)",  in ATF_TC_BODY()
123 			.input = { UINT32_MAX, 0, 0, 0 },  in ATF_TC_BODY()
125 			.descr = "2^32 - 1 -> 2^32 (word carry)",  in ATF_TC_BODY()
128 			.input = { UINT32_MAX, UINT32_MAX, 0, 0 },  in ATF_TC_BODY()
130 			.descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)",  in ATF_TC_BODY()
133 			.input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 },  in ATF_TC_BODY()
135 			.descr = "2^96 - 1 -> 2^96 (word carry)",  in ATF_TC_BODY()
138 	uint8_t inputle[16], expectedle[16];  in ATF_TC_BODY()
143 		vec_u32_tole128(inputle, tests[i].input);  in ATF_TC_BODY()
156 		uint32_t input[4];  in ATF_TC_BODY()  member
162 			.input = { 0, 0, 0, 0 },  in ATF_TC_BODY()
165 			.descr = "0 + 1 -> 1",  in ATF_TC_BODY()
168 			.input = { 1, 0, 0, 0 },  in ATF_TC_BODY()
171 			.descr = "1 + (2^32 - 1) -> 2^32 (word carry)",  in ATF_TC_BODY()
174 			.input = { 1, 0, 0, 0 },  in ATF_TC_BODY()
177 			.descr = "1 + (2^64 - 1) -> 2^64 (u128t_word0 carry)",  in ATF_TC_BODY()
180 			.input = { 0x11111111, 0x11111111, 0, 0 },  in ATF_TC_BODY()
184 				 "0xf012_3456_789a_bcde ->"  in ATF_TC_BODY()
188 			.input = { 1, 0, UINT32_MAX, 0 },  in ATF_TC_BODY()
194 	uint8_t inputle[16], expectedle[16];  in ATF_TC_BODY()
199 		vec_u32_tole128(inputle, tests[i].input);  in ATF_TC_BODY()
216 		uint32_t input[4];  in ATF_TC_BODY()  member
221 			.input = { 0, 0, 0, 0 },  in ATF_TC_BODY()
226 			.input = { 1, 0, 0, 0 },  in ATF_TC_BODY()
228 			.descr = "0 -> 2",  in ATF_TC_BODY()
231 			.input = { 0xff, 0, 0, 0 },  in ATF_TC_BODY()
233 			.descr = "0xff -> 0x100 (byte carry)",  in ATF_TC_BODY()
236 			.input = { UINT32_MAX, 0, 0, 0 },  in ATF_TC_BODY()
238 			.descr = "2^32 - 1 -> 2^32 (word carry)",  in ATF_TC_BODY()
241 			.input = { UINT32_MAX, UINT32_MAX, 0, 0 },  in ATF_TC_BODY()
243 			.descr = "2^64 - 1 -> 2^64 (u128t_word0 carry)",  in ATF_TC_BODY()
246 			.input = { UINT32_MAX, UINT32_MAX, UINT32_MAX, 0 },  in ATF_TC_BODY()
248 			.descr = "2^96 - 1 -> 2^96 (word carry)",  in ATF_TC_BODY()
252 	uint8_t inputle[16], expectedle[16], trash[CHACHA_BLOCKLEN];  in ATF_TC_BODY()
261 		vec_u32_tole128(inputle, tests[i].input);  in ATF_TC_BODY()