[PATCH] D93964: [LAA] Always compute DepId, even for uncomputable bounds.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: Ayal, anemet.
Herald added a subscriber: hiraditya.
fhahn requested review of this revision.
Herald added a project: LLVM.

We can compute the dependency set id before checking for computable
bounds in createCheckForAccess. This allows us to rely on RunningDepId
only to check if runtime checks are required.

Uncomputable bounds are only an issue if runtime memory checks need to
be generated and with this change. Hence we can continue further with
the analysis, if there are uncomputable bounds, but not memchecks are
required.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D93964

Files:
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/test/Analysis/LoopAccessAnalysis/pointer-with-unknown-bounds.ll
  llvm/test/Transforms/LoopVectorize/runtime-check-needed-but-empty.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93964.314217.patch
Type: text/x-patch
Size: 6517 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210101/93251a4d/attachment.bin>