[PATCH] D108048: [DependenceAnalysis] Conservatively exit on type mismatch

[Artem Radzikhovskyy via Phabricator via llvm-commits]

artemrad created this revision.
artemrad added reviewers: Meinersbur, efriedma, bmahjour, fhahn.
artemrad added a project: LLVM.
Herald added a subscriber: hiraditya.
artemrad requested review of this revision.
Herald added a subscriber: llvm-commits.

DA does not check that types match during analysis. Bitcasts can result in a wide access overlapping a narrower access, but because the pointer values are different, DA considers them independent.

Make sure that alignment matches store size.

Change Summary:

- Updated description of depends() to be descriptive instead of prescriptive
- Optimization: exit early if no common loops AND don't care about loop independent dependencies
- Check that alignment matches store size


https://reviews.llvm.org/D108048

Files:
  llvm/include/llvm/Analysis/DependenceAnalysis.h
  llvm/lib/Analysis/DependenceAnalysis.cpp
  llvm/test/Analysis/DependenceAnalysis/OverlappingAddresses.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D108048.366326.patch
Type: text/x-patch
Size: 5699 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210813/320c0519/attachment.bin>