gcc/testsuite/gcc.dg/tm/irrevocable-6.c

   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" } } */