search for: computeoverflowfor

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