annotate gcc/testsuite/gcc.dg/pr37908.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2 /* { dg-require-effective-target sync_char_short } */
kono
parents:
diff changeset
3 /* { dg-options "-Wsync-nand" } */
kono
parents:
diff changeset
4 /* { dg-options "-Wsync-nand -march=i486" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
kono
parents:
diff changeset
5 /* { dg-options "-Wsync-nand -mcpu=v9" { target sparc*-*-* } } */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 extern void abort (void);
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 int main (void)
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 short xLoc;
kono
parents:
diff changeset
14 short xIn, xOut, xExpect, i = 1;
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 xLoc = xIn = ~ (1 << i);
kono
parents:
diff changeset
17 xExpect = ~ (xIn & 0x7F);
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 xOut = __sync_nand_and_fetch (&xLoc, 0x7F); /* { dg-message "note: '__sync_nand_and_fetch' changed semantics in GCC 4.4" } */
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 if (xOut != xExpect)
kono
parents:
diff changeset
22 abort ();
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 return 0;
kono
parents:
diff changeset
25 }