diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2015-01-21 22:59:34 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2015-01-21 22:59:34 +0100 |
| commit | 98f510444c41861865ac4d815df738fbc0fac93a (patch) | |
| tree | 1fa4ffd08de9e492888996917c3d6e158166d429 | |
| parent | b85a3242397d2c63d1185bbc17386520335313cb (diff) | |
| download | gcc-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
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/simplify-rtx.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr64511.c | 23 |
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); +} |