| /* { dg-do run } */ |
| /* { dg-require-effective-target sync_char_short } */ |
| /* { dg-options "-Wsync-nand" } */ |
| /* { dg-options "-Wsync-nand -march=i486" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */ |
| /* { dg-options "-Wsync-nand -mcpu=v9" { target sparc*-*-* } } */ |
| |
| |
| extern void abort (void); |
| |
| int main (void) |
| { |
| |
| short xLoc; |
| short xIn, xOut, xExpect, i = 1; |
| |
| xLoc = xIn = ~ (1 << i); |
| xExpect = ~ (xIn & 0x7F); |
| |
| xOut = __sync_nand_and_fetch (&xLoc, 0x7F); /* { dg-message "note: '__sync_nand_and_fetch' changed semantics in GCC 4.4" } */ |
| |
| if (xOut != xExpect) |
| abort (); |
| |
| return 0; |
| } |