From 6e987f94ac3fcf76ffc7d74e257d512907458483 Mon Sep 17 00:00:00 2001 From: lkcl Date: Mon, 18 Apr 2022 22:34:56 +0100 Subject: [PATCH] --- openpower/sv/bitmanip/appendix.mdwn | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/openpower/sv/bitmanip/appendix.mdwn b/openpower/sv/bitmanip/appendix.mdwn index 9f25e0dbe..ffd7bda50 100644 --- a/openpower/sv/bitmanip/appendix.mdwn +++ b/openpower/sv/bitmanip/appendix.mdwn @@ -188,7 +188,10 @@ As a result, a big-integer subtract and multiply may be carried out in only 3 instructions, one of which is setting a scalar integer to zero. -## EXT004 Opcode map +An Rc=1 variant tests not against RT but RA, which allows detection +of a fixup in Knuth Algorithm D: the condition where RA is not zero. + +# EXT004 Opcode map See Power ISA v3.1, Book III, Appendix D, Table 13 (sheet 7 of 8), p1357. Proposed is the addition of `msubxd` (**DRAFT, NOT APPROVED**) which is -- 2.30.2