diff options
| author | Jon French <jf451@cam.ac.uk> | 2019-03-14 15:30:17 +0000 |
|---|---|---|
| committer | Jon French <jf451@cam.ac.uk> | 2019-03-14 15:30:17 +0000 |
| commit | 734b2f693b3ded3d70c6552d52f9802c46d667a2 (patch) | |
| tree | 3b7c030ff6a6502dacff43e834226d68f9025393 /model/main.sail | |
| parent | ba6ed9f40bdb5f6c3fe8c232fdd4fc1b3b634495 (diff) | |
| parent | 925b2c8a0e3b0adc10d9de8dd6620450561e6c52 (diff) | |
| download | sail-riscv-734b2f693b3ded3d70c6552d52f9802c46d667a2.zip sail-riscv-734b2f693b3ded3d70c6552d52f9802c46d667a2.tar.gz sail-riscv-734b2f693b3ded3d70c6552d52f9802c46d667a2.tar.bz2 | |
Merge branch 'master' into rmem_interpreter
Diffstat (limited to 'model/main.sail')
| -rw-r--r-- | model/main.sail | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/model/main.sail b/model/main.sail index a72eb3f..c349b3f 100644 --- a/model/main.sail +++ b/model/main.sail @@ -3,11 +3,10 @@ val main : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wre function main () = { // PC = __GetSlice_int(64, elf_entry(), 0); - PC = zero_extend(0x1000, 64); + PC = sail_zero_extend(0x1000, sizeof(xlen)); print_bits("PC = ", PC); try { - init_platform(); - init_sys(); + init_model(); loop() } catch { Error_not_implemented(s) => print_string("Error: Not implemented: ", s), |