gcc/testsuite/gcc.dg/tree-ssa/pr20701.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp" } */
   3
   4 typedef struct {
   5   int code;
   6 } *rtx;
   7
   8 int
   9 can_combine_p (rtx insn, rtx elt)
  10 {
  11   rtx set;
  12
  13   set = 0;
  14   if (insn->code == 3)
  15     set = insn;
  16   else
  17     {
  18       set = elt;
  19       if (set == 0)
  20         return 0;
  21     }
  22
  23   if (set == 0)
  24     return 1;
  25
  26   return 0;
  27 }
  28
  29 /* { dg-final { scan-tree-dump-times "Folding predicate.*to 0" 1 "vrp" } } */
  30 /* { dg-final { cleanup-tree-dump "vrp" } } */