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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

In D85393#2205762 <https://reviews.llvm.org/D85393#2205762>, @jdoerfert wrote:

> Let's first create the Lang Ref patch before we dive into details here. Generally, we will need verifier checks, yes. FWIW, `noprogress` is unrelated to `willreturn` and `noreturn` though.

IIUC, a function makes progress if the function has `willreturn` - wouldn't it make `noprogress` give no information?
It isn't contradiction, but about whether `noprogress` brings useful information or not, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393