This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/71077] [7 Regression] gcc -lto raises ICE
- From: "ysrumyan at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 18 Aug 2016 12:09:50 +0000
- Subject: [Bug tree-optimization/71077] [7 Regression] gcc -lto raises ICE
- Authentication-results: sourceware.org; auth=none
- Auto-submitted: auto-generated
- References: <bug-71077-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71077
--- Comment #7 from Yuri Rumyantsev <ysrumyan at gmail dot com> ---
I checked that proposed patch fixed RF for 176.gcc.
Please, go ahead and commit your patch to trunk.
Thanks.
Yuri.
2016-08-12 20:14 GMT+03:00 patrick at parcs dot ath.cx
<gcc-bugzilla@gcc.gnu.org>:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71077
>
> --- Comment #6 from patrick at parcs dot ath.cx ---
> On Fri, 12 Aug 2016, ysrumyan at gmail dot com wrote:
>
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71077
>>
>> Yuri Rumyantsev <ysrumyan at gmail dot com> changed:
>>
>> What |Removed |Added
>> ----------------------------------------------------------------------------
>> CC| |ysrumyan at gmail dot com
>>
>> --- Comment #5 from Yuri Rumyantsev <ysrumyan at gmail dot com> ---
>> We found out that after r235653 with minor change of int->bool type 176.gcc
>> still RF on HSW machine in 32-bit if opt level equal 3. If we turn off VRP
>> phase by -fno-tree-vrp option benchmark is passed. Need to understand why this
>> simplification affects on it.
>
> My only guess is that the combining step still doesn't handle
> VECTOR_CSTs correctly. Could you please check if this patch fixes the
> runtime failure?
>
> diff --git a/gcc/tree-ssa-threadedge.c b/gcc/tree-ssa-threadedge.c
> index 170e456..0db7bda 100644
> --- a/gcc/tree-ssa-threadedge.c
> +++ b/gcc/tree-ssa-threadedge.c
> @@ -577,6 +577,7 @@ simplify_control_stmt_condition_1 (edge e,
> if (handle_dominating_asserts
> && (cond_code == EQ_EXPR || cond_code == NE_EXPR)
> && TREE_CODE (op0) == SSA_NAME
> + && INTEGRAL_TYPE_P (TREE_TYPE (op0))
> && integer_zerop (op1))
> {
> gimple *def_stmt = SSA_NAME_DEF_STMT (op0);
>
> --
> You are receiving this mail because:
> You are on the CC list for the bug.