From c2017840b7ceed683572d9de8be9c4230c9eb5de Mon Sep 17 00:00:00 2001 From: lkcl Date: Fri, 9 Jun 2023 02:25:26 +0100 Subject: [PATCH] --- openpower/sv/po9_encoding/discussion.mdwn | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/openpower/sv/po9_encoding/discussion.mdwn b/openpower/sv/po9_encoding/discussion.mdwn index c7aa16b49..d85bdebc0 100644 --- a/openpower/sv/po9_encoding/discussion.mdwn +++ b/openpower/sv/po9_encoding/discussion.mdwn @@ -132,6 +132,7 @@ EXT200-231: if not PO9 return False if Word[30:31] == 0b00 return False if Word[33:37] != 0b10001 return False + # if Word[33:37] != XXXXX return False # 50-bit return True ``` @@ -146,3 +147,16 @@ EXT900: return True ``` +EXT000-063: + +``` + if PO1 return False # or other reserved + if not PO9 return False + if Word[30:31] = 0b00 return False + if Word[31] = 0b0 return False + if Word[30:31] = 0b01 and + Word[6:29 ] = 0x000000 return False + return True +``` + + -- 2.30.2