diff options
Diffstat (limited to 'aarch64_small/aarch64_regfp.sail')
| -rw-r--r-- | aarch64_small/aarch64_regfp.sail | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/aarch64_small/aarch64_regfp.sail b/aarch64_small/aarch64_regfp.sail index 884a9e81..d4a28f67 100644 --- a/aarch64_small/aarch64_regfp.sail +++ b/aarch64_small/aarch64_regfp.sail @@ -201,14 +201,17 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst (Hint(op)) => match op { SystemHintOp_YIELD => (), - SystemHintOp_WFE => { + SystemHintOp_WFE => + /* FIXME: implement events? + { if EventRegistered() then () /* ClearEventRegister */ else { /* the execute code for this case always fails because of WaitForEvent, declared as extern but not defined */ - not_implemented("Hint(SystemHintOp_WFE);") + not_implemented("Hint(SystemHintOp_WFE);") } - }, + }, */ + (), SystemHintOp_WFI => { /* the execute code for this case always fails because of InterruptPending, declared as extern but not defined */ |
