[all-commits] [llvm/llvm-project] f54355: [LoopUnroll] Invalidate SCEV after full unrolling ...

[陈子昂 via All-commits]

  Branch: refs/heads/release/23.x
  Home:   https://github.com/llvm/llvm-project
  Commit: f54355e08d91e1f4c87337505936e9299a9ffb99
      https://github.com/llvm/llvm-project/commit/f54355e08d91e1f4c87337505936e9299a9ffb99
  Author: 陈子昂 <2802328816 at qq.com>
  Date:   2026-07-16 (Thu, 16 Jul 2026)

  Changed paths:
    M llvm/lib/Transforms/Utils/LoopUnroll.cpp
    A llvm/test/Transforms/LoopUnroll/full-unroll-scev-invalidation.ll

  Log Message:
  -----------
  [LoopUnroll] Invalidate SCEV after full unrolling (#208874)

Full unrolling may leave stale ScalarEvolution loop and disposition
caches around the loop pass boundary. A later IndVars pass can then use
stale exit count information and incorrectly fold reachable exits.

Invalidate SCEV loop and disposition caches after successful full
unrolling before preserving `ScalarEvolutionAnalysis.`

Fixes #207744.

(cherry picked from commit 42c2980c7c632d7a45776d3e2c51627100f6e763)



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