Глюк оптимизации WinAVR(GCC), сдвиги << и >> Опции

[singlskv]

Вот такой код:

Код

unsigned char x,y=0x34,z;

int main()
{
  x=5;
  y=y>>5;
  z=5;
  return 0;
}

А это "оптимизированный" выход, опции -O2 или -O1

Код

7:          x=5;
+00000032:   E095        LDI     R25,0x05         Load immediate
+00000033:   93900062    STS     0x0062,R25       Store direct to data space
8:          y=y>>5;
+00000035:   91800060    LDS     R24,0x0060       Load direct from data space
+00000037:   2E09        MOV     R0,R25           Copy register
+00000038:   C001        RJMP    PC+0x0002        Relative jump
+00000039:   9586        LSR     R24              Logical shift right
+0000003A:   940A        DEC     R0               Decrement
+0000003B:   F7EA        BRPL    PC-0x02          Branch if plus
+0000003C:   93800060    STS     0x0060,R24       Store direct to data space
9:          z=5;
+0000003E:   93900063    STS     0x0063,R25       Store direct to data space

Смотрим на цикл и тихо радуемся
Если x!=z то код получается нормальный

[pulsar-17]

На какой версии GCC компилировалось?

Вот что делает WinAVR от 22.01.2007 с GCC 4.1.1 (оптимизация - "s"):

000000ca <main>:
main():
ca: 95 e0 ldi r25, 0x05 ; 5
cc: 90 93 02 01 sts 0x0102, r25
d0: 80 91 00 01 lds r24, 0x0100
d4: 82 95 swap r24
d6: 86 95 lsr r24
d8: 87 70 andi r24, 0x07 ; 7
da: 80 93 00 01 sts 0x0100, r24
de: 90 93 03 01 sts 0x0103, r25