public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
@ 2014-06-17 2:00 su at cs dot ucdavis.edu
2014-06-17 8:39 ` [Bug middle-end/61529] [4.10 Regression] " rguenth at gcc dot gnu.org
` (10 more replies)
0 siblings, 11 replies; 12+ messages in thread
From: su at cs dot ucdavis.edu @ 2014-06-17 2:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Bug ID: 61529
Summary: ICE on valid code at -O3 on x86_64-linux-gnu in
check_probability, at basic-block.h:953
Product: gcc
Version: 4.10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: su at cs dot ucdavis.edu
The following code causes an ICE when compiled with the current gcc trunk at
-O3 on x86_64-linux-gnu in both 32-bit and 64-bit modes.
It is a regression from 4.9.x.
$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 4.10.0 20140616 (experimental) [trunk revision 211707] (GCC)
$
$ gcc-trunk -O2 small.c; a.out
$ gcc-4.9 -O3 small.c; a.out
$
$ gcc-trunk -O3 small.c
small.c: In function ‘fn1’:
small.c:4:1: internal compiler error: in check_probability, at
basic-block.h:953
fn1 ()
^
0xb905e6 check_probability
../../gcc-trunk/gcc/basic-block.h:953
0xb8dde1 check_probability
../../gcc-trunk/gcc/tree-vect-loop-manip.c:653
0xb8dde1 combine_probabilities
../../gcc-trunk/gcc/basic-block.h:962
0xb8dde1 slpeel_tree_peel_loop_to_edge
../../gcc-trunk/gcc/tree-vect-loop-manip.c:1371
0xb8e154 vect_do_peeling_for_loop_bound(_loop_vec_info*, tree_node*,
tree_node*, unsigned int, bool)
../../gcc-trunk/gcc/tree-vect-loop-manip.c:1761
0xb7f3a7 vect_transform_loop(_loop_vec_info*)
../../gcc-trunk/gcc/tree-vect-loop.c:5852
0xb9c286 vectorize_loops()
../../gcc-trunk/gcc/tree-vectorizer.c:476
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.
$
----------------------------
char a, b, c, d, e, f, g;
void
fn1 ()
{
char h = 0;
lbl:
for (c = 0; c; c = 0)
for (; a;)
for (d = 1; d; d++)
if ((b & ((g > 0) >= h)) ^ 2)
goto lbl;
for (f = 1; f; f++)
e ^= 1;
}
int
main ()
{
fn1 ();
return 0;
}
>From gcc-bugs-return-454326-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Jun 17 02:32:02 2014
Return-Path: <gcc-bugs-return-454326-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 29872 invoked by alias); 17 Jun 2014 02:32:01 -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 29819 invoked by uid 48); 17 Jun 2014 02:31:55 -0000
From: "matthew at theiselins dot net" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/61519] Seemingly incorrect vtable reference when libstdc++ built with RTTI
Date: Tue, 17 Jun 2014 02:32:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 4.8.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: matthew at theiselins 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:
Message-ID: <bug-61519-4-sDpW7HDiof@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61519-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61519-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/msg01408.txt.bz2
Content-length: 370
https://gcc.gnu.org/bugzilla/show_bug.cgi?ida519
--- Comment #2 from Matthew Iselin <matthew at theiselins dot net> ---
Where would I start in identifying what about the target is causing the issue?
The best I can come up with is an issue with the vtable prefix and/or the math
to determine the deepest object, but can't (yet) see how the target would
affect that.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
@ 2014-06-17 8:39 ` rguenth at gcc dot gnu.org
2014-08-05 5:20 ` su at cs dot ucdavis.edu
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-06-17 8:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2014-06-17
Component|tree-optimization |middle-end
Target Milestone|--- |4.10.0
Summary|ICE on valid code at -O3 on |[4.10 Regression] ICE on
|x86_64-linux-gnu in |valid code at -O3 on
|check_probability, at |x86_64-linux-gnu in
|basic-block.h:953 |check_probability, at
| |basic-block.h:953
Ever confirmed|0 |1
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
2014-06-17 8:39 ` [Bug middle-end/61529] [4.10 Regression] " rguenth at gcc dot gnu.org
@ 2014-08-05 5:20 ` su at cs dot ucdavis.edu
2014-08-05 9:06 ` jakub at gcc dot gnu.org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: su at cs dot ucdavis.edu @ 2014-08-05 5:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> ---
Here is another test case that triggers the same ICE:
$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 4.10.0 20140804 (experimental) [trunk revision 213529] (GCC)
$
$ gcc-trunk -O3 small.c
small.c: In function ‘main’:
small.c:9:1: internal compiler error: in check_probability, at
basic-block.h:956
main ()
^
0xbb3e56 check_probability
../../gcc-trunk/gcc/basic-block.h:956
0xbb1631 check_probability
../../gcc-trunk/gcc/tree-vect-loop-manip.c:653
0xbb1631 combine_probabilities
../../gcc-trunk/gcc/basic-block.h:965
0xbb1631 slpeel_tree_peel_loop_to_edge
../../gcc-trunk/gcc/tree-vect-loop-manip.c:1371
0xbb19a4 vect_do_peeling_for_loop_bound(_loop_vec_info*, tree_node*,
tree_node*, unsigned int, bool)
../../gcc-trunk/gcc/tree-vect-loop-manip.c:1761
0xba2b07 vect_transform_loop(_loop_vec_info*)
../../gcc-trunk/gcc/tree-vect-loop.c:5853
0xbbfae6 vectorize_loops()
../../gcc-trunk/gcc/tree-vectorizer.c:478
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.
$
--------------------------
struct
{
unsigned int f0;
} a;
int b, c;
int
main ()
{
unsigned int d;
int e[5];
for (; b < 1; b++)
d = 0;
for (; d < 1; d++)
a.f0 = 0;
for (; a.f0 < 1; a.f0++)
;
for (c = 0; c < 5; c++)
e[c] = 1;
if (e[0])
c = 0;
return 0;
}
>From gcc-bugs-return-457758-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Aug 05 06:04:52 2014
Return-Path: <gcc-bugs-return-457758-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 17330 invoked by alias); 5 Aug 2014 06:04: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 17222 invoked by uid 55); 5 Aug 2014 06:04:42 -0000
From: "zeccav at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/61910] undefined computation in trans-expr.c gfc_conv_cst_int_power
Date: Tue, 05 Aug 2014 06:04: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:
X-Bugzilla-Severity: minor
X-Bugzilla-Who: zeccav at gmail dot com
X-Bugzilla-Status: WAITING
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:
Message-ID: <bug-61910-4-l7I8MkQsVT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61910-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61910-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-08/txt/msg00255.txt.bz2
Content-length: 349
https://gcc.gnu.org/bugzilla/show_bug.cgi?ida910
--- Comment #3 from Vittorio Zecca <zeccav at gmail dot com> ---
A fix for the offending instruction at trans-expr.c:2107
"n = (unsigned HOST_WIDE_INT) (m < 0 ? -m : m);"
might be
"n = (unsigned HOST_WIDE_INT) (m < 0 ? - (unsigned HOST_WIDE_INT) m : m);"
So it seems this is not a sanitizer bug.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [4.10 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
2014-06-17 8:39 ` [Bug middle-end/61529] [4.10 Regression] " rguenth at gcc dot gnu.org
2014-08-05 5:20 ` su at cs dot ucdavis.edu
@ 2014-08-05 9:06 ` jakub at gcc dot gnu.org
2014-10-01 11:49 ` [Bug middle-end/61529] [5 " dcb314 at hotmail dot com
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-08-05 9:06 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dehao at gcc dot gnu.org,
| |jakub at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r210538.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (2 preceding siblings ...)
2014-08-05 9:06 ` jakub at gcc dot gnu.org
@ 2014-10-01 11:49 ` dcb314 at hotmail dot com
2014-10-17 16:10 ` renlin.li at arm dot com
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: dcb314 at hotmail dot com @ 2014-10-01 11:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #4 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Jakub Jelinek from comment #3)
> Started with r210538.
I am seeing something similar when compiling glibc
with trunk 20141001 with only -O2.
../iconv/skeleton.c: In function ‘gconv’:
../iconv/skeleton.c:792:1: internal compiler error: in check_probability, at
basic-block.h:959
}
^
0x10685aa check_probability
../../src/trunk/gcc/basic-block.h:959
0x10685aa apply_probability
../../src/trunk/gcc/basic-block.h:988
0x10685aa compute_outgoing_frequencies
../../src/trunk/gcc/cfgbuild.c:545
0x10685aa find_many_sub_basic_blocks(simple_bitmap_def*)
../../src/trunk/gcc/cfgbuild.c:636
Code ok with 20140927.
>From gcc-bugs-return-463011-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 01 12:19:33 2014
Return-Path: <gcc-bugs-return-463011-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 13731 invoked by alias); 1 Oct 2014 12:19:32 -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 13670 invoked by uid 48); 1 Oct 2014 12:19:23 -0000
From: "zadeck at naturalbridge dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/63427] hwint.h:250:29: runtime error: shift exponent 64 is too large for 64-bit type 'long int'
Date: Wed, 01 Oct 2014 12:19:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: zadeck at naturalbridge dot com
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: cc
Message-ID: <bug-63427-4-Jddl0cPihP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-63427-4@http.gcc.gnu.org/bugzilla/>
References: <bug-63427-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-10/txt/msg00032.txt.bz2
Content-length: 544
https://gcc.gnu.org/bugzilla/show_bug.cgi?idc427
Kenneth Zadeck <zadeck at naturalbridge dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |zadeck at naturalbridge dot com
--- Comment #1 from Kenneth Zadeck <zadeck at naturalbridge dot com> ---
This failure is caused by the caller trying to sign extend something with a
precision of zero. This bug should be fixed upstream of this call.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (3 preceding siblings ...)
2014-10-01 11:49 ` [Bug middle-end/61529] [5 " dcb314 at hotmail dot com
@ 2014-10-17 16:10 ` renlin.li at arm dot com
2014-10-17 16:26 ` ktkachov at gcc dot gnu.org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: renlin.li at arm dot com @ 2014-10-17 16:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Renlin Li <renlin.li at arm dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |renlin.li at arm dot com
--- Comment #5 from Renlin Li <renlin.li at arm dot com> ---
Confirm same problem while compiling glibc using arm toolchain with
-march=armv7-a -O2 configuration.
(In reply to David Binderman from comment #4)
> (In reply to Jakub Jelinek from comment #3)
> > Started with r210538.
>
> I am seeing something similar when compiling glibc
> with trunk 20141001 with only -O2.
>
> ../iconv/skeleton.c: In function ‘gconv’:
> ../iconv/skeleton.c:792:1: internal compiler error: in check_probability, at
> basic-block.h:959
> }
> ^
> 0x10685aa check_probability
> ../../src/trunk/gcc/basic-block.h:959
> 0x10685aa apply_probability
> ../../src/trunk/gcc/basic-block.h:988
> 0x10685aa compute_outgoing_frequencies
> ../../src/trunk/gcc/cfgbuild.c:545
> 0x10685aa find_many_sub_basic_blocks(simple_bitmap_def*)
> ../../src/trunk/gcc/cfgbuild.c:636
>
> Code ok with 20140927.
>From gcc-bugs-return-464369-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Oct 17 16:22:23 2014
Return-Path: <gcc-bugs-return-464369-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5030 invoked by alias); 17 Oct 2014 16:22:22 -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 4988 invoked by uid 48); 17 Oct 2014 16:22:17 -0000
From: "renlin.li at arm dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
Date: Fri, 17 Oct 2014 16:22:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: renlin.li at arm dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P1
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-61529-4-dsTww41XJg@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61529-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61529-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-10/txt/msg01390.txt.bz2
Content-length: 377
https://gcc.gnu.org/bugzilla/show_bug.cgi?ida529
--- Comment #6 from Renlin Li <renlin.li at arm dot com> ---
emit_case_nodes calls conditional_probability with a very large first argument.
After GCOV_COMPUTE_SCALE calculation, the result overflows into a negative
number.
It's recorded into the cmp_and_jump rtx as a note which is later read and
trigger the assertion.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (4 preceding siblings ...)
2014-10-17 16:10 ` renlin.li at arm dot com
@ 2014-10-17 16:26 ` ktkachov at gcc dot gnu.org
2014-10-24 9:12 ` renlin.li at arm dot com
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: ktkachov at gcc dot gnu.org @ 2014-10-17 16:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
ktkachov at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Target| |x86_64*, arm*
CC| |ktkachov at gcc dot gnu.org
Known to work| |4.9.2
Known to fail| |5.0
--- Comment #7 from ktkachov at gcc dot gnu.org ---
Filling out some fields
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (5 preceding siblings ...)
2014-10-17 16:26 ` ktkachov at gcc dot gnu.org
@ 2014-10-24 9:12 ` renlin.li at arm dot com
2014-10-28 15:46 ` renlin.li at arm dot com
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: renlin.li at arm dot com @ 2014-10-24 9:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #8 from Renlin Li <renlin.li at arm dot com> ---
I believe we observed the same behavior, and the first commit to cause the ICE
is r215739.
The newly introduced recompute_probabilities will set the probability back to
REG_BR_PROB_BASE. I will further dig into it.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (6 preceding siblings ...)
2014-10-24 9:12 ` renlin.li at arm dot com
@ 2014-10-28 15:46 ` renlin.li at arm dot com
2014-10-28 16:09 ` jiwang at gcc dot gnu.org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: renlin.li at arm dot com @ 2014-10-28 15:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #9 from Renlin Li <renlin.li at arm dot com> ---
r215830 fixes this ICE
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (7 preceding siblings ...)
2014-10-28 15:46 ` renlin.li at arm dot com
@ 2014-10-28 16:09 ` jiwang at gcc dot gnu.org
2014-11-10 17:53 ` jiwang at gcc dot gnu.org
2014-11-18 16:38 ` ramana at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: jiwang at gcc dot gnu.org @ 2014-10-28 16:09 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Jiong Wang <jiwang at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jiwang at gcc dot gnu.org
--- Comment #10 from Jiong Wang <jiwang at gcc dot gnu.org> ---
(In reply to Renlin Li from comment #9)
> r215830 fixes this ICE
Maybe it's a partial fix. Because I verified the testcase in comment #2 still
ICE on aarch64-none-elf.
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (8 preceding siblings ...)
2014-10-28 16:09 ` jiwang at gcc dot gnu.org
@ 2014-11-10 17:53 ` jiwang at gcc dot gnu.org
2014-11-18 16:38 ` ramana at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: jiwang at gcc dot gnu.org @ 2014-11-10 17:53 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
--- Comment #11 from Jiong Wang <jiwang at gcc dot gnu.org> ---
Author: jiwang
Date: Mon Nov 10 17:53:21 2014
New Revision: 217303
URL: https://gcc.gnu.org/viewcvs?rev=217303&root=gcc&view=rev
Log:
[PATCH] Partially fix PR61529, bound basic block frequency
2014-11-10 Renlin Li <Renlin.Li@arm.com>
PR middle-end/61529
gcc/
* tree-ssa-threadupdate.c (compute_path_counts): Bound path_in_freq.
gcc/testsuite/
* gcc.dg/pr61529.c: New.
Added:
trunk/gcc/testsuite/gcc.dg/pr61529.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-threadupdate.c
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug middle-end/61529] [5 Regression] ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
` (9 preceding siblings ...)
2014-11-10 17:53 ` jiwang at gcc dot gnu.org
@ 2014-11-18 16:38 ` ramana at gcc dot gnu.org
10 siblings, 0 replies; 12+ messages in thread
From: ramana at gcc dot gnu.org @ 2014-11-18 16:38 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61529
Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |ramana at gcc dot gnu.org
Resolution|--- |FIXED
--- Comment #12 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
Fixed presumably.
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2014-11-18 16:38 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-06-17 2:00 [Bug tree-optimization/61529] New: ICE on valid code at -O3 on x86_64-linux-gnu in check_probability, at basic-block.h:953 su at cs dot ucdavis.edu
2014-06-17 8:39 ` [Bug middle-end/61529] [4.10 Regression] " rguenth at gcc dot gnu.org
2014-08-05 5:20 ` su at cs dot ucdavis.edu
2014-08-05 9:06 ` jakub at gcc dot gnu.org
2014-10-01 11:49 ` [Bug middle-end/61529] [5 " dcb314 at hotmail dot com
2014-10-17 16:10 ` renlin.li at arm dot com
2014-10-17 16:26 ` ktkachov at gcc dot gnu.org
2014-10-24 9:12 ` renlin.li at arm dot com
2014-10-28 15:46 ` renlin.li at arm dot com
2014-10-28 16:09 ` jiwang at gcc dot gnu.org
2014-11-10 17:53 ` jiwang at gcc dot gnu.org
2014-11-18 16:38 ` ramana 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).