This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [ipa-vrp] ice in set_value_range
- From: Andrew Pinski <pinskia at gmail dot com>
- To: kugan <kugan dot vivekanandarajah at linaro dot org>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jan Hubicka <hubicka at ucw dot cz>
- Date: Tue, 8 Nov 2016 22:02:45 -0800
- Subject: Re: [ipa-vrp] ice in set_value_range
- Authentication-results: sourceware.org; auth=none
- References: <1549ba52-153b-6bf1-28f6-5a1d2a2562fd@linaro.org> <20161027121127.qohmzldbovabbg7m@virgil.suse.cz> <fffd3860-e4c0-cf0d-4ac7-e4fc38e75fa6@linaro.org> <20161103162451.7mq24fh7vhm5odcy@virgil.suse.cz> <db1548b8-61f7-06e1-f9ef-e63f21fc0e86@linaro.org>
On Tue, Nov 8, 2016 at 2:11 AM, kugan <kugan.vivekanandarajah@linaro.org> wrote:
> Hi,
>
> On 04/11/16 03:24, Martin Jambor wrote:
>>
>> Hi,
>>
>> On Fri, Oct 28, 2016 at 01:58:13PM +1100, kugan wrote:
>>>>
>>>> Do I understand it correctly that extract_range_from_unary_expr deals
>>>> with any potential type conversions better (compared to what you did
>>>> before here)?
>>>
>>>
>>> Yes, this can be wrong at times too as reported in
>>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78121. I have separated this
>>> part of the patch with a testcase.
>>>
>>> Please note that I am using fold_convert in the attached patch.
>>>
>>> Bootstrapped and regression tested on x86_64-linux-gnu with no new
>>> regressions. Is this OK for trunk?
>>>
>>
>> I have no objections, but we need to wait for Honza.
>
> Thanks.
>
> Honza, is this OK for you ?
Either this patch or the patch for "Handle unary pass-through jump
functions for ipa-vrp" caused a bootstrap failure on
aarch64-linux-gnu.
Bootstrap comparison failure!
gcc/go/types.o differs
gcc/fortran/class.o differs
gcc/tree-ssa-live.o differs
gcc/data-streamer-out.o differs
gcc/ira-build.o differs
gcc/hsa-gen.o differs
gcc/hsa-brig.o differs
gcc/omp-low.o differs
gcc/lto-streamer-in.o differs
gcc/real.o differs
gcc/final.o differs
gcc/df-core.o differs
I bootstrap with the following options:
--with-cpu=thunderx+lse --enable-languages=c,c++,fortran,go
--disable-werror --with-sysroot=/ --enable-plugins
--enable-gnu-indirect-function
I have not tried removing the +lse part though
Thanks,
Andrew Pinski
>
> Thanks,
> Kugan
>
>
>>
>> Thanks,
>>
>> Martin
>>
>>> Thanks,
>>> Kugan
>>>
>>>
>>> gcc/ChangeLog:
>>>
>>> 2016-10-28 Kugan Vivekanandarajah <kuganv@linaro.org>
>>>
>>> PR ipa/78121
>>> * ipa-cp.c (propagate_vr_accross_jump_function): Pass param type.
>>> Also fold constant passed as argument while computing value
>>> range.
>>> (propagate_constants_accross_call): Pass param type.
>>> * ipa-prop.c: export ipa_get_callee_param_type.
>>> * ipa-prop.h: export ipa_get_callee_param_type.
>>>
>>> gcc/testsuite/ChangeLog:
>>>
>>> 2016-10-28 Kugan Vivekanandarajah <kuganv@linaro.org>
>>>
>>> PR ipa/78121
>>> * gcc.dg/ipa/pr78121.c: New test.
>>
>>
>