1  /* { dg-do run } */
       2  /* { dg-options "-save-temps" } */
       3  /* { dg-require-effective-target vect_int } */
       4  /* { dg-require-effective-target vect_condition } */
       5  #include <stdlib.h>
       6  
       7  int fn1 (int) __attribute__ ((noinline));
       8  
       9  int a[128];
      10  int fn1(int d) {
      11    int b, c = 1;
      12    for (b = 0; b < 128; b++)
      13      if (a[b])
      14        c = 0;
      15    return c;
      16  }
      17  
      18  int
      19  main (void)
      20  {
      21    int i;
      22    for (i = 0; i < 128; i++)
      23      a[i] = 0;
      24    if (fn1(10) != 1)
      25      abort ();
      26    a[3] = 2;
      27    a[24] = 1;
      28    if (fn1(10) != 0)
      29      abort ();
      30    return 0;
      31  }
      32  /* { dg-final { scan-assembler-not "\[ \t\]not\[ \t\]" } } */