diff options
Diffstat (limited to 'mips/mips_epilogue.sail')
| -rw-r--r-- | mips/mips_epilogue.sail | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mips/mips_epilogue.sail b/mips/mips_epilogue.sail new file mode 100644 index 00000000..ed7d269e --- /dev/null +++ b/mips/mips_epilogue.sail @@ -0,0 +1,11 @@ + +union ast member unit RI +function clause decode _ = Some(RI) +function clause execute (RI) = + exit (SignalException (ResI)) + +end decode +end execute +end ast + +function option<ast> supported_instructions (instr) = Some(instr) |