diff options
Diffstat (limited to 'cheri/sail_latex/sailfnExceptionCode.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnExceptionCode.tex | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/cheri/sail_latex/sailfnExceptionCode.tex b/cheri/sail_latex/sailfnExceptionCode.tex deleted file mode 100644 index b34ab2ab..00000000 --- a/cheri/sail_latex/sailfnExceptionCode.tex +++ /dev/null @@ -1,23 +0,0 @@ -function #\hyperref[zExceptionCode]{ExceptionCode}# (ex) : Exception -> #\hyperref[zbits]{bits}#(5)= - let x : #\hyperref[zbits]{bits}#(8) = match ex - { - Interrupt => 0x00, /* Interrupt */ - TLBMod => 0x01, /* TLB modification exception */ - TLBL => 0x02, /* TLB #\hyperref[zexception]{exception}# (load or fetch) */ - TLBS => 0x03, /* TLB #\hyperref[zexception]{exception}# (store) */ - AdEL => 0x04, /* Address #\hyperref[zerror]{error}# (load or fetch) */ - AdES => 0x05, /* Address #\hyperref[zerror]{error}# (store) */ - Sys => 0x08, /* Syscall */ - Bp => 0x09, /* Breakpoint */ - ResI => 0x0a, /* Reserved instruction */ - CpU => 0x0b, /* Coprocessor Unusable */ - Ov => 0x0c, /* Arithmetic overflow */ - Tr => 0x0d, /* Trap */ - C2E => 0x12, /* C2E coprocessor 2 exception */ - C2Trap => 0x12, /* C2Trap maps to same exception code, different vector */ - XTLBRefillL => 0x02, - XTLBRefillS => 0x03, - XTLBInvL => 0x02, - XTLBInvS => 0x03, - MCheck => 0x18 - } in x[4..0] |