[llvm] [LV] Support strided load with a stride of -1 (PR #128718)

[Florian Hahn via llvm-commits]

================
@@ -2702,12 +2709,60 @@ struct VPWidenLoadEVLRecipe final : public VPWidenMemoryRecipe, public VPValue {
   bool onlyFirstLaneUsed(const VPValue *Op) const override {
     assert(is_contained(operands(), Op) &&
            "Op must be an operand of the recipe");
-    // Widened loads only demand the first lane of EVL and consecutive loads
-    // only demand the first lane of their address.
+    // Widened loads only demand the first lane of EVL and consecutive/strided
+    // loads only demand the first lane of their address.
     return Op == getEVL() || (Op == getAddr() && isConsecutive());
   }
 };
 
+/// A recipe for strided load operations, using the base address, stride, and an
+/// optional mask.
----------------
fhahn wrote:

Conceptually the strided load with stride of 1 seems like it would be the same as a wide load? Would be good to clarify the difference.

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