summary refs log tree commit diff stats
path: root/results/classifier/semantic-bugs/1092
blob: 544940be7029002fbc759d02088410454c7dd41c (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
instruction: 0.963
mistranslation: 0.914
device: 0.801
graphic: 0.636
semantic: 0.492
network: 0.383
other: 0.340
vnc: 0.339
boot: 0.313
socket: 0.296
assembly: 0.171
KVM: 0.030

PPC: `sraw` instructions does not set `ca` and `ca32` flags.
Description of problem:
The translation of Power PC instruction `sraw` and `sraw.` don't set the `ca` or `ca32` flags although, according to
[PowerISA 3.1b](https://files.openpower.foundation/s/dAYSdGzTfW4j2r2) (page 140), they should.
Additional information:
This gets particular apparent if compared to `srawi` (which does set `ca`, `ca32`).

**sraw**

https://gitlab.com/qemu-project/qemu/-/blob/master/target/ppc/translate.c#L2914

**srawi**

https://gitlab.com/qemu-project/qemu/-/blob/master/target/ppc/translate.c#L2924