1  /* { dg-do run } */
       2  /* { dg-require-effective-target ppc_mma_hw } */
       3  /* { dg-options "-mdejagnu-cpu=power10 -O2" } */
       4  
       5  /* This test will only run when the ppc_mma_hw test passes.  If that
       6     test passes, then we expect to see that mma feature is supported.
       7     If this is not the case, then the test environment has problems. */
       8  
       9  #include <stdio.h>
      10  #include <stdlib.h>
      11  
      12  int
      13  main (int argc, char *argv[])
      14  {
      15  #ifdef __BUILTIN_CPU_SUPPORTS__
      16    if ( !__builtin_cpu_supports ("mma"))
      17      {
      18  #ifdef DEBUG      
      19        printf ("Error: __builtin_cpu_supports says mma not supported, but ppc_mma_hw test passed.\n");
      20  #endif
      21        abort();
      22      }
      23  #endif
      24    exit (0);
      25  }