From f20cec4454375fa4d0ff83028f3aee14c8089a62 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Thu, 14 Sep 2023 18:18:56 +1000
Subject: [PATCH] fix parsing of >64-bit numbers in repl.

---
 bin/asli.ml   | 6 +++---
 libASL/dis.ml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/bin/asli.ml b/bin/asli.ml
index 8441a064..2d2dfbe4 100644
--- a/bin/asli.ml
+++ b/bin/asli.ml
@@ -164,7 +164,7 @@ let rec process_command (tcenv: TC.Env.t) (cpu: Cpu.cpu) (fname: string) (input0
         List.iter (fun (nm, v) -> Printf.printf "  %s%s\n" (if !v then "+" else "-") nm) flags
     | [":opcode"; iset; opcode] ->
         (* todo: make this code more robust *)
-        let op = Z.of_int (int_of_string opcode) in
+        let op = Z.of_string opcode in
         Printf.printf "Decoding and executing instruction %s %s\n" iset (Z.format "%x" op);
         cpu.opcode iset op
     | [":opcodes"; iset; instr] ->
@@ -189,7 +189,7 @@ let rec process_command (tcenv: TC.Env.t) (cpu: Cpu.cpu) (fname: string) (input0
         ) encodings;
     | [":sem"; iset; opcode] ->
         let cpu' = Cpu.mkCPU cpu.env cpu.denv in
-        let op = Z.of_int (int_of_string opcode) in
+        let op = Z.of_string opcode in
         Printf.printf "Decoding instruction %s %s\n" iset (Z.format "%x" op);
         cpu'.sem iset op
     | ":dump" :: iset :: opcode :: rest ->
@@ -200,7 +200,7 @@ let rec process_command (tcenv: TC.Env.t) (cpu: Cpu.cpu) (fname: string) (input0
             | _ -> invalid_arg "expected at most 3 arguments to :dump")
         in
         let cpu' = Cpu.mkCPU (Eval.Env.copy cpu.env) cpu.denv in
-        let op = Z.of_int (int_of_string opcode) in
+        let op = Z.of_string opcode in
         let bits = VBits (Primops.prim_cvt_int_bits (Z.of_int 32) op) in
         let decoder = Eval.Env.getDecoder cpu'.env (Ident iset) in
         let stmts = Dis.dis_decode_entry cpu'.env cpu.denv decoder bits in
diff --git a/libASL/dis.ml b/libASL/dis.ml
index b21516b9..2148feb3 100644
--- a/libASL/dis.ml
+++ b/libASL/dis.ml
@@ -1465,4 +1465,4 @@ let retrieveDisassembly ?(address:string option) (env: Eval.Env.t) (lenv: env) (
     let lenv = match address with
     | Some v -> setPC env lenv (Z.of_string v)
     | None -> lenv in
-    dis_decode_entry env lenv decoder (Value.VBits (Primops.prim_cvt_int_bits (Z.of_int 32) (Z.of_int (int_of_string opcode))))
+    dis_decode_entry env lenv decoder (Value.VBits (Primops.prim_cvt_int_bits (Z.of_int 32) (Z.of_string opcode)))