[llvm] [InstSimplify] Implement simple folds for `ucmp`/`scmp` intrinsics (PR #95601)

[via llvm-commits]

================
@@ -6505,6 +6505,33 @@ Value *llvm::simplifyBinaryIntrinsic(Intrinsic::ID IID, Type *ReturnType,
 
     break;
   }
+  case Intrinsic::scmp:
+  case Intrinsic::ucmp: {
+    // Fold cmp x, x -> 0
+    if (Op0 == Op1)
+      return Constant::getNullValue(ReturnType);
----------------
Poseydon42 wrote:

I get your point, however I think that another case where this may be helpful is that it works for both scalar and vector types, unlike the code involving `isICmpTrue`. However, I'm happy to delete it if it is deemed to be unnecessary anyway.

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