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

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 452502.
fhahn added a comment.
Herald added a project: All.

Rebase and ping :)

The updated tests show 2 improvements by the patch. In both cases, the base pointers are noalias, so

1. whether the pointers have computable bounds should not matter, as only the dependency check in the alias sets are relevant,
2. scev-inserted-runtime-check.ll incorrectly added !alias.scope metadata; the runtime check is for a SCEV predicate, not noaliasing.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D93964/new/

https://reviews.llvm.org/D93964

Files:
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/test/Analysis/LoopAccessAnalysis/pointer-with-unknown-bounds.ll
  llvm/test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93964.452502.patch
Type: text/x-patch
Size: 6647 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220814/68b15c8d/attachment.bin>