On Fri, Aug 4, 2017 at 7:33 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Thu, Aug 03, 2017 at 11:49:08PM +0200, Luc Van Oostenryck wrote: >> 1) some numbers: >> - GCC compile both preprocessed files in .9s with -O2. >> - sparse check the O0 file in 1.93s and O2 file in 13s. >> Thus even on the O0 file, the time is already too high because generaly >> sparse is roughly 10 times faster than gcc -O2, here is twice as slow. >> ... >> 4) if we replace 'inline' by 'inline __attribute__((always_inline))' >> GCC needs roughly 58s to compile the O0 or O2 file. > > With the patch I sent, sparse now need 2.1s to compile the O2 file. Wow, that is great. You are the man. I will include that patch, I am going to take a closer look now. Too tired last night. Chris -- 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
