[PATCH] D118090: [ScalarEvolution] Handle <= and >= in non infinite loops
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 25 10:24:40 PST 2022
nikic added a comment.
In D118090#3269683 <https://reviews.llvm.org/D118090#3269683>, @wsmoses wrote:
> As for the flag, a question for you all:
> The existing llvm metadata for mustprogress is insufficient as it only implies the loop is finite if it does not interact with the environment of memory. Here, however, it would be nice if we could more strongly apply this to codes (e.g. if there was a call in the loop). This code came from a project where we did so with an additional flag (in that case all loops can be assumed finite), though I concur an existing way in the IR would be nice. Perhaps a finite loop metadata?
Adding loop metadata for this purpose sounds sensible to me.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D118090/new/
https://reviews.llvm.org/D118090
More information about the llvm-commits
mailing list