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

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

> It depends on how you look at it:
> From the perspective of optimizations we can do, sure absence is the one that enables more.
> From the perspective of source behavior, it just distinguishes between two alternatives, so both option w/ and w/o flag have the same information value.

I don't entirely understand what you mean. From the perspective of source behavior, *removing* the attribute adds UB, i.e., it turns some previously non-UB executions into UB executions. That's exactly the opposite of attributes like "noreturn" or "nosync" or "nounwind"  that all add UB when being *added*.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85393