[all-commits] [llvm/llvm-project] 9a2015: [LV] Bail out early if runtime checks are known to...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9a201531ed8f5c752e21fb3b2fc618ba821dc3d8
      https://github.com/llvm/llvm-project/commit/9a201531ed8f5c752e21fb3b2fc618ba821dc3d8
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-07-26 (Sat, 26 Jul 2025)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/LoopVectorize.cpp
    M llvm/test/Transforms/LoopVectorize/AArch64/epilog-vectorization-widen-inductions.ll
    M llvm/test/Transforms/LoopVectorize/first-order-recurrence-dead-instructions.ll

  Log Message:
  -----------
  [LV] Bail out early if runtime checks are known to fail.

There are a number of cases for which SCEV may not be able to prove a
predicate will always be true/false, which may be simplified to a
constant during expansion (see discussion in
https://github.com/llvm/llvm-project/pull/131538).

Bail out early if runtime checks are known to always fail, as the
vector loop generated later will never execute.



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