power_insn: support saturation mode

diff --git a/src/openpower/decoder/power_insn.py b/src/openpower/decoder/power_insn.py
index eb04abad09e9ac8f16fe7146b64ac0a57ec424ba..769847f0c6f9b548be1dd68161ddc988407b1c35 100644 (file)
--- a/src/openpower/decoder/power_insn.py
+++ b/src/openpower/decoder/power_insn.py
@@ -1348,6 +1348,10 @@ class NormalRM(BaseRM):
                 yield f"dz"
             if self.sz:
                 yield f"sz"
+            if self.sat:
+                yield "sats"
+            else:
+                yield "satu"
             yield from super().specifiers
 
     class satx(BaseRM):
@@ -1363,6 +1367,10 @@ class NormalRM(BaseRM):
                 yield f"dz"
             if self.sz:
                 yield f"sz"
+            if self.sat:
+                yield "sats"
+            else:
+                yield "satu"
             yield from super().specifiers
 
     class satpu(BaseRM):
@@ -1378,6 +1386,10 @@ class NormalRM(BaseRM):
                 yield f"dz"
             if self.sz:
                 yield f"sz"
+            if self.sat:
+                yield "sats"
+            else:
+                yield "satu"
             yield from super().specifiers
 
     class prrc1(BaseRM):
@@ -1469,6 +1481,10 @@ class LDSTImmRM(BaseRM):
                 yield f"dz"
             if self.sz:
                 yield f"sz"
+            if self.sat:
+                yield "sats"
+            else:
+                yield "satu"
             yield from super().specifiers
 
     class prrc1(BaseRM):
@@ -1531,6 +1547,10 @@ class LDSTIdxRM(BaseRM):
                 yield f"dz"
             if self.sz:
                 yield f"sz"
+            if self.sat:
+                yield "sats"
+            else:
+                yield "satu"
             yield from super().specifiers
 
     class prrc1(BaseRM):