Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Subject: Re: Smatch check for Spectre stuff
To:     Peter Zijlstra <peterz@infradead.org>,
        Dan Carpenter <dan.carpenter@oracle.com>
Cc:     linux-kernel@vger.kernel.org, Ingo Molnar <mingo@kernel.org>,
        Thomas Gleixner <tglx@linutronix.de>, dan.j.williams@intel.com,
        Linus Torvalds <torvalds@linux-foundation.org>
References: <20180419051510.GA21898@mwanda>
 <20180420120044.GN4064@hirez.programming.kicks-ass.net>
From:   "Gustavo A. R. Silva" <gustavo@embeddedor.com>
Message-ID: <fb72fc65-085b-65dc-c965-492d6d0902ea@embeddedor.com>
Date:   Mon, 23 Apr 2018 07:31:03 -0500
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.7.0
MIME-Version: 1.0
In-Reply-To: <20180420120044.GN4064@hirez.programming.kicks-ass.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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