90 files changed, 199 insertions, 4 deletions
diff --git a/classification_output/01/README.md b/classification_output/01/README.md
deleted file mode 100644
index b71a384d1..000000000
--- a/classification_output/01/README.md
+++ /dev/null
@@ -1,4 +0,0 @@
-- instruction: 13
-- mistranslation: 14
-- semantic: 8
-- other: 48
diff --git a/classification_output/01/instruction/7733130 b/classification_output/01/instruction/11357571
index 1c3bc483f..1c3bc483f 100644
--- a/classification_output/01/instruction/7733130
+++ b/classification_output/01/instruction/11357571
diff --git a/classification_output/01/instruction/7658242 b/classification_output/01/instruction/11933524
index 3ff255be0..3ff255be0 100644
--- a/classification_output/01/instruction/7658242
+++ b/classification_output/01/instruction/11933524
diff --git a/classification_output/01/instruction/5843372 b/classification_output/01/instruction/24190340
index 784962c9c..784962c9c 100644
--- a/classification_output/01/instruction/5843372
+++ b/classification_output/01/instruction/24190340
diff --git a/classification_output/01/instruction/7960594 b/classification_output/01/instruction/26095107
index c06d35dd8..c06d35dd8 100644
--- a/classification_output/01/instruction/7960594
+++ b/classification_output/01/instruction/26095107
diff --git a/classification_output/01/instruction/2609717 b/classification_output/01/instruction/33802194
index b8e563ad9..b8e563ad9 100644
--- a/classification_output/01/instruction/2609717
+++ b/classification_output/01/instruction/33802194
diff --git a/classification_output/01/instruction/2880487 b/classification_output/01/instruction/42226390
index 1d455d6fa..1d455d6fa 100644
--- a/classification_output/01/instruction/2880487
+++ b/classification_output/01/instruction/42226390
diff --git a/classification_output/01/instruction/7647456 b/classification_output/01/instruction/50773216
index d887fe7b5..d887fe7b5 100644
--- a/classification_output/01/instruction/7647456
+++ b/classification_output/01/instruction/50773216
diff --git a/classification_output/01/instruction/9818783 b/classification_output/01/instruction/51610399
index a78585284..a78585284 100644
--- a/classification_output/01/instruction/9818783
+++ b/classification_output/01/instruction/51610399
diff --git a/classification_output/01/instruction/0966902 b/classification_output/01/instruction/55961334
index 80cdabd29..80cdabd29 100644
--- a/classification_output/01/instruction/0966902
+++ b/classification_output/01/instruction/55961334
diff --git a/classification_output/01/instruction/6117378 b/classification_output/01/instruction/62179944
index 5dad058d5..5dad058d5 100644
--- a/classification_output/01/instruction/6117378
+++ b/classification_output/01/instruction/62179944
diff --git a/classification_output/01/instruction/8566429 b/classification_output/01/instruction/63565653
index dfac92bf4..dfac92bf4 100644
--- a/classification_output/01/instruction/8566429
+++ b/classification_output/01/instruction/63565653
diff --git a/classification_output/01/instruction/3457423 b/classification_output/01/instruction/70868267
index ffcf905b4..ffcf905b4 100644
--- a/classification_output/01/instruction/3457423
+++ b/classification_output/01/instruction/70868267
diff --git a/classification_output/01/instruction/8019995 b/classification_output/01/instruction/73660729
index 92d85cc82..92d85cc82 100644
--- a/classification_output/01/instruction/8019995
+++ b/classification_output/01/instruction/73660729
diff --git a/classification_output/01/mistranslation/6178292 b/classification_output/01/mistranslation/14887122
index f13db3b86..f13db3b86 100644
--- a/classification_output/01/mistranslation/6178292
+++ b/classification_output/01/mistranslation/14887122
diff --git a/classification_output/01/mistranslation/5798945 b/classification_output/01/mistranslation/22219210
index 95c3f61d1..95c3f61d1 100644
--- a/classification_output/01/mistranslation/5798945
+++ b/classification_output/01/mistranslation/22219210
diff --git a/classification_output/01/mistranslation/5373318 b/classification_output/01/mistranslation/23270873
index e4d4789c4..e4d4789c4 100644
--- a/classification_output/01/mistranslation/5373318
+++ b/classification_output/01/mistranslation/23270873
diff --git a/classification_output/01/mistranslation/3886413 b/classification_output/01/mistranslation/24930826
index 5f79c452f..5f79c452f 100644
--- a/classification_output/01/mistranslation/3886413
+++ b/classification_output/01/mistranslation/24930826
diff --git a/classification_output/01/mistranslation/8874178 b/classification_output/01/mistranslation/25842545
index 1ebfe2889..1ebfe2889 100644
--- a/classification_output/01/mistranslation/8874178
+++ b/classification_output/01/mistranslation/25842545
diff --git a/classification_output/01/mistranslation/7711787 b/classification_output/01/mistranslation/26430026
index ead1f32fd..ead1f32fd 100644
--- a/classification_output/01/mistranslation/7711787
+++ b/classification_output/01/mistranslation/26430026
diff --git a/classification_output/01/mistranslation/5933279 b/classification_output/01/mistranslation/36568044
index 719c03c74..719c03c74 100644
--- a/classification_output/01/mistranslation/5933279
+++ b/classification_output/01/mistranslation/36568044
diff --git a/classification_output/01/mistranslation/6866700 b/classification_output/01/mistranslation/64322995
index 2f16ce872..2f16ce872 100644
--- a/classification_output/01/mistranslation/6866700
+++ b/classification_output/01/mistranslation/64322995
diff --git a/classification_output/01/mistranslation/1693040 b/classification_output/01/mistranslation/70294255
index 67353acda..67353acda 100644
--- a/classification_output/01/mistranslation/1693040
+++ b/classification_output/01/mistranslation/70294255
diff --git a/classification_output/01/mistranslation/0247400 b/classification_output/01/mistranslation/71456293
index 746a624cc..746a624cc 100644
--- a/classification_output/01/mistranslation/0247400
+++ b/classification_output/01/mistranslation/71456293
diff --git a/classification_output/01/mistranslation/1267916 b/classification_output/01/mistranslation/74466963
index fffafcf77..fffafcf77 100644
--- a/classification_output/01/mistranslation/1267916
+++ b/classification_output/01/mistranslation/74466963
diff --git a/classification_output/01/mistranslation/8720260 b/classification_output/01/mistranslation/74545755
index 32d247ac7..32d247ac7 100644
--- a/classification_output/01/mistranslation/8720260
+++ b/classification_output/01/mistranslation/74545755
diff --git a/classification_output/01/mistranslation/4158985 b/classification_output/01/mistranslation/80604314
index 798c2e866..798c2e866 100644
--- a/classification_output/01/mistranslation/4158985
+++ b/classification_output/01/mistranslation/80604314
diff --git a/classification_output/01/mistranslation/4412535 b/classification_output/01/mistranslation/80615920
index 97712c2f5..97712c2f5 100644
--- a/classification_output/01/mistranslation/4412535
+++ b/classification_output/01/mistranslation/80615920
diff --git a/classification_output/01/other/3749377 b/classification_output/01/other/02364653
index 0142a9653..0142a9653 100644
--- a/classification_output/01/other/3749377
+++ b/classification_output/01/other/02364653
diff --git a/classification_output/01/other/5321072 b/classification_output/01/other/02572177
index 55a82678b..55a82678b 100644
--- a/classification_output/01/other/5321072
+++ b/classification_output/01/other/02572177
diff --git a/classification_output/01/other/5443005 b/classification_output/01/other/04472277
index 95b28c963..95b28c963 100644
--- a/classification_output/01/other/5443005
+++ b/classification_output/01/other/04472277
diff --git a/classification_output/01/other/4970412 b/classification_output/01/other/12869209
index 7fa99572a..7fa99572a 100644
--- a/classification_output/01/other/4970412
+++ b/classification_output/01/other/12869209
diff --git a/classification_output/01/other/4800759 b/classification_output/01/other/13442371
index 95a58c71f..95a58c71f 100644
--- a/classification_output/01/other/4800759
+++ b/classification_output/01/other/13442371
diff --git a/classification_output/01/other/4314117 b/classification_output/01/other/14488057
index e48b51621..e48b51621 100644
--- a/classification_output/01/other/4314117
+++ b/classification_output/01/other/14488057
diff --git a/classification_output/01/other/5362491 b/classification_output/01/other/16056596
index db7724db8..db7724db8 100644
--- a/classification_output/01/other/5362491
+++ b/classification_output/01/other/16056596
diff --git a/classification_output/01/other/0001467 b/classification_output/01/other/16201167
index ebd922167..ebd922167 100644
--- a/classification_output/01/other/0001467
+++ b/classification_output/01/other/16201167
diff --git a/classification_output/01/other/4938208 b/classification_output/01/other/16228234
index 33edbe3c0..33edbe3c0 100644
--- a/classification_output/01/other/4938208
+++ b/classification_output/01/other/16228234
diff --git a/classification_output/01/other/5057521 b/classification_output/01/other/17743720
index b2baccb37..b2baccb37 100644
--- a/classification_output/01/other/5057521
+++ b/classification_output/01/other/17743720
diff --git a/classification_output/01/other/4774720 b/classification_output/01/other/21221931
index 97f1a001c..97f1a001c 100644
--- a/classification_output/01/other/4774720
+++ b/classification_output/01/other/21221931
diff --git a/classification_output/01/other/9948366 b/classification_output/01/other/21247035
index fcd04e57a..fcd04e57a 100644
--- a/classification_output/01/other/9948366
+++ b/classification_output/01/other/21247035
diff --git a/classification_output/01/other/7427991 b/classification_output/01/other/23300761
index 7c8b06ccf..7c8b06ccf 100644
--- a/classification_output/01/other/7427991
+++ b/classification_output/01/other/23300761
diff --git a/classification_output/01/other/6739993 b/classification_output/01/other/23448582
index 795a7c15f..795a7c15f 100644
--- a/classification_output/01/other/6739993
+++ b/classification_output/01/other/23448582
diff --git a/classification_output/01/other/6998781 b/classification_output/01/other/25892827
index 98a199ee9..98a199ee9 100644
--- a/classification_output/01/other/6998781
+++ b/classification_output/01/other/25892827
diff --git a/classification_output/01/other/1067127 b/classification_output/01/other/31349848
index 5ebbf9849..5ebbf9849 100644
--- a/classification_output/01/other/1067127
+++ b/classification_output/01/other/31349848
diff --git a/classification_output/01/other/5396868 b/classification_output/01/other/32484936
index f04ba7919..f04ba7919 100644
--- a/classification_output/01/other/5396868
+++ b/classification_output/01/other/32484936
diff --git a/classification_output/01/other/3825088 b/classification_output/01/other/35170175
index e9f59b8c0..e9f59b8c0 100644
--- a/classification_output/01/other/3825088
+++ b/classification_output/01/other/35170175
diff --git a/classification_output/01/other/2562302 b/classification_output/01/other/42613410
index 9058ba907..9058ba907 100644
--- a/classification_output/01/other/2562302
+++ b/classification_output/01/other/42613410
diff --git a/classification_output/01/other/6983580 b/classification_output/01/other/42974450
index b0e56b614..b0e56b614 100644
--- a/classification_output/01/other/6983580
+++ b/classification_output/01/other/42974450
diff --git a/classification_output/01/other/5215275 b/classification_output/01/other/43643137
index d563c8126..d563c8126 100644
--- a/classification_output/01/other/5215275
+++ b/classification_output/01/other/43643137
diff --git a/classification_output/01/other/6355518 b/classification_output/01/other/48245039
index 650c10083..650c10083 100644
--- a/classification_output/01/other/6355518
+++ b/classification_output/01/other/48245039
diff --git a/classification_output/01/other/7639274 b/classification_output/01/other/55247116
index cbe17cc27..cbe17cc27 100644
--- a/classification_output/01/other/7639274
+++ b/classification_output/01/other/55247116
diff --git a/classification_output/01/other/2537817 b/classification_output/01/other/55367348
index 099e56865..099e56865 100644
--- a/classification_output/01/other/2537817
+++ b/classification_output/01/other/55367348
diff --git a/classification_output/01/other/6531392 b/classification_output/01/other/55753058
index 73752120b..73752120b 100644
--- a/classification_output/01/other/6531392
+++ b/classification_output/01/other/55753058
diff --git a/classification_output/01/other/8691137 b/classification_output/01/other/56309929
index 7847ba8bc..7847ba8bc 100644
--- a/classification_output/01/other/8691137
+++ b/classification_output/01/other/56309929
diff --git a/classification_output/01/other/2393649 b/classification_output/01/other/56937788
index 87a9c6fbe..87a9c6fbe 100644
--- a/classification_output/01/other/2393649
+++ b/classification_output/01/other/56937788
diff --git a/classification_output/01/other/5912779 b/classification_output/01/other/57195159
index df589df38..df589df38 100644
--- a/classification_output/01/other/5912779
+++ b/classification_output/01/other/57195159
diff --git a/classification_output/01/other/1195866 b/classification_output/01/other/57231878
index e91a98df4..e91a98df4 100644
--- a/classification_output/01/other/1195866
+++ b/classification_output/01/other/57231878
diff --git a/classification_output/01/other/6156219 b/classification_output/01/other/57756589
index a0977e39c..a0977e39c 100644
--- a/classification_output/01/other/6156219
+++ b/classification_output/01/other/57756589
diff --git a/classification_output/01/other/8621822 b/classification_output/01/other/59540920
index a27abd648..a27abd648 100644
--- a/classification_output/01/other/8621822
+++ b/classification_output/01/other/59540920
diff --git a/classification_output/01/other/6416205 b/classification_output/01/other/60339453
index c32e40433..c32e40433 100644
--- a/classification_output/01/other/6416205
+++ b/classification_output/01/other/60339453
diff --git a/classification_output/01/other/1398669 b/classification_output/01/other/64571620
index 17e9f6ea6..17e9f6ea6 100644
--- a/classification_output/01/other/1398669
+++ b/classification_output/01/other/64571620
diff --git a/classification_output/01/other/3501174 b/classification_output/01/other/65781993
index 6543b7f26..6543b7f26 100644
--- a/classification_output/01/other/3501174
+++ b/classification_output/01/other/65781993
diff --git a/classification_output/01/other/8627146 b/classification_output/01/other/66743673
index dc13c18a0..dc13c18a0 100644
--- a/classification_output/01/other/8627146
+++ b/classification_output/01/other/66743673
diff --git a/classification_output/01/other/3223447 b/classification_output/01/other/67821138
index 8d257ea4d..8d257ea4d 100644
--- a/classification_output/01/other/3223447
+++ b/classification_output/01/other/67821138
diff --git a/classification_output/01/other/6257722 b/classification_output/01/other/68897003
index afdfbfd3e..afdfbfd3e 100644
--- a/classification_output/01/other/6257722
+++ b/classification_output/01/other/68897003
diff --git a/classification_output/01/other/0804350 b/classification_output/01/other/70021271
index c030ad8d3..c030ad8d3 100644
--- a/classification_output/01/other/0804350
+++ b/classification_output/01/other/70021271
diff --git a/classification_output/01/other/9840852 b/classification_output/01/other/70416488
index d5827c3d0..d5827c3d0 100644
--- a/classification_output/01/other/9840852
+++ b/classification_output/01/other/70416488
diff --git a/classification_output/01/other/7143139 b/classification_output/01/other/74715356
index 18fcc3e04..18fcc3e04 100644
--- a/classification_output/01/other/7143139
+++ b/classification_output/01/other/74715356
diff --git a/classification_output/01/other/8109943 b/classification_output/01/other/79834768
index 7f2b12fbd..7f2b12fbd 100644
--- a/classification_output/01/other/8109943
+++ b/classification_output/01/other/79834768
diff --git a/classification_output/01/other/2308923 b/classification_output/01/other/81775929
index 9c03c9d16..9c03c9d16 100644
--- a/classification_output/01/other/2308923
+++ b/classification_output/01/other/81775929
diff --git a/classification_output/01/other/8653736 b/classification_output/01/other/85542195
index f3d47976b..f3d47976b 100644
--- a/classification_output/01/other/8653736
+++ b/classification_output/01/other/85542195
diff --git a/classification_output/01/other/1412913 b/classification_output/01/other/88225572
index b3cb5b265..b3cb5b265 100644
--- a/classification_output/01/other/1412913
+++ b/classification_output/01/other/88225572
diff --git a/classification_output/01/other/9777608 b/classification_output/01/other/88281850
index c82ece20b..c82ece20b 100644
--- a/classification_output/01/other/9777608
+++ b/classification_output/01/other/88281850
diff --git a/classification_output/01/other/2409210 b/classification_output/01/other/92957605
index 7371cd578..7371cd578 100644
--- a/classification_output/01/other/2409210
+++ b/classification_output/01/other/92957605
diff --git a/classification_output/01/other/5745618 b/classification_output/01/other/95154278
index afd2ea5d3..afd2ea5d3 100644
--- a/classification_output/01/other/5745618
+++ b/classification_output/01/other/95154278
diff --git a/classification_output/01/other/9937102 b/classification_output/01/other/99674399
index 181ac23cb..181ac23cb 100644
--- a/classification_output/01/other/9937102
+++ b/classification_output/01/other/99674399
diff --git a/classification_output/01/semantic/3847403 b/classification_output/01/semantic/05479587
index be4dcd774..be4dcd774 100644
--- a/classification_output/01/semantic/3847403
+++ b/classification_output/01/semantic/05479587
diff --git a/classification_output/01/semantic/8511484 b/classification_output/01/semantic/12360755
index 1340f1aa7..1340f1aa7 100644
--- a/classification_output/01/semantic/8511484
+++ b/classification_output/01/semantic/12360755
diff --git a/classification_output/01/semantic/7837801 b/classification_output/01/semantic/28596630
index 8816300a8..8816300a8 100644
--- a/classification_output/01/semantic/7837801
+++ b/classification_output/01/semantic/28596630
diff --git a/classification_output/01/semantic/0504199 b/classification_output/01/semantic/30680944
index 1d5b4d118..1d5b4d118 100644
--- a/classification_output/01/semantic/0504199
+++ b/classification_output/01/semantic/30680944
diff --git a/classification_output/01/semantic/3242247 b/classification_output/01/semantic/46572227
index d8352e564..d8352e564 100644
--- a/classification_output/01/semantic/3242247
+++ b/classification_output/01/semantic/46572227
diff --git a/classification_output/01/semantic/1452608 b/classification_output/01/semantic/53568181
index 6750978a6..6750978a6 100644
--- a/classification_output/01/semantic/1452608
+++ b/classification_output/01/semantic/53568181
diff --git a/classification_output/01/semantic/0891566 b/classification_output/01/semantic/80570214
index f2e9cca08..f2e9cca08 100644
--- a/classification_output/01/semantic/0891566
+++ b/classification_output/01/semantic/80570214
diff --git a/classification_output/01/semantic/2047990 b/classification_output/01/semantic/96782458
index d0391c1e7..d0391c1e7 100644
--- a/classification_output/01/semantic/2047990
+++ b/classification_output/01/semantic/96782458
diff --git a/classification_output/01/semantic/gitlab_semantic_addsubps b/classification_output/01/semantic/gitlab_semantic_addsubps
new file mode 100644
index 000000000..cbd5eeb7c
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_addsubps
@@ -0,0 +1,28 @@
+semantic: 0.974
+instruction: 0.931
+other: 0.732
+mistranslation: 0.299
+
+x86 SSE/SSE2/SSE3 instruction semantic bugs with NaN
+
+Description of problem
+The result of SSE/SSE2/SSE3 instructions with NaN is different from the CPU. From Intel manual Volume 1 Appendix D.4.2.2, they defined the behavior of such instructions with NaN. But I think QEMU did not implement this semantic exactly because the byte result is different.
+
+Steps to reproduce
+
+Compile this code
+
+void main() {
+    asm("mov rax, 0x000000007fffffff; push rax; mov rax, 0x00000000ffffffff; push rax; movdqu XMM1, [rsp];");
+    asm("mov rax, 0x2e711de7aa46af1a; push rax; mov rax, 0x7fffffff7fffffff; push rax; movdqu XMM2, [rsp];");
+    asm("addsubps xmm1, xmm2");
+}
+
+Execute and compare the result with the CPU. This problem happens with other SSE/SSE2/SSE3 instructions specified in the manual, Volume 1 Appendix D.4.2.2.
+
+CPU xmm1[3] = 0xffffffff
+
+QEMU xmm1[3] = 0x7fffffff
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.
diff --git a/classification_output/01/semantic/gitlab_semantic_adox b/classification_output/01/semantic/gitlab_semantic_adox
new file mode 100644
index 000000000..c30dc4107
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_adox
@@ -0,0 +1,41 @@
+semantic: 0.990
+instruction: 0.944
+mistranslation: 0.452
+other: 0.286
+
+x86 ADOX and ADCX semantic bug
+Description of problem
+The result of instruction ADOX and ADCX are different from the CPU. The value of one of EFLAGS is different.
+
+Steps to reproduce
+
+Compile this code
+
+
+void main() {
+    asm("push 512; popfq;");
+    asm("mov rax, 0xffffffff84fdbf24");
+    asm("mov rbx, 0xb197d26043bec15d");
+    asm("adox eax, ebx");
+}
+
+
+
+Execute and compare the result with the CPU. This problem happens with ADCX, too (with CF).
+
+CPU
+
+OF = 0
+
+
+QEMU
+
+OF = 1
+
+
+
+
+
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.
diff --git a/classification_output/01/semantic/gitlab_semantic_bextr b/classification_output/01/semantic/gitlab_semantic_bextr
new file mode 100644
index 000000000..436e0ec95
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_bextr
@@ -0,0 +1,30 @@
+semantic: 0.993
+instruction: 0.944
+mistranslation: 0.337
+other: 0.099
+
+x86 BEXTR semantic bug
+Description of problem
+The result of instruction BEXTR is different with from the CPU. The value of destination register is different. I think QEMU does not consider the operand size limit.
+
+Steps to reproduce
+
+Compile this code
+
+void main() {
+    asm("mov rax, 0x17b3693f77fb6e9");
+    asm("mov rbx, 0x8f635a775ad3b9b4");
+    asm("mov rcx, 0xb717b75da9983018");
+    asm("bextr eax, ebx, ecx");
+}
+
+Execute and compare the result with the CPU.
+
+CPU
+RAX = 0x5a
+
+QEMU
+RAX = 0x635a775a
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.
diff --git a/classification_output/01/semantic/gitlab_semantic_blsi b/classification_output/01/semantic/gitlab_semantic_blsi
new file mode 100644
index 000000000..84c589fb4
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_blsi
@@ -0,0 +1,25 @@
+semantic: 0.983
+instruction: 0.964
+other: 0.609
+mistranslation: 0.606
+
+x86 BLSI and BLSR semantic bug
+Description of problem
+The result of instruction BLSI and BLSR is different from the CPU. The value of CF is different.
+
+Steps to reproduce
+
+Compile this code
+
+
+void main() {
+    asm("blsi rax, rbx");
+}
+
+
+
+Execute and compare the result with the CPU. The value of CF is exactly the opposite. This problem happens with BLSR, too.
+
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.
diff --git a/classification_output/01/semantic/gitlab_semantic_blsmsk b/classification_output/01/semantic/gitlab_semantic_blsmsk
new file mode 100644
index 000000000..7f9621893
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_blsmsk
@@ -0,0 +1,32 @@
+semantic: 0.987
+instruction: 0.962
+mistranslation: 0.603
+other: 0.269
+
+x86 BLSMSK semantic bug
+Description of problem
+The result of instruction BLSMSK is different with from the CPU. The value of CF is different.
+
+Steps to reproduce
+
+Compile this code
+
+void main() {
+    asm("mov rax, 0x65b2e276ad27c67");
+    asm("mov rbx, 0x62f34955226b2b5d");
+    asm("blsmsk eax, ebx");
+}
+
+Execute and compare the result with the CPU.
+
+CPU
+
+CF = 0
+
+
+QEMU
+
+CF = 1
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.
diff --git a/classification_output/01/semantic/gitlab_semantic_bzhi b/classification_output/01/semantic/gitlab_semantic_bzhi
new file mode 100644
index 000000000..09ab02dcc
--- /dev/null
+++ b/classification_output/01/semantic/gitlab_semantic_bzhi
@@ -0,0 +1,43 @@
+semantic: 0.920
+instruction: 0.623
+mistranslation: 0.171
+other: 0.064
+
+x86 BZHI semantic bug
+Description of problem
+The result of instruction BZHI is different from the CPU. The value of destination register and SF of EFLAGS are different.
+
+Steps to reproduce
+
+Compile this code
+
+
+void main() {
+    asm("mov rax, 0xb1aa9da2fe33fe3");
+    asm("mov rbx, 0x80000000ffffffff");
+    asm("mov rcx, 0xf3fce8829b99a5c6");
+    asm("bzhi rax, rbx, rcx");
+}
+
+
+
+Execute and compare the result with the CPU.
+
+CPU
+
+RAX = 0x0x80000000ffffffff
+SF = 1
+
+
+QEMU
+
+RAX = 0xffffffff
+SF = 0
+
+
+
+
+
+
+Additional information
+This bug is discovered by research conducted by KAIST SoftSec.