Messages in this thread | | | Date | Wed, 20 May 2015 16:54:51 +0100 | From | Andrew Haley <> | Subject | Re: Compilers and RCU readers: Once more unto the breach! |
| |
On 05/20/2015 04:46 PM, Will Deacon wrote: > I'm not sure... you'd require the compiler to perform static analysis of > loops to determine the state of the machine when they exit (if they exit!) > in order to show whether or not a dependency is carried to subsequent > operations. If it can't prove otherwise, it would have to assume that a > dependency *is* carried, and it's not clear to me how it would use this > information to restrict any subsequent dependency removing optimisations.
It'd just convert consume to acquire.
Andrew.
| |