--- Comment #1 from steven at gcc dot gnu dot org 2005-12-03 14:22 ---
I should have said, this is at -O1 -fthread-jumps. I guess VRP catches this
at -O2 and better.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25243
--- Comment #2 from steven at gcc dot gnu dot org 2005-12-03 14:37 ---
Actually VRP doesn't catch it.
Do:
-if (e[i] == 16)
+if (e[i] == 16)
so that store-CCP doesn't load e[0] anymore to find that it is 16. With that,
the .vrp dump at -O2 looks like this:
baz (r)
{
long
--- Comment #3 from steven at gcc dot gnu dot org 2005-12-03 15:46 ---
With a minor hack, we optimize the test case in dom3:
Index: tree-ssa-dom.c
===
--- tree-ssa-dom.c (revision 107822)
+++ tree-ssa-dom.c