From 009068fae0c067b7938c313d1c045fdbe45945b3 Mon Sep 17 00:00:00 2001
From: "Matthias J. Kannwischer" <matthias@kannwischer.eu>
Date: Mon, 16 Dec 2024 11:06:17 +0800
Subject: [PATCH] re-add stack pointer to address_registers

---
 slothy/core/dataflow.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/slothy/core/dataflow.py b/slothy/core/dataflow.py
index 3d83bd6c..cfed9cce 100644
--- a/slothy/core/dataflow.py
+++ b/slothy/core/dataflow.py
@@ -784,7 +784,7 @@ def find_all_predecessors_input_registers(self, consumer, register_name):
         """ recursively finds the set of input registers registers that a certain value depends on."""
         # ignore the stack pointer
         if register_name == "sp":
-            return set()
+            return set(["sp"])
 
         producer = consumer.reg_state[register_name].src
         # if this is a virtual input instruction this is an actual input