diff options
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index 4771bcd7..e0d60dee 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -849,13 +849,11 @@ let external_reg_field_slice reg rfield (i,j) = (external_slice dir start (m,n)) (external_slice dir start (i,j)) -let external_mem_value endian v = - let bytes = byte_lifteds_of_bitv v in - if endian = E_big_endian then bytes else List.reverse bytes +let external_mem_value v = + byte_lifteds_of_bitv v $> List.reverse -let internal_mem_value endian direction bytes = - let v = if endian = E_big_endian then bytes else List.reverse bytes in - bitv_of_byte_lifteds direction v +let internal_mem_value direction bytes = + List.reverse bytes $> bitv_of_byte_lifteds direction |