From: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Date: Sat, 2 Mar 2024 00:36:12 +0000 (-0500)
Subject: Introduce rseq_load_cbne_load_add_store pseudocode
X-Git-Url: http://drtracing.org/?a=commitdiff_plain;h=3eff770448484493fa15ea90db643f86c124db6c;p=librseq.git

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 c6fb949..8ad1d84 100644
--- 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)
  *