1 files changed, 0 insertions, 30 deletions
diff --git a/results/classifier/semantic-bugs/instruction/1780 b/results/classifier/semantic-bugs/instruction/1780
deleted file mode 100644
index 354a178d0..000000000
--- a/results/classifier/semantic-bugs/instruction/1780
+++ /dev/null
@@ -1,30 +0,0 @@
-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());
-}
-```