From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dibyendu Majumdar Subject: Fwd: Adding an option to sparse to disable the IR simplifications Date: Mon, 14 Aug 2017 17:38:31 +0100 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from mail-vk0-f50.google.com ([209.85.213.50]:34813 "EHLO mail-vk0-f50.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751579AbdHNQif (ORCPT ); Mon, 14 Aug 2017 12:38:35 -0400 Received: by mail-vk0-f50.google.com with SMTP id n125so33334186vke.1 for ; Mon, 14 Aug 2017 09:38:34 -0700 (PDT) In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Linux-Sparse , Christopher Li , Luc Van Oostenryck Hi, I suggested a while back that it might be useful to add an option to control the simplifications. In dmrC the simplification phase is turned off by default. But if you supply -O1 option then it is turned on. This ensures that I can test both the unsimplified and simplified versions. Regards Dibyendu ---------- Forwarded message ---------- From: Dibyendu Majumdar Date: 22 March 2017 at 20:53 Subject: Re: Adding an option to sparse to disable the IR simplifications To: Linux-Sparse On 22 March 2017 at 19:56, Dibyendu Majumdar wrote: > With the progress made with spars-llvm in recent weeks we are now > beginning to hit bugs in the simplifications carried out by the > linearizer. So it is useful I think to have an ability to turn off > these modifications - perhaps by a command line argument. This will > enable testing of sparse-llvm with and without the simplifications, > and help identify issues caused by the latter phase. > It appears that there is already an optimize flag that is set by -O option. Perhaps this flag can be utilized to control the level of simplifications attempted. Thanks and Regards Dibyendu