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
51
52
53
54
55
56
57
|
val fetch_and_execute : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
val elf_tohost = {
ocaml: "Elf_loader.elf_tohost",
c: "elf_tohost"
} : unit -> int
val loop : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
function loop () = {
let tohost = __GetSlice_int(64, elf_tohost(), 0);
i : int = 0;
while true do {
tick_clock();
print_int("\nstep: ", i);
let retired : bool = step();
PC = nextPC;
if retired then i = i + 1;
/* check htif exit */
let tohost_val = __ReadRAM(64, 4, 0x0000_0000_0000_0000, tohost);
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(());
}
}
}
val elf_entry = {
ocaml: "Elf_loader.elf_entry",
c: "elf_entry"
} : unit -> int
val main : unit -> unit effect pure //{barr, eamem, escape, exmem, rmem, rreg, wmv, wreg}
function main () = {
print(assembly(ITYPE(0b000000000000, 0b00000, 0b11010, RISCV_ADDI)));
print(assembly(assembly("addi zero, zero, 0x0")));
print(assembly(assembly("ldu.aq zero, zero, 0x0")));
print_bits("assembled lui zero, 0x0: ", encdec(assembly("lui zero, 0x0")));
print_bits("assembled jal zero, 0x123456 : ", encdec(assembly("jal zero, 0x123456")));
print(assembly(assembly("beq zero, zero, 0x124")));
print_bits("assembled beq zero, zero, 0x124 : ", encdec(assembly("beq zero, zero, 0x124")));
/*PC = __GetSlice_int(64, elf_entry(), 0);
try {
init_sys ();
loop ()
} catch {
Error_not_implemented(s) => print_string("Error: Not implemented: ", s),
Error_EBREAK() => print("EBREAK"),
Error_internal_error() => print("Error: internal error")
}*/
}
|
