`define INSN_HALT 9'b001110110 `define INSN_STOP 9'b000010000 `ifdef EXECUTE `INSN_HALT,`INSN_STOP: begin `EXEC_NEWCYCLE `EXEC_INC_PC /* XXX Interrupts needed for HALT. */ end `endif `ifdef WRITEBACK `INSN_HALT,`INSN_STOP: begin /* Nothing needs happen here. */ /* XXX Interrupts needed for HALT. */ end `endif