https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61306
--- Comment #8 from thopre01 at gcc dot gnu.org --- Author: thopre01 Date: Mon Jun 30 01:58:45 2014 New Revision: 212133 URL: https://gcc.gnu.org/viewcvs?rev=212133&root=gcc&view=rev Log: 2014-06-30 Thomas Preud'homme <thomas.preudho...@arm.com> Backport from mainline 2014-06-20 Jakub Jelinek <ja...@redhat.com> 2014-06-11 Thomas Preud'homme <thomas.preudho...@arm.com> gcc/ PR tree-optimization/61306 * tree-ssa-math-opts.c (struct symbolic_number): Store type of expression instead of its size. (do_shift_rotate): Adapt to change in struct symbolic_number. Return false to prevent optimization when the result is unpredictable due to arithmetic right shift of signed type with highest byte is set. (verify_symbolic_number_p): Adapt to change in struct symbolic_number. (find_bswap_1): Likewise. Return NULL to prevent optimization when the result is unpredictable due to sign extension. (find_bswap): Adapt to change in struct symbolic_number. gcc/testsuite/ * gcc.c-torture/execute/pr61306-1.c: New test. * gcc.c-torture/execute/pr61306-2.c: Likewise. * gcc.c-torture/execute/pr61306-3.c: Likewise. Added: branches/gcc-4_9-branch/gcc/testsuite/gcc.c-torture/execute/pr61306-1.c branches/gcc-4_9-branch/gcc/testsuite/gcc.c-torture/execute/pr61306-2.c branches/gcc-4_9-branch/gcc/testsuite/gcc.c-torture/execute/pr61306-3.c Modified: branches/gcc-4_9-branch/gcc/ChangeLog branches/gcc-4_9-branch/gcc/testsuite/ChangeLog branches/gcc-4_9-branch/gcc/tree-ssa-math-opts.c