[SCEV] Consider delinearization pattern with extension with identity factor
authorTobias Grosser <tobias@grosser.es>
Mon, 17 Oct 2016 11:56:26 +0000 (11:56 +0000)
committerTobias Grosser <tobias@grosser.es>
Mon, 17 Oct 2016 11:56:26 +0000 (11:56 +0000)
commit2bbec0ee7f22ac7e23e67b7d342f3b4823da72c4
tree3874d58ca7bf527ce5574e36071ee75859d67e26
parentfa90c692db7c8a9e5f661ee0cdd4a4ca2f8985dd
[SCEV] Consider delinearization pattern with extension with identity factor

Summary: The delinearization algorithm did not consider terms which had an extension without a multiply factor, i.e. a identify factor. We lose cases where size is char type where there will no multiply factor.

Reviewers: sanjoy, grosser

Subscribers: mzolotukhin, Eugene.Zelenko, llvm-commits, mssimpso, sanjoy, grosser

Differential Revision: https://reviews.llvm.org/D16492

llvm-svn: 284378
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/Delinearization/terms_with_identity_factor.ll [new file with mode: 0644]