public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "LpSolit at netscape dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug web/64968] Upgrade GCC Bugzilla to 5.0
Date: Thu, 30 Apr 2015 20:53:00 -0000	[thread overview]
Message-ID: <bug-64968-4-thgfsQuqWf@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-64968-4@http.gcc.gnu.org/bugzilla/>

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

--- Comment #29 from Frédéric Buclin <LpSolit at netscape dot net> ---
One more, at :45:

 Matt Breedlove 2015-04-30 20:45:32 UTC

I now have no doubt that this is not a coincidence.
>From gcc-bugs-return-485149-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Apr 30 21:00:37 2015
Return-Path: <gcc-bugs-return-485149-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 67284 invoked by alias); 30 Apr 2015 21:00:36 -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 67172 invoked by uid 48); 30 Apr 2015 21:00:32 -0000
From: "vries at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/65955] New: [arm] ICE during movcond_addsi split
Date: Thu, 30 Apr 2015 21:00:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: vries 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_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-65955-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-04/txt/msg02701.txt.bz2
Content-length: 4523

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

            Bug ID: 65955
           Summary: [arm] ICE during movcond_addsi split
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

When bootstrapping r222257 with ada on arm, I run into this error during
stage2:
...
build/./prev-gcc/xgcc -Bbuild/./prev-gcc/ -Binstall/arm-linux-gnueabihf/bin/
-Binstall/arm-linux-gnueabihf/bin/ -Binstall/arm-linux-gnueabihf/lib/ -isystem
install/arm-linux-gnueabihf/include -isystem
install/arm-linux-gnueabihf/sys-include    -c -g -O2 -gtoggle  -gnatpg -gnata
-W -Wall -nostdinc -I- -I. -Iada/generated -Iada -Isrc/gcc/ada
-Isrc/gcc/ada/gcc-interface src/gcc/ada/sem_eval.adb -o ada/sem_eval.o
+===========================GNAT BUG DETECTED==============================+
| 6.0.0 20150421 (experimental) (arm-linux-gnueabihf) GCC error:           |
| RTL check: expected code 'reg', have 'const_int' in rhs_regno, at        |
|     rtl.h:1710                                                           |
| Error detected around
/home/vries/gcc_versions/devel/src/gcc/ada/sem_eval.adb:2707:8|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact command that you entered.                              |
| Also include sources listed below.                                       |
+==========================================================================+
...

The ICE happens in the movcond_addsi split:
...
#14 0x01073338 in gen_split_2620 (curr_insn=0xb541aa00, operands=0x24df368
<recog_data>) at /home/vries/gcc_versions/devel/src/gcc/config/arm/arm.md:9334
9334        if (REGNO (operands[2]) != REGNO (operands[0]))
...

because operands[2] is not a reg, and we're taking it's regno:
...
(gdb) call debug_rtx (operands[2])
(const_int 0 [0])
...

Aforementioned split (and define_insn) as a whole:
...
  9306  (define_insn_and_split "movcond_addsi"
  9307    [(set (match_operand:SI 0 "s_register_operand" "=r,l,r")
  9308          (if_then_else:SI
  9309           (match_operator 5 "comparison_operator"
  9310            [(plus:SI (match_operand:SI 3 "s_register_operand" "r,r,r")
  9311                      (match_operand:SI 4 "arm_add_operand"
"rIL,rIL,rIL"))
  9312              (const_int 0)])
  9313           (match_operand:SI 1 "arm_rhs_operand" "rI,rPy,r")
  9314           (match_operand:SI 2 "arm_rhs_operand" "rI,rPy,r")))
  9315     (clobber (reg:CC CC_REGNUM))]
  9316     "TARGET_32BIT"
  9317     "#"
  9318     "&& reload_completed"
  9319    [(set (reg:CC_NOOV CC_REGNUM)
  9320          (compare:CC_NOOV
  9321           (plus:SI (match_dup 3)
  9322                    (match_dup 4))
  9323           (const_int 0)))
  9324     (set (match_dup 0) (match_dup 1))
  9325     (cond_exec (match_dup 6)
  9326                (set (match_dup 0) (match_dup 2)))]
  9327    "
  9328    {
  9329      machine_mode mode = SELECT_CC_MODE (GET_CODE (operands[5]),
  9330                                               operands[3], operands[4]);
  9331      enum rtx_code rc = GET_CODE (operands[5]);
  9332      operands[6] = gen_rtx_REG (mode, CC_REGNUM);
  9333      gcc_assert (!(mode == CCFPmode || mode == CCFPEmode));
  9334      if (REGNO (operands[2]) != REGNO (operands[0]))
  9335        rc = reverse_condition (rc);
  9336      else
  9337        std::swap (operands[1], operands[2]);
  9338
  9339      operands[6] = gen_rtx_fmt_ee (rc, VOIDmode, operands[6],
const0_rtx);
  9340    }
  9341    "
  9342    [(set_attr "conds" "clob")
  9343     (set_attr "enabled_for_depr_it" "no,yes,yes")
  9344     (set_attr "type" "multiple")]
  9345  )
