diff options
Diffstat (limited to 'mips/mips_insts.sail')
| -rw-r--r-- | mips/mips_insts.sail | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail index 60ef8f2f..8b9ccd76 100644 --- a/mips/mips_insts.sail +++ b/mips/mips_insts.sail @@ -1014,6 +1014,14 @@ function clause decode (0b000000 : 0xfffff : 0b001100) = Some(SYSCALL_THREAD_START) function clause execute (SYSCALL_THREAD_START) = () + +(* fake stop fetching instruction for ppcmem, execute doesn't do anything, + decode never produces it *) + +union ast member unit ImplementationDefinedStopFetching +function clause execute (ImplementationDefinedStopFetching) = () + + union ast member unit SYSCALL function clause decode (0b000000 : (bit[20]) code : 0b001100) = Some(SYSCALL) (* code is ignored *) |