From 3eff770448484493fa15ea90db643f86c124db6c Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Fri, 1 Mar 2024 19:36:12 -0500 Subject: [PATCH] Introduce rseq_load_cbne_load_add_store pseudocode Signed-off-by: Mathieu Desnoyers Change-Id: I2c5099af7958591521f6e934da128b54ca3535c3 --- include/rseq/pseudocode.h | 15 +++++++++++++++ 1 file changed, 15 insertions(+) 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) * -- 2.34.1