|
// SPDX-License-Identifier: GPL-2.0
|
|
#include <stdint.h>
|
|
|
|
volatile uint64_t x;
|
|
|
|
int main(int argc, char *argv[])
|
|
{
|
|
uint64_t old, new = argc;
|
|
|
|
(void)argv;
|
|
do {
|
|
old = __sync_val_compare_and_swap(&x, 0, 0);
|
|
} while (!__sync_bool_compare_and_swap(&x, old, new));
|
|
return old == new;
|
|
}
|