From f3611e74fe771b38ab0d9d45dd101a83265f4c73 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 17 Jul 2020 19:58:48 +0100 Subject: [PATCH] comments --- src/soc/fu/spr/formal/proof_main_stage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/fu/spr/formal/proof_main_stage.py b/src/soc/fu/spr/formal/proof_main_stage.py index 11ff8d8e..2c712115 100644 --- a/src/soc/fu/spr/formal/proof_main_stage.py +++ b/src/soc/fu/spr/formal/proof_main_stage.py @@ -23,7 +23,7 @@ from soc.decoder.power_enums import MicrOp, SPR, XER_bits from soc.decoder.power_fields import DecodeFields from soc.decoder.power_fieldsn import SignalBitRange - +# use POWER numbering. sigh. def xer_bit(name): return 63-XER_bits[name] -- 2.30.2