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