К чему приводит выход из подпрограммы командами 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"'ы сильно приучают делать читаемый всеми код, а не "книгу открытий", для стороннего разработчика.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

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

	К чему приводит выход из подпрограммы командами LJMP, SJMP и т.д? 04.10.2018, 10:09. Показов 3378. Ответов 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 3760 / 2638 / 581 Регистрация: 11.09.2009 Сообщений: 9,419
	05.10.2018, 15:00
	Ещё не упомянули, что реализация "CALL - RETURN" зависит от типа микроконтроллера. Во многих этот стек вообще программно недоступен, сохраняет некоторые флаги, номера банков памяти, имеет отличия просто возврата от возврата из прерывания... Так можно много чего начудить. 0