From e3aed59a6d58f4486da40e0a7a381ea0bf10ba81 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Mon, 12 Mar 2018 18:17:09 +0100
Subject: MPPA - Preuve de make_epilogue correct.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

ça va un peu plus loin!
---
 mppa_k1c/Conventions1.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mppa_k1c/Conventions1.v')

diff --git a/mppa_k1c/Conventions1.v b/mppa_k1c/Conventions1.v
index 42905b30..6bb616c8 100644
--- a/mppa_k1c/Conventions1.v
+++ b/mppa_k1c/Conventions1.v
@@ -40,7 +40,7 @@ Definition is_callee_save (r: mreg): bool :=
   end.
 
 Definition int_caller_save_regs :=
-     R0  :: R1  :: R2  :: R3  :: R4  :: R5  :: R6  :: R7  :: R8  :: R9
+     R0  :: R1  :: R2  :: R3  :: R4  :: R5  :: R6  :: R7         :: R9
   :: R32 :: R33 :: R34 :: R35 :: R36 :: R37 :: R38 :: R39 :: R40 :: R41
   :: R42 :: R43 :: R44 :: R45 :: R46 :: R47 :: R48 :: R49 :: R50 :: R51
   :: R52 :: R53 :: R54 :: R55 :: R56 :: R57 :: R58 :: R59 :: R60 :: R61
-- 
cgit