К чему приводит выход из подпрограммы командами LJMP, SJMP и т.д?

@mihail0896 · Регистрация: 22.10.2015

Студворк — интернет-сервис помощи студентам

@Constantin Cat · 04.10.2018, 11:23

Микроконтроллеры > MCS-51 > Команды

Команда LJMP <addr16>
Команда "длинный переход" выполняет безусловный переход по указанному адресу, загружая старший и младший байты счетчика команд (РС) соответственно вторым и третьим байтами, находящимися в коде команды. Адрес перехода, таким образом, может находиться по любому адресу пространства памяти программ в 64 Кбайт. Эта команда на флаги не влияет.

Из подпрограмм выходят с помощью команды:

Микроконтроллеры > MCS-51 > Команды
Команда RET
Команда "возврат из подпрограммы" последовательно выгружает старший и младший байты счетчика команд из стека, уменьшая указателья стека на 2. Выполнение основной программы обычно продолжается по адресу команды, следующей за ACALL или LCALL. На флаги эта команда не влияет.

Фраза: выгружает старший и младший байты счетчика команд из стека, уменьшая указателья стека на 2 - говорит о том, что чистится стек, команды перехода стек не чистят, поэтому стек - нарушен, и как следствие - не правильная работа кода.
В будущем смотрите в каком разделе спрашиваете.

@Constantin Cat · 04.10.2018, 12:00

Но есть и исключение из общего правила:
К примеру есть N подпрограмм, у которых первая часть различна, а начиная с метки А до команды возврата - одинакова, длиной М-байт. В данном случае, использование переходов позволяет уменьшить код на (N-1)*M байт.
Но это только частный случай и программист специально, осознанно, делает этот трюк.

@Constantin Cat · 04.10.2018, 12:22

Сообщение от Constantin Cat

(N-1)*M

Слегка ошибся (N-1)*(M-3), где 3 длина команды перехода.

ValeryS · 04.10.2018, 15:10

Сообщение от mihail0896

К чему приводит выход из подпрограммы командами LJMP, SJMP и т.д?

а как ты будешь выходить? куда пошлешь программу ?
адрес возврата лежит в стеке
если выдернуть этот адрес и перейти по нему JMP то получишь тот же RET
раньше такие штуки использовались для ослепления дизасемблеров

@Voland_ · 04.10.2018, 15:36

Изначальный вопрос не имеет точного ответа. Потому что

Сообщение от mihail0896

командами LJMP, SJMP

Нельзя "выйти" из подпрограммы. Ими вы можете сделать только переход по адресу.

ValeryS · 04.10.2018, 16:10

Сообщение от Voland_

Нельзя "выйти" из подпрограммы.

а так

Assembler
1
2
3
4
POP  DPH  
POP  DPL  
CLR   A
JMP @A+DPTR

@Constantin Cat · 04.10.2018, 20:24

Сообщение от Voland_

Изначальный вопрос не имеет точного ответа.

Использование JMP возможен в трех случаях:
1) Аварийный выход из программы(в этом случае кодер должен предусмотреть этот вариант, см.пост №2, относительно стека):
2) Экономия памяти(см. пост №3), в этом случае кодер идет осознано, с целью экономии памяти основной программы, и то если М больше 3-х в пару раз, т.к эта формула (N-1)*(M-3), покажет целесообразен ли такой вариант, когда формула даст положительный результат, иногда способ имеет место быть и при результате +1;
3) Рукожопый кодер, считает умнее всех, ну тут первое слово говорит о многом, т.к. ему нужно будет разгребать стековые конюшни, блин новый "Геракл".

Сообщение от ValeryS

а так

Из П/пр-мы можно выйти по разному, не знаю как в МК, а в х86 можно передать управление:

Assembler
1
2
3
4
pop bx
jmp bx
;или
jmp [bp]

Вопрос, только в желании, а способ найжется всегда.

@Voland_ · 05.10.2018, 12:49

Сообщение от ValeryS

а так

Технически это не выход из подпрограммы

. Например потому, что у Вас портятся сразу три регистра при выходе. В сях конвенция (обычно) использует регистр А для результата. Ну и есть если локальные переменные - ситуация еще более обостряется.

Сообщение от Constantin Cat

Использование JMP возможен в трех случаях:

я в курсе ).

Вариант 1 - да, технически можно назвать "выходом из подпрограммы", но обычно никто так не делает. Ибо есть
соглашения, что подрограмма всегда должна иметь один вход и один выход. То есть возможно все, но не все стоит делать

.

