Vantaggi delle prestazioni del rigoroso aliasing

Question

In C, quali sono esattamente i vantaggi prestazionali derivanti dall'osservazione rigorosa dell'aliasing?

Answer 1

C'è una pagina che descrive aliasing molto accuratamente here.

Ci sono anche alcuni argomenti SO here e here.

Per riepilogare, il compilatore non può assumere il valore dei dati quando due puntatori di tipi diversi accedono allo stesso percorso (vale a dire che deve leggere il valore ogni volta e quindi non può effettuare ottimizzazioni).

Ciò si verifica solo quando non viene applicato il rigido aliasing. Strict opzioni aliasing:

• gcc: -fstrict-aliasing [Default] e -fno-strict-aliasing
• msvc: aliasing Strict è disattivata per impostazione predefinita. (Se qualcuno sa come accenderlo, si prega di dirlo.)

---

Esempio

Copia-incollare questo codice in main.c:

void f(unsigned u) 
{ 
    unsigned short* const bad = (unsigned short*)&u; 
} 

int main(void) 
{ 
    f(5); 

    return 0; 
} 

Poi compila il codice con queste opzioni:

main.c gcc -Wall -O2

e si otterrà:

main.c: 3: avvertimento: dereferenziazione tipo punned puntatore si romperà rigoroso-aliasing regole

aliasing Disabilita con:

gcc main.c -fno-severe-alias ing -Wall -O2

E l'avviso scompare. (Oppure basta estrarre -Wall ma ... non compilare senza di esso)

Prova come potrei non riuscire MSVC a darmi un avvertimento.