[Bug c/59101] New: integer wrong code bug

[Bug c/59101] New: integer wrong code bug

[regehr at cs dot utah.edu]

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)

[Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug

[jakub at gcc dot gnu.org]

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.

[Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug

[jakub at gcc dot gnu.org]

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.

[Bug target/59101] [4.7/4.8/4.9 Regression] integer wrong code bug

[jakub at gcc dot gnu.org]

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

[Bug target/59101] [4.7 Regression] integer wrong code bug

[rguenth at gcc dot gnu.org]

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

[Bug target/59101] [4.7 Regression] integer wrong code bug

[jakub at gcc dot gnu.org]

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

[Bug target/59101] [4.7 Regression] integer wrong code bug

[jakub at gcc dot gnu.org]

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.