Skip to content

Commit

Permalink
Merge pull request #2443 from dd-baoshan/cv32e40p/dev
Browse files Browse the repository at this point in the history
(Redo) Add store restore SP for fpu streams when load store with sp is enabled
  • Loading branch information
MikeOpenHWGroup authored May 19, 2024
2 parents 226cdb4 + fe11080 commit 440a944
Showing 1 changed file with 39 additions and 5 deletions.
44 changes: 39 additions & 5 deletions cv32e40p/env/corev-dv/instr_lib/cv32e40p_float_instr_lib.sv
Original file line number Diff line number Diff line change
Expand Up @@ -287,6 +287,8 @@ class cv32e40p_float_zfinx_base_instr_stream extends cv32e40p_base_instr_stream;

end // for GEN_N_MANIPULATE_INSTR

restore_reserved_sp_addr();

super.post_randomize();
endfunction: post_randomize

Expand All @@ -307,12 +309,45 @@ class cv32e40p_float_zfinx_base_instr_stream extends cv32e40p_base_instr_stream;
), UVM_NONE);
endfunction : print_stream_setting

// set reserved sp to have fix addr for store instrs
// set/restore reserved sp to have fix addr for store instrs
riscv_reg_t temp_reg;
virtual function void set_reserved_sp_addr();
if (include_load_store_base_sp) begin
`SET_GPR_VALUE(SP,32'h8000_0000);
// During exception/irq/debug mode, sp (can be any xreg) is used and must not be alter in this stream.
// since this steams sometimes uses sp in store instr, we need to set sp to a safer space to prevent
// from corrupting the main code. Then we restore original sp content at end of stream.
// (note: in stream, SP can be any registers not neccessary X2)

// store original sp content
riscv_instr instr;
if (cfg.sp != T0) temp_reg = T0;
else temp_reg = T1;
`SET_GPR_VALUE(temp_reg,32'h8000_0004);
instr = new riscv_instr::get_rand_instr(.include_instr({SW}));
`DV_CHECK_RANDOMIZE_WITH_FATAL(instr,
if (has_rs2) {rs2 == SP;}
if (has_rs1) {rs1 == temp_reg;}
if (has_imm) {imm == 0;}
);
instr_list.push_back(instr);

// set temporary sp with large value to prevent overlap with maincode
`SET_GPR_VALUE(SP,32'h8000_0000); // set SP to have higher range
end
endfunction: set_reserved_sp_addr
virtual function void restore_reserved_sp_addr();
// restore original sp content
if (include_load_store_base_sp) begin
riscv_instr instr;
instr = new riscv_instr::get_rand_instr(.include_instr({LW}));
`DV_CHECK_RANDOMIZE_WITH_FATAL(instr,
if (has_rd) {rd == SP;}
if (has_rs1) {rs1 == temp_reg;}
if (has_imm) {imm == 0;}
);
instr_list.push_back(instr);
end
endfunction : restore_reserved_sp_addr

// clear csr fflags (by through fflags or fcsr)
// condition: reg rs1 must be keep for csr clr purpose only throughout this stream
Expand Down Expand Up @@ -358,10 +393,9 @@ class cv32e40p_float_zfinx_base_instr_stream extends cv32e40p_base_instr_stream;
logic [31:0] i_imm;
for (int i=1; i<32; i++) begin
riscv_reg_t i_gpr = riscv_reg_t'(i);
if (i == int'(cfg.sp)) continue; // do not alter stack pointer
if (cfg.gen_debug_section) begin
if (i == int'(cfg_cv32e40p.dp)) begin
continue;
end
if (i == int'(cfg_cv32e40p.dp)) continue; // do not alter debug pointer
end
rand_fp_val(i_imm);
`SET_GPR_VALUE(i_gpr,i_imm);
Expand Down

0 comments on commit 440a944

Please sign in to comment.