[PATCH] D42147: [Polly][ScopBuilder] Prefer PHI Write accesses in the statement the incoming value is defined.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

  Program                                                                        leone_F30_statementnaming_indep  leone_G30_epilogue_indep diff
  
   MultiSource/Benchmarks/DOE-ProxyApps-C++/HACCKernels/HACCKernels              0.812                            0.329                     -59.5%
   Performance/Polybench-32/linear-algebra/kernels/symm/Pb32-perf_symm           5.931                            2.813                     -52.6%
   Polybench/Polybench-421/linear-algebra/blas/symm/P421_symm                    1.792                            1.115                     -37.8%
   SingleSource/Benchmarks/Misc/flops                                            6.308                            4.300                     -31.8%
   Performance/Polybench-421/linear-algebra/blas/symm/Pb421-perf_symm            1.545                            1.111                     -28.1%
   Polybench/Polybench-32/linear-algebra/kernels/symm/P32_symm                   6.030                            4.560                     -24.4%
   SingleSource/Benchmarks/Polybench/linear-algebra/kernels/symm/symm           12.032                            9.293                     -22.8%
   SingleSource/Benchmarks/Polybench/stencils/fdtd-apml/fdtd-apml                0.464                            0.540                      16.4%
   MultiSource/Benchmarks/TSVC/Symbolics-flt/Symbolics-flt                       0.867                            0.785                      -9.5%
   MultiSource/Benchmarks/TSVC/Symbolics-dbl/Symbolics-dbl                       2.209                            2.392                       8.3%
   SingleSource/Benchmarks/CoyoteBench/almabench                                 9.829                            9.170                      -6.7%
   Polybench/Polybench-421/linear-algebra/blas/symm/P421r_symm                   1.659                            1.559                      -6.0%

I am somewhat suprised by this positive result. I made the patch primarily because it simplifies the equivalence class code and estimated that too many coincidences had to occur before it had an effect on the rescheduler. Since improvement it consistent, I assume it is not just caused by different statement names.


Repository:
  rPLO Polly

https://reviews.llvm.org/D42147