Как работает оптимизация конвейера процессора на уровне ассемблерных инструкций?

Процессор может идти на радикальные меры и пытаться угадать ветку, для оптимизации конвейера. В с++ есть атрибуты как [[luckly]], как они влияют на конечный ассемблер, разве программист может явно повлиять на такие вещи? Это предусмотрено в х86, arm?