restructure results

1 files changed, 0 insertions, 51 deletions

diff --git a/results/classifier/semantic-bugs/instruction/2175 b/results/classifier/semantic-bugs/instruction/2175
deleted file mode 100644
index 874c3bcde..000000000
--- a/results/classifier/semantic-bugs/instruction/2175
+++ /dev/null
@@ -1,51 +0,0 @@
-instruction: 0.883
-device: 0.776
-graphic: 0.745
-assembly: 0.701
-network: 0.686
-vnc: 0.644
-other: 0.619
-socket: 0.611
-mistranslation: 0.593
-KVM: 0.567
-semantic: 0.514
-boot: 0.511
-
-Intel BLSI CF computation bug
-Description of problem:
-CF flag computation of BLSI instruction is wrong. It seems #1370 was not completely fixed.
-Steps to reproduce:
-1. Compile `example.c` using this command: `gcc -o example.bin example.c`. My gcc version is 12.3.0, but other versions may work.
-```
-int main() {
-  __asm__ (
-    "movq $0x1, %r8\n"
-    "mov $0xedbf530a, %r9\n"
-    "push $0x1\n"
-    "popf\n"
-    "blsi %r9d, %r8d\n"
-    "pushf\n"
-    "pop %rax\n"
-    "pop %rbp\n"
-    "ret\n"
-  );
-
-  return 0;
-}
-```
-2. Run `./example.bin`. Then check the return code using `echo $?`. It should be 3.
-```
-$ ./example.bin
-$ echo $?
-3
-```
-3. Run `./qemu-x86_64 ./example.bin`. Then check the return code using `echo $?`. It should be 2.
-```
-$ ./qemu-x86_64 ./example.bin
-$ echo $?
-2
-```
-
-The return code of `./example.bin` contains the value of the `RFLAGS` register after executing the `BLSI` instruction.
-Additional information:
-