This allows us to recognise more saturation patterns and also simplify some MINMAX codegen that was failing to simplify CMPGE comparisons to a legal CMPGT.
An alternative would be to allow SelectionDAGBuilder to always create MINMAX ops and improve the legalizers vector support - is an all-target solution something we'd want?
What if we can prove the sign bit is 0? Or do we already do that in some DAG combine?