[all-commits] [llvm/llvm-project] 0d04c7: [ScalarEvolution] Mark a loop as finite if in a wi...

[William Moses via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0d04c778562a38d8035438e8ea72d280fd11b994
      https://github.com/llvm/llvm-project/commit/0d04c778562a38d8035438e8ea72d280fd11b994
  Author: William S. Moses <gh at wsmoses.com>
  Date:   2022-01-28 (Fri, 28 Jan 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/LoopInfo.h
    M llvm/lib/Analysis/LoopInfo.cpp
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/lt-overflow.ll

  Log Message:
  -----------
  [ScalarEvolution] Mark a loop as finite if in a willreturn function

A limited version of (https://reviews.llvm.org/D118090) that only marks a loop as finite if in a willreturn function.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D118429