...

The insn we're trying to split is:
...
(insn 409 64 79 4 (parallel [
            (set (reg:SI 3 r3 [orig:112 D.15185 ] [112])
                (if_then_else:SI (ge (plus:SI (reg:SI 6 r6 [orig:141 D.15193 ]
[141])
                            (const_int -1 [0xffffffffffffffff]))
                        (const_int 0 [0]))
                    (reg:SI 6 r6 [orig:141 D.15193 ] [141])
                    (const_int 0 [0])))
            (clobber (reg:CC 100 cc))
        ]) src/gcc/ada/sem_eval.adb:2658 258 {movcond_addsi}
     (nil))
...


  parent reply	other threads:[~2015-04-30 20:53 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-07 14:23 [Bug web/64968] New: " LpSolit at netscape dot net
2015-02-07 14:44 ` [Bug web/64968] " trippels at gcc dot gnu.org
2015-02-09 10:39 ` LpSolit at netscape dot net
2015-02-09 11:43 ` fche at redhat dot com
2015-02-11 14:37 ` LpSolit at netscape dot net
2015-02-11 16:33 ` fche at redhat dot com
2015-02-11 20:46 ` LpSolit at netscape dot net
2015-02-11 20:48 ` LpSolit at netscape dot net
2015-04-18 18:30 ` LpSolit at netscape dot net
2015-04-27 15:13 ` mikael at gcc dot gnu.org
2015-04-27 17:39 ` fche at redhat dot com
2015-04-27 18:34 ` LpSolit at netscape dot net
2015-04-27 19:47 ` LpSolit at netscape dot net
2015-04-28 16:28 ` trippels at gcc dot gnu.org
2015-04-28 18:26 ` LpSolit at netscape dot net
2015-04-29 12:27 ` LpSolit at netscape dot net
2015-04-29 16:02 ` trippels at gcc dot gnu.org
2015-04-30 13:48 ` trippels at gcc dot gnu.org
2015-04-30 16:34 ` LpSolit at netscape dot net
2015-04-30 20:53 ` LpSolit at netscape dot net [this message]
2015-05-01  9:16 ` LpSolit at netscape dot net
2015-05-03  1:00 ` LpSolit at netscape dot net
2015-05-08  6:22 ` trippels at gcc dot gnu.org
2015-05-08  6:46 ` schwab@linux-m68k.org
2015-05-08  6:51 ` trippels at gcc dot gnu.org
2015-05-08 11:02 ` LpSolit at netscape dot net
2015-05-08 18:55 ` LpSolit at netscape dot net
2015-05-08 19:04 ` trippels at gcc dot gnu.org
2015-05-15 14:06 ` LpSolit at netscape dot net
2015-05-26 14:15 ` trippels at gcc dot gnu.org
2015-05-26 17:41 ` fche at redhat dot com
2015-07-13 10:49 ` trippels at gcc dot gnu.org
2015-09-25  9:05 ` trippels at gcc dot gnu.org
2015-09-26 15:28 ` LpSolit at netscape dot net

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-64968-4-thgfsQuqWf@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).