[PATCH] D86233: [LangRef] Define mayprogress attribute

Ralf via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 4 02:03:58 PDT 2020


RalfJung added a comment.

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".

(Sorry I first posted this in the wrong review I think.)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86233



More information about the llvm-commits mailing list