Displaying 1 result from an estimated 1 matches for "computeoverflowforunsignedadd".
2016 Sep 20
2
Inferring nsw/nuw flags for increment/decrement based on relational comparisons
...ently able to eliminate:
https://github.com/rust-lang/rust/issues/35981
I'll quote my questions about the possible implementation below and try
to add some more context.
> DominatorTree and AssumptionCache do seem to be sufficient and already
> present. computeOverflowForSignedAdd and computeOverflowForUnsignedAdd
> look like the kind of places to extend with this analysis based on
> that info.
ValueTracking has access to DominatorTree and AssumptionCache
information, and provides the named two functions. InstCombine calls
them and sets nsw/nuw flags based on the result.
> Two questions about t...