Support multi-word early exits

Author: Genbox

Docs/Optimizations.md

@@ -49,7 +49,7 @@ Input `cow pig cat`
 It will produce: `if (value.Length != 3) return false;`
 
 ### Length bitmap early exit
-FastData can also sometimes produce a bitmap of value lengths. It basically map lengths into a 64bit integer and check if the corresponding bit is set.
+FastData can also sometimes produce a bitmap of value lengths. It basically map lengths into a 64bit integer and check if the corresponding bit is set. For larger ranges, it can emit a multi-word bitset.
 Input: `stable softice sophisticated santa`
 
 It generates this early exit: `if ((4208UL & (1UL << (value.Length - 1))) == 0) return false;`

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-ArrayStructure_Int32_3_complex.verified.txt

@@ -37,7 +37,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const Person*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         for (size_t i = 0; i < 3; i++) {
             if (keys[i] == key) {

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-ArrayStructure_Int32_3_simple.verified.txt

@@ -30,7 +30,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const int32_t*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         for (size_t i = 0; i < 3; i++) {
             if (keys[i] == key) {

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-BinarySearchStructure_Int32_3_complex.verified.txt

@@ -47,7 +47,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const Person*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         int32_t lo = 0;
         int32_t hi = 2;

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-BinarySearchStructure_Int32_3_simple.verified.txt

@@ -40,7 +40,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const int32_t*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         int32_t lo = 0;
         int32_t hi = 2;

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-BitSetStructure_Int32_3_complex.verified.txt

@@ -33,7 +33,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const Person*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         const uint64_t offset = static_cast<uint64_t>(key - min_key);
         const size_t word = static_cast<size_t>(offset >> 6);

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-HashTablePerfectStructure_Int32_3_complex.verified.txt

@@ -46,7 +46,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const Person*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         const uint64_t hash = get_hash(key);
         const size_t index = hash % 3;

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-HashTablePerfectStructure_Int32_3_simple.verified.txt

@@ -39,7 +39,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const int32_t*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         const uint64_t hash = get_hash(key);
         const size_t index = hash % 3;

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-HashTableStructure_Int32_3_complex.verified.txt

@@ -60,7 +60,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const Person*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         const uint64_t hash = get_hash(key);
         const size_t index = hash % 3;

Src/FastData.Generator.CPlusPlus.Tests/Features/ObjectSupportTest-HashTableStructure_Int32_3_simple.verified.txt

@@ -53,7 +53,10 @@ public:
     [[nodiscard]]
     static bool try_lookup(const int32_t key, const int32_t*& value) noexcept {
         if (key < 1 || key > 3)
-            return false;
+            {
+    value = nullptr;
+    return false;
+}
 
         const uint64_t hash = get_hash(key);
         const size_t index = hash % 3;