[Bug optimization/12941] [tree-ssa] loop miscompilation

[falk dot hueffner at student dot uni-tuebingen dot de]

------- Additional Comments From falk dot hueffner at student dot uni-tuebingen dot de  2003-11-18 09:23 -------
Subject: Re:  [tree-ssa] loop miscompilation

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

> How does the tree dumps look?

;; Function main (main)

main ()
{
  int T.1;
  long long unsigned int T.2;
  unsigned int T.3;
  int T.4;
  int T.5;
  _Bool T.6;
  long long unsigned int x;
  int i;
  extern  abort;

  x = 2;;
  i = 0;;
  goto <D42f>;;
  <D427>:;;
  T.1 = 63 - i;;
  T.2 = x >> T.1;;
  T.3 = (unsigned int)T.2;;
  T.4 = (int)T.3;;
  T.5 = T.4 & 1;;
  T.6 = (_Bool)T.5;;
  if (T.6)
    {
      goto <D426>;;
    }
  else
    {
      
    };
  i = i + 1;;
  <D42f>:;;
  if (i <= 63)
    {
      goto <D427>;;
    }
  else
    {
      goto <D426>;;
    };
  <D426>:;;
  x = 4;;
  i = 0;;
  goto <D433>;;
  <D431>:;;
  T.1 = 63 - i;;
  T.2 = x >> T.1;;
  T.3 = (unsigned int)T.2;;
  T.4 = (int)T.3;;
  T.5 = T.4 & 1;;
  T.6 = (_Bool)T.5;;
  if (T.6)
    {
      goto <D430>;;
    }
  else
    {
      
    };
  i = i + 1;;
  <D433>:;;
  if (i <= 63)
    {
      goto <D431>;;
    }
  else
    {
      goto <D430>;;
    };
  <D430>:;;
  if (i != 61)
    {
      abort ();;
    }
  else
    {
      
    };
  return 0;;
}



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12941