1  /* { dg-do run } */
       2  /* The checked bifs are only supported on 64-bit env.  */
       3  /* { dg-require-effective-target lp64 } */
       4  /* { dg-require-effective-target power10_hw } */
       5  /* { dg-options "-mdejagnu-cpu=power10 -O2 -ftree-vectorize -fno-vect-cost-model" } */
       6  
       7  #include "dive-vectorize-2.h"
       8  
       9  /* Check if test cases with signed/unsigned int extended division
      10     vectorization run successfully.  */
      11  
      12  /* Make optimize (1) to avoid vectorization applied on check func.  */
      13  
      14  __attribute__ ((optimize (1))) void
      15  check_divde ()
      16  {
      17    test_divde ();
      18    for (int i = 0; i < N; i++)
      19      {
      20        sLL exp = __builtin_divde (sll_a[i], sll_b[i]);
      21        if (exp != sll_c[i])
      22  	__builtin_abort ();
      23      }
      24  }
      25  
      26  __attribute__ ((optimize (1))) void
      27  check_divdeu ()
      28  {
      29    test_divdeu ();
      30    for (int i = 0; i < N; i++)
      31      {
      32        uLL exp = __builtin_divdeu (ull_a[i], ull_b[i]);
      33        if (exp != ull_c[i])
      34  	__builtin_abort ();
      35      }
      36  }
      37  
      38  int
      39  main ()
      40  {
      41    for (int i = 0; i < N; i++)
      42      {
      43        sll_a[i] = 0x102 * (i * 3 + 2);
      44        sll_b[i] = 0x789ab * (i * 3 + 1);
      45        ull_a[i] = 0x2345 * (i * 11 + 3) - 0xcd1 * (i * 5 - 7);
      46        ull_b[i] = 0x6078e * (i * 7 + 3) + 0xefa * (i * 7 - 11);
      47        if (sll_b[i] == 0 || ull_b[i] == 0)
      48  	__builtin_abort ();
      49      }
      50  
      51    check_divde ();
      52    check_divdeu ();
      53  
      54    return 0;
      55  }
      56