Remove switch on phase from Stepwise left/right step
Some checks failed
Tests / Clang total: 1038, passed: 1038
Clang |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Tests / SIMD fallback total: 1038, passed: 1038
Tests / Release [gcc] total: 1038, passed: 1038
GNU C Compiler (gcc) |Total|New|Outstanding|Fixed|Trend |:-:|:-:|:-:|:-:|:-: |0|0|0|0|:clap:
Tests / Release [gcc,aarch64] total: 775, passed: 775
Tests / Coverage total: 779, passed: 779
weaselab/conflict-set/pipeline/head There was a failure building this commit

This commit is contained in:
2024-06-27 20:51:35 -07:00
parent 5378a06c39
commit 2df7000090

View File

@@ -2001,11 +2001,7 @@ struct CheckRangeLeftSide {
int searchPathLen = 0; int searchPathLen = 0;
bool ok; bool ok;
enum Phase { Search, DownLeftSpine } phase = Search;
bool step() { bool step() {
switch (phase) {
case Search: {
if (maxVersion(n, impl) <= readVersion) { if (maxVersion(n, impl) <= readVersion) {
ok = true; ok = true;
return true; return true;
@@ -2050,8 +2046,7 @@ struct CheckRangeLeftSide {
if (n->partialKeyLen > 0) { if (n->partialKeyLen > 0) {
int commonLen = std::min<int>(n->partialKeyLen, remaining.size()); int commonLen = std::min<int>(n->partialKeyLen, remaining.size());
int i = int i = longestCommonPrefix(n->partialKey(), remaining.data(), commonLen);
longestCommonPrefix(n->partialKey(), remaining.data(), commonLen);
searchPathLen += i; searchPathLen += i;
if (i < commonLen) { if (i < commonLen) {
auto c = n->partialKey()[i] <=> remaining[i]; auto c = n->partialKey()[i] <=> remaining[i];
@@ -2076,8 +2071,7 @@ struct CheckRangeLeftSide {
} }
if (commonLen == n->partialKeyLen) { if (commonLen == n->partialKeyLen) {
// partial key matches // partial key matches
remaining = remaining = remaining.subspan(commonLen, remaining.size() - commonLen);
remaining.subspan(commonLen, remaining.size() - commonLen);
} else if (n->partialKeyLen > int(remaining.size())) { } else if (n->partialKeyLen > int(remaining.size())) {
assert(searchPathLen >= prefixLen); assert(searchPathLen >= prefixLen);
if (n->entryPresent && n->entry.rangeVersion > readVersion) { if (n->entryPresent && n->entry.rangeVersion > readVersion) {
@@ -2088,9 +2082,11 @@ struct CheckRangeLeftSide {
return true; return true;
} }
} }
break; return false;
} }
case DownLeftSpine: {
bool downLeftSpine() {
for (;;) {
if (n->entryPresent) { if (n->entryPresent) {
ok = n->entry.rangeVersion <= readVersion; ok = n->entry.rangeVersion <= readVersion;
return true; return true;
@@ -2098,16 +2094,7 @@ struct CheckRangeLeftSide {
int c = getChildGeq(n, 0); int c = getChildGeq(n, 0);
assert(c >= 0); assert(c >= 0);
n = getChildExists(n, c); n = getChildExists(n, c);
} break;
default: // GCOVR_EXCL_LINE
__builtin_unreachable(); // GCOVR_EXCL_LINE
} }
return false;
}
bool downLeftSpine() {
phase = DownLeftSpine;
return false;
} }
}; };
@@ -2134,15 +2121,11 @@ struct CheckRangeRightSide {
int searchPathLen = 0; int searchPathLen = 0;
bool ok; bool ok;
enum Phase { Search, DownLeftSpine } phase = Search;
bool step() { bool step() {
switch (phase) {
case Search: {
#if DEBUG_VERBOSE && !defined(NDEBUG) #if DEBUG_VERBOSE && !defined(NDEBUG)
fprintf( fprintf(stderr,
stderr, "Search path: %s, searchPathLen: %d, prefixLen: %d, remaining: "
"Search path: %s, searchPathLen: %d, prefixLen: %d, remaining: %s\n", "%s\n",
getSearchPathPrintable(n).c_str(), searchPathLen, prefixLen, getSearchPathPrintable(n).c_str(), searchPathLen, prefixLen,
printable(remaining).c_str()); printable(remaining).c_str());
#endif #endif
@@ -2188,8 +2171,7 @@ struct CheckRangeRightSide {
if (n->partialKeyLen > 0) { if (n->partialKeyLen > 0) {
int commonLen = std::min<int>(n->partialKeyLen, remaining.size()); int commonLen = std::min<int>(n->partialKeyLen, remaining.size());
int i = int i = longestCommonPrefix(n->partialKey(), remaining.data(), commonLen);
longestCommonPrefix(n->partialKey(), remaining.data(), commonLen);
searchPathLen += i; searchPathLen += i;
if (i < commonLen) { if (i < commonLen) {
++searchPathLen; ++searchPathLen;
@@ -2207,25 +2189,11 @@ struct CheckRangeRightSide {
} }
if (commonLen == n->partialKeyLen) { if (commonLen == n->partialKeyLen) {
// partial key matches // partial key matches
remaining = remaining = remaining.subspan(commonLen, remaining.size() - commonLen);
remaining.subspan(commonLen, remaining.size() - commonLen);
} else if (n->partialKeyLen > int(remaining.size())) { } else if (n->partialKeyLen > int(remaining.size())) {
return downLeftSpine(); return downLeftSpine();
} }
} }
} break;
case DownLeftSpine: {
if (n->entryPresent) {
ok = n->entry.rangeVersion <= readVersion;
return true;
}
int c = getChildGeq(n, 0);
assert(c >= 0);
n = getChildExists(n, c);
} break;
default: // GCOVR_EXCL_LINE
__builtin_unreachable(); // GCOVR_EXCL_LINE
}
return false; return false;
} }
@@ -2253,9 +2221,15 @@ struct CheckRangeRightSide {
} }
bool downLeftSpine() { bool downLeftSpine() {
phase = DownLeftSpine; for (;;) {
assert(n != nullptr); if (n->entryPresent) {
return false; ok = n->entry.rangeVersion <= readVersion;
return true;
}
int c = getChildGeq(n, 0);
assert(c >= 0);
n = getChildExists(n, c);
}
} }
}; };