Чому компілятор не використовує безпосередньо LSR

Привіт, я працював над проектом, використовуючи Arduino Uno (так ATmega328p), де терміни досить важливі, і тому я хотів дізнатися, в які інструкції компілятор перетворює мій код. І там у мене є uint8_tкотрий, який я зміщую по одному біту вправо на кожній ітерації, використовуючи, data >>= 1і здається, компілятор перевів це на 5 інструкцій ( dataє r24):

mov     r18, r24
ldi     r19, 0x00
asr     r19
ror     r18
mov     r24, r18

Але якщо я вивчаю документацію щодо набору інструкцій, я бачу інструкцію, яка робить саме це: lsr r24

Я щось пропускаю чи чому компілятор також не використовує це? Реєструється r18і r19більше ніде не використовується.

Я використовую Ardunio, але якщо я маю рацію, він просто використовує звичайний avr-gccкомпілятор. Це код (обрізаний), який генерує послідовність:

ISR(PCINT0_vect) {
    uint8_t data = 0;
    for (uint8_t i = 8; i > 0; --i) {
//        asm volatile ("lsr %0": "+w" (data));
        data >>= 1;
        if (PINB & (1 << PB0))
            data |= 0x80;
    }
    host_data = data;
}

Наскільки я бачу, Ardenino IDE використовує компілятор AVR gcc, що надається системою версії 6.2.0-1.fc24. Обидва встановлені через керування пакетами, тому вони повинні бути оновленими.

Згідно зі специфікацією мови C, будь-яке значення, розмір якого менший за розмір int(залежить від конкретного компілятора; у вашому випадку intшириною 16 біт), що бере участь у будь-якій операції (у вашому випадку >>), перетворюється на значення intдо початку операції.
Така поведінка компілятора називається цілим просуванням .

І саме це зробив компілятор:

• r19 = 0 - MSByte цілого цільового значення data.
• (r19, r18) являє собою загальне ціле ціле значення, dataяке сприяє зміщенню вправо на один біт на asr r19і ror 18.
• Потім результат неявно повертається до вашої uint8_tзмінної data:
  mov r24, r18тобто MSByte в r19 викидається.

Редагувати:
Звичайно, компілятор може оптимізувати код.
Намагаючись відтворити проблему, я виявив, що принаймні з avr-gcc версії 4.9.2 проблема не виникає. Він створює дуже ефективний код, тобто C-рядок data >>= 1;збирається лише в одну єдину lsr r24інструкцію. Тож, можливо, ви використовуєте дуже стару версію компілятора.