[Bug tree-optimization/66623] Unsafe FP math reduction used in strict math mode

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66623

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Jun  9 09:40:45 2017
New Revision: 249053

URL: https://gcc.gnu.org/viewcvs?rev=249053&root=gcc&view=rev
Log:
2017-06-09  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/66623
        * tree-vect-loop.c (vect_is_simple_reduction): Cleanup,
        refactor check_reduction into two parts, properly computing
        whether we have to check reduction validity for outer loop
        vectorization.

        * gcc.dg/vect/pr66623.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr66623.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop.c