public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/61446] New: [4.10 Regression]: ICE in copyprop_hardreg_forward_1, at regcprop.c with -O2 -m32 -march=corei7
@ 2014-06-08  8:18 ubizjak at gmail dot com
  2014-06-08 10:57 ` [Bug rtl-optimization/61446] " dominiq at lps dot ens.fr
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: ubizjak at gmail dot com @ 2014-06-08  8:18 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 61446
           Summary: [4.10 Regression]: ICE in copyprop_hardreg_forward_1,
                    at regcprop.c with -O2 -m32 -march=corei7
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ubizjak at gmail dot com

Following testcase:

--cut here--
unsigned long long
__fixunssfdi (float a)
{
  const double dfa = a;
  const unsigned int hi = dfa / 0x1p32f;
  const unsigned int lo = dfa - (double) hi * 0x1p32f;

  return ((unsigned long long) hi << (4 * (8))) | lo;
}
--cut here--

ICEs on x86_64-pc-linux-gnu with "-O2 -m32 -march=corei7":

./cc1 -O2 -m32 -march=corei7 ree.c
 __fixunssfdi
Analyzing compilation unit
Performing interprocedural optimizations
 <*free_lang_data> <visibility> <early_local_cleanups> <*free_inline_summary>
<whole-program> <profile_estimate> <devirt> <cp> <inline> <pure-const>
<static-var> <comdats>Assembling functions:
 __fixunssfdi
ree.c: In function ‘__fixunssfdi’:
ree.c:11:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 54 11 47 2 (set (reg:DI 0 ax)
        (reg:DI 21 xmm0)) ree.c:7 89 {*movdi_internal}
     (expr_list:REG_UNUSED (reg:DI 0 ax)
        (nil)))
ree.c:11:1: internal compiler error: in copyprop_hardreg_forward_1, at
regcprop.c:776
0x96bec8 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/uros/gcc-svn/trunk/gcc/rtl-error.c:109
0x96beef _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/uros/gcc-svn/trunk/gcc/rtl-error.c:120
0x9462a4 copyprop_hardreg_forward_1
        /home/uros/gcc-svn/trunk/gcc/regcprop.c:776
0x94645a execute
        /home/uros/gcc-svn/trunk/gcc/regcprop.c:1264
Please submit a full bug report,
...

_.split2 pass generates:

...
(insn 11 45 46 2 (set (reg/v:SI 0 ax [orig:85 hi ] [85])
        (reg:SI 2 cx [99])) ree.c:7 90 {*movsi_internal}
     (nil))
(insn 46 11 47 2 (set (reg:DI 21 xmm0 [118])
        (zero_extend:DI (reg/v:SI 0 ax [orig:85 hi ] [85]))) ree.c:10 133
{*zero_extendsidi2}
     (nil))
(insn 47 46 48 2 (set (mem/c:DI (reg/f:SI 7 sp) [0  S8 A64])
        (reg:DI 21 xmm0 [118])) ree.c:10 89 {*movdi_internal}
     (nil))
(insn 48 47 13 2 (set (reg:DF 9 st(1) [orig:101 D.1856 ] [101])
        (float:DF (mem/c:DI (reg/f:SI 7 sp) [0  S8 A64]))) ree.c:10 206
{*floatdidf2_i387}
     (nil))
...


and this sequence is transformed in _.ree pass to:

...
(insn 11 45 54 2 (set (reg:DI 21 xmm0)
        (zero_extend:DI (reg:SI 2 cx [99]))) ree.c:7 133 {*zero_extendsidi2}
     (nil))
(insn 54 11 47 2 (set (reg:DI 0 ax)
        (reg:DI 21 xmm0)) ree.c:7 -1
     (nil))
(insn 47 54 48 2 (set (mem/c:DI (reg/f:SI 7 sp) [0  S8 A64])
        (reg:DI 21 xmm0 [118])) ree.c:10 89 {*movdi_internal}
     (nil))
(insn 48 47 13 2 (set (reg:DF 9 st(1) [orig:101 D.1856 ] [101])
        (float:DF (mem/c:DI (reg/f:SI 7 sp) [0  S8 A64]))) ree.c:10 206
{*floatdidf2_i387}
     (nil))
...


(insn 54) is the problematic instruction.
>From gcc-bugs-return-453476-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 08 08:19:52 2014
Return-Path: <gcc-bugs-return-453476-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 3125 invoked by alias); 8 Jun 2014 08:19:51 -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 3086 invoked by uid 48); 8 Jun 2014 08:19:48 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug rtl-optimization/61446] [4.10 Regression]: ICE in copyprop_hardreg_forward_1, at regcprop.c with -O2 -m32 -march=corei7
Date: Sun, 08 Jun 2014 08:19:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: rtl-optimization
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.10.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cf_gcctarget blocked target_milestone
Message-ID: <bug-61446-4-lHgBml9HXG@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61446-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61446-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-06/txt/msg00558.txt.bz2
Content-length: 405

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |i686
             Blocks|                            |61423
   Target Milestone|---                         |4.10.0
>From gcc-bugs-return-453477-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 08 08:21:44 2014
Return-Path: <gcc-bugs-return-453477-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 4401 invoked by alias); 8 Jun 2014 08:21:43 -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 4360 invoked by uid 48); 8 Jun 2014 08:21:40 -0000
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/61423] Incorrect conversion from unsigned int to floating point
Date: Sun, 08 Jun 2014 08:21:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: unknown
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ubizjak at gmail dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61423-4-qXZ7i71i6u@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61423-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61423-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-06/txt/msg00559.txt.bz2
Content-length: 319

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

--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Uroš Bizjak from comment #5)
> Created attachment 32903 [details]
> Testcase that fails in REE pass
> 
> This testcase fails with patched gcc in REE pass:

This is now PR61446.
>From gcc-bugs-return-453478-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Sun Jun 08 08:59:28 2014
Return-Path: <gcc-bugs-return-453478-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 17042 invoked by alias); 8 Jun 2014 08:59:27 -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 16984 invoked by uid 48); 8 Jun 2014 08:59:21 -0000
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/61444] Missing "undeclared identifier" message
Date: Sun, 08 Jun 2014 08:59: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: enhancement
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: NEW
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_status cf_reconfirmed_on everconfirmed bug_severity
Message-ID: <bug-61444-4-EANsR2Hf8g@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61444-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61444-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-06/txt/msg00560.txt.bz2
Content-length: 653

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-06-08
     Ever confirmed|0                           |1
           Severity|normal                      |enhancement

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I can see one case where this would be useful: if you have a variable and you
have the same typo in two different places.


^ permalink raw reply	[flat|nested] 11+ messages in thread
end of thread, other threads:[~2014-06-18 20:02 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-08  8:18 [Bug rtl-optimization/61446] New: [4.10 Regression]: ICE in copyprop_hardreg_forward_1, at regcprop.c with -O2 -m32 -march=corei7 ubizjak at gmail dot com
2014-06-08 10:57 ` [Bug rtl-optimization/61446] " dominiq at lps dot ens.fr
2014-06-08 11:04 ` ubizjak at gmail dot com
2014-06-10  8:27 ` ubizjak at gmail dot com
2014-06-10 14:57 ` dominiq at lps dot ens.fr
2014-06-11 15:25 ` dominiq at lps dot ens.fr
2014-06-12  9:21 ` rguenth at gcc dot gnu.org
2014-06-13 16:41 ` law at gcc dot gnu.org
2014-06-13 16:42 ` law at redhat dot com
2014-06-13 16:50 ` law at gcc dot gnu.org
2014-06-18 20:02 ` uros at gcc dot gnu.org

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).