| /* { dg-do compile } */ |
| /* { dg-options "-fgnu-tm -fdump-ipa-tmipa -O" } */ |
| |
| int a, trxn, eee; |
| |
| void foo(void) __attribute__((transaction_safe)); |
| void bar(void) __attribute__((transaction_safe)); |
| void danger(void) __attribute__((transaction_unsafe)); |
| |
| void wildthing() |
| { |
| /* All blocks should be propagated as irrevocable. */ |
| __transaction_relaxed { |
| if (eee) { |
| if (a) |
| foo(); |
| else |
| bar(); |
| danger(); |
| } else { |
| danger(); |
| } |
| } |
| } |
| |
| /* { dg-final { scan-ipa-dump-times "GTMA_DOES_GO_IRREVOCABLE" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 3 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 4 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 5 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 6 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 7 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 8 goes irr" 1 "tmipa" } } */ |
| /* { dg-final { scan-ipa-dump-times "bb 9 goes irr" 1 "tmipa" } } */ |
