[PATCH] D85393: [IR] Adds mayprogress as a LLVM IR attribute

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

> Changed name from noprogress to mayprogress for clarity.

Shouldn't it be "maynotprogress" (or "maybenoprogress" or so)? *Every* function *may* progress, but only those with this marker are also allowed to not "make progress".


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393