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

re PR debug/64511 (ICE at -O3 with -g enabled on x86_64-linux-gnu)

Browse source 
PR debug/64511
	* simplify-rtx.c (simplify_relational_operation_1): Don't try to
	optimize (eq/ne (and (side_effects) (const_int 0)) (const_int 0))
	into (eq/ne (and (not (side_effects)) (const_int 0)) (const_int 0)).

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

From-SVN: r219974
This commit is contained in:
Jakub Jelinek 2015-01-21 22:59:34 +01:00 • committed by Jakub Jelinek
parent b85a324239
commit 98f510444c
4 changed files with 35 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,5 +1,10 @@
2015-01-21 Jakub Jelinek <jakub@redhat.com>
PR debug/64511
* simplify-rtx.c (simplify_relational_operation_1): Don't try to
optimize (eq/ne (and (side_effects) (const_int 0)) (const_int 0))
into (eq/ne (and (not (side_effects)) (const_int 0)) (const_int 0)).
PR sanitizer/64706
* doc/invoke.texi (-fsanitize=vptr): Document.

6
gcc/simplify-rtx.c
View file

@ -4589,7 +4589,8 @@ simplify_relational_operation_1 (enum rtx_code code, machine_mode mode,
if ((code == EQ || code == NE)
&& op0code == AND
&& rtx_equal_p (XEXP (op0, 0), op1)
&& !side_effects_p (op1))
&& !side_effects_p (op1)
&& op1 != CONST0_RTX (cmp_mode))
{
rtx not_y = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 1), cmp_mode);
rtx lhs = simplify_gen_binary (AND, cmp_mode, not_y, XEXP (op0, 0));
@ -4602,7 +4603,8 @@ simplify_relational_operation_1 (enum rtx_code code, machine_mode mode,
if ((code == EQ || code == NE)
&& op0code == AND
&& rtx_equal_p (XEXP (op0, 1), op1)
&& !side_effects_p (op1))
&& !side_effects_p (op1)
&& op1 != CONST0_RTX (cmp_mode))
{
rtx not_x = simplify_gen_unary (NOT, cmp_mode, XEXP (op0, 0), cmp_mode);
rtx lhs = simplify_gen_binary (AND, cmp_mode, not_x, XEXP (op0, 1));

3
gcc/testsuite/ChangeLog
View file

@ -1,5 +1,8 @@
2015-01-21 Jakub Jelinek <jakub@redhat.com>
PR debug/64511
* gcc.dg/pr64511.c: New test.
PR rtl-optimization/62078
* g++.dg/opt/pr62078.C: New test.

23
gcc/testsuite/gcc.dg/pr64511.c Normal file
View file

@ -0,0 +1,23 @@
/* PR debug/64511 */
/* { dg-do compile } */
/* { dg-options "-O3 -g" } */
int a, c;
int *volatile b;
void
foo (int p)
{
int d;
int *e = &a;
d = ((p == 0) & *e) != 0;
b = e;
for (; c;)
;
}
void
bar (void)
{
foo (1);
}