Add Redis source code for testing

1 files changed, 10 insertions, 0 deletions

diff --git a/examples/redis-unstable/src/crccombine.h b/examples/redis-unstable/src/crccombine.h
new file mode 100644
index 0000000..8da7c5f
--- /dev/null
+++ b/examples/redis-unstable/src/crccombine.h
@@ -0,0 +1,10 @@
+
+#include <stdint.h>
+
+
+/* mask types */
+typedef unsigned long long v2uq __attribute__ ((vector_size (16)));
+
+uint64_t gf2_matrix_times_vec2(uint64_t *mat, uint64_t vec);
+void init_combine_cache(uint64_t poly, uint8_t dim);
+uint64_t crc64_combine(uint64_t crc1, uint64_t crc2, uintmax_t len2, uint64_t poly, uint8_t dim);