[PATCH] D108699: [LAA] Analyze pointers forked by a select
David Sherwood via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 7 07:39:04 PDT 2021
david-arm added inline comments.
================
Comment at: llvm/test/Transforms/LoopVectorize/forked-pointers.ll:1
+; RUN: opt -loop-accesses -analyze -enable-new-pm=0 %s 2>&1 | FileCheck %s --check-prefix=NO-FORKED-PTRS
+; RUN: opt -disable-output -passes='require<scalar-evolution>,require<aa>,loop(print-access-info)' %s 2>&1 | FileCheck %s --check-prefix=NO-FORKED-PTRS
----------------
huntergr wrote:
> david-arm wrote:
> > Can we also have a test where at least one of the forked pointers is loop-invariant?
> We already do; see forked_ptrs_uniform_and_contiguous_forks
>
>
> We could properly analyze and vectorize that case as well, but I haven't implemented that yet so I'm just testing that it gets rejected for now.
Ah ok, sorry I missed that. I guess what I meant was that this should be trivial to implement, particularly if we can find a way of making calls to hasComputableBounds recursive and re-use the existing code that checks for loop-invariants and affine pointers.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D108699/new/
https://reviews.llvm.org/D108699
More information about the llvm-commits
mailing list