File: postgres_compare.c

package info (click to toggle)
chibicc 1.0.23.2-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,832 kB
  • sloc: ansic: 62,911; sh: 275; makefile: 92
file content (43 lines) | stat: -rw-r--r-- 949 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

#include <stdbool.h>
#include <stdint.h>
#include "test.h"
typedef uint32_t uint32;
typedef struct {
    volatile uint32_t value;
} pg_atomic_uint32;

static inline bool
pg_atomic_compare_exchange_u32_impl(volatile pg_atomic_uint32 *ptr,
									uint32 *expected, uint32 newval)
{
	char	ret;

	/*
	 * Perform cmpxchg and use the zero flag which it implicitly sets when
	 * equal to measure the success.
	 */
	__asm__ __volatile__(
		"	lock				\n"
		"	cmpxchgl	%4,%5	\n"
		"   setz		%2		\n"
:		"=a" (*expected), "=m"(ptr->value), "=q" (ret)
:		"a" (*expected), "r" (newval), "m"(ptr->value)
:		"memory", "cc");
	ASSERT(1, ret);
	return (bool) ret;
}

int main() {
    pg_atomic_uint32 atomic_var = {0};
    uint32_t expected = 0;
    uint32_t newval = 1;

    if (pg_atomic_compare_exchange_u32_impl(&atomic_var, &expected, newval)) {
        printf("Exchange succeeded\n");
    } else {
        printf("Exchange failed\n");
    }

    return 0;
}