Re: [PATCH 0/3] tracepoints: delay argument evaluation

From: Jason Baron
Date: Wed May 20 2009 - 11:46:22 EST


On Wed, May 20, 2009 at 09:33:48AM +0200, Ingo Molnar wrote:
> hm, this is really a compiler bug in essence - the compiler should
> delay the construction of arguments into unlikely branches - if the
> arguments are only used there.
>
> We'd basically open-code a clear-cut:
>
> trace_block_bio_complete(md->queue, bio);
>
> into this form:
>
> trace(block_bio_complete, md->queue, bio);
>
> .. and this latter form could become moot (and a nuisance) if the
> compiler is fixed.
>
> Have you tried very latest GCC, does it still have this optimization
> problem?
>
> Note that the compiler getting this right would help a _lot_ of
> other inline functions in the kernel as well. Arguments only used
> within unlikely() branches are quite common.
>
> Ingo

hi,

I e-mailed the gcc list, where they suggested using a macro, as I've
done. They also suggested filing an enhancement request for this, which
I've done: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40207 It seems
like they agree with the suggestion.

It still might make sense to make this requirement explicit (by adding
the extra macro), as the tracepoint off case should really be as optimized as
possible.

thanks,

-Jason
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/