From 2d9bc0ea6bbbd81ab3f60c539ebb38477b04c16d Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 13 Oct 2022 17:45:42 +0100
Subject: [PATCH]

---
 openpower/sv/ldst.mdwn | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/openpower/sv/ldst.mdwn b/openpower/sv/ldst.mdwn
index 8562d32c2..49682f8d8 100644
--- a/openpower/sv/ldst.mdwn
+++ b/openpower/sv/ldst.mdwn
@@ -242,7 +242,11 @@ with the pseudocode below, the immediate can be used to give unit stride or elem
         if (RA.isvec) while (!(ps & 1<<i)) i++;
         if (RAupdate.isvec) while (!(ps & 1<<u)) u++;
         if (RT.isvec) while (!(pd & 1<<j)) j++;
-        if svctx.ldstmode == elementstride:
+        if postinc:
+            offs = 0; # added afterwards
+            if RA.isvec: srcbase = ireg[RA+i]
+            else         srcbase = ireg[RA]
+        elif svctx.ldstmode == elementstride:
           # element stride mode
           srcbase = ireg[RA]
           offs = i * immed              # j*immed for a ST
@@ -262,10 +266,12 @@ with the pseudocode below, the immediate can be used to give unit stride or elem
 
         # compute EA
         EA = srcbase + offs
-        # update RA?
-        if RAupdate: ireg[RAupdate+u] = EA;
         # load from memory
         ireg[RT+j] <= MEM[EA];
+        # check post-increment of EA
+        if postinc: EA = srcbase + immed;
+        # update RA?
+        if RAupdate: ireg[RAupdate+u] = EA;
         if (!RT.isvec)
             break # destination scalar, end now
         if (RA.isvec) i++;
-- 
2.30.2