diff options
| author | Robert Norton | 2016-01-26 15:37:29 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-26 15:37:29 +0000 |
| commit | 6c2d0a94ce479444f39b6a163749a6955067c1c9 (patch) | |
| tree | bf7dd770d1048b581a52887af30959284f6234c5 | |
| parent | fda33dc9cb1a9800ef8e65672b53156f7752db83 (diff) | |
mips: fix encoding of DSRAV.
| -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)) = { |