aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2015-01-21 22:59:34 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2015-01-21 22:59:34 +0100
commit98f510444c41861865ac4d815df738fbc0fac93a (patch)
tree1fa4ffd08de9e492888996917c3d6e158166d429 /gcc
parentb85a3242397d2c63d1185bbc17386520335313cb (diff)
downloadgcc-98f510444c41861865ac4d815df738fbc0fac93a.zip
gcc-98f510444c41861865ac4d815df738fbc0fac93a.tar.gz
gcc-98f510444c41861865ac4d815df738fbc0fac93a.tar.bz2
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
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/simplify-rtx.c6
-rw-r--r--gcc/testsuite/ChangeLog3
-rw-r--r--gcc/testsuite/gcc.dg/pr64511.c23
4 files changed, 35 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e96a9e1..190fdfd 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -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.
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index d26267d..5c9e3bf 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 057f0ca..f093c78 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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.
diff --git a/gcc/testsuite/gcc.dg/pr64511.c b/gcc/testsuite/gcc.dg/pr64511.c
new file mode 100644
index 0000000..83cb5af
--- /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);
+}