The Windows OS build process does some of this type of optimization too, via a process called BBT (http://www.microsoft.com/windows/cse/bit_projects.mspx) - this is why if you disassemble Windows OS binaries, you'll see some weird unconditional jumps and other "odd" disassembly