[Bug target/63965] New: [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[Bug target/63965] New: [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

            Bug ID: 63965
           Summary: [5 Regression] ICE: in extract_constrain_insn, at
                    recog.c:2230 on ppc64
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
                CC: meissner at gcc dot gnu.org, uweigand at gcc dot gnu.org
              Host: powerpc64-unknown-linux-gnu
            Target: powerpc64-unknown-linux-gnu
             Build: powerpc64-unknown-linux-gnu

Two new ICEs in the testsuite:

trippels@gcc2-power8 testsuite % gcc -O2 -maltivec gcc.target/powerpc/pr27158.c
gcc.target/powerpc/pr27158.c: In function ‘foo’:
gcc.target/powerpc/pr27158.c:21:1: error: insn does not satisfy its
constraints:
 }
 ^
(insn 54 19 53 4 (set (reg:V4SF 10 10)
        (const_vector:V4SF [
                (const_double:SF
1.401298464324817070923729583289916131280261941876516e-45 [0x0.8p-148])
                (const_double:SF
1.401298464324817070923729583289916131280261941876516e-45 [0x0.8p-148])
                (const_double:SF
1.401298464324817070923729583289916131280261941876516e-45 [0x0.8p-148])
                (const_double:SF
1.401298464324817070923729583289916131280261941876516e-45 [0x0.8p-148])
            ])) gcc.target/powerpc/pr27158.c:19 1162 {*altivec_movv4sf}
     (nil))
gcc.target/powerpc/pr27158.c:21:1: internal compiler error: in
extract_constrain_insn, at recog.c:2230
0x1074ef7b _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:110
0x1074efc3 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/gcc/rtl-error.c:121
0x10717353 extract_constrain_insn(rtx_insn*)
        ../../gcc/gcc/recog.c:2230
0x106ef85f reload_cse_simplify_operands
        ../../gcc/gcc/postreload.c:415
0x106f2433 reload_cse_simplify
        ../../gcc/gcc/postreload.c:192
0x106f2433 reload_cse_regs_1
        ../../gcc/gcc/postreload.c:231
0x106f26f7 reload_cse_regs
        ../../gcc/gcc/postreload.c:79
0x106f26f7 execute
        ../../gcc/gcc/postreload.c:2352
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.


trippels@gcc2-power8 testsuite % gcc -c -O2 -maltivec
gcc.target/powerpc/altivec-splat.c
gcc.target/powerpc/altivec-splat.c: In function ‘v16qi_vspltisb’:
gcc.target/powerpc/altivec-splat.c:41:1: error: insn does not satisfy its
constraints:
 TEST(v16qi, v16qi, vspltisb)
 ^
(insn 53 19 52 4 (set (reg:V16QI 10 10)
        (const_vector:V16QI [
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
                (const_int 5 [0x5])
            ])) gcc.target/powerpc/altivec-splat.c:41 1161 {*altivec_movv16qi}
     (nil))
gcc.target/powerpc/altivec-splat.c:41:1: internal compiler error: in
extract_constrain_insn, at recog.c:2230
0x1074ef7b _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:110
0x1074efc3 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/gcc/rtl-error.c:121
0x10717353 extract_constrain_insn(rtx_insn*)
        ../../gcc/gcc/recog.c:2230
0x106ef85f reload_cse_simplify_operands
        ../../gcc/gcc/postreload.c:415
0x106f2433 reload_cse_simplify
        ../../gcc/gcc/postreload.c:192
0x106f2433 reload_cse_regs_1
        ../../gcc/gcc/postreload.c:231
0x106f26f7 reload_cse_regs
        ../../gcc/gcc/postreload.c:79
0x106f26f7 execute
        ../../gcc/gcc/postreload.c:2352
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.
>From gcc-bugs-return-467487-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Nov 19 14:29:06 2014
Return-Path: <gcc-bugs-return-467487-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 16829 invoked by alias); 19 Nov 2014 14:29:06 -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 16760 invoked by uid 55); 19 Nov 2014 14:29:02 -0000
From: "fxcoudert at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug sanitizer/62132] [5 Regression] FAIL: c-c++-common/asan/misalign-[12].c after r213807 on x86_64-apple-darwin13 with -m32
Date: Wed, 19 Nov 2014 14:29:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: sanitizer
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: fxcoudert at gcc dot gnu.org
X-Bugzilla-Status: WAITING
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-62132-4-p9MpsxxpFy@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-62132-4@http.gcc.gnu.org/bugzilla/>
References: <bug-62132-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-11/txt/msg01959.txt.bz2
Content-length: 597

