[all-commits] [llvm/llvm-project] b80395: [SCEV][NFC] Call getExitCount with SymbolicMaximum...

Max Kazantsev via All-commits all-commits at lists.llvm.org
Tue Nov 22 00:27:30 PST 2022


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b803957bcee30762829343b762e41edf74c053f9
      https://github.com/llvm/llvm-project/commit/b803957bcee30762829343b762e41edf74c053f9
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-11-22 (Tue, 22 Nov 2022)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV][NFC] Call getExitCount with SymbolicMaximum when computing loop symbolic max

Currently this is NFC, because SymbolicMaximum for BB is not implemented and just
reuses exact result. However, from code purity perspective, it's a necessary step
to do. Plans to implement symbolic max for blocks are underway.




More information about the All-commits mailing list