add zero-shot results

1 files changed, 23 insertions, 0 deletions

diff --git a/results/classifier/zero-shot-user-mode/output/instruction/1780 b/results/classifier/zero-shot-user-mode/output/instruction/1780
new file mode 100644
index 00000000..873d0e86
--- /dev/null
+++ b/results/classifier/zero-shot-user-mode/output/instruction/1780
@@ -0,0 +1,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());
+}
+```