[PATCH] D118090: [ScalarEvolution] Handle <= and >= in non infinite loops

[Nikita Popov via Phabricator via llvm-commits]

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