git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

re PR rtl-optimization/85300 (ICE in exact_int_to_float_conversion_p, at simplify-rtx.c:895) 

PR rtl-optimization/85300
	* combine.c (subst): Handle subst of CONST_SCALAR_INT_P new_rtx also
	into FLOAT and UNSIGNED_FLOAT like ZERO_EXTEND, return a CLOBBER if
	simplify_unary_operation fails.

	* gcc.dg/pr85300.c: New test.

From-SVN: r259285
This commit is contained in:
Jakub Jelinek 2018-04-10 17:31:57 +02:00 committed by Jakub Jelinek
parent efbf619bab
commit e0cf12bab5
4 changed files with 36 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2018-04-10 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/85300
* combine.c (subst): Handle subst of CONST_SCALAR_INT_P new_rtx also
into FLOAT and UNSIGNED_FLOAT like ZERO_EXTEND, return a CLOBBER if
simplify_unary_operation fails.
2018-04-10 Martin Liska <mliska@suse.cz>
* gdbhooks.py: Add pretty-printers for varpool_node, symtab_node,

12
gcc/combine.c
View File

@ -5575,11 +5575,15 @@ subst (rtx x, rtx from, rtx to, int in_dest, int in_cond, int unique_copy)
x = gen_rtx_CLOBBER (mode, const0_rtx);
}
else if (CONST_SCALAR_INT_P (new_rtx)
&& GET_CODE (x) == ZERO_EXTEND)
&& (GET_CODE (x) == ZERO_EXTEND
|| GET_CODE (x) == FLOAT
|| GET_CODE (x) == UNSIGNED_FLOAT))
{
x = simplify_unary_operation (ZERO_EXTEND, GET_MODE (x),
new_rtx, GET_MODE (XEXP (x, 0)));
gcc_assert (x);
x = simplify_unary_operation (GET_CODE (x), GET_MODE (x),
new_rtx,
GET_MODE (XEXP (x, 0)));
if (!x)
return gen_rtx_CLOBBER (VOIDmode, const0_rtx);
}
else
SUBST (XEXP (x, i), new_rtx);

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2018-04-10 Jakub Jelinek <jakub@redhat.com>
PR rtl-optimization/85300
* gcc.dg/pr85300.c: New test.
2018-04-10 David Malcolm <dmalcolm@redhat.com>
PR c++/85110

16
gcc/testsuite/gcc.dg/pr85300.c Normal file
View File

@ -0,0 +1,16 @@
/* PR rtl-optimization/85300 */
/* { dg-do compile } */
/* { dg-options "-O1 -g -funroll-all-loops -fno-tree-ter -fno-web" } */
void
foo (double x, unsigned char y)
{
while ((int) x < 1)
{
float a;
a = y | 0x100;
y = 0;
x = a;
}
}