Displaying 1 result from an estimated 1 matches for "willnotoverflow".
2016 Sep 20
2
Inferring nsw/nuw flags for increment/decrement based on relational comparisons
...e Sanjay pointed out.
> 2. InstCombiner::visitAdd only calls into ValueTracking for the
> unsigned case, i.e. computeOverflowForUnsignedAdd. There are no
> computeOverflowFor*Sub functions that InstCombiner::visitSub even
> could make use of. Instead, InstCombiner has its own
> WillNotOverflow{S,UnS}igned{Add,Sub} functions. The relationship
> between these and the computeOverflow* functions is unclear to me.
> They look like they overlap to an extent.
Is some refactoring warranted here or does this mean that the
InstCombiner functions and not the ValueTracking ones are the ones...