From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 17 Jul 2020 17:46:06 +0000 (+0100)
Subject: whitespace
X-Git-Tag: semi_working_ecp5~703
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c44024e4ebeb1540986291bb19740fc41b3ae603;p=soc.git

whitespace
---

diff --git a/src/soc/fu/spr/formal/proof_main_stage.py b/src/soc/fu/spr/formal/proof_main_stage.py
index cb98bf65..11ff8d8e 100644
--- a/src/soc/fu/spr/formal/proof_main_stage.py
+++ b/src/soc/fu/spr/formal/proof_main_stage.py
@@ -82,6 +82,8 @@ class Driver(Elaboratable):
         comb += spr.eq(decode_spr_num(xfx.SPR))
 
         with m.Switch(dut.i.ctx.op.insn_type):
+
+            # OP_MTSPR
             with m.Case(MicrOp.OP_MTSPR):
                 with m.Switch(spr):
                     with m.Case(SPR.CTR, SPR.LR, SPR.TAR, SPR.SRR0, SPR.SRR1):
@@ -112,6 +114,8 @@ class Driver(Elaboratable):
                             Assert(~dut.o.fast1.ok),
                         ]
                     # slow SPRs TODO
+
+            # OP_MFSPR
             with m.Case(MicrOp.OP_MFSPR):
                 comb += Assert(o.ok)
                 with m.Switch(spr):