optimisation: shortcut branches when possible (x86/x86_64 only for now)