------- Comment #10 from steven at gcc dot gnu dot org 2009-06-23 09:50 ------- Yes, this bug is indeed not related to bug 39715.
I have also verified that the SEE pass (sign-extend elimination, but also should handle zero-extend) fails to handle this case. And that pass doesn't exist anymore on the trunk anyway. I wonder if we can optimize this in GIMPLE already... -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40487