diff options
| -rw-r--r-- | mips/mips.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 5a9227ac..cdef9cbc 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -590,7 +590,7 @@ function clause execute (DSRA32 (rt, rd, sa)) = (* DSRAV reg, reg, reg *) union ast member regregreg DSRAV -function clause decode (0b000000 : (regno) rs : (regno) rt : (regno) rd : 0b00000 : 0b101111) = +function clause decode (0b000000 : (regno) rs : (regno) rt : (regno) rd : 0b00000 : 0b010111) = Some(DSRAV(rs, rt, rd)) function clause execute (DSRAV (rs, rt, rd)) = { |