From d488afc85a71824bc346642ba0f206f37529220d Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 6 Sep 2022 12:01:29 +0100
Subject: [PATCH] add dummy fixedsync.mdwn pseudocode for lwarx/stbcx. LR/SC
 operations

---
 openpower/isa.mdwn           |   1 +
 openpower/isa/fixedsync.mdwn | 139 +++++++++++++++++++++++++++++++++++
 2 files changed, 140 insertions(+)
 create mode 100644 openpower/isa/fixedsync.mdwn

diff --git a/openpower/isa.mdwn b/openpower/isa.mdwn
index 6e304b01..1fbbd632 100644
--- a/openpower/isa.mdwn
+++ b/openpower/isa.mdwn
@@ -17,6 +17,7 @@ the pseudo-code for all opcodes in the POWER v3.0B Public Spec
 * [[isa/fixedshift]]
 * [[isa/fixedstore]]
 * [[isa/fixedtrap]]
+* [[isa/fixedsync]]
 * [[isa/sprset]]
 * [[isa/stringldst]]
 * [[isa/system]]
diff --git a/openpower/isa/fixedsync.mdwn b/openpower/isa/fixedsync.mdwn
new file mode 100644
index 00000000..5667c07f
--- /dev/null
+++ b/openpower/isa/fixedsync.mdwn
@@ -0,0 +1,139 @@
+<!-- X Instructions here described in PowerISA Version 3.0 B Book 1 -->
+
+<!-- Section 4.6 Fixed-point Synchronisation instructions. Pages 865 - 877 -->
+
+# Instruction Synchronise
+
+XL-Form
+
+* isync
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    None
+
+# Load Byte And Reserve Indexed
+
+X-Form
+
+* lbarx RT,RA,RB,EH
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    None
+
+# Load Halfword And Reserve Indexed
+
+X-Form
+
+* lharx RT,RA,RB,EH
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    None
+
+# Load Word And Reserve Indexed
+
+X-Form
+
+* lwarx RT,RA,RB,EH
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    None
+
+# Load Doubleword And Reserve Indexed
+
+X-Form
+
+* ldarx RT,RA,RB,EH
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    None
+
+# Store Byte Conditional Indexed
+
+X-Form
+
+* stbcx. RS,RA,RB
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    CR0
+
+# Store Halfword Conditional Indexed
+
+X-Form
+
+* sthcx. RS,RA,RB
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    CR0
+
+# Store word Conditional Indexed
+
+X-Form
+
+* stwcx. RS,RA,RB
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    CR0
+
+# Store Doubleword Conditional Indexed
+
+X-Form
+
+* stdcx. RS,RA,RB
+
+Pseudo-code:
+
+    # TODO
+    undefined(0)
+
+Special Registers Altered:
+
+    CR0
+
-- 
2.30.2