[Bug tree-optimization/13876] loop not fully optimized

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2007-04-22 12:49 -------
Loop header copying allows dom to duplicate the latch and thus we can now
eliminate the NotFound check:

;; Function t (t)

t (l, y)
{
  int i;

<bb 2>:
  o ();
  if (l > 0) goto <L15>; else goto <L4>;

<L15>:;
  i = 0;

Invalid sum of incoming frequencies 7098, should be 9100
<L0>:;
  if (MEM[base: y, index: (unsigned int) i, step: 4] != 0) goto <L1>; else goto
<L2>;

<L1>:;
  g ();
  goto <bb 7> (<L4>);

<L2>:;
  i = i + 1;
  if (l > i) goto <L0>; else goto <L4>;

Invalid sum of incoming frequencies 2902, should be 900
<L4>:;
  h () [tail call];
  return;

}


So, fixed.  Since 4.1 actually.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.1.0


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