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@xxxxxxxxxxxxxxx> Date: 22 March 2017 at 20:53 Subject: Re: Adding an option to sparse to disable the IR simplifications To: Linux-Sparse <linux-sparse@xxxxxxxxxxxxxxx> On 22 March 2017 at 19:56, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> 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 -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
