diff options
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 211917b9..7c5b295e 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -448,6 +448,16 @@ let rec bytes_of_bits bits = match bits with (Byte [b1;b2;b3;b4;b5;b6;b7;b8])::(bytes_of_bits bits) end +val integer_address_of_int_list : list int -> integer +(*TODO*) +let integer_address_of_int_list (is: list int) = failwith "TODO" +(* regarding is as a list of bytes in memory, lowest-address first, convert to an integer *) + +val integer_of_byte_list : list byte -> integer +(* TODO *)let integer_of_byte_list (a:list byte):integer = failwith "TODO" +val byte_list_of_integer : int -> integer -> list byte +(* TODO *)let byte_list_of_integer (len:int) (a:integer):list byte = failwith "TODO" + let bit_to_bool = function | Bitc_zero -> false | Bitc_one -> true @@ -541,8 +551,8 @@ let integer_of_register_value (rv:register_value):maybe integer = (* TODO: have to go check the usage points for the length and fix up *) -val register_value_of_integer : integer -> register_value -(* TODO *)let register_value_of_integer (i:integer):register_value = failwith "TODO" +val register_value_of_integer : int -> integer -> register_value +(* TODO *)let register_value_of_integer (len:int) (i:integer):register_value = failwith "TODO" val opcode_of_bytes : byte -> byte -> byte -> byte -> opcode @@ -580,11 +590,11 @@ let address_of_register_value (rv:register_value) : maybe address = val byte_of_int : int -> byte let byte_of_int (i:int) : byte = failwith "TODO" -(* + val memory_byte_of_int : int -> memory_byte let memory_byte_of_int (i:int) : memory_byte = failwith "TODO" -*) + (* val int_of_memory_byte : int -> maybe memory_byte let int_of_memory_byte (mb:memory_byte) : int = |