diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 19:39:53 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-03 19:39:53 +0200 |
| commit | dee4dcba78baf712cab403d47d9db319ab7f95d6 (patch) | |
| tree | 418478faf06786701a56268672f73d6b0b4eb239 /results/classifier/semantic-bugs/assembly/904 | |
| parent | 4d9e26c0333abd39bdbd039dcdb30ed429c475ba (diff) | |
| download | emulator-bug-study-dee4dcba78baf712cab403d47d9db319ab7f95d6.tar.gz emulator-bug-study-dee4dcba78baf712cab403d47d9db319ab7f95d6.zip | |
restructure results
Diffstat (limited to 'results/classifier/semantic-bugs/assembly/904')
| -rw-r--r-- | results/classifier/semantic-bugs/assembly/904 | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/results/classifier/semantic-bugs/assembly/904 b/results/classifier/semantic-bugs/assembly/904 deleted file mode 100644 index 4946b814..00000000 --- a/results/classifier/semantic-bugs/assembly/904 +++ /dev/null @@ -1,29 +0,0 @@ -assembly: 0.991 -instruction: 0.939 -graphic: 0.875 -device: 0.846 -semantic: 0.662 -network: 0.599 -mistranslation: 0.507 -vnc: 0.485 -boot: 0.425 -socket: 0.381 -KVM: 0.219 -other: 0.191 - -RISC-V: Cannot set SEIP bit of mip csr register in M mode -Description of problem: - -Steps to reproduce: -1. run assembly instructions **in M mode**: -``` -not t0, x0 // set t0 to 0b11..11 -csrs mip, t0 // write mip with t0, mip registers are WARL(Write Any Values, Reads Legal Values) -csrr t1, mip // read value from mip to t1 -``` -2. GDB enters the command `display/z $t1` to see that the content of the t1 register is 0x466, which means that the SEIP bit of mip is not set. -3. According to page 47 of [riscv-privileged-20211203](https://github.com/riscv/riscv-isa-manual/releases/download/Priv-v1.12/riscv-privileged-20211203.pdf), `SEIP is writable in mip`. -4. According to page 81 of the same manual,`If implemented, SEIP is read-only in sip`. -5. However, the above code and results show that the SEIP bit of mip cannot be set by software **in M mode**. -Additional information: - |