aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Object/COFFObjectFile.cpp
diff options
context:
space:
mode:
authorJingyue Wu <jingyue@google.com>2014-11-16 16:52:44 +0000
committerJingyue Wu <jingyue@google.com>2014-11-16 16:52:44 +0000
commit0fa125a77d4c960837c36c30ce8cecf8262f35e9 (patch)
tree5a90bc8a407513b1eff726c30773443b5c7c0e8c /llvm/lib/Object/COFFObjectFile.cpp
parentbf34f1d2b25f1c9a5e0904bdd8145e730268a498 (diff)
downloadllvm-0fa125a77d4c960837c36c30ce8cecf8262f35e9.zip
llvm-0fa125a77d4c960837c36c30ce8cecf8262f35e9.tar.gz
llvm-0fa125a77d4c960837c36c30ce8cecf8262f35e9.tar.bz2
[DependenceAnalysis] Allow subscripts of different types
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 llvm-svn: 222100
Diffstat (limited to 'llvm/lib/Object/COFFObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions