diff options
Diffstat (limited to 'results/classifier/semantic-bugs/instruction/1248168')
| -rw-r--r-- | results/classifier/semantic-bugs/instruction/1248168 | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/results/classifier/semantic-bugs/instruction/1248168 b/results/classifier/semantic-bugs/instruction/1248168 deleted file mode 100644 index 22e04de3..00000000 --- a/results/classifier/semantic-bugs/instruction/1248168 +++ /dev/null @@ -1,42 +0,0 @@ -instruction: 0.820 -graphic: 0.800 -assembly: 0.749 -device: 0.731 -mistranslation: 0.533 -socket: 0.270 -boot: 0.257 -other: 0.250 -semantic: 0.231 -vnc: 0.131 -network: 0.118 -KVM: 0.030 - -MIPS, self-modifying code and uncached memory - -Self-modifying code does not work properly in MIPS in uncached and unmapped kseg1 memory region. - -For example, when running this code I get unexpected behavior: - - 0: e3000010 b 0x390 - 4: 00000000 nop - ... - 380: 00701f40 mfc0 ra,c0_epc - 384: 0400e0bb swr zero,4(ra) - 388: 18000042 eret - 38c: 00000000 nop - 390: 25500000 move t2,zero - 394: 02000b34 li t3,0x2 - 398: 23504b01 subu t2,t2,t3 - 39c: e9003c0b j 0xcf003a4 - 3a0: 0a004a21 addi t2,t2,10 - 3a4: ffff0010 b 0x3a4 - 3a8: 00000000 nop - 3ac: 00000000 nop - - I expect that swr instruction in line 384 would change `addi t2,t2,1`0 to `nop` -This should work because no cache is used for this memory region. - -Can you please provide full reproduction steps rather than just an assembly snippet? - -[Expired for QEMU because there has been no activity for 60 days.] - |