1  /* { dg-do run } */
       2  /* { dg-require-effective-target power10_hw } */
       3  /* { dg-options "-mdejagnu-cpu=power10 -O2 -ftree-vectorize -fno-vect-cost-model" } */
       4  
       5  #include "dive-vectorize-1.h"
       6  
       7  /* Check if test cases with signed/unsigned int extended division
       8     vectorization run successfully.  */
       9  
      10  /* Make optimize (1) to avoid vectorization applied on check func.  */
      11  
      12  __attribute__ ((optimize (1))) void
      13  check_divwe ()
      14  {
      15    test_divwe ();
      16    for (int i = 0; i < N; i++)
      17      {
      18        si exp = __builtin_divwe (si_a[i], si_b[i]);
      19        if (exp != si_c[i])
      20  	__builtin_abort ();
      21      }
      22  }
      23  
      24  __attribute__ ((optimize (1))) void
      25  check_divweu ()
      26  {
      27    test_divweu ();
      28    for (int i = 0; i < N; i++)
      29      {
      30        ui exp = __builtin_divweu (ui_a[i], ui_b[i]);
      31        if (exp != ui_c[i])
      32  	__builtin_abort ();
      33      }
      34  }
      35  
      36  int
      37  main ()
      38  {
      39    for (int i = 0; i < N; i++)
      40      {
      41        si_a[i] = 0x10 * (i * 3 + 2);
      42        si_b[i] = 0x7890 * (i * 3 + 1);
      43        ui_a[i] = 0x234 * (i * 11 + 3) - 0xcd * (i * 5 - 7);
      44        ui_b[i] = 0x6078 * (i * 7 + 3) + 0xef * (i * 7 - 11);
      45        if (si_b[i] == 0 || ui_b[i] == 0)
      46  	__builtin_abort ();
      47      }
      48  
      49    check_divwe ();
      50    check_divweu ();
      51  
      52    return 0;
      53  }
      54