J.F. <j...@p...onet.pl> wrote:

>>.L2:
>> cmp r3, #42 ; tu porównuje rejestr
>> bne .L2 ; tu skacze z powrotem do porównania
>
> kiepski optymalizator ... czemu porownuje w petli ?

Tak... też nie rozumiem tej logiki. Albo jedno albo drugie, a tu jest
takie pół na pół :)

>>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.

Będzie to samo, bo 41 to nie 0.

> Albo w jakiejs funkcji wpisz i=40 ...

Ok, robimy:

#v+ test.c
int i;
void fn1(void) { while (i != 42) ; }
void fn2(void) { i = 40; }
#v-

gcc -O2 -S test.c

#v+ test.s, fn1
ldr r3, .L5 ; ładuje do r3 adres zmiennej
ldr r3, [r3] ; ładuje do r3 wartość zmiennej
.L2:
cmp r3, #42 ; porównuje zapamiętaną wartość z 42
bne .L2 ; skacze do porównania
#v-

#v+ test.s, fn2
ldr r3, .L8 ; ładuje do r3 adres zmiennej
mov r2, #40 ; ładuje do r2 wartość 40
str r2, [r3] ; zapisuje wartość r2 pod adresem zmiennej
#v-

Możemy sprawdzić to empirycznie. Program:

#v+
#include <signal.h>
#include <unistd.h>
#include <stdio.h>

static int g_signo;

static void sighnd(int signo)
{
printf("Wywolano sighandler\n");
g_signo = signo;
}

int main(void)
{
signal(SIGALRM, sighnd);
alarm(2);

printf("Czekanie na sygnal\n");
while (!g_signo) ;
printf("Odebrano sygnal\n");

return 0;
}
#v-

Kod bez optymalizacji (gcc -O0) widzi zmianę w g_signo. Kod z -O1 i -O2
nie widzi. Dodanie `volatile` do definicji zmiennej sprawia, że kod nawet
z optymalizacjami widzi zmianę.

Testowane na raspberry (Raspbian), gcc 4.9.2.

--
Eksperymentalnie: http://facebook.com/groups/pl.misc.elektronika