[llvm] [ValueTracking] Handle more integer intrinsics in `propagatesPoison` (PR #82749)

[Nikita Popov via llvm-commits]

================
@@ -7189,11 +7189,28 @@ bool llvm::propagatesPoison(const Use &PoisonOp) {
       case Intrinsic::uadd_with_overflow:
       case Intrinsic::usub_with_overflow:
       case Intrinsic::umul_with_overflow:
+      case Intrinsic::sadd_sat:
+      case Intrinsic::ssub_sat:
+      case Intrinsic::sshl_sat:
+      case Intrinsic::uadd_sat:
+      case Intrinsic::usub_sat:
+      case Intrinsic::ushl_sat:
----------------
nikic wrote:

These should go below as well, the comment here is specific to with.overflow.

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