blob: c34d4ca4af56eb34e5d9b90aa2cabe1d4c844bac [file] [log] [blame]
Adrian Hunterf6d31362014-07-14 13:02:53 +03001#include <stdint.h>
2
3volatile uint64_t x;
4
5int main(int argc, char *argv[])
6{
7 uint64_t old, new = argc;
8
9 argv = argv;
10 do {
11 old = __sync_val_compare_and_swap(&x, 0, 0);
12 } while (!__sync_bool_compare_and_swap(&x, old, new));
13 return old == new;
14}