Vou começar dizendo que isso sempre vai depender da implementação do compilador, qual é a arquitetura alvo que vai gerar e até de certas condições.
Os processadores modernos têm um mecanismo chamado branch prediction onde ele tenta "adivinhar" o que vai acontecer e começa processar antecipadamente o caminho que pode acontecer. Se ele fizer certo o ganho pode ser bem grande já que hoje em dia os processadores ganham performance executando várias linhas de processamento ao mesmo tempo (não estou falando de thread, é só o pipeline). Se ele errar é um problema porque tem que fazer algo de novo que já foi gasto tempo. Ele precisa acertar mais que errar para compensar.
Então se você colocar em certa ordem e isso prejudicar o algoritmo do processador e causar misprediction, pode ser uma péssima ideia.
E isso pode mudar em cada geração de processador, não é só a marca dele.
E claro, pode mudar o que o compilador faz também.
E o compilador pode não ajudar tanto porque ele pode até otimizar para um tipo de processador, x86 ou ARM, por exemplo, mas não pode otimizar para um modelo específico (teoricamente poderia, mas não compensa).
Lembrando que compiladores modernos permitem você dizer quais são mais prováveis (C e C++, especificado na linguagem).
Para execuções pontuais pode haver ganho, para muitas repetições provavelmente o ganho será inicial, depois o processador "aprende" o que provavelmente vai acontecer e já não tem ganho mais.
De forma geral pode haver algum ganho sim em colocar o mais provável antes, mas nunca confie nisso para todos os casos.
De qualquer forma não espere ganhos muito grandes na maioria dos casos.
Note que um switch
pode ser diferente, ele é outra construção bem diferente, especialmente os muito longos, pode até inibir ou habilitar certas otimizações que ele pode fazer.
E até qual é a condição pode fazer uma diferença enorme. Se a condição demora muito para dar seu resultado a ordem dos if
s fará quase nenhuma diferença em qualquer caso, a não ser que o branch prediction se torne impossível, aí pode fazer uma enorme diferença. E o bloco que deve executar também pode fazer o todo ser irrelevante, o grosso do tempo gasto no código não depende do branch.
Conclusão
Se é tão importante tem que testar nas condições reais que serão executadas. Pode ser que consiga uma informação confiável. Aqui serve para dar uma base para pensar.
Coloquei no GitHub para referência futura.