summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/ext/sync-2.C
blob: 5695684c3e71ec94077a26bbcf3b0f657c1926ee (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
// Validate that the __sync builtins are overloaded properly in templates.
// { dg-do compile }
// { dg-options "-Werror" }


#define TEST1(BUILTIN)			\
template<typename T>			\
void f##BUILTIN(T *p)			\
{					\
  __typeof(BUILTIN(p, 1)) *pp;		\
  pp = p;				\
}

TEST1(__sync_fetch_and_add)
TEST1(__sync_fetch_and_sub)
TEST1(__sync_fetch_and_or)
TEST1(__sync_fetch_and_and)
TEST1(__sync_fetch_and_xor)
TEST1(__sync_fetch_and_nand)

TEST1(__sync_add_and_fetch)
TEST1(__sync_sub_and_fetch)
TEST1(__sync_or_and_fetch)
TEST1(__sync_and_and_fetch)
TEST1(__sync_xor_and_fetch)
TEST1(__sync_nand_and_fetch)

TEST1(__sync_lock_test_and_set)

template<typename T>
void f__sync_val_compare_and_swap(T *p)
{
  __typeof(__sync_val_compare_and_swap(p, 1, 2)) *pp;
  pp = p;
}

#define TEST2(TYPE)			\
void h_##TYPE ()			\
{					\
  TYPE x;				\
  f__sync_fetch_and_add (&x);		\
  f__sync_fetch_and_sub (&x);		\
  f__sync_fetch_and_or (&x);		\
  f__sync_fetch_and_and (&x);		\
  f__sync_fetch_and_xor (&x);		\
  f__sync_fetch_and_nand (&x);		\
  f__sync_add_and_fetch (&x);		\
  f__sync_sub_and_fetch (&x);		\
  f__sync_or_and_fetch (&x);		\
  f__sync_and_and_fetch (&x);		\
  f__sync_xor_and_fetch (&x);		\
  f__sync_nand_and_fetch (&x);		\
  f__sync_lock_test_and_set (&x);	\
  f__sync_val_compare_and_swap (&x);	\
}

TEST2(int)
TEST2(long)