On 1/29/20 6:52 AM, bin.cheng wrote: > Hi, > > As discussed in the PR, this simple patch refines data dependence of two write > references storing the same constant with the same bytes. It simply detects > the case with some restrictions and treats it as no dependence. For now the > added interface in tree-data-ref.c is only used in loop distribution, which > might > be generalized in the future. > > Bootstrap and test on x86_64. Any comments? > > Thanks, > bin > > 2020-01-29 Bin Cheng <bin.ch...@linux.alibaba.com> > > * tree-data-ref.c (refine_affine_dependence): New function. > * tree-data-ref.h (refine_affine_dependence): New declaration. > * tree.h (const_with_all_bytes_same): External declaration. > * tree.c (const_with_all_bytes_same): Moved from... > * tree-loop-distribution.c (const_with_all_bytes_same): ...here. Call > refine_affine_dependence > > gcc/testsuite > 2020-01-29 Bin Cheng <bin.ch...@linux.alibaba.com> > > * gcc/testsuite/gcc.dg/tree-ssa/pr93334.c: New test.
This looks reasonable to me. I'm not sure how often it happens in practice though. OK after a fresh bootstrap and regression test. Jeff
