forked from OSchip/llvm-project
![]() Summary: Dependence Analysis performs static checks to confirm validity of delinearization. These checks often fail for 64-bit targets due to type conversions and integer wrapping that prevent simplification of the SCEV expressions. These checks would also fail at compile-time if the lower bound of the loops are compile-time unknown. Author: bmahjour Reviewer: Meinersbur, jdoerfert, kbarton, dmgreen, fhahn Reviewed By: Meinersbur, jdoerfert, dmgreen Subscribers: fhahn, hiraditya, javed.absar, llvm-commits, Whitney, etiotto Tag: LLVM Differential Revision: https://reviews.llvm.org/D62610 llvm-svn: 362952 |
||
---|---|---|
.. | ||
AA.ll | ||
Banerjee.ll | ||
BasePtrBug.ll | ||
Constraints.ll | ||
Coupled.ll | ||
DADelin.ll | ||
ExactRDIV.ll | ||
ExactSIV.ll | ||
GCD.ll | ||
Invariant.ll | ||
MIVCheckConst.ll | ||
NonAffineExpr.ll | ||
NonCanonicalizedSubscript.ll | ||
PR21585.ll | ||
Preliminary.ll | ||
Propagating.ll | ||
Separability.ll | ||
SimpleSIVNoValidityCheck.ll | ||
StrongSIV.ll | ||
SymbolicRDIV.ll | ||
SymbolicSIV.ll | ||
UsefulGEP.ll | ||
WeakCrossingSIV.ll | ||
WeakZeroDstSIV.ll | ||
WeakZeroSrcSIV.ll | ||
ZIV.ll | ||
new-pm-invalidation.ll |