[PATCH] D93965: [LAA] Only require computable BTC when runtime checks are needed.

[Florian Hahn via Phabricator via llvm-commits]

fhahn updated this revision to Diff 452503.
fhahn added a comment.

rebase and ping :)

The main benefits for this patch are for clients that do not require computable bounds independently of runtime-check generation. For example, LoopDistribution can distribute loops with uncomputable bounds, if no memory runtime checks are needed and the dependences allow for it.

By pushing responsibility to clients to check for computable trip counts, we can also improve diagnstics with remarks, like in the change LV test where now we continue further analysis for uncomputable trip counts.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93965

Files:
  llvm/lib/Analysis/LoopAccessAnalysis.cpp
  llvm/lib/Transforms/Scalar/LoopDistribute.cpp
  llvm/lib/Transforms/Scalar/LoopLoadElimination.cpp
  llvm/lib/Transforms/Vectorize/LoopVectorizationLegality.cpp
  llvm/test/Analysis/LoopAccessAnalysis/uncomputable-backedge-taken-count.ll
  llvm/test/Transforms/LoopDistribute/uncomputable-backedge-taken-count.ll
  llvm/test/Transforms/LoopLoadElim/uncomputable-backedge-taken-count.ll
  llvm/test/Transforms/LoopVectorize/X86/vectorization-remarks-missed.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D93965.452503.patch
Type: text/x-patch
Size: 11069 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220814/ec6594bd/attachment.bin>