[all-commits] [llvm/llvm-project] 39e01e: [SCEV] Move getSCEVAtExit() into ScalarEvolution (...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 39e01e7fab62551ff1b4f6407af80ba011948c1e
      https://github.com/llvm/llvm-project/commit/39e01e7fab62551ff1b4f6407af80ba011948c1e
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-09-21 (Mon, 21 Sep 2026)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/lib/Transforms/Utils/LoopUtils.cpp

  Log Message:
  -----------
  [SCEV] Move getSCEVAtExit() into ScalarEvolution (#225102)

Exit value replacement only needs to know the value at a specific exit,
while getSCEVAtScope() provides one that is valid at *any* exit. It has
some custom code to at least handle the case of addrecs.

Uplift this code into SCEV as getSCEVAtExit(). For now it just does the
same thing the code in LoopUtils did.



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