diff options
Diffstat (limited to 'mips/mips_regfp.sail')
| -rw-r--r-- | mips/mips_regfp.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips/mips_regfp.sail b/mips/mips_regfp.sail index 390aa82b..b1a86b56 100644 --- a/mips/mips_regfp.sail +++ b/mips/mips_regfp.sail @@ -326,6 +326,7 @@ function (regfps,regfps,regfps,niafps,diafp,instruction_kind) initial_analysis ( let (bit[64]) offset = (EXTS(imm : 0b00) + 4) in Dia := DIAFP_concrete (PC + offset); } + case (SYSCALL_THREAD_START) -> () (* case (SYSCALL) = |