https://gcc.gnu.org/bugzilla/show_bug.cgi?idb132

--- Comment #16 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> ---
Author: fxcoudert
Date: Wed Nov 19 14:28:23 2014
New Revision: 217776

URL: https://gcc.gnu.org/viewcvs?rev!7776&root=gcc&view=rev
Log:
    PR sanitizer/62132
    * c-c++-common/asan/misalign-1.c: Pass -fno-omit-frame-pointer on
    darwin, adjust dg-output.
    * c-c++-common/asan/misalign-2.c: Likewise.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/c-c++-common/asan/misalign-1.c
    trunk/gcc/testsuite/c-c++-common/asan/misalign-2.c

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |5.0

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-19
                 CC|                            |dje at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from David Edelsohn <dje at gcc dot gnu.org> ---
Confirmed.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

Michael Meissner <meissner at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |meissner at gcc dot gnu.org

--- Comment #2 from Michael Meissner <meissner at gcc dot gnu.org> ---
This is related to my patches for -mupper-regs-{sf,df}.  It shows up if
-maltivec is used, but not -mvsx.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[pthaugen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #3 from Pat Haugen <pthaugen at gcc dot gnu.org> ---
Created attachment 34043
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34043&action=edit
reduced testcase

Another example of error, from CPU2000 benchmark 188.ammp. Compiled with 'gcc
-c -m32 -O2 -mcpu=power7 -ffast-math unonbon.c'.

unonbon.c:63:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 140 88 272 4 (set (reg:DF 108 31 [374])
        (mem/u/c:DF (lo_sum:SI (reg:SI 9 9 [377])
                (symbol_ref/u:SI ("*.LC1") [flags 0x82])) [2  S8 A64])) 466
{*movdf_hardfloat32}
     (expr_list:REG_EQUIV (const_double:DF 1.0e+0 [0x0.8p+1])
        (nil)))
unonbon.c:63:1: internal compiler error: in extract_constrain_insn, at
recog.c:2230
0x106df363 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
    /home/pthaugen/src/gcc/trunk/gcc/gcc/rtl-error.c:110
0x106df3bb _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
    /home/pthaugen/src/gcc/trunk/gcc/gcc/rtl-error.c:121
0x106a5e6f extract_constrain_insn(rtx_insn*)
    /home/pthaugen/src/gcc/trunk/gcc/gcc/recog.c:2230
0x10680a83 reload_cse_simplify_operands
    /home/pthaugen/src/gcc/trunk/gcc/gcc/postreload.c:415
0x10681b4b reload_cse_simplify
    /home/pthaugen/src/gcc/trunk/gcc/gcc/postreload.c:134
0x10681b4b reload_cse_regs_1
    /home/pthaugen/src/gcc/trunk/gcc/gcc/postreload.c:231
0x106834cb reload_cse_regs
    /home/pthaugen/src/gcc/trunk/gcc/gcc/postreload.c:79
0x106834cb execute
    /home/pthaugen/src/gcc/trunk/gcc/gcc/postreload.c:2352
Please submit a full bug report,

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #4 from Michael Meissner <meissner at gcc dot gnu.org> ---
Created attachment 34060
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34060&action=edit
Patch to provide loading 'easy' altivec constants into GPR registers

Some vector constants can be made easily with the vector load and splat
immediate instructions and loaded into the Altivec registers.  If we are
loading into GPR registers, this patch adds an alternative to load up the
values using arithmetic operations.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #5 from Michael Meissner <meissner at gcc dot gnu.org> ---
Note, the patch will fix the errors in compiling pr27158.c and altivec-spat.c. 
It will not fix the errors in compiling unonbon.c, which is an entirely
different problem.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

Michael Meissner <meissner at gcc dot gnu.org> changed:

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

