wu-arch/chipyard
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Fix bug in cospike

Browse Source
This commit is contained in:
Jerry Zhao
2023-05-12 11:34:31 -07:00
parent 7ae43a1829
commit 85bb945555
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
generators/chipyard/src/main/resources/csrc/cospike.cc
View File

@@ -139,7 +139,7 @@ extern "C" void cospike_cosim(long long int cycle,
in_permissive = true;
} else if (arg == "+permissive-off") {
in_permissive = false;
} else if (arg == "+cospike_debug") {
} else if (arg == "+cospike_debug" || arg == "+cospike-debug") {
cospike_debug = true;
} else if (!in_permissive) {
htif_args.push_back(arg);
@@ -283,6 +283,7 @@ extern "C" void cospike_cosim(long long int cycle,
if (raise_exception)
printf("%d exception %lx\n", cycle, cause);
if (valid) {
p->clear_waiting_for_interrupt();
printf("%d Cosim: %lx", cycle, iaddr);
if (has_wdata) {
printf(" s: %lx", wdata);
@@ -296,6 +297,7 @@ extern "C" void cospike_cosim(long long int cycle,
printf("spike mstatus is %lx\n", s->mstatus->read());
printf("spike mip is %lx\n", s->mip->read());
printf("spike mie is %lx\n", s->mie->read());
printf("spike wfi state is %d\n", p->is_waiting_for_interrupt());
}
}