Так как же все-таки работает команда LDM {}^, Кто не прав - я или симулятор IAR? Опции

[Сергей Борщ]

Итак имеем: процессор в IRQ mode, выполняет команду

Код

    LDMFD    LR, {R0-LR}^

результат в железе: значения попадают в R0...R12, SP_user, LR_user, CPSR не тронут.
результат в симуляторе IAR EWARM4.30A: значения попадают в R0...R12, SP_user, LR_user, в CPSR копируется значение из SPSR_irq.
Согласно документу ARM DDI 0029E:
LDM with R15 in transfer list and S bit set (Mode changes)
If the instruction is a LDM then SPSR_<mode> is transferred to CPSR at the same time as R15 is loaded.

R15 not in list and S bit set (User bank transfer)
For both LDM and STM instructions, the User bank registers are transferred rather than the register bank corresponding to the current mode.

В данном случае R15 нет в списке и по моим понятиям копирования SPSR_irq быть не должно. Однако вот тут:
http://electronix.ru/forum/index.php?s=&sh...ndpost&p=113699
коллега утверждает что копирование SPSR_irq происходит всегда. Кто из нас прав?