я не могу понять некоторые инструкции в ARM: СБК, RSC

Question

Я не понимаю, SBC и RSC инструкции ARM

Я знаю, что оба имеют дело с флагом переноса (C)

Я думаю, что это делает смысл добавления результата с переносом (ADC), как:

ADC r1, r2, r3 @ r1 = r2 + r3 + Carry

Но вычитая/реверс вычитание с переносом ... я не могу понять, что происходит :(

Можете ли вы, ребята, дать мне пример, используя SBC и RSC?

Answer 1

Учитывая двоичное дополнение, вычитание просто может быть преобразован в дополнение:

z = y - x 
    = y + (-x) 
    = y + ~x + 1 

, что делает его легче рассматривать как флаг переноса установлен в этой ситуации, т.е. subs:

z = 0 - 0 
    = 0 + ffffffff + 1 
C:z = 1:00000000  // no borrow, C = 1 

    z = 0 - 1 
    = 0 + fffffffe + 1 
C:z = 0:ffffffff  // borrow, C = 0 

Следовательно, значение флага C является nB («не занимать»), поэтому sbc как «вычесть с переносом» означает «вычесть без заимствования», или другими словами:

z = y + ~x + C   // i.e. adc with the second operand inverted 
    = y - (x - 1) - (~C + 1) 
    = y - x - ~C