[PATCH] D47041: [ValueTracking] Teach computeKnownBits that the result of an absolute value pattern that uses nsw flag is always positive.

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

On 2nd thought, we're not actually changing the implicit branch here, so this should just propagate the metadata of the existing select.


https://reviews.llvm.org/D47041