search for: computeoverflowforsignedadd

Displaying 1 result from an estimated 1 matches for "computeoverflowforsignedadd".

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...