Re: [PATCH 1/1] x86: fix text_poke

From: Jeremy Fitzhardinge
Date: Mon Apr 28 2008 - 17:02:40 EST


Mathieu Desnoyers wrote:
Markers, with immediate values, only clobbers the eax register and the
ZF. It does not restrain inlining nor loop unrolling. It also requires
gcc to leave the variables in which the marker is interested "live".

That in itself is pretty significant. If that value would otherwise be constant folded or strength-reduced away, you're putting a big limitation on what the compiler can do. The mere fact that its necessary to do something to preserve many values shows how much the compiler transforms the code away from what's in the source, and specifically referencing otherwise unused intermediates inhibits that.

In other words, if you weren't preventing optimisations, you wouldn't need to preserve values as much, because the optimiser wouldn't be getting rid of them. If you need to preserve lots of values, you're necessarily preventing the optimiser from doing its job.

J
--
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/