gcc/testsuite/gcc.dg/vect/vect-bitfield-read-9.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     unsigned i : 31;
  12     char a : 4;
  13 };
  14
  15 #define N 32
  16 #define ELT0 {0x7FFFFFFFUL, 0}
  17 #define ELT1 {0x7FFFFFFFUL, 1}
  18 #define ELT2 {0x7FFFFFFFUL, 2}
  19 #define ELT3 {0x7FFFFFFFUL, 3}
  20 #define ELT4 {0x7FFFFFFFUL, 4}
  21 #define RES 9
  22 struct s A[N]
  23   = { ELT0, ELT4, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  24       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  25       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3,
  26       ELT0, ELT1, ELT2, ELT3, ELT0, ELT1, ELT2, ELT3};
  27
  28 int __attribute__ ((noipa))
  29 f(struct s *ptr, unsigned n) {
  30     int res = 0;
  31     for (int i = 0; i < n; ++i)
  32       {
  33         if (ptr[i].a)
  34           return 9;
  35         res += ptr[i].a;
  36       }
  37     return res;
  38 }
  39
  40 int main (void)
  41 {
  42   check_vect ();
  43
  44   if (f(&A[0], N) != RES)
  45     abort ();
  46
  47   return 0;
  48 }
  49
  50 /* { dg-final { scan-tree-dump "Bitfield OK to lower." "ifcvt" } } */
  51