[PATCH] D53033: [InstCombine] Demand bits of UMAX

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

> Unfortunately I don't have a great way to prove this with Alive, as I don't believe it can do clz/ctz's in preconditions.

WDYM?
Seems to work fine https://rise4fun.com/Alive/BKg
https://github.com/nunoplopes/alive/blob/eda494ab9ad668fe1bce02978bd018b917d88230/constants.py#L257-L258


https://reviews.llvm.org/D53033