1 files changed, 0 insertions, 36 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/instruction/1779 b/results/classifier/zero-shot-user-mode/output/instruction/1779
deleted file mode 100644
index 9162a7df..00000000
--- a/results/classifier/zero-shot-user-mode/output/instruction/1779
+++ /dev/null
@@ -1,36 +0,0 @@
-instruction: 0.581
-runtime: 0.255
-syscall: 0.164
-
-
-
-PowerPC AltiVec source vector subnormal values are not flushed to zero
-Description of problem:
-AltiVec specifies that source and result vectors are flushed to zero (in NJ mode).  Only result vectors are flushed to zero.
-Steps to reproduce:
-1. Compile the attached Rust program (e.g. `cargo +nightly build --target powerpc-unknown-linux-gnu`)
-2. Run the program and expect assertions to pass.
-3. See assertions fail.
-Additional information:
-See the offending Rust program:
-
-```
-#![feature(stdsimd, powerpc_target_feature)]
-
-use std::arch::powerpc::*;
-
-#[target_feature(enable = "altivec")]
-unsafe fn add(x: f32, y: f32) -> f32 {
-    let array: [f32; 4] = unsafe { std::mem::transmute(vec_add(vec_splats(x), vec_splats(y))) };
-    array[0]
-}
-
-pub fn main() {
-    let result = unsafe { add(-1.0857398e-38, 0.) };
-    assert_eq!(result, 0.);
-
-    // if the input is flushed, the result will be +0
-    // if only the output is flushed, the result is -0
-    assert!(result.is_sign_positive());
-}
-```