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

[William Moses via Phabricator via llvm-commits]

wsmoses added a comment.

In D118168#3271370 <https://reviews.llvm.org/D118168#3271370>, @efriedma wrote:

> Is this supposed to be "willreturn" for loops?

In essence yes.

> 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'll rework some of the willreturn verbiage into here.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118168