================ @@ -4017,6 +4015,16 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts, } } + // For SMIN, if CstHigh is negative we know the result will be ---------------- topperc wrote: Is this tested? https://github.com/llvm/llvm-project/pull/85722