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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D85393#2205746 <https://reviews.llvm.org/D85393#2205746>, @aqjune wrote:

> Do we need a well-formedness check at Verifier.cpp stating that noprogress and willreturn cannot exist together?

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.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393