From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 24 Apr 2021 15:04:58 +0000 (+0100)
Subject: correct errors for sphinx doc build
X-Git-Tag: 0.0.3~111
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cea75ba6ceb0b01b3378cba988afdbb254e18909;p=openpower-isa.git

correct errors for sphinx doc build
---

diff --git a/index.rst b/index.rst
new file mode 100644
index 00000000..efe78bf2
--- /dev/null
+++ b/index.rst
@@ -0,0 +1,23 @@
+Welcome to Libre-SOC's documentation!
+=====================================
+
+.. automodule:: openpower.simulator.test_sim.DecoderTestCases
+    :members:
+
+.. toctree:: gen/modules
+   :maxdepth: 4
+   :caption: OpenPOWER ISA Contents:
+
+.. toctree:: 
+   :maxdepth: 4
+   :caption: OpenPOWER ISA Contents:
+   :glob: 
+
+
+
+Indices and tables
+==================
+
+* :ref:`genindex`
+* :ref:`modindex`
+* :ref:`search`
diff --git a/src/openpower/decoder/formal/proof_decoder.py b/src/openpower/decoder/formal/proof_decoder.py
index ce19a426..ae53efb5 100644
--- a/src/openpower/decoder/formal/proof_decoder.py
+++ b/src/openpower/decoder/formal/proof_decoder.py
@@ -6,7 +6,7 @@ from openpower.decoder.power_decoder import create_pdecode, PowerOp
 from openpower.decoder.power_enums import (In1Sel, In2Sel, In3Sel,
                                      OutSel, RC, Form, Function,
                                      LdstLen, CryIn,
-                                     MicrOp, SPR, get_csv)
+                                     MicrOp, get_csv)
 from openpower.decoder.power_decoder2 import (PowerDecode2,
                                         Decode2ToExecute1Type)
 import unittest
diff --git a/src/openpower/decoder/formal/proof_decoder2.py b/src/openpower/decoder/formal/proof_decoder2.py
index d20c28f1..ba7a175e 100644
--- a/src/openpower/decoder/formal/proof_decoder2.py
+++ b/src/openpower/decoder/formal/proof_decoder2.py
@@ -5,7 +5,7 @@ from nmutil.formaltest import FHDLTestCase
 from openpower.decoder.power_decoder import create_pdecode, PowerOp
 from openpower.decoder.power_enums import (In1Sel, In2Sel, In3Sel,
                                      OutSel, RC, Form,
-                                     MicrOp, SPR)
+                                     MicrOp, SPRfull as SPR)
 from openpower.decoder.power_decoder2 import (PowerDecode2,
                                         Decode2ToExecute1Type)
 import unittest
diff --git a/src/openpower/decoder/test/test_decoder_gas.py b/src/openpower/decoder/test/test_decoder_gas.py
index fdbf8a31..a8951fa2 100644
--- a/src/openpower/decoder/test/test_decoder_gas.py
+++ b/src/openpower/decoder/test/test_decoder_gas.py
@@ -10,7 +10,7 @@ from openpower.decoder.power_decoder import (create_pdecode)
 from openpower.decoder.power_enums import (Function, MicrOp,
                                      In1Sel, In2Sel, In3Sel,
                                      OutSel, RC, LdstLen, CryIn,
-                                     single_bit_flags, Form, SPR,
+                                     single_bit_flags, Form, SPRfull as SPR,
                                      get_signal_name, get_csv)
 from openpower.decoder.power_decoder2 import (PowerDecode2)
 from openpower.simulator.gas import get_assembled_instruction