gcc/testsuite/gcc.dg/vect/vect-bitfield-read-1-not.c

   1 /* { dg-require-effective-target vect_shift } */
   2 /* { dg-require-effective-target vect_long_long } */
   3 /* { dg-additional-options { "-fdump-tree-ifcvt-all" } } */
   4
   5 #include <stdarg.h>
   6 #include "tree-vect.h"
   7
   8 extern void abort(void);
   9
  10 struct s {
  11     char a : 4;
  12 };
  13
  14 #define N 32
  15 #define ELT0 {0}
  16 #define ELT1 {1}
  17 #define ELT2 {2}
  18 #define ELT3 {3}
  19 #define RES 56
  20 struct s A[N]
  21   = { ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  22       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  23       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  24       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3};
  25
  26 int __attribute__ ((noipa))
  27 f(struct s *ptr, unsigned n) {
  28     int res = 0;
  29     for (int i = 0; i < n; ++i)
  30       {
  31         switch (ptr[i].a)
  32           {
  33           case 0:
  34             res += ptr[i].a + 1;
  35             break;
  36           case 1:
  37           case 2:
  38           case 3:
  39             res += ptr[i].a;
  40             break;
  41           default:
  42             return 0;
  43           }
  44       }
  45     return res;
  46 }
  47
  48 int main (void)
  49 {
  50   check_vect ();
  51
  52   if (f(&A[0], N) != RES)
  53     abort ();
  54
  55   return 0;
  56 }
  57
  58 /* { dg-final { scan-tree-dump-times "Bitfield OK to lower." 0 "ifcvt" { xfail *-*-* } } } */
  59
  60