On Mon, 28 Sep 2020, Jan Hubicka wrote:
> > On Mon, 28 Sep 2020, Jan Hubicka wrote:
> >
> > > >
> > > > Hmm, no - it expects the gimple_call_use/clobber_set to include
> > > > actions of the called function itself (const functions none here)
> > > > but for passed-by-value the loads may be in th
> On Mon, 28 Sep 2020, Jan Hubicka wrote:
>
> > >
> > > Hmm, no - it expects the gimple_call_use/clobber_set to include
> > > actions of the called function itself (const functions none here)
> > > but for passed-by-value the loads may be in the call itself
> > > which is where it uses gimple_cal
On Mon, 28 Sep 2020, Jan Hubicka wrote:
> >
> > Hmm, no - it expects the gimple_call_use/clobber_set to include
> > actions of the called function itself (const functions none here)
> > but for passed-by-value the loads may be in the call itself
> > which is where it uses gimple_call_arg_flags to
>
> Hmm, no - it expects the gimple_call_use/clobber_set to include
> actions of the called function itself (const functions none here)
> but for passed-by-value the loads may be in the call itself
> which is where it uses gimple_call_arg_flags to skip unused ones.
>
> But note that PTA uses gimp
On Mon, 28 Sep 2020, Jan Hubicka wrote:
> > On Mon, 28 Sep 2020, Jan Hubicka wrote:
> >
> > > Hi,
> > > ipa-reference, ipa-pure-const and ipa-modref could use the knowledge
> > > about bulitins which is currently harwired into
> > > ref_maybe_used_by_call_p_1, call_may_clobber_ref_p_1 and the PTA
> On Mon, 28 Sep 2020, Jan Hubicka wrote:
>
> > Hi,
> > ipa-reference, ipa-pure-const and ipa-modref could use the knowledge
> > about bulitins which is currently harwired into
> > ref_maybe_used_by_call_p_1, call_may_clobber_ref_p_1 and the PTA
> > computation. This patch breaks out logic implem
On Mon, 28 Sep 2020, Jan Hubicka wrote:
> Hi,
> ipa-reference, ipa-pure-const and ipa-modref could use the knowledge
> about bulitins which is currently harwired into
> ref_maybe_used_by_call_p_1, call_may_clobber_ref_p_1 and the PTA
> computation. This patch breaks out logic implemented in the f
Hi,
ipa-reference, ipa-pure-const and ipa-modref could use the knowledge
about bulitins which is currently harwired into
ref_maybe_used_by_call_p_1, call_may_clobber_ref_p_1 and the PTA
computation. This patch breaks out logic implemented in the first two
into a form of a simple descriptor that ca
