From af645794cab13e73fa5e1f0cada344342584a00d Mon Sep 17 00:00:00 2001 From: Andrey Miroshnikov Date: Wed, 10 Jan 2024 09:59:36 +0000 Subject: [PATCH] bug 1048, ls011: Remove duplicate Fixed-Point Store Post-Update. --- openpower/sv/rfc/ls011.mdwn | 189 +----------------------------------- 1 file changed, 1 insertion(+), 188 deletions(-) diff --git a/openpower/sv/rfc/ls011.mdwn b/openpower/sv/rfc/ls011.mdwn index 425d723f5..fc13abc54 100644 --- a/openpower/sv/rfc/ls011.mdwn +++ b/openpower/sv/rfc/ls011.mdwn @@ -205,192 +205,7 @@ Add the following additional Section to Fixed-Point Load: Book I 3.3.2.1 Add the following as a new section in Fixed-Point Store, Book I -## Store Byte with Update - -D-Form - -``` - |0 |6 |9 |10 |11 |16 |31 | - | PO | RT | RA| D | -``` - -* stbup RS,D(RA) - -Pseudo-code: - -``` - EA <- (RA) + EXTS(D) - ea <- (RA) - MEM(ea, 1) <- (RS)[XLEN-8:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Byte with Update Indexed - -X-Form - -``` - |0 |6 |7|8|9 |10 |11|12|13 |15|16|17 |20|21 |31 | - | PO | RS | RA | RB | XO | / | -``` - -* stbupx RS,RA,RB - -Pseudo-code: - -``` - EA <- (RA) + (RB) - ea <- (RA) - MEM(ea, 1) <- (RS)[XLEN-8:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Halfword with Update - -D-Form - -``` - |0 |6 |9 |10 |11 |16 |31 | - | PO | RT | RA| D | -``` - -* sthup RS,D(RA) - -Pseudo-code: - -``` - EA <- (RA) + EXTS(D) - ea <- (RA) - MEM(ea, 2) <- (RS)[XLEN-16:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Halfword with Update Indexed - -X-Form - -``` - |0 |6 |7|8|9 |10 |11|12|13 |15|16|17 |20|21 |31 | - | PO | RS | RA | RB | XO | / | -``` - -* sthupx RS,RA,RB - -Pseudo-code: - -``` - EA <- (RA) + (RB) - ea <- (RA) - MEM(ea, 2) <- (RS)[XLEN-16:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Word with Update - -D-Form - -``` - |0 |6 |9 |10 |11 |16 |31 | - | PO | RT | RA| D | -``` - -* stwup RS,D(RA) - -Pseudo-code: - -``` - EA <- (RA) + EXTS(D) - ea <- (RA) - MEM(ea, 4) <- (RS)[XLEN-32:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Word with Update Indexed - -X-Form - -``` - |0 |6 |7|8|9 |10 |11|12|13 |15|16|17 |20|21 |31 | - | PO | RS | RA | RB | XO | / | -``` - -* stwupx RS,RA,RB - -Pseudo-code: - -``` - EA <- (RA) + (RB) - ea <- (RA) - MEM(ea, 4) <- (RS)[XLEN-32:XLEN-1] - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Doubleword with Update - -DS-Form - -* stdup RS,DS(RA) - -Pseudo-code: - -``` - EA <- (RA) + EXTS(DS || 0b00) - ea <- (RA) - MEM(ea, 8) <- (RS) - RA <- EA -``` - -Special Registers Altered: - - None - -## Store Doubleword with Update Indexed - -X-Form - -``` - |0 |6 |7|8|9 |10 |11|12|13 |15|16|17 |20|21 |31 | - | PO | RS | RA | RB | XO | / | -``` - -* stdupx RS,RA,RB - -Pseudo-code: - -``` - EA <- (RA) + (RB) - ea <- (RA) - MEM(ea, 8) <- (RS) - RA <- EA -``` - -Special Registers Altered: - - None +[[!inline pages="openpower/isa/pifixedstore" raw=yes ]] \newpage{} [[!inline pages="openpower/isa/fixedload" raw=yes ]] @@ -400,7 +215,5 @@ Special Registers Altered: [[!inline pages="openpower/isa/fpload" raw=yes ]] \newpage{} [[!inline pages="openpower/isa/fpstore" raw=yes ]] -\newpage{} -[[!inline pages="openpower/isa/pifixedstore" raw=yes ]] [[!tag opf_rfc]] -- 2.30.2