[Bug target/60909] New: ICE: in extract_insn, at recog.c:2202 (unrecognizable insn) with -mrdrnd and __builtin_ia32_rdrand32_step()

[Bug target/60909] New: ICE: in extract_insn, at recog.c:2202 (unrecognizable insn) with -mrdrnd and __builtin_ia32_rdrand32_step()

[zsojka at seznam dot cz]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60909

            Bug ID: 60909
           Summary: ICE: in extract_insn, at recog.c:2202 (unrecognizable
                    insn) with -mrdrnd and __builtin_ia32_rdrand32_step()
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz

Created attachment 32645
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32645&action=edit
reduced testcase

Compiler output:
$ gcc -mrdrnd testcase.c                           
testcase.c: In function 'foo':
testcase.c:8:1: error: unrecognizable insn:
 }
 ^
(insn 10 9 11 2 (set (mem/c:SI (plus:DI (reg/f:DI 78 virtual-stack-vars)
                (const_int -4 [0xfffffffffffffffc])) [0 i+0 S4 A32])
        (if_then_else:SI (geu (reg:CCC 17 flags)
                (const_int 0 [0]))
            (reg:SI 83)
            (reg:SI 85))) testcase.c:6 -1
     (nil))
testcase.c:8:1: internal compiler error: in extract_insn, at recog.c:2202
0xac2df8 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:109
0xac2e88 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /mnt/svn/gcc-trunk/gcc/rtl-error.c:117
0xa788b6 extract_insn(rtx_def*)
        /mnt/svn/gcc-trunk/gcc/recog.c:2202
0x8d6557 instantiate_virtual_regs_in_insn
        /mnt/svn/gcc-trunk/gcc/function.c:1555
0x8d6557 instantiate_virtual_regs
        /mnt/svn/gcc-trunk/gcc/function.c:1921
0x8d6557 execute
        /mnt/svn/gcc-trunk/gcc/function.c:1972
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ gcc -v                
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-209536-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-209536-lto-fortran-checking-yes-rtl-df/
--without-cloog --without-ppl
Thread model: posix
gcc version 4.10.0 20140420 (experimental) (GCC) 

Tested revisions:
r209536 - ICE
4.9 r209346 - ICE
4.8 r209342 - ICE
4.7 r209345 - ICE
4.6 r197894 - ICE
4.5.4 - -mrdrnd not supported

[Bug target/60909] ICE: in extract_insn, at recog.c:2202 (unrecognizable insn) with -mrdrnd and __builtin_ia32_rdrand32_step()

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60909

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2014-04/msg01241.htm
                   |                            |l

--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed for mainline, patch needs to be backported to 4.7+.
>From gcc-bugs-return-449429-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 21 19:12:11 2014
Return-Path: <gcc-bugs-return-449429-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11972 invoked by alias); 21 Apr 2014 19:12:10 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11905 invoked by uid 48); 21 Apr 2014 19:12:07 -0000
From: "law at redhat dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/60902] [4.9/4.10 Regression] ffmpeg built with gcc 4.9 RC produces incorrect flac playback code
Date: Mon, 21 Apr 2014 19:12:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: law at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: law at redhat dot com
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc assigned_to
Message-ID: <bug-60902-4-xP0DhmX3iw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60902-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60902-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-04/txt/msg01449.txt.bz2
Content-length: 472

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`902

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at redhat dot com
           Assignee|unassigned at gcc dot gnu.org      |law at redhat dot com

--- Comment #21 from Jeffrey A. Law <law at redhat dot com> ---
Given c#13, likely mine.

[Bug target/60909] ICE: in extract_insn, at recog.c:2202 (unrecognizable insn) with -mrdrnd and __builtin_ia32_rdrand32_step()

[uros at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60909

--- Comment #6 from uros at gcc dot gnu.org ---
Author: uros
Date: Wed Apr 23 19:05:33 2014
New Revision: 209718

URL: http://gcc.gnu.org/viewcvs?rev=209718&root=gcc&view=rev
Log:
        Backport from mainline
        2014-04-21  Uros Bizjak  <ubizjak@gmail.com>

        PR target/60909
        * config/i386/i386.c (ix86_expand_builtin)
        <case IX86_BUILTIN_RDRAND{16,32,64}_STEP>: Use temporary
        register for target RTX.

testsuite/ChangeLog:

        Backport from mainline
        2014-04-21  Uros Bizjak  <ubizjak@gmail.com>

        PR target/60909
        * gcc.target/i386/pr60909.c: New test.


Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.target/i386/pr60909.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/config/i386/i386.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug target/60909] ICE: in extract_insn, at recog.c:2202 (unrecognizable insn) with -mrdrnd and __builtin_ia32_rdrand32_step()

[ubizjak at gmail dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 3216 bytes --]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60909

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Uroš Bizjak <ubizjak at gmail dot com> ---
Fixed everywhere.
>From gcc-bugs-return-449745-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Apr 23 19:47:07 2014
Return-Path: <gcc-bugs-return-449745-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29613 invoked by alias); 23 Apr 2014 19:47:07 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 29583 invoked by uid 48); 23 Apr 2014 19:47:03 -0000
From: "Casey at Carter dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/60943] New: [C++1y] Return type deduction interferes with ref-qualifiers
Date: Wed, 23 Apr 2014 19:47:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: Casey at Carter dot net
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter attachments.created
Message-ID: <bug-60943-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-04/txt/msg01765.txt.bz2
Content-length: 977

http://gcc.gnu.org/bugzilla/show_bug.cgi?id`943

            Bug ID: 60943
           Summary: [C++1y] Return type deduction interferes with
                    ref-qualifiers
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Casey at Carter dot net

Created attachment 32663
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id2663&actioníit
Minimal test case

When compiling this program:

struct A {
    auto f() & {}
    auto f() && {}
};

int main() {
    A{}.f();
    A a;
    a.f();
}

g++ diagnoses both calls to "f" in "main" as ambiguous, despite that the
ref-qualifiers unequivocally constrain the two member functions so that it is
never the case that both are valid. The program does compile successfully if
the "auto" return types of both "f" definitions are replaced with "void".