From fccfa9b6ac74953af188a2538eb9cd7258544c1a Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 17 Sep 2021 10:12:12 +0200
Subject: FIX CODEGEN BUG Pallocframe

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

(limited to 'kvx/Asmexpand.ml')

diff --git a/kvx/Asmexpand.ml b/kvx/Asmexpand.ml
index 35c980bb..f84cf22d 100644
--- a/kvx/Asmexpand.ml
+++ b/kvx/Asmexpand.ml
@@ -517,8 +517,8 @@ let expand_instruction instr =
       end else begin
         let below = Integers.Ptrofs.repr (Z.neg sz) in
         expand_addptrofs stack_pointer stack_pointer below;
-        emit Psemi; (* Psemi required to fit in resource constraints *)
         expand_storeind_ptr stack_pointer stack_pointer (Integers.Ptrofs.add ofs below);
+        emit Psemi; (* Psemi required to fit in resource constraints *)
         vararg_start_ofs := None
       end
   | Pfreeframe (sz, ofs) ->
-- 
cgit