From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: Re: Sparse 0.5.1 RC5 released. Date: Sun, 13 Aug 2017 17:07:26 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from mail-oi0-f53.google.com ([209.85.218.53]:34433 "EHLO mail-oi0-f53.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750922AbdHMPH1 (ORCPT ); Sun, 13 Aug 2017 11:07:27 -0400 Received: by mail-oi0-f53.google.com with SMTP id x3so66788064oia.1 for ; Sun, 13 Aug 2017 08:07:27 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Dibyendu Majumdar Cc: Christopher Li , Linux-Sparse , Ramsay Jones , Lance Richardson , Michael Stefaniuc On Sun, Aug 13, 2017 at 4:26 PM, Dibyendu Majumdar wrote: >> >> It's also interesting to note that with the new SSA construction, there is no >> slowdown (0.064s here but too small to be measured accurately). >> This confirms me that the single-store shortcut was very much needed for >> performance (not simply because it's faster than the general case but that >> it creates much less intermediate code) but it created bad code ... >> > > I wonder if it is worth doing these changes - instead we should > probably look at your new SSA construction approach. It was of course what I was thinking when I wrote this note. I've put together the minimal changes for having this on top of the current master: git://github.com/lucvoo/sparse.git sssa-mini Since yesterday I already gave it a good more testing and everything good so far. -- Luc