> +; Переход никогда не происходит. Предотвращает предсказания следующего
> +; косвенного перехода, во многих случаях некорректные.На всякий, это давно не так.
"Не переход" является таким-же учетным фактом как и "переход" для подавляющего большинства предсказателей, т.е. почти для всех актуальных ЦПУ с предсказателями (не только штеудовских ядер).
Упрощенно, предсказывается не факт перейдем/не перейдем, а адрес перехода (как вариант в координатах uops-кеша), а по факту корректируется статистика угадали или нет+актуальный_адрес.
На (относительно) простых предсказателях этот не-выполняющийся переход просто всегда предсказываться, в том числе первый раз как переход вперед. Поэтому почти не оказывает влияния.
На более сложных предсказателях, с буфером истории, может происходить масса эффектов. В частности, тут существует отдельная проблема/задача разделение всего графа/потока переходов, на фрагменты по которым есть ресурсы/возможность накапливать статистику. Например, упрощенно, для фрагмента кода с 6 переходами из всех 64 вариантов 4 могут быть наиболее вероятными, а какие 32 совсем холодными. Но проблема начинается с выбора начала фрагмента, и одна из эвристик тут - начинать фрагмент с перехода, которому не нужна история, т.е. с добавленного патчем jc.
Далее, в реальном коде загрузка опкода в регистр будет с дополнением нулями. Соответственно, CF всегда и гарантированно будет 0. Подобные ситуации используются штеудом для реализации "косвенного управления" (при трансляции инструкций в uosp участвует микрокод, который детектирует подобные паттерны и вставляет отдельные специфические uops-команды в конвейер).
Так вот, весьма вероятно, что использованный паттерн либо генерирует upos отключения предсказателя для следующего перехода, либо подсказывает поставить pivot point для отметки начала фрагмента для накопления статистики переходов.
С одной стороны, погружение в подобные тонкости может показаться интересным. Но как уже писал, мне это уже давно представляется "штопаньем чужих носок", вместо того чтобы делать что-то собственное.
