mirror of
https://github.com/sxpert/hp-saturn
synced 2025-02-12 08:48:27 +01:00
27 lines
617 B
Coq
27 lines
617 B
Coq
|
/******************************************************************************
|
||
|
|
* 03 RTNCC
|
||
|
|
*
|
||
|
|
*
|
||
|
|
*/
|
||
|
|
|
||
|
|
DECODE_RTNCC:
|
||
|
|
if (runstate == `INSTR_READY)
|
||
|
|
begin
|
||
|
|
Carry <= 0;
|
||
|
|
PC <= RSTK[rstk_ptr];
|
||
|
|
RSTK[rstk_ptr] <= 0;
|
||
|
|
rstk_ptr <= rstk_ptr - 1;
|
||
|
|
bus_load_pc <= 1;
|
||
|
|
runstate <= `NEXT_INSTR;
|
||
|
|
`ifdef SIM
|
||
|
|
$display("%05h RTNCC", saved_PC);
|
||
|
|
`endif
|
||
|
|
end
|
||
|
|
// `ifdef SIM
|
||
|
|
// else
|
||
|
|
// begin
|
||
|
|
// decode_error <= 1;
|
||
|
|
// $display("RTNCC runstate %h", runstate);
|
||
|
|
// end
|
||
|
|
// `endif
|