Вот такой маленький вопрос хотел бы уточнить:
"Надо переписать цикл я языка паскаль, на язык Ассемблер"  - посмотрите правильно ли будет, и не будет ли зацикливания?

for  v1 := v2 downto v3 do
    v4 := v4 + 10

Идейно верно, но не ловится ситуация, когда v2 < v3, плюс не учтено изменение значения v1.

а как это предусмотреть?

Точно не уверен, но вроде бы:
- если v2 < v3, то цикл не выполняется, v1 не изменяется;
- иначе v1 после цикла оказывается равной v3.

В зависимости от типа переменных надо использовать знаковое или беззнаковое сравнение для выяснения, нужно ли выполнять цикл.

 

а не количество шагов цикла: cx = v2-v3+1 

И ещё, если CX будет равен 0 (т.е. v2 = v3), то козалось бы цикл должен выполняться 0 раз, иначе говоря не выполняться, но команда loop при нулевом значении CX всеравно БУДЕТ выполняться. А всё почему - потому что loop работает так: уменьшает CX на 1, а затем сравнивает CX с нулём, и если CX=0, то выполнение цикла прекращается. Когда же CX=0, то  всё происходит так: инструкция loop уменьшает его на 1, т.е. CX становится равным 0FFFFH, затем сравнивает CX (в данном случае 0FFFFH) с нулём, и т.к. 0FFFFH не равен 0, то выполнение цикла продолжается ещё 65535 раз.

iff, inc cx там стоит - все нормально. cx = v3 - v2 + 1 = 1 при v2 = v3.



выводит 5.

cx-то пусть себе будет количеством шагов цикла, а вот [v1] := [v2] в случае v2 <= v3.