diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-25 20:15:07 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-25 20:15:22 -0800 |
| commit | 09c841923f26c398dd51a876b4499a3248793f7a (patch) | |
| tree | 82a52bbf75eae0fe197ea02d64248557a9b3e052 | |
| parent | fc2e8077d27d6f3964c2775d8a47a9adad3b3030 (diff) | |
| download | sail-riscv-09c841923f26c398dd51a876b4499a3248793f7a.zip sail-riscv-09c841923f26c398dd51a876b4499a3248793f7a.tar.gz sail-riscv-09c841923f26c398dd51a876b4499a3248793f7a.tar.bz2 | |
Remove uninformative comment.
| -rw-r--r-- | model/riscv_sys.sail | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/model/riscv_sys.sail b/model/riscv_sys.sail index 591f496..1baeb93 100644 --- a/model/riscv_sys.sail +++ b/model/riscv_sys.sail @@ -898,7 +898,8 @@ $endif function handle_trap(del_priv : Privilege, intr : bool, c : exc_code, pc : xlenbits, info : option(xlenbits)) -> xlenbits = { rvfi_trap(); - print_platform("handling " ^ (if intr then "int#" else "exc#") ^ BitStr(c) ^ " at priv " ^ del_priv ^ " with tval " ^ BitStr(tval(info))); + print_platform("handling " ^ (if intr then "int#" else "exc#") + ^ BitStr(c) ^ " at priv " ^ del_priv ^ " with tval " ^ BitStr(tval(info))); match (del_priv) { Machine => { @@ -913,7 +914,7 @@ function handle_trap(del_priv : Privilege, intr : bool, c : exc_code, pc : xlenb cur_privilege = del_priv; - print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); // Spike compatible log + print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); cancel_reservation(); @@ -938,7 +939,7 @@ function handle_trap(del_priv : Privilege, intr : bool, c : exc_code, pc : xlenb cur_privilege = del_priv; - print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); // Spike compatible log + print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); cancel_reservation(); @@ -968,7 +969,7 @@ function handle_exception(cur_priv : Privilege, ctl : ctl_result, cur_privilege = privLevel_of_bits(mstatus.MPP()); mstatus->MPP() = privLevel_to_bits(if haveUsrMode() then User else Machine); - print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); // Spike compatible log + print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); print_platform("ret-ing from " ^ prev_priv ^ " to " ^ cur_privilege); cancel_reservation(); @@ -982,7 +983,7 @@ function handle_exception(cur_priv : Privilege, ctl : ctl_result, /* S-mode implies that U-mode is supported (issue #331 on riscv-isa-manual). */ mstatus->SPP() = false; - print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); // Spike compatible log + print_reg("CSR mstatus <- " ^ BitStr(mstatus.bits()) ^ " (input: " ^ BitStr(mstatus.bits()) ^ ")"); print_platform("ret-ing from " ^ prev_priv ^ " to " ^ cur_privilege); cancel_reservation(); |