При формировании трассы предсказание целевого адреса и направления перехода необходимо для того, чтобы размещать МОПы в трассе в соответствии с предполагаемым динамическим порядком их последующего исполнения. Предсказание производится по адресу исходной x86-инструкции перехода. Этой цели служит так называемая динамическая таблица адресов переходов (Dynamic Branch Target Buffer, DBTB) и связанная с ней таблица истории переходов (Branch History Table, BHT). Таблица DBTB по своей структуре напоминает кэш-память и состоит из 4096 элементов, организованных в виде 1024 наборов по 4 элемента.

S>

На самом деле механизм отображения адресов x86-инструкций в адреса МОПов необходим не для каждой инструкции, а только для тех, на которые производится переход — то есть для первой (микро)инструкции в каждой трассе.
....
При неправильном предсказании перехода: сначала выполняются действия 1, 2 или 3 — в соответствии с предсказанным направлением. В тот момент, когда выяснится, что направление предсказано неверно, исполнение всех стартовавших инструкций (начиная с инструкции перехода) прекращается, результаты их работы аннулируются, и производится поиск трассы по другому (правильному) адресу. Далее начинается исполнение найденной трассы либо формирование новой. Неправильно предсказанный переход при нахождении адресата в Т-кэше занимает около 20 тактов для процессора P4 и около 30 тактов для процессора P4E. Если адресата нет в Т-кэше, то требуется ещё около 20 тактов (по грубым оценкам).

    for(int i=0; i < 100; i++)
    {
        DoDifficultTask();
    }

add ebx, eax

add dword ptr [esp-124], eax

add ebx, eax

add dword ptr [esp-124], eax

    add    dword ptr [esp+4],5

    cmp    dword ptr [esp+4],0 
    je    00000016 
    add    dword ptr [esp+4],5

M_>>    cmp    dword ptr [esp+4],0 
M_>>    je    00000016 
M_>>    add    dword ptr [esp+4],5 
M_>>

b=b+5

add dword ptr [esp+4],5

F> И разве это реально сгенерированный код? Кажется нет, стоит ли его обсуждать.

using System;

class Program
{
   static void Main()
   {
      int a=0;

      if(a!=0)
         a+=5;
   
      Console.WriteLine("{0}", a.ToString());        // предотвращаем оптимизацию выкидывающую код связанный с переменной a
   }
}

M_>>как ни крути а + будет быстрее

F> Ты развёл разговор о предсказаниях переходов, а я говорю о том, что это врядли будет имеет значение. У тебя как минимум непростая виртуальная машина + непростая ОС. Предсказатель работает так как он работает, но точить код под него совершенно не стоит. Наш код прерывают тысячи раз, а мы этого не замечаем, и почему-то не думаем об этом.

    fld         qword ptr ds:[06D300A8h] 
    fadd        dword ptr [esp] 
    fstp        dword ptr [esp]

    fld         dword ptr [esp] 
    fld         qword ptr ds:[06D300B8h] 
    fcomip      st,st(1) 
    fstp        st(0) 
    jp          00000019 
    je          00000025 
00000019    fld         qword ptr ds:[06D300C0h] 
    fadd        dword ptr [esp] 
    fstp        dword ptr [esp] 
00000025

    for(int i=0; i < 10; i++)
        someWork();

    someWork();
    someWork();
    someWork();
    someWork();
    someWork();
    someWork();
    someWork();
    someWork();
    someWork();
    someWork();

M_>b=b+5
M_>

M_>add dword ptr [esp+4],5 
M_>

M_>это не a=5, это a=a+5

F>> И разве это реально сгенерированный код? Кажется нет, стоит ли его обсуждать.

M_>именно так, это реально сгенерированный код C#/JIT v1.1.4322

using System;

class Program
{
    static void Main()
    {
        int a = 0;
        int b = 2; 
        int c = 3;

        if(a==0) 
        {
            b+=a;
            c+=a;
        }

        Console.WriteLine("{0}", a.ToString()+b.ToString()+c.ToString());        // предотвращаем оптимизацию выкидывающую код связанный с переменной a
    }
}

        int b = 2; 
0000001b  mov         dword ptr [ebp-8],2 
       int c = 3;
00000022  mov         dword ptr [ebp-0Ch],3 
       if(a==0) 
00000029  cmp         dword ptr [ebp-4],0 
0000002d  jne         0000003B 
           b+=a;
0000002f  mov         eax,dword ptr [ebp-4] 
00000032  add         dword ptr [ebp-8],eax 
           c+=a;
00000035  mov         eax,dword ptr [ebp-4] 
00000038  add         dword ptr [ebp-0Ch],eax

M_>но почемуто никто не заметил, что помимо медленной операции перехода, проверка требует также обратиться к памяти и произвести туже операцию + для того чтобы условному переходу было что проверять

M_>    fld         qword ptr ds:[06D300A8h] 
M_>    fadd        dword ptr [esp] 
M_>    fstp        dword ptr [esp] 
M_>

M_>    fld         dword ptr [esp] 
M_>    fld         qword ptr ds:[06D300B8h] 
M_>    fcomip      st,st(1) 
M_>    fstp        st(0) 
M_>    jp          00000019 
M_>    je          00000025 
M_>00000019    fld         qword ptr ds:[06D300C0h] 
M_>    fadd        dword ptr [esp] 
M_>    fstp        dword ptr [esp] 
M_>00000025
M_>

M_>Упорным сторонникам того что if вместе с + будут быстрее чем просто + приведу еще пару доводов

M_>    for(int i=0; i < 10; i++)
M_>        someWork();
M_>