From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dibyendu Majumdar Subject: Re: Simple SSA status Date: Mon, 4 Sep 2017 21:37:17 +0100 Message-ID: References: <20170903202629.bipsxi7xnmh3y3oy@ltop.local> <20170904200720.cxxfecd7rugyfskx@ltop.local> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from mail-vk0-f42.google.com ([209.85.213.42]:34468 "EHLO mail-vk0-f42.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753962AbdIDUhS (ORCPT ); Mon, 4 Sep 2017 16:37:18 -0400 Received: by mail-vk0-f42.google.com with SMTP id o22so3283371vke.1 for ; Mon, 04 Sep 2017 13:37:18 -0700 (PDT) In-Reply-To: <20170904200720.cxxfecd7rugyfskx@ltop.local> Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Luc Van Oostenryck Cc: Christopher Li , Linux-Sparse , Linus Torvalds Hi Luc, On 4 September 2017 at 21:07, Luc Van Oostenryck wrote: > About the phi-sources, I agree strongly with this. To me these > phi-sources are just a nuisance. Once things will be in better > shape, I'll see what can be done to get rid of them (quite a bit > of the logic depends on them for the moment, though). > As you know the backend relies upon the phisrc instruction and treats it like a 'store' while treating the phi instructions as 'loads'. Selfishly I would like this to remain as it seems changing it is not necessary, but nice to have? Regards Dibyendu