On 14 August 2017 at 17:46, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Mon, Aug 14, 2017 at 6:38 PM, Dibyendu Majumdar > <mobile@xxxxxxxxxxxxxxx> wrote: >> 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. > > Yes, it's something that more useful now than it was months ago. > I think I'll first move some code around though. > We can perhaps also move towards a granular level of control as in gcc or clang - i.e. enable or disable specific simplifications. 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