Учитывая код в MSP430:
CLR R6
MOV #5, R5
L1: DEC R5
CMP #0, R5
JL L1
INC R6
Мне сказали, что значение R5 после выполнения равно 4, а не 0.
Это что-то конкретное для инструкции JL?
JL означает "Перейти, если меньше".
Из набора инструкций:
JL : Jump to Label if (N .XOR. V) = 1
Таким образом, переход происходит только в том случае, если установлен либо отрицательный флаг, либо флаг переполнения (но не оба).
Инструкция CMP может установить любой из них в результате выполнения b - a (в данном случае R5 - 0) — CMP #0, R5 — это просто способ проверки значения R5.
CMP и JL вместе означают IF R5 < 0 GOTO L1.
Поскольку вы установили его равным 5 и уменьшили до 4, оно не будет меньше нуля, поэтому JL не разветвляется.
Возможно, имелось в виду JNZ ("Перейти, если не равно нулю") или его синоним JNE ("Перейти, если не равно").
CLR R6 ; R6 = 0
MOV #5, R5 ; R5 = 5
L1: DEC R5 ; R5 = R5 - 1
CMP #0, R5 ; if R5 - 0 ...
JL L1 ; ... is less than zero ... <-- This is never true
; ... then goto L1
INC R6 ; R6 = R6 + 1
; Here R5 = 4, R6 = 1
Обратите также внимание на то, что инструкция DEC также устанавливает флаги N и V, так что CMP на самом деле не нужен.
CLR R6 ; R6 = 0
MOV #5, R5 ; R5 = 5
L1: DEC R5 ; R5 = R5 - 1
JNZ L1 ; if R5 is not zero ...
; ... then goto L1 <-- This will loop until R5 == zero
INC R6 ; R6 = R6 + 1
; Here R5 = 0, R6 = 1
См. этот пример из руководства:
CMP @R7,R6 ; Is R6 < @R7?
JL Label5 ; Yes, go to Label5
... ; No, continue here
Во всех инструкциях MSP с двумя операндами первый операнд является источником, а второй — приемником. Это соглашение более удобочитаемо для всех остальных инструкций, но для CMP оно означает, что второй операнд сравнивается с первым.
Итак, CMP #0, R5, JL проверяют, меньше ли R5 нуля (что не так).
Чтобы убедиться, что R5 равно нулю после цикла, выполните переход, когда R5 не равен нулю, т. е. JNE. (И CMP #0, x совпадает с TST x.)
Это я считаю важным моментом, отсутствующим в других ответах. Как указывает Клиффорд, JL означает прыжок, если V xor N равно 1.
0x0005 - 0x0000
вычитание производится сложением, инвертированием и добавлением единицы
11111111111111111
0000000000000101
+1111111111111111
===================
0000000000000101
N is 0, V is 0
N xor V равно 0 xor 0, что равно 0
JL не должен разветвляться.
N равно 0, V равно 0, Z равно 0, и выполнение зависит от архитектуры, оно может сохранить его как есть C = 1 или может инвертировать его, потому что это вычитание и считать его заимствованием C = 0
Из комментария кажется, что вы хотите, чтобы это выходило из цикла с R5 = 0, чтобы мы знали, какие флаги будут для R5 больше 0 (ну, мы можем предположить)
0x0000 - 0x0000
11111111111111111
0000000000000000
+ 1111111111111111
====================
0000000000000000
V равно 0, N равно 0, Z теперь равно 1, а C равно 0 или 1 в зависимости от архитектуры.
Проще всего использовать переход, если не ноль (переход, если флаг z не установлен), это также не имеет проблем, которые больше или меньше, чем есть, как вы должны понимать для архитектуры и из документации, если больше, чем меньше, чем мнемоники для математики без знака или математики со знаком, поскольку это имеет значение. если вы посмотрите, например, на руку, вы увидите, что она вызывает неподписанное из подписанного (две мнемоники/имена для одной и той же инструкции).
