OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

phiopt: Fix up two_value_replacement BOOLEAN_TYPE handling for Ada [PR98188]

Browse Source 
For Ada with LTO, boolean_{false,true}_node can be 1-bit precision boolean,
while TREE_TYPE (lhs) can be 8-bit precision boolean and thus we can end up
with wide_int mismatches.

This patch for non-VR_RANGE just use VARYING min/max manually.
The min + 1 != max check will then do the rest.

2020-12-09  Jakub Jelinek  <jakub@redhat.com>

	PR bootstrap/98188
	* tree-ssa-phiopt.c (two_value_replacement): Don't special case
	BOOLEAN_TYPEs for ranges, instead if get_range_info doesn't return
	VR_RANGE, set min/max to wi::min/max_value.
This commit is contained in:
Jakub Jelinek 2020-12-09 23:52:25 +01:00
parent ef33047a8b
commit 7d9767cb8e
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gcc/tree-ssa-phiopt.c
View File

@ -658,13 +658,13 @@ two_value_replacement (basic_block cond_bb, basic_block middle_bb,
return false;
wide_int min, max;
if (TREE_CODE (TREE_TYPE (lhs)) == BOOLEAN_TYPE)
if (get_range_info (lhs, &min, &max) != VR_RANGE)
{
min = wi::to_wide (boolean_false_node);
max = wi::to_wide (boolean_true_node);
int prec = TYPE_PRECISION (TREE_TYPE (lhs));
signop sgn = TYPE_SIGN (TREE_TYPE (lhs));
min = wi::min_value (prec, sgn);
max = wi::max_value (prec, sgn);
}
else if (get_range_info (lhs, &min, &max) != VR_RANGE)
return false;
if (min + 1 != max
|| (wi::to_wide (rhs) != min
&& wi::to_wide (rhs) != max))