[llvm] [LAA] Fix type mismatch in getStartAndEndForAccess. (PR #183116)

Kshitij Paranjape via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 11 06:08:18 PDT 2026


kshitijvp wrote:

> > > LGTM, thanks
> > 
> > 
> > The test will not be vectorized as it is potentially an early exit loop due to
> > ```
> >   %iv.next = add nuw nsw i64 %iv, 1
> >   %counted.cond = icmp eq i64 %iv.next, %tc
> >   br i1 %counted.cond, label %exit, label %for.body
> > ```
> > 
> > 
> >     
> >       
> >     
> > 
> >       
> >     
> > 
> >     
> >   
> > and removing the store instruction causes faulting load. So I should move it back to `early_exit_store_legality.ll` as `dereferenceable-info-from-assumption-variable-size.ll` has only positive tests (getting vectorized).
> 
> It's fine as is. I also went ahead and clarified the PR title, hope that's OK with you

Thanks, no issues with the PR title.
Can I merge?

https://github.com/llvm/llvm-project/pull/183116


More information about the llvm-commits mailing list