Add missing __builtin_prefetch

2024-09-14 22:41:58 -07:00
parent 3593b72880
commit 98236f81cb
1 changed files with 1 additions and 0 deletions
--- a/ConflictSet.cpp
+++ b/ConflictSet.cpp
@@ -3089,6 +3089,7 @@ CheckJob::continuation begin(CheckJob *job) {
      return nullptr; // Done
    }
    job->n = getFirstChildExists(job->n);
+    __builtin_prefetch(job->n);
    return down_left_spine;
  }