From 98f510444c41861865ac4d815df738fbc0fac93a Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 21 Jan 2015 22:59:34 +0100 Subject: [PATCH] re PR debug/64511 (ICE at -O3 with -g enabled on x86_64-linux-gnu) 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 --- gcc/ChangeLog | 5 +++++ gcc/simplify-rtx.c | 6 ++++-- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr64511.c | 23 +++++++++++++++++++++++ 4 files changed, 35 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr64511.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e96a9e156d0..190fdfdc8aa 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2015-01-21 Jakub Jelinek + 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. diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index d26267d1717..5c9e3bf1667 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -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)); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 057f0ca297d..f093c78841c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2015-01-21 Jakub Jelinek + PR debug/64511 + * gcc.dg/pr64511.c: New test. + PR rtl-optimization/62078 * g++.dg/opt/pr62078.C: New test. diff --git a/gcc/testsuite/gcc.dg/pr64511.c b/gcc/testsuite/gcc.dg/pr64511.c new file mode 100644 index 00000000000..83cb5af807c --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr64511.c @@ -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); +} -- 2.30.2