summary refs log tree commit diff stats
path: root/results/classifier/semantic-bugs/1780
blob: 354a178d038b3b29d3bdbb6ca6d5cbd26faff365 (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
instruction: 0.971
graphic: 0.882
device: 0.724
network: 0.589
semantic: 0.561
vnc: 0.436
boot: 0.398
socket: 0.311
assembly: 0.172
mistranslation: 0.130
other: 0.041
KVM: 0.040

PowerPC mishandles xscmpudp instruction
Description of problem:
xscmpudp instruction is mishandled
Steps to reproduce:
1. Compile the attached program with VSX (e.g. `RUSTFLAGS=-Ctarget-feature=+vsx cargo build --target=powerpc64-unknown-linux-gnu`)
2. Run the program and expect assertions to pass.
3. See assertions fail.
Additional information:
When VSX is disabled, the `fcmpu` instruction is emitted instead (and handled properly).  See the offending program:
```
pub fn main() {
    use std::hint::black_box;
    assert!(black_box(f64::NAN)
        .clamp(black_box(0f64), black_box(0f64))
        .is_nan());
}
```