Re: [PATCH] data-ref: Tighten index-based alias checks [PR99726]

2021-04-02 Thread Jakub Jelinek via Gcc-patches
On Wed, Mar 31, 2021 at 11:15:08AM +0100, Richard Sandiford via Gcc-patches wrote: > gcc/testsuite/ > PR tree-optimization/99726 > * gcc.target/i386/pr99726.c: New test. -m32 shouldn't be used in gcc.target/i386/ testcases, people do test with -m32/-m64 to get 32-bit compilation teste

Re: [PATCH] data-ref: Tighten index-based alias checks [PR99726]

2021-03-31 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > On Wed, Mar 31, 2021 at 12:15 PM Richard Sandiford via Gcc-patches > wrote: >> >> create_intersect_range_checks_index tries to create a runtime >> alias check based on index comparisons. It looks through the >> access functions for the two DRs to find a S

Re: [PATCH] data-ref: Tighten index-based alias checks [PR99726]

2021-03-31 Thread Richard Biener via Gcc-patches
On Wed, Mar 31, 2021 at 12:15 PM Richard Sandiford via Gcc-patches wrote: > > create_intersect_range_checks_index tries to create a runtime > alias check based on index comparisons. It looks through the > access functions for the two DRs to find a SCEV for the loop > that is being versioned and c

[PATCH] data-ref: Tighten index-based alias checks [PR99726]

2021-03-31 Thread Richard Sandiford via Gcc-patches
create_intersect_range_checks_index tries to create a runtime alias check based on index comparisons. It looks through the access functions for the two DRs to find a SCEV for the loop that is being versioned and converts a DR_STEP-based check into an index-based check. However, there isn't any re