Re: [PATCH v4 3/6] tree-object-size: Support dynamic sizes in conditions

2021-12-15 Thread Jakub Jelinek via Gcc-patches
On Wed, Dec 15, 2021 at 11:26:48PM +0530, Siddhesh Poyarekar wrote: > > This makes me a little bit worried. Do you compute the wholesize SSA_NAME > > at runtime always, or only when it is really needed and known not to always > > be equal to the size? > > I mean, e.g. for the cases where there is

Re: [PATCH v4 3/6] tree-object-size: Support dynamic sizes in conditions

2021-12-15 Thread Siddhesh Poyarekar
On 12/15/21 21:54, Jakub Jelinek wrote: On Wed, Dec 01, 2021 at 07:57:54PM +0530, Siddhesh Poyarekar wrote: --- /dev/null +++ b/gcc/testsuite/gcc.dg/builtin-dynamic-object-size-0.c @@ -0,0 +1,72 @@ +/* { dg-do run } */ +/* { dg-options "-O2" } */ + +typedef __SIZE_TYPE__ size_t; +#define abort _

Re: [PATCH v4 3/6] tree-object-size: Support dynamic sizes in conditions

2021-12-15 Thread Jakub Jelinek via Gcc-patches
On Wed, Dec 01, 2021 at 07:57:54PM +0530, Siddhesh Poyarekar wrote: > --- /dev/null > +++ b/gcc/testsuite/gcc.dg/builtin-dynamic-object-size-0.c > @@ -0,0 +1,72 @@ > +/* { dg-do run } */ > +/* { dg-options "-O2" } */ > + > +typedef __SIZE_TYPE__ size_t; > +#define abort __builtin_abort > + > +size_

[PATCH v4 3/6] tree-object-size: Support dynamic sizes in conditions

2021-12-01 Thread Siddhesh Poyarekar
Handle GIMPLE_PHI and conditionals specially for dynamic objects, returning PHI/conditional expressions instead of just a MIN/MAX estimate. This makes the returned object size variable for loops and conditionals, so tests need to be adjusted to look for precise size in some cases. builtin-dynamic-