From: Jan Hubicka <hubicka@ucw.cz>
To: kugan <kugan.vivekanandarajah@linaro.org>
Cc: "gcc-patches@gcc.gnu.org" <gcc-patches@gcc.gnu.org>,
Jan Hubicka <hubicka@ucw.cz>
Subject: Re: [ipa-vrp] ice in set_value_range
Date: Tue, 08 Nov 2016 15:17:00 -0000 [thread overview]
Message-ID: <20161108151653.GA46676@kam.mff.cuni.cz> (raw)
In-Reply-To: <db1548b8-61f7-06e1-f9ef-e63f21fc0e86@linaro.org>
> 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 ?
OK,
thanks!
Honza
>
> 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.
> >
next prev parent reply other threads:[~2016-11-08 15:17 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-24 23:18 [RFC] Handle unary pass-through jump functions for ipa-vrp kugan
2016-10-27 12:11 ` Martin Jambor
2016-10-28 2:58 ` [ipa-vrp] ice in set_value_range kugan
2016-11-03 16:25 ` Martin Jambor
2016-11-08 10:11 ` kugan
2016-11-08 15:17 ` Jan Hubicka [this message]
2016-11-09 6:02 ` Andrew Pinski
2016-11-09 8:02 ` kugan
2016-11-10 6:14 ` Andrew Pinski
2016-11-10 6:18 ` kugan
2016-11-10 8:12 ` Andreas Schwab
2016-10-27 14:59 ` [RFC] Handle unary pass-through jump functions for ipa-vrp Jan Hubicka
2016-10-28 3:04 ` kugan
2016-11-03 17:36 ` Martin Jambor
2016-11-08 10:13 ` kugan
2016-11-08 15:17 ` Jan Hubicka
2016-11-13 8:20 ` kugan
2016-11-13 11:50 ` Jan Hubicka
2016-11-11 15:46 ` Bin.Cheng
2016-11-10 13:25 [ipa-vrp] ice in set_value_range David Edelsohn
2016-11-10 20:04 ` kugan
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=20161108151653.GA46676@kam.mff.cuni.cz \
--to=hubicka@ucw.cz \
--cc=gcc-patches@gcc.gnu.org \
--cc=kugan.vivekanandarajah@linaro.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).