From 46141efd0ba5b2f51d1bcb4674797a828e508573 Mon Sep 17 00:00:00 2001
From: Oleksii Oleksenko <alexo_o@ukr.net>
Date: Sat, 26 Dec 2020 17:06:57 +0100
Subject: [PATCH] src:fix: MFENCE missing from the list of serializing
 instructions. Close #19

---
 src/SpecFuzzPass.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/SpecFuzzPass.cpp b/src/SpecFuzzPass.cpp
index 3eca0c2..df9a9f5 100644
--- 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;