gcc/testsuite/gcc.dg/pr42631.c

   1 /* The function below expands to a loop whose latch block starts with
   2    a PHI node and the corresponding debug stmt.  In RTL, there are no
   3    PHI nodes, but the debug insn that references the incoming k
   4    remains, even though one of the incoming edges has it
   5    uninitialized.  After unrolling, however, the debug insn becomes
   6    unconditional, and this exposed a problem in the webizer.  Because
   7    DF doesn't combine the uses of an uninitialized pseudo into a
   8    single UD chain, we created a separate web for each use.
   9    Allocating separate registers or stack slots for each uninitialized
  10    use is wasteful, but the problem became more apparent in
  11    -fcompare-debug tests: register numbers went out of sync, and could
  12    have caused codegen differences depending on whether or not the
  13    debug insns were present.  The fix was to arrange for web to
  14    combine uninitialized uses into a single web.  */
  15
  16 /* { dg-do compile } */
  17 /* { dg-options "-g -O1 -funroll-loops -fcompare-debug" } */
  18 /* { dg-xfail-if "" { powerpc-ibm-aix* } { "*" } { "" } } */
  19
  20 void foo()
  21 {
  22   unsigned k;
  23   while (--k > 0);
  24 }