1 files changed, 0 insertions, 57 deletions
diff --git a/mips_new_tc/main.sail b/mips_new_tc/main.sail
deleted file mode 100644
index 2df5c0f8..00000000
--- a/mips_new_tc/main.sail
+++ /dev/null
@@ -1,57 +0,0 @@
-
-
-
-val fetch_and_execute : unit -> unit effect {barr, eamem, escape, rmem, rreg, wmv, wreg, undef, wmvt, rmemt}
-function fetch_and_execute () = {
-  while true do {
-    PC = nextPC;
-    inBranchDelay = branchPending;
-    branchPending = 0b0;
-    nextPC = if inBranchDelay then delayedPC else PC + 4;
-    cp2_next_pc();
-    
-    print_bits("PC: ", PC);
-    try {
-      let pc_pa = TranslatePC(PC);
-      /*print_bits("pa: ", pc_pa);*/
-      let instr = MEMr_wrapper(pc_pa, 4);
-      /*print_bits("hex: ", instr);*/
-      let instr_ast = decode(instr);
-      match instr_ast {
-        Some(HCF()) => {
-                       print("simulation stopped due to halt instruction.");
-                       return ();
-                     },
-        Some(ast) => execute(ast),
-        None()    => {print("Decode failed"); exit (())} /* Never expect this -- unknown instruction should actually result in reserved instruction ISA-level exception (see mips_ri.sail). */
-      }
-    } catch {
-      ISAException() => print("EXCEPTION")
-      /* ISA-level exception occurrred either during TranslatePC or execute --
-         just continue from nextPC, which should have been set to the appropriate
-         exception vector (along with clearing branchPending etc.) . */
-    };
-  };
-  skip_rmemt();
-  skip_wmvt();
-}
-
-val elf_entry = "Elf_loader.elf_entry" : unit -> int
-
-val main : unit -> unit effect {barr, eamem, escape, rmem, rreg, undef, wmv, wreg, rmemt, wmvt}
-
-function dump_mips_state () : unit -> unit = {
-  print_bits("DEBUG MIPS PC ", PC);
-  foreach (idx from 0 to 31) {
-    print(concat_str("DEBUG MIPS REG ", concat_str(string_of_int(idx), concat_str(" ", BitStr(rGPR(to_bits(5,idx)))))));
-  }
-}
-
-function main () = {
-  init_cp0_state();
-  init_cp2_state();
-  nextPC = to_bits(64, elf_entry());
-  fetch_and_execute();
-  dump_mips_state ();
-  dump_cp2_state ()
-}