From b5d5085fd558ac8687e2b082525038dd48068d50 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Thu, 22 Feb 2024 16:16:42 -0800 Subject: [PATCH] Add precondition back to firstNeqStride --- ConflictSet.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/ConflictSet.cpp b/ConflictSet.cpp index fa98f1c..a211349 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -626,6 +626,7 @@ bool compareStride(const uint8_t *ap, const uint8_t *bp) { return eq; } +// Precondition: ap[:kStride] != bp[:kStride] int firstNeqStride(const uint8_t *ap, const uint8_t *bp) { #if defined(HAS_AVX) static_assert(kStride == 64);