1  /* { dg-do compile { target { powerpc*-*-* } } } */
       2  /* { dg-skip-if "" { powerpc*-*-darwin* } } */
       3  /* { dg-require-effective-target powerpc_htm_ok } */
       4  /* { dg-options "-O2 -mhtm -ffixed-r3 -ffixed-r4 -ffixed-r5 -ffixed-r6 -ffixed-r7 -ffixed-r8 -ffixed-r9 -ffixed-r10 -ffixed-r11 -ffixed-r12" } */
       5  
       6  /* { dg-final { scan-assembler-not "tabort\\.\[ \t\]0" } } */
       7  
       8  int
       9  foo (void)
      10  {
      11    return __builtin_tabort (10);
      12  }