From 2d23ce58cb53a3a9026bc12c79e6c0fa99b5aa30 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Tue, 24 Jan 2023 15:58:38 +0100
Subject: Introduce `wchar_ikind` in machine descriptions

This replaces `sizeof_wchar` and `wchar_signed`, and makes it possible
to request that `wchar_t` is `long` instead of `int`, something that
seems needed for PowerPC.
---
 cparser/Machine.ml | 22 +++++++++-------------
 1 file changed, 9 insertions(+), 13 deletions(-)

(limited to 'cparser/Machine.ml')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index c47ec594..81511ac3 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -41,8 +41,7 @@ type t = {
   sizeof_longdouble: int;
   sizeof_void: int option;
   sizeof_fun: int option;
-  sizeof_wchar: int;
-  wchar_signed: bool;
+  wchar_ikind: C.ikind;
   sizeof_size_t: int;
   sizeof_ptrdiff_t: int;
   sizeof_intreg: int;
@@ -76,8 +75,7 @@ let ilp32ll64 = {
   sizeof_longdouble = 8;
   sizeof_void = None;
   sizeof_fun = None;
-  sizeof_wchar = 4;
-  wchar_signed = true;
+  wchar_ikind = C.IInt;
   sizeof_size_t = 4;
   sizeof_ptrdiff_t = 4;
   sizeof_intreg = 4;
@@ -111,8 +109,7 @@ let i32lpll64 = {
   sizeof_longdouble = 8;
   sizeof_void = None;
   sizeof_fun = None;
-  sizeof_wchar = 4;
-  wchar_signed = true;
+  wchar_ikind = C.IInt;
   sizeof_size_t = 8;
   sizeof_ptrdiff_t = 8;
   sizeof_intreg = 8;
@@ -146,8 +143,7 @@ let il32pll64 = {
   sizeof_longdouble = 8;
   sizeof_void = None;
   sizeof_fun = None;
-  sizeof_wchar = 4;
-  wchar_signed = true;
+  wchar_ikind = C.IInt;
   sizeof_size_t = 8;
   sizeof_ptrdiff_t = 8;
   sizeof_intreg = 8;
@@ -193,15 +189,16 @@ let x86_64 =
 
 let win32 =
   { ilp32ll64 with name = "win32"; char_signed = true;
-                   sizeof_wchar = 2; wchar_signed = false;
+                   wchar_ikind = C.IUShort;
                    struct_passing_style = SP_split_args;
                    struct_return_style = SR_ref }
 let win64 =
   { il32pll64 with name = "win64"; char_signed = true;
-                   sizeof_wchar = 2; wchar_signed = false }
+                   wchar_ikind = C.IUShort }
 let ppc_32_bigendian =
   { ilp32ll64 with name = "powerpc";
                    bigendian = true;
+                   wchar_ikind = C.ILong;
                    bitfields_msb_first = true;
                    supports_unaligned_accesses = true;
                    struct_passing_style = SP_ref_caller;
@@ -211,7 +208,7 @@ let ppc_32_r64_bigendian =
   { ppc_32_bigendian with sizeof_intreg = 8;}
 
 let ppc_32_diab_bigendian =
-  { ppc_32_bigendian with sizeof_wchar = 2; wchar_signed = false }
+  { ppc_32_bigendian with wchar_ikind = C.IUShort }
 
 let ppc_32_r64_diab_bigendian =
   { ppc_32_diab_bigendian with sizeof_intreg = 8;}
@@ -272,8 +269,7 @@ let undef = {
   sizeof_longdouble = 0;
   sizeof_void = None;
   sizeof_fun = None;
-  sizeof_wchar = 0;
-  wchar_signed = true;
+  wchar_ikind = C.IInt;
   sizeof_size_t = 0;
   sizeof_ptrdiff_t = 0;
   sizeof_intreg = 0;
-- 
cgit