1  /* { dg-require-effective-target vect_float } */
       2  
       3  #include "tree-vect.h"
       4  
       5  #ifndef TYPE
       6  #define TYPE float
       7  #define FN __builtin_fminf
       8  #endif
       9  
      10  TYPE __attribute__((noipa))
      11  test (TYPE x, TYPE *ptr, int n)
      12  {
      13    for (int i = 0; i < n; ++i)
      14      x = FN (x, ptr[i]);
      15    return x;
      16  }
      17  
      18  #define N 128
      19  #define HALF (N / 2)
      20  
      21  int
      22  main (void)
      23  {
      24    check_vect ();
      25  
      26    TYPE a[N];
      27  
      28    for (int i = 0; i < N; ++i)
      29      a[i] = -i;
      30  
      31    if (test (1, a, 1) != 0)
      32      __builtin_abort ();
      33    if (test (1, a, 64) != -63)
      34      __builtin_abort ();
      35    if (test (1, a, 65) != -64)
      36      __builtin_abort ();
      37    if (test (1, a, 66) != -65)
      38      __builtin_abort ();
      39    if (test (1, a, 67) != -66)
      40      __builtin_abort ();
      41    if (test (1, a, 128) != -127)
      42      __builtin_abort ();
      43    if (test (-127, a, 128) != -127)
      44      __builtin_abort ();
      45    if (test (-128, a, 128) != -128)
      46      __builtin_abort ();
      47  
      48    for (int i = 0; i < N; ++i)
      49      a[i] = i;
      50  
      51    if (test (1, a, 4) != 0)
      52      __builtin_abort ();
      53    if (test (0, a, 4) != 0)
      54      __builtin_abort ();
      55    if (test (-1, a, 4) != -1)
      56      __builtin_abort ();
      57  
      58    for (int i = 0; i < HALF; ++i)
      59      {
      60        a[i] = HALF - i;
      61        a[HALF + i] = i;
      62      }
      63  
      64    if (test (N, a, HALF - 16) != 17)
      65      __builtin_abort ();
      66    if (test (N, a, HALF - 2) != 3)
      67      __builtin_abort ();
      68    if (test (N, a, HALF - 1) != 2)
      69      __builtin_abort ();
      70    if (test (N, a, HALF) != 1)
      71      __builtin_abort ();
      72    if (test (N, a, HALF + 1) != 0)
      73      __builtin_abort ();
      74    if (test (N, a, HALF + 2) != 0)
      75      __builtin_abort ();
      76    if (test (N, a, HALF + 3) != 0)
      77      __builtin_abort ();
      78    if (test (N, a, HALF + 16) != 0)
      79      __builtin_abort ();
      80  
      81    return 0;
      82  }
      83  
      84  /* { dg-final { scan-tree-dump "Detected reduction" "vect" } } */
      85  /* { dg-final { scan-tree-dump "LOOP VECTORIZED" "vect" { target vect_max_reduc } } } */
      86  
      87  /* { dg-final { scan-tree-dump "Detected reduction" "vect" } } */
      88  /* { dg-final { scan-tree-dump "LOOP VECTORIZED" "vect" { target vect_max_reduc } } } */