Użytkownik "Queequeg" napisał w wiadomości grup
dyskusyjnych:2e88332d-3364-4f9b-b65d-7ecbd98a9931@tr
ust.no1...
Irek.N. <t...@j...taki.jest.pl> wrote:
>>> A swoja droga - czy Keil sam ich nie wylacza ? Dla zmiennych
>>> volatile
>>> powinien.
>
>> Niestety ale ignoruje zupełnie volatile, a nie powinien moim
>> zdaniem.

>Skąd wiesz?
>Zrób test. Napisz funkcję:
>int i;
>void fn(void) { do { } while (i != 42); }
>Skompiluj z optymalizacją, zobacz kod. Potem dodaj volatile, zobacz
>kod.

>Sprawdziłem na raspi (arm), gcc -O2 -S.

>Bez volatile:
> ldr r3, .L5
> ldr r3, [r3] ; tu ładuje zmienną do rejestru
>.L2:
> cmp r3, #42 ; tu porównuje rejestr
> bne .L2 ; tu skacze z powrotem do porównania

kiepski optymalizator ... czemu porownuje w petli ?

>Jeszcze ciekawiej się robi, gdy dodasz modyfikator `static`. Bez
>volatile,
>arm:
>.L2:
> b .L2

I to jest prawidlowe :-)

>Dlaczego tak? Bo kompilator wie, że inna jednostka kompilacji nie
>zmieni
>wartości tej zmiennej (bo jest statyczna, widoczna tylko w obrębie
>danej
>jednostki kompilacji), więc nie ma sensu żadne sprawdzanie, bo
>zmienna i
>tak jest zero (bo zmienne globalne są inicjalizowane zerami; spróbuj
>zamiast 42 wstawić 0 i zobacz, jaki kod wtedy kompilator wygeneruje).

wstaw 41.

Albo w jakiejs funkcji wpisz i=40 ...

J.