Introduce rseq_load_cbne_load_add_store pseudocode

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Change-Id: I2c5099af7958591521f6e934da128b54ca3535c3

diff --git a/include/rseq/pseudocode.h b/include/rseq/pseudocode.h
index c6fb9494475ee06d425adcf7bc1aa47678bd38cf..8ad1d845f17fbb386373e63d9d16c31037522898 100644 (file)
--- a/include/rseq/pseudocode.h
+++ b/include/rseq/pseudocode.h
@@ -59,6 +59,21 @@
  *   abort: -1
  */
 
+/*
+ * rseq_load_cbne_load_add_store(v, expect, v2, count)
+ *
+ * Pseudo-code:
+ *   load(r1, [v])
+ *   cbne(r1, [expect], [ne])
+ *   load(r2, [v2])
+ *   add(r2, [count])
+ *   store(r2, [v])
+ *
+ * Return values:
+ *   success: 0
+ *   abort: -1
+ */
+
 /*
  * rseq_load_cbeq_store_add_load_store(v, expectnot, voffp, load)
  *