Don't treat rMSR r value as a vex offset, treat it as a register

angr · Nov 30, 2023 · bc8e5a2 · bc8e5a2
1 parent 2eed255
commit bc8e5a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyvex/lifting/gym/arm_spotter.py b/pyvex/lifting/gym/arm_spotter.py
@@ -314,7 +314,7 @@ class Instruction_tMSR(ThumbInstruction):
 
     def compute_result(self):  # pylint: disable=arguments-differ
         dest_spec_reg = int(self.data["x"], 2)
-        src_reg = int(self.data["r"], 2)
+        src_reg = f"r{int(self.data['r'], 2)}"
 
         # If 0, do not write the SPSR
         if self.data["R"] == "0":