semantic: 0.995 graphic: 0.824 device: 0.665 boot: 0.468 vnc: 0.465 socket: 0.452 permissions: 0.325 network: 0.307 debug: 0.306 other: 0.217 files: 0.203 performance: 0.197 PID: 0.103 KVM: 0.064 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: 1. Compile this code ``` void main() { asm("mov rax, 0x65b2e276ad27c67"); asm("mov rbx, 0x62f34955226b2b5d"); asm("blsmsk eax, ebx"); } ``` 2. 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.