mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-29 13:29:28 +00:00
Summary: Several places in DependenceAnalysis assumes both SCEVs in a subscript pair share the same integer type. For instance, isKnownPredicate calls SE->getMinusSCEV(X, Y) which asserts X and Y share the same type. However, DependenceAnalysis fails to ensure this assumption when producing a subscript pair, causing tests such as NonCanonicalizedSubscript to crash. With this patch, DependenceAnalysis runs unifySubscriptType before producing any subscript pair, ensuring the assumption. Test Plan: Added NonCanonicalizedSubscript.ll on which DependenceAnalysis before the fix crashed because subscripts have different types. Reviewers: spop, sebpop, jingyue Reviewed By: jingyue Subscribers: eliben, meheff, llvm-commits Differential Revision: http://reviews.llvm.org/D6289 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@222100 91177308-0d34-0410-b5e6-96231b3b80d8 |
||
---|---|---|
.. | ||
Banerjee.ll | ||
Coupled.ll | ||
ExactRDIV.ll | ||
ExactSIV.ll | ||
GCD.ll | ||
Invariant.ll | ||
NonCanonicalizedSubscript.ll | ||
Preliminary.ll | ||
Propagating.ll | ||
Separability.ll | ||
StrongSIV.ll | ||
SymbolicRDIV.ll | ||
SymbolicSIV.ll | ||
WeakCrossingSIV.ll | ||
WeakZeroDstSIV.ll | ||
WeakZeroSrcSIV.ll | ||
ZIV.ll |