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

[Joerg Sonnenberger via llvm-dev]

On Mon, Nov 01, 2021 at 12:27:37PM +0000, Max Kazantsev via llvm-dev wrote:
> This function is formally writing memory, but it has 2 important properties:
> - This function is idempotent, meaning that its result only depends on parameters (which is empty in this case);
> - If the result of the call is not used, it can safely be deleted without causing any problems.

Doesn't speculatable + readonly cover this already?

Joerg