diff options
Diffstat (limited to 'aarch64_small/aarch64_regfp.sail')
| -rw-r--r-- | aarch64_small/aarch64_regfp.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/aarch64_small/aarch64_regfp.sail b/aarch64_small/aarch64_regfp.sail index 4d2051ba..55f4a16b 100644 --- a/aarch64_small/aarch64_regfp.sail +++ b/aarch64_small/aarch64_regfp.sail @@ -599,7 +599,8 @@ function initial_analysis (instr:ast) -> (regfps,regfps,regfps,niafps,diafp,inst iR = appendL(xFP(n),appendL(xFP(m),iR)); if setflags then oR = appendL(NZCVfp,oR); oR = appendL(xFP(d),oR); - } + }, + Unallocated() => exit() }; (iR,oR,aR,Nias,Dia,ik) } |