[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
llvm-commits at lists.llvm.org
Fri Jan 28 10:11:53 PST 2022
wsmoses added a comment.
> 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).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D118168/new/
https://reviews.llvm.org/D118168
More information about the llvm-commits
mailing list