[PATCH] Teach IndVarSimplify to add nuw and nsw to operations that provably don't overflow.

[Sanjoy Das]

Hi Hal,

Thank you for the review.

This is the context:  http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-December/079885.html  This patch tries to fix point (1) as mentioned in the mail

I am not aware of transforms that are valid only on overflowing operators: as far as I can tell, adding nsw / nuw is a strict increase in the amount of information there is available about an instruction.  Can you give me some pointers on where to look for examples?  Don't bother if you don't have them handy, I'll look for them myself later.

As an aside, I'll be on vacation starting a few hours from now, so I won't be able to check this in before the first week of 2015.


http://reviews.llvm.org/D6748

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/