/*
Copyright (C) 2007-2009, Parrot Foundation.
$Id: test_gcc_cmpset_c.in 37144 2009-03-06 04:26:29Z Util $

test for compare-and-set (x86 style) support with gcc-style inline ASM
*/

#include <assert.h>
#include <stdlib.h>

/* #define DEBUG_CMPSET_TEST  */

#include <stdio.h>

inline static void *docmpset(void **ptr, void *oldval, void *newval) {
    void *tmp;
    /* see http://www-128.ibm.com/developerworks/linux/library/pa-atom/ */
    __asm__ __volatile__(/*%0 = tmp, %1 = ptr, %2 = old, %3 = new */
        "1:  lwarx %0, 0, %1\n" /* tmp = *ptr, with reservation */
        "    cmpw %2, %0\n" /* tmp == old ? */
        "    bne 2f\n" /* no, flush reservation */
        /* "    sync\n" -- XXX needed on PPC 405CR, see http://www.kegel.com/xgcc3/ppc405erratum77.html */
        "    stwcx. %3, 0, %1\n" /* store new using reservation */
        "    bne- 1b\n" /* spin on failure of reservation; - is branch prediction hint */
        "    b 3f\n"
        "2:  stwcx. %0, 0, %1\n" /* flush reservation */
        "3:  \n" /* end label */
        : /* output */
            "=&r"(tmp)
        : /* input */
            "r"(ptr), "r"(oldval), "r"(newval)
        : /* clobber */
            "memory");
    return tmp;
}

int
main(void)
{
    char dummy[] = "some string";
    char *oldval;
    char *newval;
    char *atomic;
    atomic = dummy;
    newval = dummy + 1;
    oldval = dummy;

    oldval = docmpset((void **)&atomic, oldval, newval);


#ifdef DEBUG_CMPSET_TEST
    printf("atomic=[%s], old=[%s], new=[%s]\n", atomic, oldval, newval);
#endif
    if (atomic != newval) {
        return EXIT_FAILURE;
    }

    oldval = docmpset((void **)&atomic, oldval, newval);
#ifdef DEBUG_CMPSET_TEST
    printf("atomic=[%s], old=[%s], new=[%s]\n", atomic, oldval, newval);
#endif
    if (oldval != newval) {
        return EXIT_FAILURE;
    }

    puts("ok");

    return EXIT_SUCCESS;
}

/*
 * Local variables:
 *   c-file-style: "parrot"
 * End:
 * vim: expandtab shiftwidth=4:
 */
