Fwd: Adding an option to sparse to disable the IR simplifications

[Dibyendu Majumdar <mobile@majumdar.org.uk>]

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 <mobile@majumdar.org.uk>
Date: 22 March 2017 at 20:53
Subject: Re: Adding an option to sparse to disable the IR simplifications
To: Linux-Sparse <linux-sparse@vger.kernel.org>


On 22 March 2017 at 19:56, Dibyendu Majumdar <mobile@majumdar.org.uk> 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