Re: Smatch check for Spectre stuff

From: Gustavo A. R. Silva
Date: Mon Apr 23 2018 - 08:31:14 EST


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