1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
val fetch_and_execute : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
val elf_tohost = "Elf_loader.elf_tohost" : unit -> int
function fetch_and_execute () =
let tohost = __GetSlice_int(64, elf_tohost(), 0) in
while true do {
print_bits("PC: ", PC);
let instr = __RISCV_read(PC, 4);
nextPC = PC + 4;
let instr_ast = decode(instr);
match instr_ast {
Some(ast) => execute(ast),
None => {print("Decode failed"); exit (())}
};
let tohost_val = __RISCV_read(tohost, 4);
if unsigned(tohost_val) != 0 then {
let exit_val = unsigned(tohost_val >> 0b1) in
if exit_val == 0 then
print("SUCCESS")
else
print_int("FAILURE: ", exit_val);
exit (());
};
PC = nextPC
}
val elf_entry = "Elf_loader.elf_entry" : unit -> int
val main : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
function dump_state () : unit -> unit = {
print("Dumping state");
print_bits(" PC: ", PC);
let instr = __RISCV_read(PC, 4);
print_bits(" instr: ", instr)
}
function main () = {
PC = __GetSlice_int(64, elf_entry(), 0);
try {
fetch_and_execute()
} catch {
Error_not_implemented(s) => print_string("Error: Not implemented: ", s),
Error_misaligned_access => print("Error: misaligned_access"),
Error_EBREAK => print("EBREAK"),
Error_internal_error => print("Error: internal error")
};
dump_state ()
}
|
