Re: static_branch/jump_label vs branch merging

[Segher Boessenkool]

On Thu, Apr 22, 2021 at 01:48:39PM +0200, Peter Zijlstra wrote:
> Can we please have a __pure__ attribute that is prescriptive and not a
> hint the compiler is free to ignore for $raisins ?

What does that mean?  What actual semantics do you want it to have?

The "pure" attribute means the compiler can assume this function does
not have side effects.  But in general (and in practice in many cases)
there is no way the compiler can actually check that, if that is what
you were asking for.

And any such checking will depend on optimisation level and related
flags, making that a no-go anyway.


Segher