Запутался с флагами, ARM

Доброго времени суток. Что-то я уже мозг сломал. Нужно реализовать на С#, то что происходит в контроллере.

CMP     R0, R3
BLE     loc_7BAE    ; я так понимаю, знаковое сравнение. (Z==1) || (N!=V)
. . . 
loc_7BAE:
ADDS    R4, R0, #0  ; а вот тут, у нас в каких случаях будет +1???

Ну то есть, на шарпе получаем так? или не совсем так?

if (R0 <= R3) // R0, R3 - Int32
{
    R4 = R0;           // R4 = R0 + 0
    if(R0 == R3) R4++; // ???
}