Re: Smatch check for Spectre stuff

[Gustavo A. R. Silva]

Hi Peter,

On 04/20/2018 07:00 AM, Peter Zijlstra wrote:

Hi Dan,

awesome stuff...

So I fear that many are actually things we want to fix. Our policy was
to kill the speculation on the first load and not worry if it can be
completed with a dependent load/store.

I wonder if there is any thread where I can read the discussion about 
that policy that you mention.

Could you share it here, please?

Thanks
--
Gustavo