Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-12-17 Thread Martin Jambor
On Fri, Nov 15 2024, Martin Jambor wrote: > Hi, > > On Thu, Nov 07 2024, Aldy Hernandez wrote: >> Jan Hubicka writes: >> > 2024-11-01 Martin Jambor > > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When > creating > value-range jump functions fro

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-28 Thread Martin Jambor
Hi, On Fri, Nov 15 2024, Martin Jambor wrote: > Hi, > > On Thu, Nov 07 2024, Aldy Hernandez wrote: >> Jan Hubicka writes: >> > 2024-11-01 Martin Jambor > > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When > creating > value-range jump function

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-15 Thread Martin Jambor
Hi, On Thu, Nov 07 2024, Aldy Hernandez wrote: > Jan Hubicka writes: > >>> > 2024-11-01 Martin Jambor >>> > >>> > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When creating >>> > value-range jump functions from pointer type constant zero, do so >>> > as if it wa

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-06 Thread Aldy Hernandez
Jan Hubicka writes: >> > 2024-11-01 Martin Jambor >> > >> > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When creating >> > value-range jump functions from pointer type constant zero, do so >> > as if it was not a pointer. >> > --- >> > gcc/ipa-prop.cc | 3 ++-

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-05 Thread Jan Hubicka
> > 2024-11-01 Martin Jambor > > > > * ipa-prop.cc (ipa_compute_jump_functions_for_edge): When creating > > value-range jump functions from pointer type constant zero, do so > > as if it was not a pointer. > > --- > > gcc/ipa-prop.cc | 3 ++- > > 1 file changed, 2 insert

Re: [PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-05 Thread Richard Biener
On Tue, Nov 5, 2024 at 12:10 PM Martin Jambor wrote: > > Hi, > > When looking into cases where we know an actual argument of a call is > a constant but we don't generate a singleton value-range for the jump > function, I found out that the special handling of pointer constants > does not work well

[PATCH 4/8] ipa: Better value ranges for zero pointer constants

2024-11-05 Thread Martin Jambor
Hi, When looking into cases where we know an actual argument of a call is a constant but we don't generate a singleton value-range for the jump function, I found out that the special handling of pointer constants does not work well for constant zero pointer values. However, the code for other typ