[all-commits] [llvm/llvm-project] 3b912e: [LV] Bail out on loop-variant steps when rewriting...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3b912e269a52f8d30c4de38487ea8319df23f85c
      https://github.com/llvm/llvm-project/commit/3b912e269a52f8d30c4de38487ea8319df23f85c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-06-01 (Thu, 01 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/test/Transforms/LoopVectorize/uniform_across_vf_induction1.ll

  Log Message:
  -----------
  [LV] Bail out on loop-variant steps when rewriting SCEV exprs.

If the step is not loop-invariant, we cannot create a modified AddRec,
as the start needs to be loop-invariant. Mark those cases as
CannotAnalyze and bail out, to fix a crash.