blob: 07972a4fd4e7a89d5078d2976eeafb22c5a69fbb (
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
|
/* { dg-do compile } */
/* { dg-options "-fgnu-tm -O -fdump-tree-tmmark" } */
extern int something(void) __attribute__((transaction_safe));
extern void *malloc (__SIZE_TYPE__) __attribute__((malloc,transaction_safe));
int f()
{
int *p;
p = malloc (sizeof (*p) * 100);
foo(p[5]);
__transaction_atomic {
/* p[5] is thread private, however the SSA_NAME that holds the
address dominates the entire transaction (transaction
invariant) so we can use a save/restore pair. */
p[5] = 123;
if (something())
__transaction_cancel;
}
return p[5];
}
/* { dg-final { scan-tree-dump-times "ITM_LU" 0 "tmmark" } } */
/* { dg-final { scan-tree-dump-times "ITM_WU" 0 "tmmark" } } */
/* { dg-final { scan-tree-dump-times "tm_save" 1 "tmmark" } } */
/* { dg-final { cleanup-tree-dump "tmmark" } } */
|
