[llvm] [SLP] SLP's copyable elements based upon Main/Alt operations. (PR #124242)

[Alexey Bataev via llvm-commits]

================
@@ -1125,6 +1244,25 @@ static bool doesInTreeUserNeedToExtract(Value *Scalar, Instruction *UserInst,
   }
 }
 
+// Determine that the vector could be vectorized with copyable elements.
+static bool isCopyableOp(ArrayRef<Value *> VL, Value *Main, Value *Alt) {
+  if (any_of(VL, IsaPred<PoisonValue>) || Main == Alt ||
+      !isa<BinaryOperator>(Main) || !isa<Instruction>(Alt) ||
+      find_if(VL, IsaPred<PHINode>) != VL.end())
----------------
alexey-bataev wrote:

```suggestion
  if (Main == Alt ||
      !isa<BinaryOperator>(Main) || !isa<Instruction>(Alt) ||
      any_of(VL, IsaPred<PoisonValue, PHINode>))
```

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