[PATCH] D118429: [ScalarEvolution] Mark a loop as finite if in a willreturn function

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/test/Analysis/ScalarEvolution/lt-overflow.ll:219
+  ret void
+}
----------------
jdoerfert wrote:
> This should also work w/o the call site attributes, correct?
> If so add a second test.
If it doesn't work w/o, can u add negative tests with a FIXME.
Call site should inherit willreturn and one test with the outer function marked as willreturn and nounwind so the call site could inherit both.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118429/new/

https://reviews.llvm.org/D118429