From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dibyendu Majumdar Subject: Re: sparse-llvm issue with handling of phisrc instruction Date: Wed, 22 Mar 2017 18:05:33 +0000 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from mail-it0-f46.google.com ([209.85.214.46]:37958 "EHLO mail-it0-f46.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S934813AbdCVSFf (ORCPT ); Wed, 22 Mar 2017 14:05:35 -0400 Received: by mail-it0-f46.google.com with SMTP id y18so28348559itc.1 for ; Wed, 22 Mar 2017 11:05:34 -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 22 March 2017 at 17:38, Luc Van Oostenryck wrote: > On Wed, Mar 22, 2017 at 5:46 PM, Dibyendu Majumdar > wrote: >> I am trying to see if sparse-llvm can handle unsimplified IR output >> from linearizer. I think there is a problem in how it handles phisrc. > > Does your non-simplified sparse IR contain the liveness information? > I think those are needed for the handling of OP_PHI & OP_PHISOURCE > in sparse-llvm. > Probably not - I commented out everything in linearize_fn() from simplify_symbol_usage() and downwards. Please tell me if this is incorrect. Thanks and Regards Dibyendu