Esempio di codice C che dimostra la volatilità nello smontaggio?

Question

Che cos'è un breve programma illustrativo in C che dimostra la differenza tra volatile e non volatile nello smontaggio?

cioè

int main() 
{ 
    volatile int x; 

    ??? 
} 

vs

int main() 
{ 
    int x; 

    ??? 
} 

Cosa possiamo sostituire entrambi ??? con tale che il codice generato è diverso?

Answer 1

ad esempio:

x = 0; 

Se x non è volatile, il compilatore vedrà che è inutilizzato e probabilmente eliminare (o la dichiarazione x = 0; o anche la variabile stessa) completamente dal codice generato come ottimizzazione.

Tuttavia, la parola chiave volatile è esattamente per impedire al compilatore di eseguire questa operazione. Fondamentalmente dice al generatore di codice "qualunque cosa tu pensi che questa variabile sia/non fa, non mi indovini, ne ho bisogno". Quindi il compilatore tratterà la variabile volatile come acceduta e emetterà il codice effettivo corrispondente all'espressione.

Answer 2

Questo potrebbe non essere l'esempio più breve, ma è un uso comune di volatile in sistemi embedded, assumendo x punti per l'indirizzo di un registro, se volatile non viene utilizzato, il compilatore assumerà il valore di x doesn 't cambiare e rimuoverà il loop:

volatile long *x = (long*) REGISTER_BASE; 
while (!(x&0x01)) { 
    //do nothing; 
} 

Answer 3

si può anche provare questo:

x=1; 
x=2; 
return x; 

Accendere l'ottimizzazione di un chec k lo smontaggio per entrambi.