mips/mips_epilogue.sail


1
2
3
4
5
6
7
8
9
10
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)