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

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-08-11 11:01 -------
Couldn't DOM do this at jump threading time? I.e.

  if (D.1286_3 > D.1287_5) goto <L3>; else goto <L1>;

<L1>:;
  if (D.1286_3 == D.1287_5) goto <L3>; else goto <L2>;

during trying of threading through the jump at L1 merge the
two conditionals?

Just guessing...

-- 


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