add dummy fixedsync.mdwn pseudocode for lwarx/stbcx. LR/SC operations

diff --git a/openpower/isa.mdwn b/openpower/isa.mdwn
index 6e304b01fe9edde0faad0a5f6ca4cbb1869a015f..1fbbd632aceea25ab0fa5c7473454e45718cd719 100644 (file)
--- 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 (file)
index 0000000..5667c07
--- /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
+