From c44024e4ebeb1540986291bb19740fc41b3ae603 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 17 Jul 2020 18:46:06 +0100 Subject: [PATCH] whitespace --- src/soc/fu/spr/formal/proof_main_stage.py | 4 ++++ 1 file changed, 4 insertions(+) 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): -- 2.30.2