[llvm-dev] Proposal: writing calls that can nevertheless be removed

[Joerg Sonnenberger via llvm-dev]

On Tue, Nov 02, 2021 at 08:50:04PM -0500, Johannes Doerfert via llvm-dev wrote:
> I guess if we reorganize the effect attributes (read/write/argmem/inacc/...)
> we could introduce a "call_only" version to express this.
> So it would look like `call getUnique() effects(globalsonly, readonly |
> call_only)`, or something like that.

As I said, we have that already in `speculatable`?

Joerg