From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dibyendu Majumdar Subject: Re: Some thoughts on the SSA debate Date: Wed, 13 Sep 2017 19:25:36 +0100 Message-ID: References: <20170909020604.5io7kuw6itquzbfp@ltop.local> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from mail-ua0-f179.google.com ([209.85.217.179]:47151 "EHLO mail-ua0-f179.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751634AbdIMSZi (ORCPT ); Wed, 13 Sep 2017 14:25:38 -0400 Received: by mail-ua0-f179.google.com with SMTP id k23so1355660uaf.4 for ; Wed, 13 Sep 2017 11:25:37 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Luc Van Oostenryck Cc: Linux-Sparse Hi Luc, On 12 September 2017 at 14:06, Luc Van Oostenryck wrote: > On Tue, Sep 12, 2017 at 1:47 PM, Dibyendu Majumdar >> But the issue >> right now is that the simplifications are not always correct even with >> the new SSA so that I have to disable everything anyway. > > It's what you do but it's not what I do. > The other part that is broken is simplify_loads() which try to convert > more variables after each simplification/CSE steps. > Since the code is copied from the code for the initial conversion > it's broken in the same ways. > I just disabled it and things are then correct. > I probably ought to update my project with the latest version you have. Please let me know if you have an updated minimal changes branch that I can apply. Thanks and Regards Dibyendu