tree e271caa7ffe11ff135399f51b532b48dfd545cba
parent 002ef361cabc486a2f3567d646363334d50cc462
author Steven Perron <stevenperron@google.com> 1551190011 -0500
committer GitHub <noreply@github.com> 1551190011 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcdUf7CRBK7hj4Ov3rIwAAdHIIAFlOcC1w8VdfgoRr9GqH9UEn
 RNOcl0O/Yr6ds7Pl5gG2g1CySOJ94hObQ5IX8dR88lGo7HMCEeQghpsHWR4PFMTZ
 dvBjpyGslUjnIgOLMf5zS35D9v7hTPefpAeojDQql0SuUjIKS1oqgNak0Qa8Kp2O
 uRwa+5TLRC9ImEd2sCLs0dux0zPEnjPto2nuLvxhWdJ3zq41GcX4ZiCpfa+Ehyjm
 Lmls8C8HNngJgZQBB6uDyFRzjcLWL/nNKnOqh60hlDafM1zKrvFuej05qlIzVTZO
 ffXwGkGEkPQqPggQZX/XPvvdRJ+1YfwI5Hm+pvpL4BOy/ZjiPZ12G/PzmOIEof0=
 =ngKv
 -----END PGP SIGNATURE-----
 

Handle back edges better in dead branch elim. (#2417)

* Handle back edges better in dead branch elim.

Loop header must have exactly one back edge.  Sometimes the branch
with the back edge can be folded.  However, it should not be folded
if it removes the back edge.

The code to check this simply avoids folding the branch in the
continue block.  That needs to be changed to not fold the back edge,
wherever it is.

At the same time, the branch can be folded if it folds to a branch to
the header, because the back edge will still exist.

Fixes #2391.