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

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393