[IRCE] Only check for NSW on equality predicates
authorSam Parker <sam.parker@arm.com>
Wed, 18 Apr 2018 13:50:28 +0000 (13:50 +0000)
committerSam Parker <sam.parker@arm.com>
Wed, 18 Apr 2018 13:50:28 +0000 (13:50 +0000)
commit3c19051bf0c6e650acce03abb2eeb5feee3ce986
treeaa37a2b3dedd645da4580000d111f1e53e0028a1
parent715596df1fd668941fb6c6321cc2e047d3685375
[IRCE] Only check for NSW on equality predicates

After investigation discussed in D45439, it would seem that the nsw
flag restriction is unnecessary in most cases. So the IsInductionVar
lambda has been removed, the functionality extracted, and now only
require nsw when using eq/ne predicates.

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

llvm-svn: 330256
llvm/lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
llvm/test/Transforms/IRCE/stride_more_than_1.ll