[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 --- Comment #7 from Marc Glisse --- (In reply to Richard Biener from comment #3) > It's not unused, it's stored to memory. Of course, I read the testcase too quickly and thought *r was a throw-away local variable... Sorry about that.

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #6

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread arigo at tunes dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 --- Comment #4 from Armin Rigo --- Ah, sorry about that; I only checked the 5.x branch. My mistake.

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 --- Comment #3 from Richard Biener --- (In reply to Marc Glisse from comment #2) > (In reply to Marc Glisse from comment #1) > > movl%edi, (%rdx) > > Looks like we fail to notice that the result of the addition is unused and > keep this

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 --- Comment #2 from Marc Glisse --- (In reply to Marc Glisse from comment #1) > movl%edi, (%rdx) Looks like we fail to notice that the result of the addition is unused and keep this dead store...

[Bug target/70734] __builtin_add_overflow emits poor code on x86-64

2016-04-20 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70734 --- Comment #1 from Marc Glisse --- gcc-6 produces .cfi_startproc addl%esi, %edi movl%edi, (%rdx) jo .L9 rep ret .L9: pushq %rax .cfi_def_cfa_offset 16 callabort