From 98236f81cb7148ef4847170be1352d647f289aa6 Mon Sep 17 00:00:00 2001
From: Andrew Noyes <andrew@weaselab.dev>
Date: Sat, 14 Sep 2024 22:41:58 -0700
Subject: [PATCH] Add missing __builtin_prefetch

---
 ConflictSet.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ConflictSet.cpp b/ConflictSet.cpp
index 325d05c..9bf5dd0 100644
--- 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;
   }