[PATCH] D85393: [WIP] [IR] Adding noprogress as a LLVM IR attribute

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

> It isn't contradiction, but about whether noprogress brings useful information or not, though.

The presence of "noprogress" doesn't bring much information, but its absence does.

Even if we keep the polarity, maybe it would be better to call it "maybenoprogress" or "maybeprogress"? After all, "noprogress" sounds like it asserts that the function will not make progress, when really the flag that that the function *is permitted to make no progress* (unlike functions without this attribute, which have to make progress).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393