[all-commits] [llvm/llvm-project] 166937: [LV] Cleanup after expanding SCEV predicate to con...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 166937b49dac0919fae362c0deecb723b03be764
      https://github.com/llvm/llvm-project/commit/166937b49dac0919fae362c0deecb723b03be764
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-03-17 (Mon, 17 Mar 2025)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
    M llvm/test/Transforms/LoopVectorize/scev-predicate-reasoning.ll

  Log Message:
  -----------
  [LV] Cleanup after expanding SCEV predicate to constant.

In some cases, SCEV isn't able to prove that no wrap checks are needed,
while constant folding in SCEVExpander can. In those cases, we may leave
around IR for computing the trip count, which is unused at this point
but may be re-used later, triggering an assertion when trying to clean
up SCEVExp after vectorization.

Directly run the cleaner after expanding to a constant predicate to
prevent any generated code from being re-used.

Fixes https://github.com/llvm/llvm-project/issues/131281.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications