[Bug rtl-optimization/67346] New: PowerPC: could not split insn

[Bug rtl-optimization/67346] New: PowerPC: could not split insn

[anton at samba dot org]

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

            Bug ID: 67346
           Summary: PowerPC: could not split insn
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: anton at samba dot org
  Target Milestone: ---

The following testcase:

# cat testcase.i

struct {
        long f1;
} c;
int a, d, e;
volatile int b;

void fn2()
{
        a = 3;
        for (; a <= 8; a++) {
                unsigned long *f = &c.f1;
                e = 5 + 1;
                *f |= d &= e;
                b ? : b;
        }
}

void fn1()
{
        c.f1 = -2;
        fn2();
}

hits an ICE:

# gcc -O3 testcase.i
testcase.i: In function ‘fn1’:
testcase.i:22:1: error: could not split insn
 }
 ^
(insn 24 23 28 (set (reg:DI 6 6 [168])
        (ior:DI (reg:DI 6 6 [196])
            (const_int -2 [0xfffffffffffffffe]))) testcase.i:13 243
{*iordi_mask}
     (nil))
testcase.i:22:1: internal compiler error: in final_scan_insn, at final.c:2995
0x107923e3 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:109
0x104a3d6b final_scan_insn(rtx_insn*, _IO_FILE*, int, int, int*)
        ../../gcc/gcc/final.c:2995
0x104a4267 final(rtx_insn*, _IO_FILE*, int)
        ../../gcc/gcc/final.c:2058
0x104a46d7 rest_of_handle_final
        ../../gcc/gcc/final.c:4449
0x104a46d7 execute
        ../../gcc/gcc/final.c:4524
>From gcc-bugs-return-495558-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Aug 24 23:17:12 2015
Return-Path: <gcc-bugs-return-495558-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13789 invoked by alias); 24 Aug 2015 23:17:12 -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 13767 invoked by uid 48); 24 Aug 2015 23:17:08 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/67345] -Woverloaded-virtual false negative: Does not warn on overloaded virtual function
Date: Mon, 24 Aug 2015 23:17:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution:
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_severity
Message-ID: <bug-67345-4-6xscyXteBE@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67345-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67345-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: 2015-08/txt/msg01700.txt.bz2
Content-length: 293

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|major                       |normal

[Bug rtl-optimization/67346] PowerPC: could not split insn

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-08-25
                 CC|                            |amodra at gmail dot com
            Version|5.0                         |6.0
     Ever confirmed|0                           |1

[Bug target/67346] PowerPC: could not split insn

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|powerpc*                    |powerpc64*
             Status|NEW                         |UNCONFIRMED
     Ever confirmed|1                           |0

--- Comment #1 from Alan Modra <amodra at gmail dot com> ---
Oops, confirmed the wrong bug.  Doesn't reproduce here for me, but that is
likely due to local rtx_cost changes in my tree.

[Bug target/67346] PowerPC: could not split insn

[amodra at gmail dot com]

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

Alan Modra <amodra at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Alan Modra <amodra at gmail dot com> ---
Confirmed with gcc 6.0.0 20150825

[Bug target/67346] PowerPC: could not split insn

[segher at gcc dot gnu.org]

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

Segher Boessenkool <segher at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|powerpc64*                  |powerpc*
             Status|NEW                         |ASSIGNED
                 CC|                            |segher at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |segher at gcc dot gnu.org

[Bug target/67346] PowerPC: could not split insn

[segher at gcc dot gnu.org]

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

--- Comment #3 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Author: segher
Date: Tue Aug 25 19:35:15 2015
New Revision: 227183

URL: https://gcc.gnu.org/viewcvs?rev=227183&root=gcc&view=rev
Log:
rs6000: Fix PR67346

"*ior<mode>_mask" is a define_insn_and_split, so it shouldn't use
can_create_pseudo in its instruction condition, because IRA can then
create such an instruction, and the condition becomes false before
the insn is split.  Use a scratch instead.


2015-08-25  Segher Boessenkool  <segher@kernel.crashing.org>

        PR target/67346
        * config/rs6000/rs6000.md (*ior<mode>_mask): Use a match_scratch.

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

[Bug target/67346] PowerPC: could not split insn

[segher at gcc dot gnu.org]

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

Segher Boessenkool <segher at gcc dot gnu.org> changed:

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

--- Comment #4 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Fixed.  Thanks for the report, these csmith tests pick out things
nothing else does :-)