xref: /linux/lib/tests/random32_kunit.c (revision 67f8bc848ee31831336bd478e57d2f993551902e)
1*108646f7SKir Chou // SPDX-License-Identifier: GPL-2.0
2*108646f7SKir Chou /*
3*108646f7SKir Chou  * Test cases for random32 functions.
4*108646f7SKir Chou  */
5*108646f7SKir Chou 
6*108646f7SKir Chou #include <linux/prandom.h>
7*108646f7SKir Chou #include <kunit/test.h>
8*108646f7SKir Chou 
9*108646f7SKir Chou /* prandom_warmup() is static in lib/random32.c; exposed for testing only. */
10*108646f7SKir Chou void prandom_warmup(struct rnd_state *state);
11*108646f7SKir Chou 
12*108646f7SKir Chou static const struct prandom_test1 {
13*108646f7SKir Chou 	u32 seed;
14*108646f7SKir Chou 	u32 result;
15*108646f7SKir Chou } test1[] = {
16*108646f7SKir Chou 	{ 1U, 3484351685U },
17*108646f7SKir Chou 	{ 2U, 2623130059U },
18*108646f7SKir Chou 	{ 3U, 3125133893U },
19*108646f7SKir Chou 	{ 4U,  984847254U },
20*108646f7SKir Chou };
21*108646f7SKir Chou 
22*108646f7SKir Chou static const struct prandom_test2 {
23*108646f7SKir Chou 	u32 seed;
24*108646f7SKir Chou 	u32 iteration;
25*108646f7SKir Chou 	u32 result;
26*108646f7SKir Chou } test2[] = {
27*108646f7SKir Chou 	/* Test cases against taus113 from GSL library. */
28*108646f7SKir Chou 	{  931557656U, 959U, 2975593782U },
29*108646f7SKir Chou 	{ 1339693295U, 876U, 3887776532U },
30*108646f7SKir Chou 	{ 1545556285U, 961U, 1615538833U },
31*108646f7SKir Chou 	{  601730776U, 723U, 1776162651U },
32*108646f7SKir Chou 	{ 1027516047U, 687U,  511983079U },
33*108646f7SKir Chou 	{  416526298U, 700U,  916156552U },
34*108646f7SKir Chou 	{ 1395522032U, 652U, 2222063676U },
35*108646f7SKir Chou 	{  366221443U, 617U, 2992857763U },
36*108646f7SKir Chou 	{ 1539836965U, 714U, 3783265725U },
37*108646f7SKir Chou 	{  556206671U, 994U,  799626459U },
38*108646f7SKir Chou 	{  684907218U, 799U,  367789491U },
39*108646f7SKir Chou 	{ 2121230701U, 931U, 2115467001U },
40*108646f7SKir Chou 	{ 1668516451U, 644U, 3620590685U },
41*108646f7SKir Chou 	{  768046066U, 883U, 2034077390U },
42*108646f7SKir Chou 	{ 1989159136U, 833U, 1195767305U },
43*108646f7SKir Chou 	{  536585145U, 996U, 3577259204U },
44*108646f7SKir Chou 	{ 1008129373U, 642U, 1478080776U },
45*108646f7SKir Chou 	{ 1740775604U, 939U, 1264980372U },
46*108646f7SKir Chou 	{ 1967883163U, 508U,   10734624U },
47*108646f7SKir Chou 	{ 1923019697U, 730U, 3821419629U },
48*108646f7SKir Chou 	{  442079932U, 560U, 3440032343U },
49*108646f7SKir Chou 	{ 1961302714U, 845U,  841962572U },
50*108646f7SKir Chou 	{ 2030205964U, 962U, 1325144227U },
51*108646f7SKir Chou 	{ 1160407529U, 507U,  240940858U },
52*108646f7SKir Chou 	{  635482502U, 779U, 4200489746U },
53*108646f7SKir Chou 	{ 1252788931U, 699U,  867195434U },
54*108646f7SKir Chou 	{ 1961817131U, 719U,  668237657U },
55*108646f7SKir Chou 	{ 1071468216U, 983U,  917876630U },
56*108646f7SKir Chou 	{ 1281848367U, 932U, 1003100039U },
57*108646f7SKir Chou 	{  582537119U, 780U, 1127273778U },
58*108646f7SKir Chou 	{ 1973672777U, 853U, 1071368872U },
59*108646f7SKir Chou 	{ 1896756996U, 762U, 1127851055U },
60*108646f7SKir Chou 	{  847917054U, 500U, 1717499075U },
61*108646f7SKir Chou 	{ 1240520510U, 951U, 2849576657U },
62*108646f7SKir Chou 	{ 1685071682U, 567U, 1961810396U },
63*108646f7SKir Chou 	{ 1516232129U, 557U,    3173877U },
64*108646f7SKir Chou 	{ 1208118903U, 612U, 1613145022U },
65*108646f7SKir Chou 	{ 1817269927U, 693U, 4279122573U },
66*108646f7SKir Chou 	{ 1510091701U, 717U,  638191229U },
67*108646f7SKir Chou 	{  365916850U, 807U,  600424314U },
68*108646f7SKir Chou 	{  399324359U, 702U, 1803598116U },
69*108646f7SKir Chou 	{ 1318480274U, 779U, 2074237022U },
70*108646f7SKir Chou 	{  697758115U, 840U, 1483639402U },
71*108646f7SKir Chou 	{ 1696507773U, 840U,  577415447U },
72*108646f7SKir Chou 	{ 2081979121U, 981U, 3041486449U },
73*108646f7SKir Chou 	{  955646687U, 742U, 3846494357U },
74*108646f7SKir Chou 	{ 1250683506U, 749U,  836419859U },
75*108646f7SKir Chou 	{  595003102U, 534U,  366794109U },
76*108646f7SKir Chou 	{   47485338U, 558U, 3521120834U },
77*108646f7SKir Chou 	{  619433479U, 610U, 3991783875U },
78*108646f7SKir Chou 	{  704096520U, 518U, 4139493852U },
79*108646f7SKir Chou 	{ 1712224984U, 606U, 2393312003U },
80*108646f7SKir Chou 	{ 1318233152U, 922U, 3880361134U },
81*108646f7SKir Chou 	{  855572992U, 761U, 1472974787U },
82*108646f7SKir Chou 	{   64721421U, 703U,  683860550U },
83*108646f7SKir Chou 	{  678931758U, 840U,  380616043U },
84*108646f7SKir Chou 	{  692711973U, 778U, 1382361947U },
85*108646f7SKir Chou 	{  677703619U, 530U, 2826914161U },
86*108646f7SKir Chou 	{   92393223U, 586U, 1522128471U },
87*108646f7SKir Chou 	{ 1222592920U, 743U, 3466726667U },
88*108646f7SKir Chou 	{  358288986U, 695U, 1091956998U },
89*108646f7SKir Chou 	{ 1935056945U, 958U,  514864477U },
90*108646f7SKir Chou 	{  735675993U, 990U, 1294239989U },
91*108646f7SKir Chou 	{ 1560089402U, 897U, 2238551287U },
92*108646f7SKir Chou 	{   70616361U, 829U,   22483098U },
93*108646f7SKir Chou 	{  368234700U, 731U, 2913875084U },
94*108646f7SKir Chou 	{   20221190U, 879U, 1564152970U },
95*108646f7SKir Chou 	{  539444654U, 682U, 1835141259U },
96*108646f7SKir Chou 	{ 1314987297U, 840U, 1801114136U },
97*108646f7SKir Chou 	{ 2019295544U, 645U, 3286438930U },
98*108646f7SKir Chou 	{  469023838U, 716U, 1637918202U },
99*108646f7SKir Chou 	{ 1843754496U, 653U, 2562092152U },
100*108646f7SKir Chou 	{  400672036U, 809U, 4264212785U },
101*108646f7SKir Chou 	{  404722249U, 965U, 2704116999U },
102*108646f7SKir Chou 	{  600702209U, 758U,  584979986U },
103*108646f7SKir Chou 	{  519953954U, 667U, 2574436237U },
104*108646f7SKir Chou 	{ 1658071126U, 694U, 2214569490U },
105*108646f7SKir Chou 	{  420480037U, 749U, 3430010866U },
106*108646f7SKir Chou 	{  690103647U, 969U, 3700758083U },
107*108646f7SKir Chou 	{ 1029424799U, 937U, 3787746841U },
108*108646f7SKir Chou 	{ 2012608669U, 506U, 3362628973U },
109*108646f7SKir Chou 	{ 1535432887U, 998U,   42610943U },
110*108646f7SKir Chou 	{ 1330635533U, 857U, 3040806504U },
111*108646f7SKir Chou 	{ 1223800550U, 539U, 3954229517U },
112*108646f7SKir Chou 	{ 1322411537U, 680U, 3223250324U },
113*108646f7SKir Chou 	{ 1877847898U, 945U, 2915147143U },
114*108646f7SKir Chou 	{ 1646356099U, 874U,  965988280U },
115*108646f7SKir Chou 	{  805687536U, 744U, 4032277920U },
116*108646f7SKir Chou 	{ 1948093210U, 633U, 1346597684U },
117*108646f7SKir Chou 	{  392609744U, 783U, 1636083295U },
118*108646f7SKir Chou 	{  690241304U, 770U, 1201031298U },
119*108646f7SKir Chou 	{ 1360302965U, 696U, 1665394461U },
120*108646f7SKir Chou 	{ 1220090946U, 780U, 1316922812U },
121*108646f7SKir Chou 	{  447092251U, 500U, 3438743375U },
122*108646f7SKir Chou 	{ 1613868791U, 592U,  828546883U },
123*108646f7SKir Chou 	{  523430951U, 548U, 2552392304U },
124*108646f7SKir Chou 	{  726692899U, 810U, 1656872867U },
125*108646f7SKir Chou 	{ 1364340021U, 836U, 3710513486U },
126*108646f7SKir Chou 	{ 1986257729U, 931U,  935013962U },
127*108646f7SKir Chou 	{  407983964U, 921U,  728767059U },
128*108646f7SKir Chou };
129*108646f7SKir Chou 
130*108646f7SKir Chou static void prandom_state_test_seed(struct rnd_state *state, u32 seed)
131*108646f7SKir Chou {
132*108646f7SKir Chou #define LCG(x)	 ((x) * 69069U)	/* super-duper LCG */
133*108646f7SKir Chou 	state->s1 = __seed(LCG(seed),        2U);
134*108646f7SKir Chou 	state->s2 = __seed(LCG(state->s1),   8U);
135*108646f7SKir Chou 	state->s3 = __seed(LCG(state->s2),  16U);
136*108646f7SKir Chou 	state->s4 = __seed(LCG(state->s3), 128U);
137*108646f7SKir Chou }
138*108646f7SKir Chou 
139*108646f7SKir Chou static void test_prandom_seed_boundary(struct kunit *test)
140*108646f7SKir Chou {
141*108646f7SKir Chou 	int i;
142*108646f7SKir Chou 	struct rnd_state state;
143*108646f7SKir Chou 
144*108646f7SKir Chou 	for (i = 0; i < ARRAY_SIZE(test1); i++) {
145*108646f7SKir Chou 		prandom_state_test_seed(&state, test1[i].seed);
146*108646f7SKir Chou 		prandom_warmup(&state);
147*108646f7SKir Chou 		KUNIT_EXPECT_EQ(test, test1[i].result, prandom_u32_state(&state));
148*108646f7SKir Chou 	}
149*108646f7SKir Chou }
150*108646f7SKir Chou 
151*108646f7SKir Chou static void test_prandom_taus113(struct kunit *test)
152*108646f7SKir Chou {
153*108646f7SKir Chou 	int i, j;
154*108646f7SKir Chou 	struct rnd_state state;
155*108646f7SKir Chou 
156*108646f7SKir Chou 	for (i = 0; i < ARRAY_SIZE(test2); i++) {
157*108646f7SKir Chou 		prandom_state_test_seed(&state, test2[i].seed);
158*108646f7SKir Chou 		prandom_warmup(&state);
159*108646f7SKir Chou 
160*108646f7SKir Chou 		for (j = 0; j < test2[i].iteration - 1; j++)
161*108646f7SKir Chou 			prandom_u32_state(&state);
162*108646f7SKir Chou 
163*108646f7SKir Chou 		KUNIT_EXPECT_EQ(test, test2[i].result, prandom_u32_state(&state));
164*108646f7SKir Chou 	}
165*108646f7SKir Chou }
166*108646f7SKir Chou 
167*108646f7SKir Chou static struct kunit_case prandom_test_cases[] = {
168*108646f7SKir Chou 	KUNIT_CASE(test_prandom_seed_boundary),
169*108646f7SKir Chou 	KUNIT_CASE(test_prandom_taus113),
170*108646f7SKir Chou 	{}
171*108646f7SKir Chou };
172*108646f7SKir Chou 
173*108646f7SKir Chou static struct kunit_suite prandom_test_suite = {
174*108646f7SKir Chou 	.name = "prandom",
175*108646f7SKir Chou 	.test_cases = prandom_test_cases,
176*108646f7SKir Chou };
177*108646f7SKir Chou 
178*108646f7SKir Chou kunit_test_suite(prandom_test_suite);
179*108646f7SKir Chou 
180*108646f7SKir Chou MODULE_DESCRIPTION("KUnit test for prandom");
181*108646f7SKir Chou MODULE_LICENSE("GPL");
182*108646f7SKir Chou MODULE_IMPORT_NS("EXPORTED_FOR_KUNIT_TESTING");
183