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