Hi,
On Thu, Nov 07 2024, Aldy Hernandez wrote:
> Aldy Hernandez writes:
>
>> Martin Jambor writes:
>>
>>> Hi,
>>>
>>> Because the simplified way of extracting value ranges from functions
>>> does not look at scalar constants (as one of the versions had been
>>> doing before) but instead rely on
Aldy Hernandez writes:
> Martin Jambor writes:
>
>> Hi,
>>
>> Because the simplified way of extracting value ranges from functions
>> does not look at scalar constants (as one of the versions had been
>> doing before) but instead rely on the value range within the jump
>> function already captur
Martin Jambor writes:
> Hi,
>
> Because the simplified way of extracting value ranges from functions
> does not look at scalar constants (as one of the versions had been
> doing before) but instead rely on the value range within the jump
> function already capturing the constant, I have added a v
>
>
> On Tue, Nov 05 2024, Jan Hubicka wrote:
> >> 2024-11-04 Martin Jambor
> >>
> >>* ipa-cp.cc (ipa_check_const_jf_vr): New function.
> >>(ipa_value_range_from_jfunc): Call it when checking and when
> >>dealing with a constant jump function.
> >>(propagate_vr_across_jump_fun
> 2024-11-04 Martin Jambor
>
> * ipa-cp.cc (ipa_check_const_jf_vr): New function.
> (ipa_value_range_from_jfunc): Call it when checking and when
> dealing with a constant jump function.
> (propagate_vr_across_jump_function): Likewise.
OK
> + /* TODO: Non-nullness is
On Tue, Nov 05 2024, Jan Hubicka wrote:
>> 2024-11-04 Martin Jambor
>>
>> * ipa-cp.cc (ipa_check_const_jf_vr): New function.
>> (ipa_value_range_from_jfunc): Call it when checking and when
>> dealing with a constant jump function.
>> (propagate_vr_across_jump_function): L
