[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.

Per-loop attributes are easily lost, what about additional function/module -level attribute, similarly to the one for `mustprogress`?



================
Comment at: llvm/docs/LangRef.rst:6879-6880
+
+The ``llvm.loop.finite`` metadata indicates that this loop is finite. The loop
+attached must terminate. The reason for termination is unspecified. This is a
+ stronger form of ``llvm.loop.mustprogress`` which simply says that the loop
----------------
Or something like that


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118168