[PATCH] D118168: [LLVM] Introduce llvm.loop.finite metadata to represent loops which are known to iterate a finite number of times

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Is this supposed to be "willreturn" for loops?

The following all terminate the loop in some sense:

  The current thread calls abort().
  Another thread calls abort().
  A call in the loop throws an exception.

I guess given the SCEV patch, you want to exclude all of these, but the current wording doesn't make that clear.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118168