From 54fb9faab6a53fad126fd57c3d58b232ff181cd1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 11 Dec 2019 14:10:32 +0100
Subject: The SP register has dwarf register number 31.

---
 aarch64/Asmexpand.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'aarch64/Asmexpand.ml')

diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml
index 55922e9e..471ad501 100644
--- a/aarch64/Asmexpand.ml
+++ b/aarch64/Asmexpand.ml
@@ -435,7 +435,7 @@ let preg_to_dwarf = function
 let expand_function id fn =
   try
     set_current_function fn;
-    expand id (* sp= *) 2 preg_to_dwarf expand_instruction fn.fn_code;
+    expand id (* sp= *) 31 preg_to_dwarf expand_instruction fn.fn_code;
     Errors.OK (get_current_function ())
   with Error s ->
     Errors.Error (Errors.msg (coqstring_of_camlstring s))
-- 
cgit