http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49806
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-18 07:21:25 UTC --- I have a full patch which fixes this testcase and removes the xfail. It is mostly about moving and adding some extra simplifications to VRP.