xref: /freebsd/tests/sys/kern/libkern_crc32.c (revision a35f04fba2ebb8f86d4cbdc710c89a094572b08e)
1 /*
2  * Copyright (c) 2017 Conrad Meyer <cem@FreeBSD.org>
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24  * SUCH DAMAGE.
25  *
26  * $FreeBSD$
27  */
28 
29 #include <sys/param.h>
30 
31 #include <stdint.h>
32 
33 #include <atf-c.h>
34 
35 extern uint32_t sse42_crc32c(uint32_t, const unsigned char *, unsigned);
36 
37 ATF_TC_WITHOUT_HEAD(crc32c_basic_correctness);
38 ATF_TC_BODY(crc32c_basic_correctness, tc)
39 {
40 	const uint64_t inputs[] = {
41 		0xf408c634b3a9142,
42 		0x80539e8c7c352e2b,
43 		0x62e9121db6e4d649,
44 		0x899345850ed0a286,
45 		0x2302df11b4a43b15,
46 		0xe943de7b3d35d70,
47 		0xdf1ff2bf41abf56b,
48 		0x9bc138abae315de2,
49 		0x31cc82e56234f0ff,
50 		0xce63c0cd6988e847,
51 		0x3e42f6b78ee352fa,
52 		0xfa4085436078cfa6,
53 		0x53349558bf670a4b,
54 		0x2714e10e7d722c61,
55 		0xc0d3261addfc6908,
56 		0xd1567c3181d3a1bf,
57 	};
58 	const uint32_t results[] = {
59 		0x2ce33ede,
60 		0xc49cc573,
61 		0xb8683c96,
62 		0x6918660d,
63 		0xa904e522,
64 		0x52dbc42c,
65 		0x98863c22,
66 		0x894d5d2c,
67 		0xb003745d,
68 		0xfc496dbd,
69 		0x97d2fbb5,
70 		0x3c062ef1,
71 		0xcc2eff18,
72 		0x6a9b09f6,
73 		0x420242c1,
74 		0xfd562dc3,
75 	};
76 	size_t i;
77 	uint32_t act;
78 
79 	ATF_REQUIRE(nitems(inputs) == nitems(results));
80 
81 	for (i = 0; i < nitems(inputs); i++) {
82 		act = sse42_crc32c(~0, (const void *)&inputs[i],
83 		    sizeof(inputs[0]));
84 		ATF_REQUIRE_MSG(act == results[i],
85 		    "crc32c(0x%jx) = 0x%08x, got 0x%08x", (uintmax_t)inputs[i],
86 		    results[i], act);
87 	}
88 }
89 
90 ATF_TC_WITHOUT_HEAD(crc32c_alignment);
91 ATF_TC_BODY(crc32c_alignment, tc)
92 {
93 	const uint64_t input = 0xf408c634b3a9142;
94 	const uint32_t result = 0x2ce33ede;
95 	unsigned char buf[15];
96 	size_t i;
97 	uint32_t act;
98 
99 
100 	for (i = 1; i < 8; i++) {
101 		memcpy(&buf[i], &input, sizeof(input));
102 
103 		act = sse42_crc32c(~0, (const void *)&buf[i], sizeof(input));
104 		ATF_REQUIRE_MSG(act == result,
105 		    "crc32c(0x%jx) = 0x%08x, got 0x%08x", (uintmax_t)input,
106 		    result, act);
107 	}
108 }
109 
110 ATF_TC_WITHOUT_HEAD(crc32c_trailing_bytes);
111 ATF_TC_BODY(crc32c_trailing_bytes, tc)
112 {
113 	const unsigned char input[] = {
114 		0x87, 0x54, 0x74, 0xd2, 0xb, 0x9b, 0xdd, 0xf6, 0x68, 0x37,
115 		0xd4, 0x4, 0x5e, 0xa9, 0xb3
116 	};
117 	const uint32_t result = 0xec638d62;
118 	uint32_t act;
119 
120 	act = sse42_crc32c(~0, input, sizeof(input));
121 	ATF_REQUIRE_MSG(act == result, "expected 0x%08x, got 0x%08x", result,
122 	    act);
123 }
124 
125 ATF_TP_ADD_TCS(tp)
126 {
127 
128 	ATF_TP_ADD_TC(tp, crc32c_basic_correctness);
129 	ATF_TP_ADD_TC(tp, crc32c_alignment);
130 	ATF_TP_ADD_TC(tp, crc32c_trailing_bytes);
131 	return (atf_no_error());
132 }
133