gcc/testsuite/gcc.dg/tree-ssa/ssa-thread-11.c

   1 /* { dg-do compile { target { ! { logical_op_short_circuit || { m68k*-*-* bfin*-*-* v850*-*-* moxie*-*-* m32c*-*-* fr30*-*-* mcore*-*-* frv-*-* h8300-*-* m32r-*-* mn10300-*-* msp430-*-* pdp11-*-* rl78-*-* rx-*-* vax-*-*} } } } } */
   2 /* { dg-options "-O2 -fdump-tree-vrp2-details" } */
   3 /* { dg-final { scan-tree-dump-not "IRREDUCIBLE_LOOP" "vrp2" } } */
   4
   5 void abort (void);
   6 typedef struct bitmap_head_def *bitmap;
   7 typedef const struct bitmap_head_def *const_bitmap;
   8 typedef struct bitmap_obstack
   9 {
  10   struct bitmap_obstack *next;
  11   unsigned int indx;
  12 }
  13 bitmap_element;
  14 typedef struct bitmap_head_def
  15 {
  16   bitmap_element *first;
  17 }
  18 bitmap_head;
  19 static __inline__ unsigned char
  20 bitmap_elt_ior (bitmap dst, bitmap_element * dst_elt,
  21                 bitmap_element * dst_prev, const bitmap_element * a_elt,
  22                 const bitmap_element * b_elt)
  23 {
  24   ((void) (!(a_elt || b_elt) ? abort (), 0 : 0));
  25 }
  26
  27 unsigned char
  28 bitmap_ior_and_compl (bitmap dst, const_bitmap a, const_bitmap b,
  29                       const_bitmap kill)
  30 {
  31   bitmap_element *dst_elt = dst->first;
  32   const bitmap_element *a_elt = a->first;
  33   const bitmap_element *b_elt = b->first;
  34   const bitmap_element *kill_elt = kill->first;
  35   bitmap_element *dst_prev = ((void *) 0);
  36   while (a_elt || b_elt)
  37     {
  38       if (b_elt && kill_elt && kill_elt->indx == b_elt->indx
  39           && (!a_elt || a_elt->indx >= b_elt->indx));
  40       else
  41         {
  42           bitmap_elt_ior (dst, dst_elt, dst_prev, a_elt, b_elt);
  43           if (a_elt && b_elt && a_elt->indx == b_elt->indx)
  44             ;
  45           else if (a_elt && (!b_elt || a_elt->indx <= b_elt->indx))
  46             a_elt = a_elt->next;
  47         }
  48     }
  49 }