summary refs log tree commit diff stats
path: root/results/classifier/zero-shot-user-mode/instruction/1780
blob: 873d0e8634cc664102de8867148e056f63f1c3e5 (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
instruction: 0.875
runtime: 0.072
syscall: 0.053



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());
}
```