If ConditionPassed{cond} then
Rd=Rn + shifter_operand+C Flag
If S==1 and Rd==r15 then
CPSR=SPSR
Else if S==1 then
N flag=Rd[31]
Z flag=if Rd==0 then 1 else 0
C flag=CarryFrom{ Rn + shifter_operand +C Flag}
V flag=OverflowFrom{ Rn + shifter_operand +C Flag }