diff options
| author | Alasdair Armstrong | 2017-11-08 15:08:18 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-08 15:08:18 +0000 |
| commit | 275ded17e9d0824a932fe23607fe4f7d7b1da62f (patch) | |
| tree | 140e49f6ae13ddd8fba52388a79fccf982e1f457 /lib/ocaml_rts/sail_lib.ml | |
| parent | 2def55466c941aa8d4b933ecd93a7d3eb739fce8 (diff) | |
| parent | 9dc4a4bb20a53889b0aee43563d41fd7065a226a (diff) | |
Merge branch 'experiments' of https://bitbucket.org/Peter_Sewell/sail into experiments
Diffstat (limited to 'lib/ocaml_rts/sail_lib.ml')
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index 9b1bbc30..176c1124 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -376,6 +376,10 @@ let read_ram (addr_size, data_size, hex_ram, addr) = in read_byte data_size +let rec reverse_endianness bits = + if List.length bits <= 8 then bits else + reverse_endianness (drop 8 bits) @ (take 8 bits) + (* FIXME: Casts can't be externed *) let zcast_unit_vec x = [x] |