--- Comment #7 from Michael Meissner <meissner at gcc dot gnu.org> ---
Patch applied, svn version 217940.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[pthaugen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #8 from Pat Haugen <pthaugen at gcc dot gnu.org> ---
(In reply to Michael Meissner from comment #5)
> Note, the patch will fix the errors in compiling pr27158.c and
> altivec-spat.c.  It will not fix the errors in compiling unonbon.c, which is
> an entirely different problem.

pr64019 opened for the unonbon.c problem.

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #9 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Sorry for the delay. But the two ICEs still happen on gcc112 with r218013.

../gcc/configure --disable-bootstrap --disable-libstdcxx-pch --disable-libvtv
--disable-libitm --disable-libcilkrts --disable-libssp --disable-libgomp
--enable-werror --disable-multilib --enable-languages=c,c++,fortran

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[pthaugen at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #10 from Pat Haugen <pthaugen at gcc dot gnu.org> ---
(In reply to Michael Meissner from comment #6)
> Author: meissner
> Date: Fri Nov 21 18:03:09 2014
> New Revision: 217940
> 
> URL: https://gcc.gnu.org/viewcvs?rev=217940&root=gcc&view=rev
> Log:
> 2014-11-21  Michael Meissner  <meissner@linux.vnet.ibm.com>
> 
> 	PR target/63965
> 	* config/rs6000/rs6000.c (rs6000_setup_reg_addr_masks): Do not set
> 	Altivec & -16 mask if the type is not valid for Altivec registers.
> 	(rs6000_secondary_reload_memory): Add support for ((reg + const) +
> 	reg) that occurs during push_reload processing.
> 
> 	* config/rs6000/altivec.md (altivec_mov<mode>): Add instruction
> 	alternative for moving constant vectors which are easy altivec
> 	constants to GPRs.  Set the length attribute each of the
> 	alternatives.
> 
> 
> Modified:
>     trunk/gcc/ChangeLog
>     trunk/gcc/config/rs6000/rs6000-cpus.def
>     trunk/gcc/config/rs6000/rs6000.c

Looks like the changes checked in do not match the ChangeLog comments, nor the
proposed patch from comment #4.  Revision 217940 also introduced a trunk build
problem when configuring with --with-cpu=power8.
>From gcc-bugs-return-468389-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Nov 24 16:51:29 2014
Return-Path: <gcc-bugs-return-468389-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4833 invoked by alias); 24 Nov 2014 16:51:29 -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 4771 invoked by uid 48); 24 Nov 2014 16:51:25 -0000
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/61831] [4.9/ 5 Regression] runtime error: pointer being freed was not allocated
Date: Mon, 24 Nov 2014 16:51:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 4.9.1
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.3
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: priority cf_known_to_fail
Message-ID: <bug-61831-4-F06zQcpc52@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61831-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61831-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-11/txt/msg02861.txt.bz2
Content-length: 344

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida831

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
      Known to fail|4.10.0                      |5.0

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #11 from Michael Meissner <meissner at gcc dot gnu.org> ---
Author: meissner
Date: Mon Nov 24 18:58:40 2014
New Revision: 218027

URL: https://gcc.gnu.org/viewcvs?rev=218027&root=gcc&view=rev
Log:
2014-11-24  Michael Meissner  <meissner@linux.vnet.ibm.com>

    PR target/63965
    * config/rs6000/rs6000-cpus.def: Undo November 21st changes, a
    work in progress patch was committed instead of the fixes for
    63965.
    * config/rs6000/rs6000.c: Likewise.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/rs6000/rs6000-cpus.def
    trunk/gcc/config/rs6000/rs6000.c

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

--- Comment #13 from Michael Meissner <meissner at gcc dot gnu.org> ---
Author: meissner
Date: Mon Nov 24 19:27:29 2014
New Revision: 218028

URL: https://gcc.gnu.org/viewcvs?rev=218028&root=gcc&view=rev
Log:
2014-11-24  Michael Meissner  <meissner@linux.vnet.ibm.com>

    PR target/63965
    * config/rs6000/rs6000.c (rs6000_setup_reg_addr_masks): Do not set
    Altivec & -16 mask if the type is not valid for Altivec registers.
    (rs6000_secondary_reload_memory): Add support for ((reg + const) +
    reg) that occurs during push_reload processing.

    * config/rs6000/altivec.md (altivec_mov<mode>): Add instruction
    alternative for moving constant vectors which are easy altivec
    constants to GPRs.  Set the length attribute each of the
    alternatives.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/rs6000/altivec.md
    trunk/gcc/config/rs6000/rs6000.c

[Bug target/63965] [5 Regression] ICE: in extract_constrain_insn, at recog.c:2230 on ppc64

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63965

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

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

--- Comment #14 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Fixed. Thanks.