From bbf922a184764a8f79b9e45dd302879568504703 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 8 Mar 2018 12:20:03 +0100
Subject: Fix register naming for stack pointer.

It should be 'esp' respectively 'rsp' for x86, 'r13' for arm and
'sp' for riscV.
Bug 23176.
---
 riscV/TargetPrinter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscV/TargetPrinter.ml')

diff --git a/riscV/TargetPrinter.ml b/riscV/TargetPrinter.ml
index 381f4397..72b38bcd 100644
--- a/riscV/TargetPrinter.ml
+++ b/riscV/TargetPrinter.ml
@@ -572,7 +572,7 @@ module Target : TARGET =
                  fprintf oc "%s annotation: %S\n" comment annot
                | 2 -> let lbl = new_label () in
                  fprintf oc "%a: " label lbl;
-                 add_ais_annot lbl preg_annot "r1" (camlstring_of_coqstring txt) args
+                 add_ais_annot lbl preg_annot "sp" (camlstring_of_coqstring txt) args
                | _ -> assert false
              end
           | EF_debug(kind, txt, targs) ->
-- 
cgit