From 191906d10aa084bc6077ef3f6503fd2dacac67a1 Mon Sep 17 00:00:00 2001 From: xleroy Date: Thu, 10 Mar 2011 10:12:34 +0000 Subject: Bitfields: MSB-to-LSB in addition to LSB-to-MSB git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1600 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Bitfields.ml | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) (limited to 'cparser/Bitfields.ml') diff --git a/cparser/Bitfields.ml b/cparser/Bitfields.ml index 9452a4f..472b6a4 100644 --- a/cparser/Bitfields.ml +++ b/cparser/Bitfields.ml @@ -94,15 +94,22 @@ let rec transf_members env id count = function else begin (* Create integer field of sufficient size for this bitfield group *) let carrier = sprintf "__bf%d" count in - let carrier_typ = TInt(unsigned_ikind_for_carrier nbits, []) in + let carrier_ikind = unsigned_ikind_for_carrier nbits in + let carrier_typ = TInt(carrier_ikind, []) in + (* Enter each field with its bit position, size, signedness *) List.iter (fun (name, pos, sz, signed, signed2) -> - if name <> "" then + if name <> "" then begin + let pos' = + if !config.bitfields_msb_first + then sizeof_ikind carrier_ikind * 8 - pos - sz + else pos in Hashtbl.add bitfield_table (id, name) {bf_carrier = carrier; bf_carrier_typ = carrier_typ; - bf_pos = pos; bf_size = sz; - bf_signed = signed; bf_signed_res = signed2}) + bf_pos = pos'; bf_size = sz; + bf_signed = signed; bf_signed_res = signed2} + end) bitfields; { fld_name = carrier; fld_typ = carrier_typ; fld_bitfield = None} :: transf_members env id (count + 1) ml' -- cgit v1.2.3