Philip Reames d5b8401312 [LAA/LV] Simplify stride speculation logic [NFC] ...

The existing code makes it hard to tell that collectStridedAccess is really about identifying some loop invariant SCEV which is *profitable* to speculate is equal to one. The odd dual usage structure of Value and SCEV confuses this point.

We could choose to loosen the profitability analysis if desired. I'm not proposing doing so at this time as it exposes too many cases where the speculation is unprofitable.

Differential Revision: https://reviews.llvm.org/D147750

2023-05-11 08:32:56 -07:00

109 KiB

Raw Blame History

View Raw