From 1ac1b62298cfa1d6eea44f9d7a7f15f110b3d398 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 19 Jun 2023 20:48:55 +0100 Subject: [PATCH] --- openpower/sv/po9_encoding/discussion.mdwn | 24 +++++------------------ 1 file changed, 5 insertions(+), 19 deletions(-) diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn index bc01ab9d3..d5fab0856 100644 --- a/openpower/sv/po9_encoding/discussion.mdwn +++ b/openpower/sv/po9_encoding/discussion.mdwn @@ -386,24 +386,10 @@ test. Only EXT000-063 is not by a "process of elimination" (if ... return True) ``` # easy-elimination, first - if not PO9 return Fal - # eliminate SVP64:EXT000-031 - if Word[30:31] = 0b11 return False - # eliminate SSingle:EXT000-063 - if Word[6:29 ] != 0x000000 and - Word[30:31] = 0b01 return False - # eliminate EXT200-231 - if Word[30:31] = 0b10 and - Word[33:37] = 0b10001 return False - # eliminate SSingle:EXT900 - if Word[30:31] = 0b10 and - Word[6:29 ] != 0x000000 and - Word[33:37] = 0b10001 and - Word[62:63] = 0b00 return False - # eliminate SVP64:EXT900 - if Word[30:31] = 0b10 and - Word[33:37] = 0b10001 and - Word[62:63] = 0b01 return False - # all else needs further detailed decode + if not PO9 return False + # eliminate double-PO9 and PO9-PO1 + if Word[32:37] = 0b010001 return False + if Word[32:37] = 0b000001 return False + # all else requires detailed decode return True ``` -- 2.30.2