Fixing tiny issue in unary propagation

cksystemsteaching · Jan 16, 2025 · d3e419e · d3e419e
1 parent 79b6880
commit d3e419e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/bitme.py b/tools/bitme.py
@@ -1034,7 +1034,7 @@ def get_values(self, step):
             if Instance.PROPAGATE_UNARY and isinstance(arg1_value, Values):
                 if self.op == OP_SEXT:
                     self.cache_values[step] = self.propagate(arg1_value,
-                        lambda x: arg1_value.sid_line.get_signed_value(x) % 2**self.sid_line)
+                        lambda x: arg1_value.sid_line.get_signed_value(x) % 2**self.sid_line.size)
                 else:
                     assert self.op == OP_UEXT
                     self.cache_values[step] = self.propagate(arg1_value, lambda x: x)