[gcc r12-9722] middle-end/110182 - TYPE_PRECISION on VECTOR_TYPE causes wrong-code
Richard Biener
rguenth@gcc.gnu.org
Fri Jun 23 11:30:20 GMT 2023
https://gcc.gnu.org/g:f06f1b4102b1c6965ad6b1da0094d6de5c3a2940
commit r12-9722-gf06f1b4102b1c6965ad6b1da0094d6de5c3a2940
Author: Richard Biener <rguenther@suse.de>
Date: Fri Jun 9 09:29:09 2023 +0200
middle-end/110182 - TYPE_PRECISION on VECTOR_TYPE causes wrong-code
When folding two conversions in a row we use TYPE_PRECISION but
that's invalid for VECTOR_TYPE. The following fixes this by
using element_precision instead.
PR middle-end/110182
* match.pd (two conversions in a row): Use element_precision
to DTRT for VECTOR_TYPE.
(cherry picked from commit 3e12669a0eb968cfcbe9242b382fd8020935edf8)
Diff:
---
gcc/match.pd | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/gcc/match.pd b/gcc/match.pd
index 70b85b965b9..f2828006fd6 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -3711,19 +3711,19 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
int inside_ptr = POINTER_TYPE_P (inside_type);
int inside_float = FLOAT_TYPE_P (inside_type);
int inside_vec = VECTOR_TYPE_P (inside_type);
- unsigned int inside_prec = TYPE_PRECISION (inside_type);
+ unsigned int inside_prec = element_precision (inside_type);
int inside_unsignedp = TYPE_UNSIGNED (inside_type);
int inter_int = INTEGRAL_TYPE_P (inter_type);
int inter_ptr = POINTER_TYPE_P (inter_type);
int inter_float = FLOAT_TYPE_P (inter_type);
int inter_vec = VECTOR_TYPE_P (inter_type);
- unsigned int inter_prec = TYPE_PRECISION (inter_type);
+ unsigned int inter_prec = element_precision (inter_type);
int inter_unsignedp = TYPE_UNSIGNED (inter_type);
int final_int = INTEGRAL_TYPE_P (type);
int final_ptr = POINTER_TYPE_P (type);
int final_float = FLOAT_TYPE_P (type);
int final_vec = VECTOR_TYPE_P (type);
- unsigned int final_prec = TYPE_PRECISION (type);
+ unsigned int final_prec = element_precision (type);
int final_unsignedp = TYPE_UNSIGNED (type);
}
(switch
More information about the Gcc-cvs
mailing list