[PATCH] D62607: LoopDistribute/LAA: Respect convergent

[Matt Arsenault via Phabricator via llvm-commits]

arsenm updated this revision to Diff 203579.
arsenm marked 5 inline comments as done.
arsenm added a comment.

Address comments. Fixes still inserting runtime checks based on SCEV. Also fixes not distributing when runtime checks are necessary according to LAA, but partitioning decides they aren't needed after the loop is distributed


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

https://reviews.llvm.org/D62607

Files:
  include/llvm/Analysis/LoopAccessAnalysis.h
  lib/Analysis/LoopAccessAnalysis.cpp
  lib/Transforms/Scalar/LoopDistribute.cpp
  test/Analysis/LoopAccessAnalysis/unsafe-and-rt-checks-convergent.ll
  test/Transforms/LoopDistribute/basic-with-memchecks.ll
  test/Transforms/LoopDistribute/basic.ll
  test/Transforms/LoopDistribute/convergent-no-cross-partition-checks.ll
  test/Transforms/LoopDistribute/diagnostics.ll
  test/Transforms/LoopDistribute/scev-inserted-runtime-check.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62607.203579.patch
Type: text/x-patch
Size: 27312 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190607/52992cca/attachment-0001.bin>