re PR middle-end/64088 (ICE: in fold_abs_const, at fold-const.c:15550)

2014-11-27  Richard Biener  <rguenther@suse.de>

	PR middle-end/64088
	* fold-const.c (const_unop): Re-instantiate missing condition
	before calling fold_abs_const.

	* gcc.dg/torture/pr64088.c: New testcase.

	PR tree-optimization/64088
	* tree-ssa-tail-merge.c (update_debug_stmt): After resetting
	the stmt break from the loop over use operands.

	* gcc.dg/torture/pr64091.c: New testcase.

From-SVN: r218128
This commit is contained in:
Richard Biener 2014-11-27 14:22:29 +00:00 committed by Richard Biener
parent c17eac8561
commit a92bf1b1c7
6 changed files with 71 additions and 11 deletions

View File

@ -1,3 +1,13 @@
2014-11-27 Richard Biener <rguenther@suse.de>
PR middle-end/64088
* fold-const.c (const_unop): Re-instantiate missing condition
before calling fold_abs_const.
PR tree-optimization/64088
* tree-ssa-tail-merge.c (update_debug_stmt): After resetting
the stmt break from the loop over use operands.
2014-11-27 Ilya Tocar <ilya.tocar@intel.com>
* config/i386/cpuid.h (bit_MPX, bit_BNDREGS, bit_BNDCSR):

View File

@ -1481,7 +1481,9 @@ const_unop (enum tree_code code, tree type, tree arg0)
}
case ABS_EXPR:
return fold_abs_const (arg0, type);
if (TREE_CODE (arg0) == INTEGER_CST || TREE_CODE (arg0) == REAL_CST)
return fold_abs_const (arg0, type);
break;
case CONJ_EXPR:
if (TREE_CODE (arg0) == COMPLEX_CST)

View File

@ -1,3 +1,11 @@
2014-11-27 Richard Biener <rguenther@suse.de>
PR middle-end/64088
* gcc.dg/torture/pr64088.c: New testcase.
PR tree-optimization/64088
* gcc.dg/torture/pr64091.c: New testcase.
2014-11-27 Ilya Tocar <ilya.tocar@intel.com>
* g++.dg/ext/mv2.C: Add test for target ("avx512f").

View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
extern int abs (int);
extern void attenuate_curve(int*);
int a;
void
setup_tone_curves_center_boost ()
{
int b[0];
a = 0;
for (; a < 6; a++)
{
int c = abs (a);
b[a] = c;
}
attenuate_curve (b);
}

View File

@ -0,0 +1,28 @@
/* { dg-do compile } */
/* { dg-additional-options "-g" } */
extern int foo(void);
int main(void)
{
int i, a, b;
if (foo())
return 0;
for (i = 0, a = 0, b = 0; i < 3; i++, a++)
{
if (foo())
break;
if (b += a)
a = 0;
}
if (!a)
return 2;
b += a;
return 0;
}

View File

@ -1606,9 +1606,7 @@ update_debug_stmt (gimple stmt)
{
use_operand_p use_p;
ssa_op_iter oi;
basic_block bbdef, bbuse;
gimple def_stmt;
tree name;
basic_block bbuse;
if (!gimple_debug_bind_p (stmt))
return;
@ -1616,19 +1614,16 @@ update_debug_stmt (gimple stmt)
bbuse = gimple_bb (stmt);
FOR_EACH_PHI_OR_STMT_USE (use_p, stmt, oi, SSA_OP_USE)
{
name = USE_FROM_PTR (use_p);
gcc_assert (TREE_CODE (name) == SSA_NAME);
def_stmt = SSA_NAME_DEF_STMT (name);
gcc_assert (def_stmt != NULL);
bbdef = gimple_bb (def_stmt);
tree name = USE_FROM_PTR (use_p);
gimple def_stmt = SSA_NAME_DEF_STMT (name);
basic_block bbdef = gimple_bb (def_stmt);
if (bbdef == NULL || bbuse == bbdef
|| dominated_by_p (CDI_DOMINATORS, bbuse, bbdef))
continue;
gimple_debug_bind_reset_value (stmt);
update_stmt (stmt);
break;
}
}