diff options
| author | Richard Biener <rguenther@suse.de> | 2019-11-05 11:00:24 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-11-05 11:00:24 +0000 |
| commit | f340142b839ca1ed576013b4dba3d34245bac7d0 (patch) | |
| tree | c14ff685b2062175664a66789b40fb313c6efa3e /gcc/tree-vect-loop.c | |
| parent | a895e6d72d763d3fc090ec852d405a07a61d01f4 (diff) | |
| download | gcc-f340142b839ca1ed576013b4dba3d34245bac7d0.zip gcc-f340142b839ca1ed576013b4dba3d34245bac7d0.tar.gz gcc-f340142b839ca1ed576013b4dba3d34245bac7d0.tar.bz2 | |
re PR tree-optimization/92324 (ICE in expand_direct_optab_fn, at internal-fn.c:2890)
2019-11-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/92324
* tree-vect-loop.c (check_reduction_path): For MIN/MAX require
all signed or unsigned operations.
* gcc.dg/vect/pr92324-3.c: New testcase.
From-SVN: r277822
Diffstat (limited to 'gcc/tree-vect-loop.c')
| -rw-r--r-- | gcc/tree-vect-loop.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 4064e9c..3448b55 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -2740,6 +2740,7 @@ pop: /* Check whether the reduction path detected is valid. */ bool fail = path.length () == 0; bool neg = false; + int sign = -1; *code = ERROR_MARK; for (unsigned i = 1; i < path.length (); ++i) { @@ -2783,12 +2784,22 @@ pop: TREE_TYPE (gimple_assign_rhs1 (use_stmt)))) ; else if (*code == ERROR_MARK) - *code = use_code; + { + *code = use_code; + sign = TYPE_SIGN (TREE_TYPE (gimple_assign_lhs (use_stmt))); + } else if (use_code != *code) { fail = true; break; } + else if ((use_code == MIN_EXPR + || use_code == MAX_EXPR) + && sign != TYPE_SIGN (TREE_TYPE (gimple_assign_lhs (use_stmt)))) + { + fail = true; + break; + } } return ! fail && ! neg && *code != ERROR_MARK; } |