111
|
1 /* { dg-do compile } */
|
|
2 /* { dg-options "-fgnu-tm -fdump-ipa-tmipa -O" } */
|
|
3
|
|
4 int a, trxn, eee;
|
|
5
|
|
6 void foo(void) __attribute__((transaction_safe));
|
|
7 void bar(void) __attribute__((transaction_safe));
|
|
8 void danger(void) __attribute__((transaction_unsafe));
|
|
9
|
|
10 void wildthing()
|
|
11 {
|
|
12 /* All blocks should be propagated as irrevocable. */
|
|
13 __transaction_relaxed {
|
|
14 if (eee) {
|
|
15 if (a)
|
|
16 foo();
|
|
17 else
|
|
18 bar();
|
|
19 danger();
|
|
20 } else {
|
|
21 danger();
|
|
22 }
|
|
23 }
|
|
24 }
|
|
25
|
|
26 /* { dg-final { scan-ipa-dump-times "GTMA_DOES_GO_IRREVOCABLE" 1 "tmipa" } } */
|
|
27 /* { dg-final { scan-ipa-dump-times "bb 3 goes irr" 1 "tmipa" } } */
|
|
28 /* { dg-final { scan-ipa-dump-times "bb 4 goes irr" 1 "tmipa" } } */
|
|
29 /* { dg-final { scan-ipa-dump-times "bb 5 goes irr" 1 "tmipa" } } */
|
|
30 /* { dg-final { scan-ipa-dump-times "bb 6 goes irr" 1 "tmipa" } } */
|
|
31 /* { dg-final { scan-ipa-dump-times "bb 7 goes irr" 1 "tmipa" } } */
|
|
32 /* { dg-final { scan-ipa-dump-times "bb 8 goes irr" 1 "tmipa" } } */
|
|
33 /* { dg-final { scan-ipa-dump-times "bb 9 goes irr" 1 "tmipa" } } */
|