[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#3362338 <https://reviews.llvm.org/D118168#3362338>, @nlopes wrote:

> Let me come back the usefulness question: which frontend can mark loops as finite but can't mark functions as willreturn?

I would imagine this will come up when inlining `willreturn` function into a non-`willreturn` one.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118168