[PATCH] [DependenceAnalysis] Allow subscripts of different types

[Jingyue Wu]

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.

http://reviews.llvm.org/D6289

Files:
  include/llvm/Analysis/DependenceAnalysis.h
  lib/Analysis/DependenceAnalysis.cpp
  test/Analysis/DependenceAnalysis/NonCanonicalizedSubscript.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D6289.16273.patch
Type: text/x-patch
Size: 5526 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141116/ca163eb1/attachment.bin>