diff options
| -rw-r--r-- | aarch64/elfmain.sail | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/aarch64/elfmain.sail b/aarch64/elfmain.sail index bccbbda5..44b6c14a 100644 --- a/aarch64/elfmain.sail +++ b/aarch64/elfmain.sail @@ -107,7 +107,12 @@ function Step_CPU() = { } catch { // note: if supporting AArch32 as well, call _UndefinedFault() instead Error_Undefined() => try { AArch64_UndefinedFault() } catch { _ => print("Exception during Undefined recovery\n") }, - Error_See(_) => try { AArch64_UndefinedFault() } catch { _ => print("Exception during SEE recovery\n") }, + Error_See(_) => { + print(concat_str("BROKEN: SEE support ", + concat_str(HexStr(UInt(__currentInstr)), + "\n"))); + exit() + }, Error_ReservedEncoding(_) => try { AArch64_UndefinedFault() } catch { _ => print("Exception during ReservedEncoding recovery\n") }, Error_ExceptionTaken() => { print(concat_str("ExceptionTaken during Decode/Execute from PC=", |