Sanjoy Das d06246dfe7 [SCEV] Make isImpliedCondOperandsViaRanges smarter ... This change lets us prove things like "{X,+,10} s< 5000" implies "{X+7,+,10} does not sign overflow" It does this by replacing replacing getConstantDifference by computeConstantDifference (which is smarter) in isImpliedCondOperandsViaRanges. llvm-svn: 276505		2016-07-23 00:54:36 +00:00
..
llvm	[SCEV] Make isImpliedCondOperandsViaRanges smarter	2016-07-23 00:54:36 +00:00
llvm-c	Expose AttributeSetNode, use it to provide aggregate getter for attribute in the C API.	2016-07-21 04:25:06 +00:00