Trying to understand gcc option -fomit-frame-pointer

Most smaller functions don’t need a frame pointer – larger functions MAY need one.

It’s really about how well the compiler manages to track how the stack is used, and where things are on the stack (local variables, arguments passed to the current function and arguments being prepared for a function about to be called). I don’t think it’s easy to characterize the functions that need or don’t need a frame pointer (technically, NO function HAS to have a frame pointer – it’s more a case of “if the compiler deems it necessary to reduce the complexity of other code”).

I don’t think you should “attempt to make functions not have a frame pointer” as part of your strategy for coding – like I said, simple functions don’t need them, so use -fomit-frame-pointer, and you’ll get one more register available for the register allocator, and save 1-3 instructions on entry/exit to functions. If your function needs a frame pointer, it’s because the compiler decides that’s a better option than not using a frame pointer. It’s not a goal to have functions without a frame pointer, it’s a goal to have code that works both correctly and fast.

Note that “not having a frame pointer” should give better performance, but it’s not some magic bullet that gives enormous improvements – particularly not on x86-64, which already has 16 registers to start with. On 32-bit x86, since it only has 8 registers, one of which is the stack pointer, and taking up another as the frame pointer means 25% of register-space is taken. To change that to 12.5% is quite an improvement. Of course, compiling for 64-bit will help quite a lot too.

Leave a Comment