summary refs log tree commit diff stats
path: root/results/classifier/semantic-bugs-usermode/test/2318
blob: 3defce0d678782390363aceddfcc4e4a272c46ce (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
instruction: 0.871
device: 0.679
graphic: 0.495
assembly: 0.485
vnc: 0.479
semantic: 0.460
boot: 0.291
socket: 0.281
network: 0.239
other: 0.133
mistranslation: 0.100
KVM: 0.006

SH4: SUBV instruction not emulated properly
Description of problem:
SUBV opcode is emulated incorrectly.

The documentation says:

`SUBV Rm, Rn        Rn - Rm -> Rn, underflow -> T`

Qemu seems to perform the subtraction correctly, but will not detect an underflow.
Steps to reproduce:
```c
#include <stdio.h>

int main(void)
{
	register unsigned int a asm("r8") = 0x80000001;
	register unsigned int b asm("r9") = 0x2;
	register unsigned int c asm("r10");

	asm volatile("subv %2,%0\n"
		     "movt %1\n"
		     : "+r"(a), "=r"(c) : "r"(b) :);

	printf("Values: a=0x%x b=0x%x c=0x%x\n", a, b, c);

	return 0;
}
```
Additional information:
Tested on real hardware (SEGA Dreamcast, GCC 15.0), the program above prints:
`Values: a=0x7fffffff b=0x2 c=0x1`

Running with Qemu (and GCC 13.0), the same program prints:
`Values: a=0x7fffffff b=0x2 c=0x0`