gcc/testsuite/gcc.dg/vect/pr113281-5.c

   1 /* { dg-do compile } */
   2
   3 #define N 128
   4
   5 short x[N];
   6 short y[N];
   7
   8 void
   9 f1 (void)
  10 {
  11   for (int i = 0; i < N; ++i)
  12     {
  13       int a = y[i];
  14       int b = ~a;
  15       x[i] = b;
  16     }
  17 }
  18
  19 void
  20 f2 (void)
  21 {
  22   for (int i = 0; i < N; ++i)
  23     {
  24       int a = y[i];
  25       int b = -a;
  26       x[i] = b;
  27     }
  28 }
  29
  30 void
  31 f3 (void)
  32 {
  33   for (int i = 0; i < N; ++i)
  34     {
  35       int a = x[i];
  36       int b = a / y[i];
  37       x[i] = b;
  38     }
  39 }
  40
  41 void
  42 f4 (void)
  43 {
  44   for (int i = 0; i < N; ++i)
  45     {
  46       int a = x[i];
  47       int b = a < y[i] ? a : y[i];
  48       x[i] = b;
  49     }
  50 }
  51
  52 void
  53 f5 (void)
  54 {
  55   for (int i = 0; i < N; ++i)
  56     {
  57       int a = x[i];
  58       int b = a > y[i] ? a : y[i];
  59       x[i] = b;
  60     }
  61 }
  62
  63 /* { dg-final { scan-tree-dump {can narrow to signed:17 without loss [^\n]+= -} "vect" } } */
  64 /* { dg-final { scan-tree-dump {can narrow to signed:16 without loss [^\n]+= ~} "vect" } } */
  65 /* { dg-final { scan-tree-dump {can narrow to signed:16 without loss [^\n]+ MIN_EXPR} "vect" } } */
  66 /* { dg-final { scan-tree-dump {can narrow to signed:16 without loss [^\n]+ MAX_EXPR} "vect" } } */