Re: [PATCH] vect: Enforce dr_with_seg_len::align precondition [PR116125]

2025-03-07 Thread Richard Biener
On Fri, 7 Mar 2025, Richard Sandiford wrote: > tree-data-refs.cc uses alignment information to try to optimise > the code generated for alias checks. The assumption for "normal" > non-grouped, full-width scalar accesses was that the access size > would be a multiple of the alignment. As Richi no

[PATCH] vect: Enforce dr_with_seg_len::align precondition [PR116125]

2025-03-07 Thread Richard Sandiford
tree-data-refs.cc uses alignment information to try to optimise the code generated for alias checks. The assumption for "normal" non-grouped, full-width scalar accesses was that the access size would be a multiple of the alignment. As Richi notes in the PR, this is a documented precondition of dr