diff options
| author | Alasdair Armstrong | 2018-06-27 19:23:41 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-27 19:24:17 +0100 |
| commit | 84e5c99514eddd1c8ea962dcf3e787bc5bc91101 (patch) | |
| tree | a004792ea73b611d801834ba79d974ab10e08cfe /src/c_backend.ml | |
| parent | f3f31252202ea745970e99805574eac39d1d9b7b (diff) | |
Fix reading reals from strings in C lib
Diffstat (limited to 'src/c_backend.ml')
| -rw-r--r-- | src/c_backend.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/c_backend.ml b/src/c_backend.ml index ef2d9a58..c2c1fd39 100644 --- a/src/c_backend.ml +++ b/src/c_backend.ml @@ -273,8 +273,8 @@ let mask m = if Big_int.less_equal m (Big_int.of_int 64) then let n = Big_int.to_int m in if n mod 4 == 0 - then "0x" ^ String.make (16 - n / 4) '0' ^ String.make (n / 4) 'F' ^ "ul" - else "0b" ^ String.make (64 - n) '0' ^ String.make n '1' ^ "ul" + then "UINT64_C(0x" ^ String.make (16 - n / 4) '0' ^ String.make (n / 4) 'F' ^ ")" + else "UINT64_C(" ^ String.make (64 - n) '0' ^ String.make n '1' ^ ")" else failwith "Tried to create a mask literal for a vector greater than 64 bits." @@ -1872,7 +1872,7 @@ let sgen_cval_param (frag, ctyp) = | CT_bits direction -> string_of_fragment frag ^ ", " ^ string_of_bool direction | CT_bits64 (len, direction) -> - string_of_fragment frag ^ ", " ^ string_of_int len ^ "ul , " ^ string_of_bool direction + string_of_fragment frag ^ ", UINT64_C(" ^ string_of_int len ^ ") , " ^ string_of_bool direction | _ -> string_of_fragment frag |