diff options
| author | Richard Biener <rguenther@suse.de> | 2023-06-23 10:08:50 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-06-23 11:22:39 +0200 |
| commit | 4127e0f3313c961b4b4e5efad85a25c40c2510c2 (patch) | |
| tree | cea7bd96181360e0621cc50ead3563b59783c825 /gcc/tree-vect-patterns.cc | |
| parent | 1fe09b90f856ba27c3e44dda156b28adb5d4d8ea (diff) | |
| download | gcc-4127e0f3313c961b4b4e5efad85a25c40c2510c2.zip gcc-4127e0f3313c961b4b4e5efad85a25c40c2510c2.tar.gz gcc-4127e0f3313c961b4b4e5efad85a25c40c2510c2.tar.bz2 | |
Properly guard vect_look_through_possible_promotion
The function ends up getting called on VECTOR_TYPEs which it
really isn't prepared for and with the TYPE_PRECISION checking
changes will ICE. The following exits early when the type
to work on isn't scalar integral.
* tree-vect-patterns.cc (vect_look_through_possible_promotion):
Exit early when the type isn't scalar integral.
Diffstat (limited to 'gcc/tree-vect-patterns.cc')
| -rw-r--r-- | gcc/tree-vect-patterns.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/tree-vect-patterns.cc b/gcc/tree-vect-patterns.cc index 60bc9be..a04accf 100644 --- a/gcc/tree-vect-patterns.cc +++ b/gcc/tree-vect-patterns.cc @@ -398,8 +398,11 @@ vect_look_through_possible_promotion (vec_info *vinfo, tree op, vect_unpromoted_value *unprom, bool *single_use_p = NULL) { - tree res = NULL_TREE; tree op_type = TREE_TYPE (op); + if (!INTEGRAL_TYPE_P (op_type)) + return NULL_TREE; + + tree res = NULL_TREE; unsigned int orig_precision = TYPE_PRECISION (op_type); unsigned int min_precision = orig_precision; stmt_vec_info caster = NULL; @@ -3881,6 +3884,7 @@ vect_recog_vector_vector_shift_pattern (vec_info *vinfo, if (TREE_CODE (oprnd0) != SSA_NAME || TREE_CODE (oprnd1) != SSA_NAME || TYPE_MODE (TREE_TYPE (oprnd0)) == TYPE_MODE (TREE_TYPE (oprnd1)) + || !INTEGRAL_TYPE_P (TREE_TYPE (oprnd0)) || !type_has_mode_precision_p (TREE_TYPE (oprnd1)) || TYPE_PRECISION (TREE_TYPE (lhs)) != TYPE_PRECISION (TREE_TYPE (oprnd0))) |