summaryrefslogtreecommitdiff
path: root/aarch64_small/aarch64_regfp.sail
diff options
context:
space:
mode:
Diffstat (limited to 'aarch64_small/aarch64_regfp.sail')
-rw-r--r--aarch64_small/aarch64_regfp.sail9
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 */