From e5d8d8d2d67daed762f6e0cc8f486b2c1b37bb20 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Wed, 2 Aug 2017 16:01:41 +0200
Subject: Push correct register

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

diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml
index 1a473e03..fbe2e0bb 100644
--- a/arm/Asmexpand.ml
+++ b/arm/Asmexpand.ml
@@ -421,7 +421,7 @@ let expand_instruction instr =
      let ofs' = camlint_of_coqint ofs in
      if ofs' >= 4096l && sz' >= ofs' then begin
        expand_subimm IR13 IR13 (coqint_of_camlint (Int32.sub sz' (Int32.add ofs' 4l)));
-       emit (Ppush [IR13]);
+       emit (Ppush [IR12]);
        expand_subimm IR13 IR13 ofs;
        emit (Pcfi_adjust sz);
      end else begin
-- 
cgit