public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/59101] New: integer wrong code bug
@ 2013-11-13 5:59 regehr at cs dot utah.edu
2013-11-13 9:09 ` [Bug target/59101] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: regehr at cs dot utah.edu @ 2013-11-13 5:59 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Bug ID: 59101
Summary: integer wrong code bug
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: regehr at cs dot utah.edu
$ gcc -O0 foo.c ; ./a.out
7
$ gcc -O1 foo.c ; ./a.out
6
$ cat foo.c
int printf(const char *, ...);
int a, b;
int main() {
b = (~a & 4102790424) > 0 | 6;
printf("%d\n", b);
return 0;
}
$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r204695-install/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r204695-install
--enable-languages=c,c++ --enable-multilib
Thread model: posix
gcc version 4.9.0 20131112 (experimental) (GCC)
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
@ 2013-11-13 9:09 ` jakub at gcc dot gnu.org
2013-11-13 9:31 ` jakub at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-11-13 9:09 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-11-13
CC| |jakub at gcc dot gnu.org
Component|c |target
Target Milestone|--- |4.7.4
Summary|integer wrong code bug |[4.7/4.8/4.9 Regression]
| |integer wrong code bug
Ever confirmed|0 |1
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Sounds to be a bug in the x86_64 *anddi_2 pattern. If the constant is > 0 and
has bit 31 set, then we can't match CCNOmode, just CCZmode.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
2013-11-13 9:09 ` [Bug target/59101] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
@ 2013-11-13 9:31 ` jakub at gcc dot gnu.org
2013-11-14 8:14 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-11-13 9:31 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 31205
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31205&action=edit
gcc49-pr59101.patch
Untested fix.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
2013-11-13 9:09 ` [Bug target/59101] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-11-13 9:31 ` jakub at gcc dot gnu.org
@ 2013-11-14 8:14 ` jakub at gcc dot gnu.org
2013-11-19 15:09 ` [Bug target/59101] [4.7 " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-11-14 8:14 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Nov 14 08:14:24 2013
New Revision: 204775
URL: http://gcc.gnu.org/viewcvs?rev=204775&root=gcc&view=rev
Log:
PR target/59101
* config/i386/i386.md (*anddi_2): Only allow CCZmode if
operands[2] satisfies_constraint_Z that might have bit 31 set.
* gcc.c-torture/execute/pr59101.c: New test.
Added:
branches/gcc-4_8-branch/gcc/testsuite/gcc.c-torture/execute/pr59101.c
Modified:
branches/gcc-4_8-branch/gcc/ChangeLog
branches/gcc-4_8-branch/gcc/config/i386/i386.md
branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
` (2 preceding siblings ...)
2013-11-14 8:14 ` jakub at gcc dot gnu.org
@ 2013-11-19 15:09 ` rguenth at gcc dot gnu.org
2014-05-07 16:07 ` jakub at gcc dot gnu.org
2014-05-07 16:21 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2013-11-19 15:09 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
Known to work| |4.8.3, 4.9.0
Summary|[4.7/4.8/4.9 Regression] |[4.7 Regression] integer
|integer wrong code bug |wrong code bug
Known to fail| |4.8.2
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
` (3 preceding siblings ...)
2013-11-19 15:09 ` [Bug target/59101] [4.7 " rguenth at gcc dot gnu.org
@ 2014-05-07 16:07 ` jakub at gcc dot gnu.org
2014-05-07 16:21 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-05-07 16:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed May 7 16:07:21 2014
New Revision: 210176
URL: http://gcc.gnu.org/viewcvs?rev=210176&root=gcc&view=rev
Log:
Backported from mainline
2013-11-14 Jakub Jelinek <jakub@redhat.com>
Uros Bizjak <ubizjak@gmail.com>
PR target/59101
* config/i386/i386.md (*anddi_2): Only allow CCZmode if
operands[2] satisfies_constraint_Z that might have bit 31 set.
* gcc.c-torture/execute/pr59101.c: New test.
Added:
branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/execute/pr59101.c
Modified:
branches/gcc-4_7-branch/gcc/ChangeLog
branches/gcc-4_7-branch/gcc/config/i386/i386.md
branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug target/59101] [4.7 Regression] integer wrong code bug
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
` (4 preceding siblings ...)
2014-05-07 16:07 ` jakub at gcc dot gnu.org
@ 2014-05-07 16:21 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-05-07 16:21 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59101
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Known to work| |4.7.4
Resolution|--- |FIXED
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2014-05-07 16:21 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-11-13 5:59 [Bug c/59101] New: integer wrong code bug regehr at cs dot utah.edu
2013-11-13 9:09 ` [Bug target/59101] [4.7/4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-11-13 9:31 ` jakub at gcc dot gnu.org
2013-11-14 8:14 ` jakub at gcc dot gnu.org
2013-11-19 15:09 ` [Bug target/59101] [4.7 " rguenth at gcc dot gnu.org
2014-05-07 16:07 ` jakub at gcc dot gnu.org
2014-05-07 16:21 ` jakub at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).