Subversion Repositories ao486

`define CMD_BTx     #AUTOGEN_NEXT_CMD_MOD4

`define CMD_BT      #AUTOGEN_NEXT_CMD_LIKE_PREV

`define CMD_BTS     #AUTOGEN_NEXT_CMD

`define CMD_BTR     #AUTOGEN_NEXT_CMD

`define CMD_BTC     #AUTOGEN_NEXT_CMD

`define CMDEX_BTx_modregrm_imm  4'd0

`define CMDEX_BTx_modregrm      4'd1

(dec_ready_2byte_modregrm && decoder[7:0] == 8'hA3) || (dec_ready_2byte_modregrm_imm && decoder[7:0] == 8'hBA && decoder[13:11] == 3'd4)

`CMD_BT

IF(decoder[0] == 1'b0); SET(dec_cmdex, `CMDEX_BTx_modregrm_imm); ELSE(); SET(dec_cmdex, `CMDEX_BTx_modregrm); ENDIF();

IF(decoder[0] == 1'b0); SET(consume_modregrm_imm); ELSE(); SET(consume_modregrm_one); ENDIF();

(dec_ready_2byte_modregrm && decoder[7:0] == 8'hB3) || (dec_ready_2byte_modregrm_imm && decoder[7:0] == 8'hBA && decoder[13:11] == 3'd6)

prefix_group_1_lock && `DEC_MODREGRM_IS_MOD_11

`CMD_BTR

IF(decoder[0] == 1'b0); SET(dec_cmdex, `CMDEX_BTx_modregrm_imm); ELSE(); SET(dec_cmdex, `CMDEX_BTx_modregrm); ENDIF();

IF(decoder[0] == 1'b0); SET(consume_modregrm_imm); ELSE(); SET(consume_modregrm_one); ENDIF();

(dec_ready_2byte_modregrm && decoder[7:0] == 8'hAB) || (dec_ready_2byte_modregrm_imm && decoder[7:0] == 8'hBA && decoder[13:11] == 3'd5)

prefix_group_1_lock && `DEC_MODREGRM_IS_MOD_11

`CMD_BTS

IF(decoder[0] == 1'b0); SET(dec_cmdex, `CMDEX_BTx_modregrm_imm); ELSE(); SET(dec_cmdex, `CMDEX_BTx_modregrm); ENDIF();

IF(decoder[0] == 1'b0); SET(consume_modregrm_imm); ELSE(); SET(consume_modregrm_one); ENDIF();

(dec_ready_2byte_modregrm && decoder[7:0] == 8'hBB) || (dec_ready_2byte_modregrm_imm && decoder[7:0] == 8'hBA && decoder[13:11] == 3'd7)

prefix_group_1_lock && `DEC_MODREGRM_IS_MOD_11

`CMD_BTC

IF(decoder[0] == 1'b0); SET(dec_cmdex, `CMDEX_BTx_modregrm_imm); ELSE(); SET(dec_cmdex, `CMDEX_BTx_modregrm); ENDIF();

IF(decoder[0] == 1'b0); SET(consume_modregrm_imm); ELSE(); SET(consume_modregrm_one); ENDIF();

IF({ rd_cmd[6:2], 2'd0 } == `CMD_BTx); // `CMDEX_BTx_modregrm || `CMDEX_BTx_modregrm_imm

    SET(address_bits_transform, rd_cmdex == `CMDEX_BTx_modregrm);

    SET(rd_src_is_reg,           rd_cmdex == `CMDEX_BTx_modregrm);

    SET(rd_src_is_modregrm_imm,  rd_cmdex == `CMDEX_BTx_modregrm_imm);

    SET(rd_req_eflags);

    // dst: reg, src: reg

    IF(rd_modregrm_mod == 2'b11);

        SET(rd_dst_is_rm);

        SET(rd_req_rm, rd_cmd[1:0] != 2'd0); // not BT

        IF(rd_mutex_busy_modregrm_rm || (rd_cmdex == `CMDEX_BTx_modregrm && rd_mutex_busy_modregrm_reg)); SET(rd_waiting); ENDIF();

    ENDIF();

    // dst: memory, src: reg

    IF(rd_modregrm_mod != 2'b11);

        SET(rd_dst_is_memory);

        SET(rd_req_memory, rd_cmd[1:0] != 2'd0); // not BT

        IF(rd_mutex_busy_memory || (rd_cmdex == `CMDEX_BTx_modregrm && rd_mutex_busy_modregrm_reg)); SET(rd_waiting);

        ELSE();

            SET(read_rmw_virtual,    rd_cmd[1:0] != 2'd0); // not BT

            SET(read_virtual,        rd_cmd[1:0] == 2'd0); // BT

            IF(~(read_for_rd_ready)); SET(rd_waiting); ENDIF();

        ENDIF();

    ENDIF();

ENDIF();

//----------------------- BT, BTC, BTR, BTS

wire [4:0]  e_bit_selector;

wire        e_bit_selected;

wire        e_bit_value;

wire [31:0] e_bit_result;

assign e_bit_selector = (exe_operand_16bit)? { 1'b0, src[3:0] } : src[4:0];

assign e_bit_selected =

    (e_bit_selector == 5'd0)?     dst[0] :

    (e_bit_selector == 5'd1)?     dst[1] :

    (e_bit_selector == 5'd2)?     dst[2] :

    (e_bit_selector == 5'd3)?     dst[3] :

    (e_bit_selector == 5'd4)?     dst[4] :

    (e_bit_selector == 5'd5)?     dst[5] :

    (e_bit_selector == 5'd6)?     dst[6] :

    (e_bit_selector == 5'd7)?     dst[7] :

    (e_bit_selector == 5'd8)?     dst[8] :

    (e_bit_selector == 5'd9)?     dst[9] :

    (e_bit_selector == 5'd10)?    dst[10] :

    (e_bit_selector == 5'd11)?    dst[11] :

    (e_bit_selector == 5'd12)?    dst[12] :

    (e_bit_selector == 5'd13)?    dst[13] :

    (e_bit_selector == 5'd14)?    dst[14] :

    (e_bit_selector == 5'd15)?    dst[15] :

    (e_bit_selector == 5'd16)?    dst[16] :

    (e_bit_selector == 5'd17)?    dst[17] :

    (e_bit_selector == 5'd18)?    dst[18] :

    (e_bit_selector == 5'd19)?    dst[19] :

    (e_bit_selector == 5'd20)?    dst[20] :

    (e_bit_selector == 5'd21)?    dst[21] :

    (e_bit_selector == 5'd22)?    dst[22] :

    (e_bit_selector == 5'd23)?    dst[23] :

    (e_bit_selector == 5'd24)?    dst[24] :

    (e_bit_selector == 5'd25)?    dst[25] :

    (e_bit_selector == 5'd26)?    dst[26] :

    (e_bit_selector == 5'd27)?    dst[27] :

    (e_bit_selector == 5'd28)?    dst[28] :

    (e_bit_selector == 5'd29)?    dst[29] :

    (e_bit_selector == 5'd30)?    dst[30] :

                                  dst[31];

assign e_bit_value = (exe_cmd == `CMD_BTC)?     ~e_bit_selected :

                     (exe_cmd == `CMD_BTR)?     1'b0 :

                                                1'b1;

assign e_bit_result =

    (e_bit_selector == 5'd0)?     { dst[31:1],  e_bit_value } :

    (e_bit_selector == 5'd1)?     { dst[31:2],  e_bit_value, dst[0] } :

    (e_bit_selector == 5'd2)?     { dst[31:3],  e_bit_value, dst[1:0] } :

    (e_bit_selector == 5'd3)?     { dst[31:4],  e_bit_value, dst[2:0] } :

    (e_bit_selector == 5'd4)?     { dst[31:5],  e_bit_value, dst[3:0] } :

    (e_bit_selector == 5'd5)?     { dst[31:6],  e_bit_value, dst[4:0] } :

    (e_bit_selector == 5'd6)?     { dst[31:7],  e_bit_value, dst[5:0] } :

    (e_bit_selector == 5'd7)?     { dst[31:8],  e_bit_value, dst[6:0] } :

    (e_bit_selector == 5'd8)?     { dst[31:9],  e_bit_value, dst[7:0] } :

    (e_bit_selector == 5'd9)?     { dst[31:10], e_bit_value, dst[8:0] } :

    (e_bit_selector == 5'd10)?    { dst[31:11], e_bit_value, dst[9:0] } :

    (e_bit_selector == 5'd11)?    { dst[31:12], e_bit_value, dst[10:0] } :

    (e_bit_selector == 5'd12)?    { dst[31:13], e_bit_value, dst[11:0] } :

    (e_bit_selector == 5'd13)?    { dst[31:14], e_bit_value, dst[12:0] } :

    (e_bit_selector == 5'd14)?    { dst[31:15], e_bit_value, dst[13:0] } :

    (e_bit_selector == 5'd15)?    { dst[31:16], e_bit_value, dst[14:0] } :

    (e_bit_selector == 5'd16)?    { dst[31:17], e_bit_value, dst[15:0] } :

    (e_bit_selector == 5'd17)?    { dst[31:18], e_bit_value, dst[16:0] } :

    (e_bit_selector == 5'd18)?    { dst[31:19], e_bit_value, dst[17:0] } :

    (e_bit_selector == 5'd19)?    { dst[31:20], e_bit_value, dst[18:0] } :

    (e_bit_selector == 5'd20)?    { dst[31:21], e_bit_value, dst[19:0] } :

    (e_bit_selector == 5'd21)?    { dst[31:22], e_bit_value, dst[20:0] } :

    (e_bit_selector == 5'd22)?    { dst[31:23], e_bit_value, dst[21:0] } :

    (e_bit_selector == 5'd23)?    { dst[31:24], e_bit_value, dst[22:0] } :

    (e_bit_selector == 5'd24)?    { dst[31:25], e_bit_value, dst[23:0] } :

    (e_bit_selector == 5'd25)?    { dst[31:26], e_bit_value, dst[24:0] } :

    (e_bit_selector == 5'd26)?    { dst[31:27], e_bit_value, dst[25:0] } :

    (e_bit_selector == 5'd27)?    { dst[31:28], e_bit_value, dst[26:0] } :

    (e_bit_selector == 5'd28)?    { dst[31:29], e_bit_value, dst[27:0] } :

    (e_bit_selector == 5'd29)?    { dst[31:30], e_bit_value, dst[28:0] } :

    (e_bit_selector == 5'd30)?    { dst[31],    e_bit_value, dst[29:0] } :

                                              { e_bit_value, dst[30:0] };

IF({ exe_cmd[6:2], 2'd0 } == `CMD_BTx); // `CMDEX_MODREGRM || `CMDEX_MODREGRM_IMM

    SET(exe_result, e_bit_result);

    SET(exe_result_signals, { 4'd0, e_bit_selected });

ENDIF();

IF({ wr_cmd[6:2], 2'd0 } == `CMD_BTx); // `CMDEX_MODREGRM || `CMDEX_MODREGRM_IMM

    IF(wr_cmd[1:0] != 2'd0); // not BT

        IF(wr_dst_is_memory && ~(write_for_wr_ready)); SET(wr_waiting); ENDIF(); // not BT

        SET(write_regrm,         wr_dst_is_rm);

        SET(write_rmw_virtual,   wr_dst_is_memory);

    ENDIF();

    SAVE(cflag, result_signals[0]);

ENDIF();