From cd567383c3f6c248eb936e973ba671e499246bc2 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sun, 10 Mar 2024 14:34:55 -0700
Subject: [PATCH] Only keep the assume's that actually improve codegen

---
 ConflictSet.cpp | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index 4d4d86e..e0b265d 100644
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -143,20 +143,20 @@ private:
 };
 
 bool BitSet::test(int i) const {
-  assume(0 <= i);
-  assume(i < 256);
+  assert(0 <= i);
+  assert(i < 256);
   return words[i >> 6] & (uint64_t(1) << (i & 63));
 }
 
 void BitSet::set(int i) {
-  assume(0 <= i);
-  assume(i < 256);
+  assert(0 <= i);
+  assert(i < 256);
   words[i >> 6] |= uint64_t(1) << (i & 63);
 }
 
 void BitSet::reset(int i) {
-  assume(0 <= i);
-  assume(i < 256);
+  assert(0 <= i);
+  assert(i < 256);
   words[i >> 6] &= ~(uint64_t(1) << (i & 63));
 }
 
@@ -956,7 +956,7 @@ struct SearchStepWise {
   SearchStepWise() {}
   SearchStepWise(Node *n, std::span<const uint8_t> remaining)
       : n(n), remaining(remaining) {
-    assume(n->partialKeyLen == 0);
+    assert(n->partialKeyLen == 0);
   }
 
   bool step() {