1 files changed, 45 insertions, 0 deletions
diff --git a/results/classifier/108/other/1779 b/results/classifier/108/other/1779
new file mode 100644
index 000000000..79764be7c
--- /dev/null
+++ b/results/classifier/108/other/1779
@@ -0,0 +1,45 @@
+graphic: 0.844
+device: 0.803
+performance: 0.747
+semantic: 0.647
+vnc: 0.578
+PID: 0.575
+permissions: 0.423
+boot: 0.365
+debug: 0.348
+other: 0.235
+network: 0.172
+socket: 0.138
+files: 0.101
+KVM: 0.019
+
+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());
+}
+```