Просится на выполнение следующий тест :Сообщение от 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
PDP-11/83, Электроника МС0511 (УК-НЦ), DECserver 90M
Q-Bus: H9278-A, DLV11-J, DZQ11, DHV11, DELQA-M, LPV11, CQD-420/TM, DRV11
PMI: KDJ11-BF, MSV11-JE
VT220, CM7209
Трапнулся после mov #364, SP, команда не выполнилась: []
Ситуация получилась очень интересная.
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 тут
C .vcd у меня отработал только GTKWave но с большим скрипом.
Update: надо бы на Перле написать скрипт, который преобразует один из форматов во вменяемый лог транзакций.
- - - Добавлено - - -
Понадобилось добавить два nop, чтобы убедиться что причиной исключения является инструкция call, то есть - call исполняется, потом проверяется стек и возникает исключение. Вставил несколько nop после mov #200, SP - никаких исключений mov не вызвал.
Последний раз редактировалось Vslav; 31.01.2016 в 23:26.
С любовью к вам, Yandex.Direct
Размещение рекламы на форуме способствует его дальнейшему развитию
А адрес какой команды заносится в стек при исключении?
Но на выложенной картинке в стек при прерывании попадает именно адрес MOV и после RTI команда MOV выполняется второй раз.
- - - Добавлено - - -
Для проверки прерывания при команде 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.
Тогда можно проверить, как отработает IOT после MOV #2, SP :
Код:.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
Последний раз редактировалось Patron; 31.01.2016 в 23:54.
Эту тему просматривают: 1 (пользователей: 0 , гостей: 1)
Ваши права
Ответить с цитированием
