From: lkcl Date: Thu, 7 Sep 2023 09:18:40 +0000 (+0100) Subject: (no commit message) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=521e792fbd50e523df29be39be706ee6a4c4ac74;p=libreriscv.git --- diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn index 512563a75..ccf780d34 100644 --- a/openpower/sv/po9_encoding/discussion.mdwn +++ b/openpower/sv/po9_encoding/discussion.mdwn @@ -339,7 +339,7 @@ test. Only EXT000-063 is not by a "process of elimination" (if ... return True) return False # all else is SVP64/SSingle ``` -**EXT232-263:** +**EXT200-263:** ``` if not PO9 return False # eliminate EXT0xx