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

[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.

LAA only requires a backedge-taken-count when generating memory
runtime checks. If no memory checks are required, we can continue with
the analysis.

Note that this patch updates users of LAA to check for computable
backedge-taken counts themselves, if required.


Repository:
  rG LLVM Github Monorepo

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.314218.patch
Type: text/x-patch
Size: 25047 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210101/acb230d2/attachment-0001.bin>