|
|
|
@ -92,7 +92,7 @@ protected:
|
|
|
|
|
super::setup_module(m);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
compile_ret_t gen_single_inst_behavior(virt_addr_t &, tu_builder&) override;
|
|
|
|
|
compile_ret_t gen_single_inst_behavior(virt_addr_t &,tu_builder&) override;
|
|
|
|
|
|
|
|
|
|
void gen_trap_behavior(tu_builder& tu) override;
|
|
|
|
|
|
|
|
|
@ -344,7 +344,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -380,7 +379,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -416,7 +414,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -463,7 +460,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -521,7 +517,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -571,7 +566,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -621,7 +615,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -671,7 +664,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -721,7 +713,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -771,7 +762,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -821,7 +811,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -862,7 +851,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -903,7 +891,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -944,7 +931,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -985,7 +971,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1026,7 +1011,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs2>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1064,7 +1048,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs2>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1102,7 +1085,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs2>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1140,7 +1122,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1179,7 +1160,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1218,7 +1198,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1257,7 +1236,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1296,7 +1274,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1335,7 +1312,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1374,7 +1350,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1413,7 +1388,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1452,7 +1426,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1491,7 +1464,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1530,7 +1502,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1569,7 +1540,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1610,7 +1580,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1649,7 +1618,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1688,7 +1656,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1727,7 +1694,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1768,7 +1734,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1809,7 +1774,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1848,7 +1812,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -1889,7 +1852,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.write_mem(traits::FENCE, static_cast<uint32_t>(traits:: fence), tu.constant((uint8_t)pred<<4|succ,8));
|
|
|
|
@ -1915,7 +1877,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -1942,7 +1903,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -1969,7 +1929,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -1996,7 +1955,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.callf("wait", tu.constant(1,8));
|
|
|
|
@ -2026,7 +1984,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2068,7 +2025,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2112,7 +2068,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2156,7 +2111,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2195,7 +2149,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2238,7 +2191,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2281,7 +2233,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.write_mem(traits::FENCE, static_cast<uint32_t>(traits:: fencei), tu.constant(imm,16));
|
|
|
|
@ -2311,7 +2262,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2351,7 +2301,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2393,7 +2342,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2435,7 +2383,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2477,7 +2424,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2542,7 +2488,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2593,7 +2538,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2661,7 +2605,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 4;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rs1>=static_cast<uint32_t>(traits:: RFS)||rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2711,7 +2654,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(imm) {
|
|
|
|
@ -2748,7 +2690,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
auto offs = tu.assignment(tu.ext((tu.add(
|
|
|
|
@ -2781,7 +2722,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
auto offs = tu.assignment(tu.ext((tu.add(
|
|
|
|
@ -2813,7 +2753,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2849,7 +2788,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
auto returnValue = CONT;
|
|
|
|
@ -2876,7 +2814,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -2909,7 +2846,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2945,7 +2881,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(imm==0||rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -2978,7 +2913,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(nzimm) {
|
|
|
|
@ -3012,7 +2946,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
this->gen_raise_trap(tu, 0, static_cast<int32_t>(traits:: RV_CAUSE_ILLEGAL_INSTRUCTION));
|
|
|
|
@ -3041,7 +2974,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rs1+8 + traits::X0, tu.lshr(
|
|
|
|
@ -3072,7 +3004,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(shamt){ tu.store(rs1+8 + traits::X0, tu.ext((tu.ashr(
|
|
|
|
@ -3110,7 +3041,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rs1+8 + traits::X0, tu.ext((tu.bitwise_and(
|
|
|
|
@ -3141,7 +3071,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rd+8 + traits::X0, tu.ext((tu.sub(
|
|
|
|
@ -3172,7 +3101,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rd+8 + traits::X0, tu.bitwise_xor(
|
|
|
|
@ -3203,7 +3131,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rd+8 + traits::X0, tu.bitwise_or(
|
|
|
|
@ -3234,7 +3161,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(rd+8 + traits::X0, tu.bitwise_and(
|
|
|
|
@ -3264,7 +3190,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -3296,7 +3221,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -3334,7 +3258,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -3372,7 +3295,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs1>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -3410,7 +3332,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)||rd==0) {
|
|
|
|
@ -3447,7 +3368,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -3482,7 +3402,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -3518,7 +3437,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
this->gen_raise_trap(tu, 0, 2);
|
|
|
|
@ -3547,7 +3465,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rd>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -3584,7 +3501,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(NO_JUMP),32));
|
|
|
|
@ -3623,7 +3539,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
this->gen_raise_trap(tu, 0, 3);
|
|
|
|
@ -3652,7 +3567,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
if(rs2>=static_cast<uint32_t>(traits:: RFS)) {
|
|
|
|
@ -3686,7 +3600,6 @@ private:
|
|
|
|
|
auto cur_pc_val = tu.constant(pc.val, traits::reg_bit_widths[traits::PC]);
|
|
|
|
|
pc=pc+ 2;
|
|
|
|
|
gen_set_pc(tu, pc, traits::NEXT_PC);
|
|
|
|
|
tu("(*cycle)++;");
|
|
|
|
|
tu.open_scope();
|
|
|
|
|
this->gen_set_tval(tu, instr);
|
|
|
|
|
this->gen_raise_trap(tu, 0, static_cast<int32_t>(traits:: RV_CAUSE_ILLEGAL_INSTRUCTION));
|
|
|
|
@ -3784,15 +3697,13 @@ template <typename ARCH> void vm_impl<ARCH>::gen_trap_behavior(tu_builder& tu) {
|
|
|
|
|
tu.store(traits::LAST_BRANCH, tu.constant(static_cast<int>(UNKNOWN_JUMP),32));
|
|
|
|
|
tu("return *next_pc;");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
template <typename ARCH> void vm_impl<ARCH>::add_prologue(tu_builder& tu){
|
|
|
|
|
std::ostringstream os;
|
|
|
|
|
os << tu.add_reg_ptr("trap_state", arch::traits<ARCH>::TRAP_STATE, this->regs_base_ptr);
|
|
|
|
|
os << tu.add_reg_ptr("pending_trap", arch::traits<ARCH>::PENDING_TRAP, this->regs_base_ptr);
|
|
|
|
|
os << tu.add_reg_ptr("cycle", arch::traits<ARCH>::CYCLE, this->regs_base_ptr);
|
|
|
|
|
|
|
|
|
|
tu.add_prologue(os.str());
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
} // namespace tgc5c
|
|
|
|
|
|
|
|
|
|
template <>
|
|
|
|
|