diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ocaml_rts/elf_loader.ml | 13 | ||||
| -rw-r--r-- | lib/ocaml_rts/sail_lib.ml | 4 |
2 files changed, 9 insertions, 8 deletions
diff --git a/lib/ocaml_rts/elf_loader.ml b/lib/ocaml_rts/elf_loader.ml index 4e35a192..ab49c57b 100644 --- a/lib/ocaml_rts/elf_loader.ml +++ b/lib/ocaml_rts/elf_loader.ml @@ -122,11 +122,8 @@ let load_segment seg = List.iteri (fun i byte -> Sail_lib.wram (add_big_int paddr (big_int_of_int i)) byte) (List.map int_of_char bs) let load_elf () = - let name = - match !opt_file_arguments with - | (name :: _) -> name - | [] -> failwith "Must provide an elf file" - in - let segments, e_entry = read name in - List.iter load_segment segments; - () + match !opt_file_arguments with + | (name :: _) -> + let segments, e_entry = read name in + List.iter load_segment segments + | [] -> () diff --git a/lib/ocaml_rts/sail_lib.ml b/lib/ocaml_rts/sail_lib.ml index 0602a3d0..a0d6bc5f 100644 --- a/lib/ocaml_rts/sail_lib.ml +++ b/lib/ocaml_rts/sail_lib.ml @@ -315,3 +315,7 @@ let shl_int (n, m) = shift_left_big_int n (int_of_big_int m) let shr_int (n, m) = shift_right_big_int n (int_of_big_int m) let debug (str1, n, str2, v) = prerr_endline (str1 ^ string_of_big_int n ^ str2 ^ string_of_bits v) + +let eq_string (str1, str2) = String.compare str1 str2 == 0 + +let lt_int (x, y) = lt_big_int x y |