
<defines>
`define CMD_LEAVE       #AUTOGEN_NEXT_CMD
</defines>

<decode>
dec_ready_one && decoder[7:0] == 8'hC9
`CMD_LEAVE
SET(consume_one);
</decode>

<read>
IF(rd_cmd == `CMD_LEAVE);
    SET(address_leave);
    
    //waiting for ebp in 'address_waiting'
    
    IF(rd_mutex_busy_memory); SET(rd_waiting);
    ELSE();
        SET(rd_src_is_memory);
        
        SET(rd_req_esp);
        SET(rd_req_ebp);
        
        SET(read_virtual);

        IF(~(read_for_rd_ready)); SET(rd_waiting); ENDIF();
    ENDIF();
ENDIF();
</read>

<execute>
IF(exe_cmd == `CMD_LEAVE);
    SET(offset_leave);

    SET(exe_result_push, src);
ENDIF();
</execute>

<write>
IF(wr_cmd == `CMD_LEAVE);
    
    SAVE(ebp, { wr_operand_16bit? ebp[31:16] : result_push[31:16], result_push[15:0] });
    SAVE(esp, wr_stack_esp);
ENDIF();
</write>
