[Bug tree-optimization/15353] [tree-ssa] Merge two "if"s if one subsumes the other.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-11 
19:16 -------
(In reply to comment #3)
> And it should merge them, too, like for

I better testcase which shows why we don't convert i > j || i == j into i >= j
which is reduced from Richard's tramp3d:
int g(void);
int h(void);
int f(int *i, int *j)
{
  while (1)
  {
    if (*i > *j || *i == *j)
      break;
    return g();
  }
  return h();
}


-- 


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