summary refs log tree commit diff
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-04-05 15:53:15 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-09-15 23:01:26 -0400
commit5719df3ae48237e5e5628f035bd755a5a4919525 (patch)
tree7eb6312b6f6d92aa7d07e07595b889d7caf6a71a
parentf23cd2882dfcc9329f5dd4af57004f15f674876b (diff)
downloadroux-5719df3ae48237e5e5628f035bd755a5a4919525.tar.gz
do a bigger test computation
-rw-r--r--lo2.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/lo2.ml b/lo2.ml
index bc2624b..fc93594 100644
--- a/lo2.ml
+++ b/lo2.ml
@@ -609,7 +609,7 @@ let pcount: iprog =
 let psum: iprog =
   [| { bb_name = "init"
      ; bb_phis = [||]
-     ; bb_inss = [| `Con 100; `Con 1; `Con 0 |]
+     ; bb_inss = [| `Con 1234567; `Con 1; `Con 0 |]
      ; bb_jmp = `Jmp 1
      }
    ; { bb_name = "loop"
@@ -662,7 +662,7 @@ let oneshot () =
 let _ =
   if Array.length Sys.argv > 1 && Sys.argv.(1) = "test" then
     let oc = open_out "t.o" in
-    nregs := 2; 
+    nregs := 3; 
     let s = psum |> regalloc |> movgen |> codegen in
     Elf.barebones_elf oc "f" s;
     close_out oc;