Jingyue Wu 53e4efe10e [DependenceAnalysis] Extend unifySubscriptType for handling coupled subscript groups. ... Summary: In continuation to an earlier commit to DependenceAnalysis.cpp by jingyue (r222100), the type for all subscripts in a coupled group need to be the same since constraints from one subscript may be propagated to another during testing. During testing, new SCEVs may be created and the operands for these need to be the same. This patch extends unifySubscriptType() to work on lists of subscript pairs, ensuring a common extended type for all of them. Test Plan: Added a test case to NonCanonicalizedSubscript.ll which causes dependence analysis to crash without this fix. All regression tests pass. Reviewers: spop, sebpop, jingyue Reviewed By: jingyue Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D9698 llvm-svn: 238573		2015-05-29 16:58:08 +00:00
..
Banerjee.ll
Constraints.ll	Fix a memory corruption in Dependency Analysis.	2015-03-10 14:32:02 +00:00
Coupled.ll
ExactRDIV.ll
ExactSIV.ll
GCD.ll
Invariant.ll
NonCanonicalizedSubscript.ll	[DependenceAnalysis] Extend unifySubscriptType for handling coupled subscript groups.	2015-05-29 16:58:08 +00:00
PR21585.ll	[DependenceAnalysis] Fix for PR21585: collectUpperBound triggers asserts	2015-05-15 12:17:22 +00:00
Preliminary.ll
Propagating.ll
Separability.ll
StrongSIV.ll
SymbolicRDIV.ll
SymbolicSIV.ll
UsefulGEP.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
WeakCrossingSIV.ll
WeakZeroDstSIV.ll
WeakZeroSrcSIV.ll
ZIV.ll