diff options
| author | Robert Norton | 2017-10-31 17:02:16 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-10-31 17:07:54 +0000 |
| commit | 701d572adda905e6b2098a73c9af56f98212b4a3 (patch) | |
| tree | 987605cacf46b1b832a5c15a2a09961c7722ab29 /cheri | |
| parent | a35692d69681683c2bffe7c824ad230b88679ed9 (diff) | |
work around interpreter crash by adding cast. Likely this kind of thing will be resolved by merge of new_tc branch.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index fa36decb..a84c118f 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -211,7 +211,7 @@ function bool pcc_access_system_regs () = (pcc.access_system_regs) function bool register_inaccessible((regno) r) = - if ((r == 26 (* IDC *)) & inCCallDelay) then true else + if ((r == 26 (* IDC *)) & ((bool)inCCallDelay)) then true else (* XXX interpreter crash without cast *) let is_sys_reg = switch(r) { case 0b11011 -> true case 0b11100 -> true |