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

graphite-sese-to-poly.c (extract_affine): Avoid unneded wrapping.

Browse source 
2018-06-07  Richard Biener  <rguenther@suse.de>

	* graphite-sese-to-poly.c (extract_affine): Avoid unneded
	wrapping.  Properly wrap the result of a BIT_NOT_EXPR.
	Properly wrap signed arithmetic if overflow wraps.

From-SVN: r261267
This commit is contained in:
Richard Biener 2018-06-07 09:48:31 +00:00 • committed by Richard Biener
parent c962b2c36f
commit fa8ce18938
2 changed files with 18 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2018-06-07 Richard Biener <rguenther@suse.de>
* graphite-sese-to-poly.c (extract_affine): Avoid unneded
wrapping. Properly wrap the result of a BIT_NOT_EXPR.
Properly wrap signed arithmetic if overflow wraps.
2018-06-07 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/69615

18
gcc/graphite-sese-to-poly.c
View file

@ -272,7 +272,8 @@ extract_affine (scop_p s, tree e, __isl_take isl_space *space)
lhs = extract_affine (s, integer_minus_one_node, isl_space_copy (space));
rhs = extract_affine (s, TREE_OPERAND (e, 0), space);
res = isl_pw_aff_sub (lhs, rhs);
break;
/* We need to always wrap the result of a bitwise operation. */
return wrap (res, TYPE_PRECISION (type) - (TYPE_UNSIGNED (type) ? 0 : 1));
case NEGATE_EXPR:
lhs = extract_affine (s, TREE_OPERAND (e, 0), isl_space_copy (space));
@ -285,8 +286,8 @@ extract_affine (scop_p s, tree e, __isl_take isl_space *space)
gcc_assert (! defined_in_sese_p (e, s->scop_info->region));
int dim = parameter_index_in_region (e, s->scop_info);
gcc_assert (dim != -1);
res = extract_affine_name (dim, space);
break;
/* No need to wrap a parameter. */
return extract_affine_name (dim, space);
}
case INTEGER_CST:
@ -301,11 +302,15 @@ extract_affine (scop_p s, tree e, __isl_take isl_space *space)
/* Signed values, even if overflow is undefined, get modulo-reduced.
But only if not all values of the old type fit in the new. */
if (! TYPE_UNSIGNED (type)
&& ((TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (e, 0)))
&& ((TYPE_UNSIGNED (itype)
&& TYPE_PRECISION (type) <= TYPE_PRECISION (itype))
|| TYPE_PRECISION (type) < TYPE_PRECISION (itype)))
res = wrap (res, TYPE_PRECISION (type) - 1);
break;
else if (TYPE_UNSIGNED (type)
&& (!TYPE_UNSIGNED (itype)
|| TYPE_PRECISION (type) < TYPE_PRECISION (itype)))
res = wrap (res, TYPE_PRECISION (type));
return res;
}
case NON_LVALUE_EXPR:
@ -317,7 +322,8 @@ extract_affine (scop_p s, tree e, __isl_take isl_space *space)
break;
}
if (TYPE_UNSIGNED (type))
/* For all wrapping arithmetic wrap the result. */
if (TYPE_OVERFLOW_WRAPS (type))
res = wrap (res, TYPE_PRECISION (type));
return res;