procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

middle-end/113344 - is_truth_type_for vs GENERIC tcc_comparison

Browse source 
On GENERIC tcc_comparison can have int type so restrict the PR113126
fix to vector types.

	PR middle-end/113344
	* match.pd ((double)float CMP (double)float -> float CMP float):
	Perform result type check only for vectors.
	* fold-const.cc (fold_binary_loc): Likewise.
This commit is contained in:
Richard Biener 2024-01-12 08:33:48 +01:00
parent 72b3495dfd
commit 160799b366
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gcc/fold-const.cc
View file

@ -12901,7 +12901,7 @@ fold_binary_loc (location_t loc, enum tree_code code, tree type,
newtype = TREE_TYPE (targ1);
if (element_precision (newtype) < element_precision (TREE_TYPE (arg0))
&& is_truth_type_for (newtype, type))
&& (!VECTOR_TYPE_P (type) || is_truth_type_for (newtype, type)))
return fold_build2_loc (loc, code, type,
fold_convert_loc (loc, newtype, targ0),
fold_convert_loc (loc, newtype, targ1));

2
gcc/match.pd
View file

@ -6799,7 +6799,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
? TREE_TYPE (@00) : type1);
}
(if (element_precision (TREE_TYPE (@0)) > element_precision (newtype)
&& is_truth_type_for (newtype, type))
&& (!VECTOR_TYPE_P (type) || is_truth_type_for (newtype, type)))
(cmp (convert:newtype @00) (convert:newtype @10))))))))