src:fix: MFENCE missing from the list of serializing instructions. Close

#19
OleksiiOleksenko · Dec 26, 2020 · 46141ef · 46141ef
1 parent 4db6c08
commit 46141ef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/SpecFuzzPass.cpp b/src/SpecFuzzPass.cpp
@@ -1618,6 +1618,7 @@ auto X86SpecFuzzPass::isAcquireOrRelease(unsigned Opcode) -> bool {
 auto X86SpecFuzzPass::isExplicitlySerializing(unsigned Opcode) -> bool {
     switch (Opcode) {
         case X86::LFENCE:
+        case X86::MFENCE:
         case X86::CPUID:
         case X86::TRAP:
             return true;