Вариант 2 - согласен с Вами на 100%, но переход в данном случае не является "выходом из подпрограммы". Потому что ее (подпрограммы) функция выполнится только в конце списка функций, до ее RET.

Вариант 3 - это отдельная история, ее можно вообще не рассматривать. Тоже согласен

.

ЗЫ: я больше аппелирую к терминам. "выход из подпрограммы" для меня некая точка, когда логическая задача подпрограммы заканчивается, данные результата соответствуют некой "конвенции" (соглашению).

Добавлено через 2 часа 2 минуты
PS: в одной из архитектур есть интересные сочетания. например, допустима команда POP PC.. Ну, то есть вы наверное, догадались что она делает? Да-да, после ее компиляции декомпилятор возвращает "RET". Ну, и так же всякие "jmp .+2" возвращает "NOP" и т.д. Примеров я знаю с десяток.

@i8085 · 05.10.2018, 15:00

Ещё не упомянули, что реализация "CALL - RETURN" зависит от типа микроконтроллера. Во многих этот стек вообще программно недоступен, сохраняет некоторые флаги, номера банков памяти, имеет отличия просто возврата от возврата из прерывания... Так можно много чего начудить.

@Voland_ · 05.10.2018, 16:19

Сообщение от i8085

Во многих этот стек вообще программно недоступен

а конкретнее можно? Дайте почитать. Я слышал что это есть, но никогда не сталкивался...

ValeryS · 05.10.2018, 16:49

Сообщение от Voland_

Технически это не выход из подпрограммы

таки выход, программа получает управление туда откуда вызван CALL, реализован правда через....

но задачу свою выполняет

Сообщение от Voland_

Например потому, что у Вас портятся сразу три регистра при выходе.

да и пес с ними

Сообщение от Voland_

В сях конвенция (обычно) использует регистр А для результата.

а вот тут позвольте не согласится, соглашение о вызове и возврате, сильно зависит от платформы, например в наших любимых STM нет вообще A, неплохо справляется R0

@Constantin Cat · 05.10.2018, 22:41

Сообщение от Voland_

подпрограмма всегда должна иметь один вход и один выход

П пропустили

Этот метод есть в компиляторах в виде PROC-ENDP, и позволял, заметьте, не кодеру, а программе указывать, где кодер ошибся. Когда из/в некоторого логического блока кода можно было выпрыгнуть, или на оборот запрыгнуть. Но поверьте кодят, с помощью PROC-ENDP, только те, кто наступил на грабли поиска: "блин, да не может этого быть".

Но использование прямой адресации( игнорирование PROC-ENDP), при переходах, лишает кодера возможности получения сообщений от компилятора и заставляет думать: "блин, да не может этого быть".

Да есть способы обойти PROC-ENDP, но "ламер", не додумается, а "адванс", их и так знает.

@Ethereal · 12.10.2018, 08:39

Сообщение от Voland_

а конкретнее можно? Дайте почитать. Я слышал что это есть, но никогда не сталкивался...

Да у микрочиповских микроконтроллеров PIC12Fxxx PIC16Fxxx стек программно недоступен. Еще у КР1878ВЕ1 тоже. У каких-то ранних Атмелок стек был на три уровня вложения всего, наверное он тоже был аппаратным и соответственно программно недоступным. Это из того, что первое в голову пришло.

Сообщение от Voland_

Ибо есть соглашения, что подрограмма всегда должна иметь один вход и один выход.

Не знаю откуда взялись такие соглашения, но для программиста на ассемблере они вызывают только недоумение. В некоторых системах команд специально предусмотрены команды для того, чтобы у подпрограммы было много выходов. Например RETLW в микрочиповской системе команд. Она для чего придумана ? RTSC у КР1878ВЕ1 для чего ? А у Intel 8080 команды условных выходов из подпрограмм для чего ?

Добавлено через 14 минут
P.S.
Во нашел. Atmel AVR 90S1200
The stack is a 3-level-deep hardware stack dedicated for subroutines and interrupts.
Так-что если один уровень аппаратного стека предусмотреть для прерываний, то для вызова подпрограмм останутся 2 уровня стека. Приучает к очень аскетическому программированию

ValeryS · 12.10.2018, 08:42

Сообщение от Ethereal

А у Intel 8080 команды условных выходов из подпрограмм для чего ?

так это и есть один вход один выход

например

C
1
2
3
4
5
6
7
8
int func(int a)
{
 if(a==0) return 2;
if(a==1) return 4;
if(a==2) return 6;
if(a==3) return 8;
return -1;
}

