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

re PR tree-optimization/81227 (ICE in get_single_symbol, at tree-vrp.c:799)

Browse Source 
2017-06-28  Richard Biener  <rguenther@suse.de>

	PR middle-end/81227
	* fold-const.c (negate_expr_p): Use TYPE_UNSIGNED, not
	TYPE_OVERFLOW_WRAPS.
	* match.pd (negate_expr_p): Likewise.
	* tree-ssa-reassoc.c (optimize_range_tests_diff): Use
	fold_build2, not fold_binary.

	* gcc.dg/pr81227.c: New testcase.

From-SVN: r249742
This commit is contained in:
Richard Biener 2017-06-28 14:24:00 +00:00 committed by Richard Biener
parent 00eee3fa2a
commit 56a6d474ab
6 changed files with 39 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
2017-06-28 Richard Biener <rguenther@suse.de>
PR middle-end/81227
* fold-const.c (negate_expr_p): Use TYPE_UNSIGNED, not
TYPE_OVERFLOW_WRAPS.
* match.pd (negate_expr_p): Likewise.
* tree-ssa-reassoc.c (optimize_range_tests_diff): Use
fold_build2, not fold_binary.
2017-06-28 Wilco Dijkstra <wdijkstr@arm.com> 2017-06-28 Wilco Dijkstra <wdijkstr@arm.com>
* config/aarch64/aarch64 (aarch64_expand_mov_immediate): * config/aarch64/aarch64 (aarch64_expand_mov_immediate):

2
gcc/fold-const.c
View File

@ -383,7 +383,7 @@ negate_expr_p (tree t)
switch (TREE_CODE (t)) switch (TREE_CODE (t))
{ {
case INTEGER_CST: case INTEGER_CST:
if (INTEGRAL_TYPE_P (type) && TYPE_OVERFLOW_WRAPS (type)) if (INTEGRAL_TYPE_P (type) && TYPE_UNSIGNED (type))
return true; return true;
/* Check that -CST will not overflow type. */ /* Check that -CST will not overflow type. */

2
gcc/match.pd
View File

@ -914,7 +914,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(match negate_expr_p (match negate_expr_p
INTEGER_CST INTEGER_CST
(if ((INTEGRAL_TYPE_P (type) (if ((INTEGRAL_TYPE_P (type)
&& TYPE_OVERFLOW_WRAPS (type)) && TYPE_UNSIGNED (type))
|| (!TYPE_OVERFLOW_SANITIZED (type) || (!TYPE_OVERFLOW_SANITIZED (type)
&& may_negate_without_overflow_p (t))))) && may_negate_without_overflow_p (t)))))
(match negate_expr_p (match negate_expr_p

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2017-06-28 Richard Biener <rguenther@suse.de>
PR middle-end/81227
* gcc.dg/pr81227.c: New testcase.
2017-06-28 Michael Meissner <meissner@linux.vnet.ibm.com> 2017-06-28 Michael Meissner <meissner@linux.vnet.ibm.com>
PR target/81193 PR target/81193

22
gcc/testsuite/gcc.dg/pr81227.c Normal file
View File

@ -0,0 +1,22 @@
/* Copy of gcc.c-torture/compile/pr80443.c */
/* { dg-do compile } */
/* { dg-options "-O2 -fwrapv" } */
struct S { int a : 1; } b, c;
signed char d, e, f;
void
foo ()
{
while (f)
{
signed char g = b.a;
if (g)
b.a = ~(1 + (d || c.a));
if (b.a < g && b.a)
g = 0;
if (b.a > c.a)
b.a = g;
c.a = e;
}
}

2
gcc/tree-ssa-reassoc.c
View File

@ -2561,7 +2561,7 @@ optimize_range_tests_diff (enum tree_code opcode, tree type,
tem2 = fold_convert (type, tem2); tem2 = fold_convert (type, tem2);
lowi = fold_convert (type, lowi); lowi = fold_convert (type, lowi);
mask = fold_build1 (BIT_NOT_EXPR, type, tem1); mask = fold_build1 (BIT_NOT_EXPR, type, tem1);
tem1 = fold_binary (MINUS_EXPR, type, tem1 = fold_build2 (MINUS_EXPR, type,
fold_convert (type, rangei->exp), lowi); fold_convert (type, rangei->exp), lowi);
tem1 = fold_build2 (BIT_AND_EXPR, type, tem1, mask); tem1 = fold_build2 (BIT_AND_EXPR, type, tem1, mask);
lowj = build_int_cst (type, 0); lowj = build_int_cst (type, 0);