gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-branch-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -w -fdump-tree-dom2-details" } */
   3
   4 typedef struct rtx_def *rtx;
   5 struct rtx_def
   6 {
   7   int code;
   8   rtx rt_rtx;
   9 };
  10 int arf (void);
  11 int foo (void);
  12 rtx
  13 try_combine (rtx i1, rtx newpat)
  14 {
  15   rtx temp;
  16   if (i1 && (temp = (rtx) ((((((newpat->rt_rtx, ((((temp)->code) == 42)))))))))
  17       && ((temp =
  18            (rtx) (((((((((((newpat)->rt_rtx),
  19                           ((((temp)->code) == 42) && arf ())))))))))))))
  20     ;
  21   else if (i1 && foo ());
  22 }
  23
  24 /* There should be 3 tests against i1.  Two from DOM machinery and one
  25    in the code itself.  */
  26 /* { dg-final { scan-tree-dump-times "if .i1_" 3 "dom2"} } */
  27
  28 /* There should be no actual jump threads realized by DOM.  The
  29    legitimize jump threads are handled in VRP and those discovered
  30    by DOM are subsumed by collapsing a conditional.  */
  31 /* { dg-final { scan-tree-dump-not "Threaded" "dom2"} } */