lkml.org 
[lkml]   [2021]   [Apr]   [22]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: static_branch/jump_label vs branch merging
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

\
 
 \ /
  Last update: 2021-04-22 19:11    [W:0.119 / U:0.080 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site