From e3b124f4eb25b87d3c7ebb540795a59cea5a8394 Mon Sep 17 00:00:00 2001
From: Donald Sebastian Leung
Date: Tue, 15 Sep 2020 16:35:05 +0800
Subject: [PATCH] Fix minor bug in SRL instruction specification
---
README.md | 2 +-
rvfi/insns/insn_srl.py | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index f573bc7..24fa2f8 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ This should run in the order of a few hours.
- [ ] Instruction Checks (mostly passing)
- [x] JAL failing at line 202
- [ ] LB, LH, LW, LBU, LHU, SB, SH, SW: Parser error - invalid slice
- - [ ] SRL failing at line 201
+ - [x] SRL failing at line 201
- [x] PC forward checks
- [x] PC backward checks
- [x] Register checks
diff --git a/rvfi/insns/insn_srl.py b/rvfi/insns/insn_srl.py
index 1f95471..2af98c8 100644
--- a/rvfi/insns/insn_srl.py
+++ b/rvfi/insns/insn_srl.py
@@ -6,7 +6,7 @@ SRL instruction
class InsnSrl(InsnRV32IRType):
def __init__(self, params):
- super().__init__(params, 0b0000000, 0b100, 0b0110011)
+ super().__init__(params, 0b0000000, 0b101, 0b0110011)
def elaborate(self, platform):
m = super().elaborate(platform)