[all-commits] [llvm/llvm-project] f03535: [SCEV] Make sure starting block is marked as visit...

[Julian Nagele via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f035351af785b7349ab7bcd55149c781ceca24cb
      https://github.com/llvm/llvm-project/commit/f035351af785b7349ab7bcd55149c781ceca24cb
  Author: Julian Nagele <j.nagele at apple.com>
  Date:   2024-12-31 (Tue, 31 Dec 2024)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/backedge-taken-count-guard-info-with-multiple-predecessors.ll

  Log Message:
  -----------
  [SCEV] Make sure starting block is marked as visited when recursively collecting loop guards. (#120749)

When `collectFromBlock` is called without a predecessor (in particular
for loops that don't have a unique predecessor outside the loop) we
never start climbing the predecessor chain, and thus don't mark the
starting block as visited.

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



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