From 00d530aed30181dece1b32d4eb0ce122ed55ff89 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Mon, 6 May 2019 19:37:00 +0200
Subject: one cycle less in allocframe

---
 mppa_k1c/Asmexpand.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml
index c49cfbd5..94846793 100644
--- a/mppa_k1c/Asmexpand.ml
+++ b/mppa_k1c/Asmexpand.ml
@@ -459,9 +459,9 @@ let expand_instruction instr =
         vararg_start_ofs := Some va_ofs;
         save_arguments n va_ofs
       end else begin
-        expand_addptrofs stack_pointer stack_pointer (Ptrofs.repr (Z.neg sz));
-        emit Psemi;
-        expand_storeind_ptr Asmvliw.GPR17 stack_pointer ofs;
+        let below = Ptrofs.repr (Z.neg sz) in
+        expand_addptrofs stack_pointer stack_pointer below;
+        expand_storeind_ptr Asmvliw.GPR17 stack_pointer (Ptrofs.add ofs below);
         emit Psemi;
         vararg_start_ofs := None
       end
-- 
cgit