Displaying 1 result from an estimated 1 matches for "computeoverflowforsignedadd".
Did you mean:
computeoverflowforunsignedadd
2016 Sep 20
2
Inferring nsw/nuw flags for increment/decrement based on relational comparisons
...st that the Go compiler is
apparently 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 re...