это один вход один выход, подпрограмма(функция) возвращается в одну точку
если иметь одну точку выхода
то пришлось бы писать

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
int func(int a)
{
int ret=-1;
 if(a==0)
{
 return 2;
 goto exit;
}
if(a==1) 
{
 ret= 4;
 goto exit;
}
if(a==2) 
{
 ret= 6;
 goto exit;
}
if(a==3) 
{
 ret=8;
 goto exit;
}
exit:
return ret;
}

что есть ересь
а вот несколько выходов это когда п/п в зависимости от условий будет возвращаться в разные точки

@Ethereal · 12.10.2018, 08:57

Сообщение от ValeryS

а вот несколько выходов это когда п/п в зависимости от условий будет возвращаться в разные точки

Если выход из п/п понимать так, то п/п перестанет уже быть п/п. п/п должна возвращаться туда откуда вызвана (для этого ей адрес возврата и передается) плюс, может быть, жестко закодированные адреса аварийных выходов. Но в норме туда откуда вызвана. Тогда она есть п/п.
Так-что если вводить такую терминологию, то исчезает сам предмет к которому терминология должна прикладываться.

ValeryS · 12.10.2018, 09:03

Сообщение от Ethereal

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

это мы сейчас рассуждаем, а лет так пятьдесят назад, имело право на жизнь. "спагетти" помнишь

тогда-то и было сформулировано один вход один выход

@Ethereal · 12.10.2018, 09:15

Во. Просто к слову пришлось.
У PDP-8 не было стека и специальных команд вызова подпрограмм. Были только команды безусловных переходов и условных скипов (как у микрочипа).
Подпрограмма начиналась с кода безусловного перехода, а точка входа была сразу за ним. Выход из подпрограммы делался прыжком на безусловный переход в ее начале.
Перед вызовом подпрограммы сначала нужно было запихнуть в код условного перехода в ее начале адрес возврата, а потом перейти на подпрограмму прыжком на точку входа.

Сообщение от ValeryS

"спагетти" помнишь

Не признаю никаких правил, пишу лишь бы было максимально кратко, но "спагетти-код" у меня чего-то не получается. Просто потому-что оптимально по размеру почему-то всегда то, что просто, ясно и красиво.

"спагетти-код" - это не красиво и в итоге не оптимально. Безо всяких правил.

ValeryS · 12.10.2018, 09:23

Сообщение от Ethereal

Не признаю никаких правил, пишу лишь бы было максимально кратко,

чтобы правила отрицать, нужно их знать

а то изобретешь что то уже известное

Добавлено через 1 минуту

Сообщение от Ethereal

спагетти-код" - это не красиво и в итоге не оптимально.

экономия памяти, сейчас уже неактуально

@Voland_ · 12.10.2018, 13:01

Сообщение от Ethereal

Не знаю откуда взялись такие соглашения

https://www.ipa.go.jp/files/000040508.pdf, стр.96, M3.1.5. Понятно, что MISRA нужна далеко не всем, и тем не менее - составляли ее совсем не дураки... В принципе, она запрещает много чего и нужного (например, рекурссии). Но и такие "guidelines" присутствуют во многих других стандартах программирования.

PS: я не призываю к дискуссии, потому что сам в общем "ассемблирую" уже очень давно. Но такие "guide"'ы сильно приучают делать читаемый всеми код, а не "книгу открытий", для стороннего разработчика.

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@mihail0896 0 / 0 / 0 Регистрация: 22.10.2015 Сообщений: 30

	К чему приводит выход из подпрограммы командами LJMP, SJMP и т.д? 04.10.2018, 10:09. Показов 3435. Ответов 26 Метки нет (Все метки) К чему приводит выход из подпрограммы командами LJMP, SJMP и т.д? 0

@Constantin Cat 3410 / 1829 / 489 Регистрация: 28.02.2015 Сообщений: 3,696
	04.10.2018, 12:00
	Но есть и исключение из общего правила: К примеру есть N подпрограмм, у которых первая часть различна, а начиная с метки А до команды возврата - одинакова, длиной М-байт. В данном случае, использование переходов позволяет уменьшить код на (N-1)*M байт. Но это только частный случай и программист специально, осознанно, делает этот трюк. Миниатюры 0

@i8085 4041 / 2653 / 582 Регистрация: 11.09.2009 Сообщений: 9,474
	05.10.2018, 15:00
	Ещё не упомянули, что реализация "CALL - RETURN" зависит от типа микроконтроллера. Во многих этот стек вообще программно недоступен, сохраняет некоторые флаги, номера банков памяти, имеет отличия просто возврата от возврата из прерывания... Так можно много чего начудить. 0