diff options
Diffstat (limited to 'results/classifier/zero-shot-user-mode/output/instruction/1780')
| -rw-r--r-- | results/classifier/zero-shot-user-mode/output/instruction/1780 | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/instruction/1780 b/results/classifier/zero-shot-user-mode/output/instruction/1780 deleted file mode 100644 index 873d0e86..00000000 --- a/results/classifier/zero-shot-user-mode/output/instruction/1780 +++ /dev/null @@ -1,23 +0,0 @@ -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()); -} -``` |
