From 2fa58b2f496c9aa8c0310c4f9f1683d106e8975d Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Thu, 19 Sep 2019 17:59:58 +0200
Subject: Fixing machine description (error in wchar signedness + trying
 different value for passing structs)

---
 cparser/Machine.ml | 37 ++++++++++++++++++++++++++++++++-----
 1 file changed, 32 insertions(+), 5 deletions(-)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index 087e0308..658cf0f4 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -238,11 +238,38 @@ let rv64 =
                    struct_return_style = SR_ref } (* to check *)
 
 let mppa_k1c =
-  { ilp32ll64 with sizeof_ptr = 8;
-                   sizeof_long = 8;
-                   name = "k1c";
-                   char_signed = true;
-                   supports_unaligned_accesses = true }
+  { name = "k1c";
+    char_signed = true;
+    wchar_signed = true;
+    sizeof_ptr = 8;
+    sizeof_short = 2;
+    sizeof_int = 4;
+    sizeof_long = 8;
+    sizeof_longlong = 8;
+    sizeof_float = 4;
+    sizeof_double = 8;
+    sizeof_longdouble = 8;
+    sizeof_void = None; (* What is this for ? *)
+    sizeof_fun = None; (* What is this for ? *)
+    sizeof_wchar = 4;
+    sizeof_size_t = 8;
+    sizeof_ptrdiff_t = 8;
+    sizeof_intreg = 4; (* What is this for ? *)
+    alignof_ptr = 8;
+    alignof_short = 2;
+    alignof_int = 4;
+    alignof_long = 8;
+    alignof_longlong = 8;
+    alignof_float = 4;
+    alignof_double = 8;
+    alignof_longdouble = 8;
+    alignof_void = None; (* what is this for ? *)
+    alignof_fun = None; (* what is this for ? *)
+    bigendian = false;
+    bitfields_msb_first = false; (* TO CHECK *)
+    supports_unaligned_accesses = true;
+    struct_passing_style = SP_split_args;
+    struct_return_style = SR_int1248 }
 
 (* Add GCC extensions re: sizeof and alignof *)
 
-- 
cgit