[PATCH] D20116: Add speculatable function attribute

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini added a comment.

In https://reviews.llvm.org/D20116#707083, @sanjoy wrote:

> In https://reviews.llvm.org/D20116#706969, @arsenm wrote:
>
> > In https://reviews.llvm.org/D20116#706967, @sanjoy wrote:
> >
> > >
> >
>
>
> `readnone` etc. are different from `speculatable`, in that once you mark a call site as `speculatable` you've the said call site as speculatable throughout the lifetime of the program (since, by definition, it can be arbitrarily speculated).  `readnone`, `readonly` etc. do not have that property.


I don't follow why `readnone` and `readonly` based transformations don't need the same guarantee?


https://reviews.llvm.org/D20116