From 9e942d8a1f73595f8eff2eb2ede6d46097555d25 Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 22 Mar 2023 11:10:48 +0000 Subject: [PATCH] --- openpower/sv/rfc/ls007.mdwn | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn index 8df24e7a8..43a5cde60 100644 --- a/openpower/sv/rfc/ls007.mdwn +++ b/openpower/sv/rfc/ls007.mdwn @@ -192,6 +192,8 @@ For each integer value i, 0 to 3, do the following. Functions," on page 968 for the equivalent function evaluated by this instruction for any given value of TLI. +If `msk` is zero an Illegal Instruction trap is raised. + *Programmer's Note: this instruction is a "masked" overwrite on CR Field BF. For each bit set in msk a Write is performed but for each bit clear in msk the corresponding bit of BF is preserved. Overall this makes crbinlog a conditionally Read-Modify-Write instruction on CR Field BF* Special registers altered: @@ -300,6 +302,8 @@ For each integer value i, 0 to 3, do the following. Otherwise, if bit i of msk is a zero then bit i of CR Field BF is unchanged. +If `msk` is zero an Illegal Instruction trap is raised. + Special registers altered: ``` @@ -326,8 +330,10 @@ Read-Modify-Write instruction on CR Field BF* Add the following section to Book I 1.6.1 ``` - |0 |6 |9 |12 |15 |18 |21 |29 |31 | - | PO | BF | BFA | BFB | BFC | msk | TLI | XO | msk | + + |0 |6 |9 |11 |14 |16 |19 |26 |31 | + | PO | BF | msk | BFA | msk | BFB | TLI | XO | TLI | + | PO | BF | msk | BFA | msk | BFB | // | XO | / | ``` # TLI-FORM -- 2.30.2