1  /* { dg-do compile { target { powerpc*-*-linux* && lp64 } } } */
       2  /* { dg-skip-if "" { powerpc*-*-darwin* } } */
       3  /* { dg-require-effective-target powerpc_vsx_ok } */
       4  /* { dg-options "-mdejagnu-cpu=power7 -O2" } */
       5  /* { dg-final { scan-assembler-times "divde "   1 } } */
       6  /* { dg-final { scan-assembler-times "divdeu "  1 } } */
       7  /* { dg-final { scan-assembler-not    "bl __builtin" } } */
       8  
       9  long
      10  div_de (long a, long b)
      11  {
      12    return __builtin_divde (a, b);
      13  }
      14  
      15  unsigned long
      16  div_deu (unsigned long a, unsigned long b)
      17  {
      18    return __builtin_divdeu (a, b);
      19  }