[InstCombine] Require non-demanded known bits to be accurate (NFC)
In practice this is already true, and having this as an explicit guarantee is useful for #72912. I don't think there is any good reason why we would want to produce incorrect KnownBits results for non-demanded bits.
Loading
Please sign in to comment