From b74e3c48e601e46cb695caccc162cd03e781d739 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 19 Mar 2019 10:14:35 +0100
Subject: Psemi manquant dans l'expansion de Pallocframe

---
 mppa_k1c/Asmexpand.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'mppa_k1c/Asmexpand.ml')

diff --git a/mppa_k1c/Asmexpand.ml b/mppa_k1c/Asmexpand.ml
index 22c424c1..1c9e4e4c 100644
--- a/mppa_k1c/Asmexpand.ml
+++ b/mppa_k1c/Asmexpand.ml
@@ -409,6 +409,7 @@ let expand_instruction instr =
         expand_addptrofs stack_pointer stack_pointer (Ptrofs.repr (Z.neg full_sz));
         emit Psemi;
         expand_storeind_ptr Asmblock.GPR17 stack_pointer ofs;
+        emit Psemi;
         let va_ofs =
             sz in
           (*Z.add full_sz (Z.of_sint ((n - _nbregargs_) * wordsize)) in *)
@@ -418,6 +419,7 @@ let expand_instruction instr =
         expand_addptrofs stack_pointer stack_pointer (Ptrofs.repr (Z.neg sz));
         emit Psemi;
         expand_storeind_ptr Asmblock.GPR17 stack_pointer ofs;
+        emit Psemi;
         vararg_start_ofs := None
       end
   | Pfreeframe (sz, ofs) ->
-- 
cgit