ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

Operation
if ConditionPassed() then
EncodingSpecificOperations();
if CurrentModeIsUserOrSystem() then UNPREDICTABLE;
length = 4*BitCount(registers);
address = if increment then R[n] else R[n]-length;
if wordhigher then address = address+4;
for i = 0 to 14
if registers == ‘1’ then / Store User mode (‘10000’) register
MemA[address,4] = Rmode[i, ‘10000’];
address = address + 4;
if registers == ‘1’ then
MemA[address,4] = PCStoreValue();
Exceptions
Data Abort.
System Instructions
ARM DDI 0406B Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. B6-23