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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D118168#3280138 <https://reviews.llvm.org/D118168#3280138>, @wsmoses wrote:

>> So helper functions that are used to outline the OpenMP structured block can **not** be `mustprogress`/`willreturn`/`loop.finite`.
>
> Today I learned. In any case a more obvious use case is when inlining the body of a willreturn function into a function which is not willreturn, one can mark any inlined loops as finite (preserving the information).

Yes. Plus there are always other front-ends.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118168