1  /* { dg-do compile { target { powerpc*-*-* } } } */
       2  /* powerpc_vsx_ok represents power7 */
       3  /* { dg-require-effective-target powerpc_vsx_ok } */
       4  /* { dg-skip-if "" { powerpc*-*-aix* } } */
       5  /* { dg-options "-mdejagnu-cpu=power5" } */
       6  
       7  /* Though the command line specifies power5 target, this function is
       8     to support power7.  */
       9  __attribute__((target("cpu=power7")))
      10  int
      11  div_we (int a, int b)
      12  {
      13    return __builtin_divwe (a, b);
      14  }
      15  
      16  /* { dg-final { scan-assembler-times "divwe "   1 } } */