diff options
| author | Robert Norton | 2016-01-26 16:30:06 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-01-26 16:30:33 +0000 |
| commit | ec2d51546b5f6194048773da144b497194817357 (patch) | |
| tree | 771a5d006fb22735c8c14f3ae7873f4cb53efa73 /mips/mips.sail | |
| parent | fc644ee4306af8fd64c942156b15ac1fa9100a48 (diff) | |
mips.sail: fix bugs in DSRL32 and DSRLV
Diffstat (limited to 'mips/mips.sail')
| -rw-r--r-- | mips/mips.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/mips.sail b/mips/mips.sail index 975ff82e..5b2dda70 100644 --- a/mips/mips.sail +++ b/mips/mips.sail @@ -614,7 +614,7 @@ function clause execute (DSRL (rt, rd, sa)) = union ast member regregreg DSRL32 function clause decode (0b000000 : 0b00000 : (regno) rt : (regno) rd : (bit[5]) sa : 0b111110) = - Some(DSRA32(rt, rd, sa)) + Some(DSRL32(rt, rd, sa)) function clause execute (DSRL32 (rt, rd, sa)) = { temp := rGPR(rt); @@ -631,7 +631,7 @@ function clause execute (DSRLV (rs, rt, rd)) = { temp := rGPR(rt); sa := (rGPR(rs)) [5..0]; - wGPR(rd) := ((bitone ^^ sa) : temp[63 .. sa]) + wGPR(rd) := ((bitzero ^^ sa) : temp[63 .. sa]) } (**************************************************************************************) |