[llvm] [RISCV][WIP] Optimize sum of absolute differences pattern. (PR #82722)

[Philip Reames via llvm-commits]

================
@@ -13176,6 +13176,61 @@ static SDValue performXORCombine(SDNode *N, SelectionDAG &DAG,
   return combineSelectAndUseCommutative(N, DAG, /*AllOnes*/ false, Subtarget);
 }
 
+// Look for (abs (sub (zext X), (zext Y))).
+// Rewrite as (zext (sub (zext (max X, Y), (min X, Y)))) if the user is an add
----------------
preames wrote:

Can't the sub be done at the narrower type as well?  (a >=u b) should imply that (a-b) doesn't underflow, and thus the high bits are always zero?

https://github.com/llvm/llvm-project/pull/82722