restructure results

1 files changed, 0 insertions, 49 deletions

diff --git a/results/classifier/semantic-bugs/instruction/2248 b/results/classifier/semantic-bugs/instruction/2248
deleted file mode 100644
index ae3a6196..00000000
--- a/results/classifier/semantic-bugs/instruction/2248
+++ /dev/null
@@ -1,49 +0,0 @@
-instruction: 0.883
-graphic: 0.837
-assembly: 0.815
-device: 0.776
-vnc: 0.746
-network: 0.743
-socket: 0.741
-other: 0.592
-boot: 0.547
-semantic: 0.539
-KVM: 0.475
-mistranslation: 0.466
-
-qemu-aarch64: wrong execution result when executing the code
-Description of problem:
-The following aarch64 code results in the wrong execution result `4611686018427387903`, which is `0x3fffffffffffffff`. (The correct result is `-1`) The bug seems to be introduced in between v8.1.5 and v8.2.1 since the results are correct in v8.1.5.
-
-```c
-// foo.c
-#include <stdio.h>
-#include <stdint.h>
-
-int64_t callme(size_t _1, size_t _2, int64_t a, int64_t b, int64_t c);
-
-int main() {
-    int64_t ret = callme(0, 0, 0, 1, 2);
-    printf("%ld\n", ret);
-    return 0;
-}
-```
-
-```s
-// foo.S
-.global callme
-callme:
-  cmp   x2, x3
-  cset  x12, lt
-  and   w11, w12, #0xff
-  cmp   w11, #0x0
-  csetm x14, ne
-  lsr   x13, x14, x4
-  sxtb  x0, w13
-  ret
-```
-Steps to reproduce:
-1. Build the code with `aarch64-linux-gnu-gcc foo.c foo.S -o foo` (`aarch64-linux-gnu-gcc (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0`)
-2. Run the code with `qemu-aarch64 -L /usr/aarch64-linux-gnu -E LD_LIBRARY_PATH=/usr/aarch64-linux-gnu/lib foo` and see the result
-Additional information:
-- Original discussion is held in [this wasmtime issue](https://github.com/bytecodealliance/wasmtime/issues/8233). Thanks to Alex Crichton for clarifying this bug.