Просится на выполнение следующий тест :Цитата:
Сообщение от form
Код:.ASect
. = 0
Jmp @#Next // Точка входа пульта.
. = 4
.Word Trap4
.Word 340
. = 24
.Word Start // Адрес старта.
.Word 340
Trap4:
RtI
Start:
Mov #400, SP
Call L1
L1:
Mov #364, SP
Call L2
L2:
Mov #200, SP
Call L3
L3:
Mov #2, SP
Call Next
Next:
Wait
Классическая зачистка памяти:Вызывает YSA там где он есть. Где нет - чистит память и штатно останавливается.Код:MOV #160000,SP
MOV #4747,@#0
CLR PC
Трапнулся после mov #364, SP, команда не выполнилась: [http://s020.radikal.ru/i703/1601/c4/3f8646d0c5bet.jpg]Цитата:
Сообщение от Patron
Ситуация получилась очень интересная.Цитата:
Сообщение от Vslav
Call L1 отработал и адрес возврата сохранился по адресу 0376Код:Mov #400, SP
Call L1
L1:
...
При первом выполнении - команда Mov #364, SP трапнулась, сохранив в стеке свой адрес, возврат по RTI произошёл обратно и при втором исполнении команда Mov #364, SP отработала без проблем, установив стек на 0364. Сразу следом отработала и команда Call L2, сохранив адрес возврата в ячейке 0362.Код:Mov #364, SP
Call L2
L2:
...
При первом выполнении - команда Mov #200, SP трапнулась, сохранив в стеке свой адрес, возврат по RTI произошёл обратно и при втором исполнении команда Mov #200, SP отработала без проблем, установив стек на 0200. Сразу следом отработала и команда Call L3, но тут картинка кончилась.Код:Mov #200, SP
Call L3
L3:
Надо бы после CALL вставить NOP для чистоты эксперимента, тогда будет видно при заносе в SP это выполняется или при заносе в стек. Т.е. первой командой на метке будет NOP, а не MOV.
Получилось переключить анализатор в transitional mode - теперь захват значений идет по каждому изменению CPU_CLK (та которая подается на реальный 1801ВМх), но уродский Quartus не может нормально экспортировать такой файл в картинку. Нормальный просмотровщик .vcd я не нашел - бОльшая часть из них глючит и файл не открывает. Выложил .csv, .tbl, .vcd тутЦитата:
Сообщение от Patron
C .vcd у меня отработал только GTKWave но с большим скрипом.
Update: надо бы на Перле написать скрипт, который преобразует один из форматов во вменяемый лог транзакций.
- - - Добавлено - - -
Понадобилось добавить два nop, чтобы убедиться что причиной исключения является инструкция call, то есть - call исполняется, потом проверяется стек и возникает исключение. Вставил несколько nop после mov #200, SP - никаких исключений mov не вызвал.Цитата:
Сообщение от Alex_K
А адрес какой команды заносится в стек при исключении?Цитата:
Сообщение от Vslav
Но на выложенной картинке в стек при прерывании попадает именно адрес MOV и после RTI команда MOV выполняется второй раз.Цитата:
Сообщение от Vslav
- - - Добавлено - - -
Для проверки прерывания при команде CALL можно прогнать такой тест:
Код:.ASect
. = 0
Jmp @#Next // Точка входа пульта.
. = 4
.Word Trap4
.Word 340
. = 24
.Word Start // Адрес старта.
.Word 340
Trap4:
RtI
Start:
Mov #400, SP
Mov #10., R4
L2:
Call L1
L1:
Nop
SOB R4, L2
Next:
Wait
Она не выполняется второй раз, первый раз просто произошла предвыборка, собственно команда не выполнилась - это видно по тому что стек не изменился, и при добавлении nop-ов просто происходит предвыборка nop-ов. Сохраняемый адрес возврата - на точку куда передала управление call.Цитата:
Сообщение от Patron
Тогда можно проверить, как отработает IOT после MOV #2, SP :Цитата:
Сообщение от Vslav
Код:.ASect
. = 0
Jmp @#Next // Точка входа пульта.
. = 4
.Word Trap4
.Word 340
. = 20
.Word Trap4
.Word 340
.Word Start // Адрес старта.
.Word 340
Trap4:
Mov SP, @#100
Wait
Start:
Mov #2, SP
Nop
Nop
IOT
Nop
Nop
Next:
Wait