Slides from Felix von Leitner's talk on C and compiler optimizations
linux-kongress.org
Slides from Felix von Leitner's talk on C and compiler optimizations
1–7 of 7 posts
Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#2Are video/audio recordings available too?
Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#3Are video/audio recordings available too?
... not that I've been able to tell. At least, they aren't posted yet.
Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#4Hm, regarding the tail-optimization slides, the example used doesn't look like a tail-recursive call. I just tried compiling the function he provided using gcc's -O1, 2 and 3, and neither produced a tail optimized call. I rewrote it to match what my idea of a tail-recursive call is, and sure enough, under -O2 and -O3, gcc tail-optimized it. It didn't however with no optimization settings or -O1. I rewrote it as follows:
long
fact(long x, long acc)
{
if (x Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#5Hm, regarding the tail-optimization slides, the example used doesn't look like a tail-recursive call. I just tried compiling the function he provided using gcc's -O1, 2 and 3, and neither produced a tail optimized call. I rewrote it to match what my idea of a tail-recursive call is, and sure enough, under -O2 and -O3, gcc tail-optimized it. It didn't however with no optimization settings or -O1. I rewrote it as follo…
I think it depends on the version of gcc; I tried compiling his function with 3.4.5 and it didn't look tail-call-optimized, but with -Os on 4.2.3 it did.
Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#6It appears that he's been updating this presentation over the years:
http://www.fefe.de/know-your-compiler.pdf http://dl.fefe.de/optimizer-isec.pdf
Regardless, it's a good read!
Re: Slides from Felix von Leitner's talk on C and compiler optimizations
#7Hm, regarding the tail-optimization slides, the example used doesn't look like a tail-recursive call. I just tried compiling the function he provided using gcc's -O1, 2 and 3, and neither produced a tail optimized call. I rewrote it to match what my idea of a tail-recursive call is, and sure enough, under -O2 and -O3, gcc tail-optimized it. It didn't however with no optimization settings or -O1. I rewrote it as follo…
You are right that it does not look like what is usually called "tail call", ie. call to 'fact' is not the last evaluated expression. However, this doesn't mean that the compiler can't optimize it, provided that the last expression is simple enough. GCC can probably optimize arithmetic expressions. I have read somewhere (can't find it though) that Erlang bytecode compiler also optimizes prepending to a list and some other primitive operations.
This means that in these cases you don't have to explicitly use accumulator variable because the compiler will create it for you.