gcc/testsuite/gcc.target/powerpc/dive-vectorize-run-2.c

   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