Re: Implement intraprocedural dataflow for ipa-modref EAF analyser

2021-11-07 Thread Jan Hubicka via Gcc-patches
Hi, I have commited the patch now. On the current tree the patch causes new failure ./gcc/testsuite/gfortran/gfortran.sum:FAIL: gfortran.dg/vector_subscript_1.f90 -O1 execution test ./gcc/testsuite/gfortran/gfortran.sum:FAIL: gfortran.dg/vector_subscript_1.f90 -O2 execution test ./gcc/test

Re: Implement intraprocedural dataflow for ipa-modref EAF analyser

2021-11-04 Thread Jan Hubicka via Gcc-patches
> On 11/4/21 15:12, Jan Hubicka via Gcc-patches wrote: > > |Bootstrapped/regtested x86_64-linux, plan to commit after bit more > > testing.| > > Can you please install the patch after the current MOD REF crashes are fixed? > It will help us with the future bisection. Sure, this is what I am doin

Re: Implement intraprocedural dataflow for ipa-modref EAF analyser

2021-11-04 Thread Martin Liška
On 11/4/21 15:12, Jan Hubicka via Gcc-patches wrote: |Bootstrapped/regtested x86_64-linux, plan to commit after bit more testing.| Can you please install the patch after the current MOD REF crashes are fixed? It will help us with the future bisection. Thanks, Martin

Implement intraprocedural dataflow for ipa-modref EAF analyser

2021-11-04 Thread Jan Hubicka via Gcc-patches
Hi, this patch implements the (long promised) intraprocedural dataflow for propagating eaf flags, so we can handle parameters that participate in loops in SSA graphs. Typical example are acessors that walk linked lists, for example. I implemented dataflow using the standard iteration over BBs in R